| // Copyright 2015 The Go Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style | |
| // license that can be found in the LICENSE file. | |
| package ssa | |
| import ( | |
| "cmd/compile/internal/types" | |
| "cmd/internal/obj" | |
| "cmd/internal/obj/arm64" | |
| "cmd/internal/obj/s390x" | |
| "cmd/internal/obj/x86" | |
| "cmd/internal/src" | |
| "fmt" | |
| "testing" | |
| ) | |
| var CheckFunc = checkFunc | |
| var Opt = opt | |
| var Deadcode = deadcode | |
| var Copyelim = copyelim | |
| var testCtxts = map[string]*obj.Link{ | |
| "amd64": obj.Linknew(&x86.Linkamd64), | |
| "s390x": obj.Linknew(&s390x.Links390x), | |
| "arm64": obj.Linknew(&arm64.Linkarm64), | |
| } | |
| func testConfig(tb testing.TB) *Conf { return testConfigArch(tb, "amd64") } | |
| func testConfigS390X(tb testing.TB) *Conf { return testConfigArch(tb, "s390x") } | |
| func testConfigARM64(tb testing.TB) *Conf { return testConfigArch(tb, "arm64") } | |
| func testConfigArch(tb testing.TB, arch string) *Conf { | |
| ctxt, ok := testCtxts[arch] | |
| if !ok { | |
| tb.Fatalf("unknown arch %s", arch) | |
| } | |
| if ctxt.Arch.PtrSize != 8 { | |
| tb.Fatal("dummyTypes is 64-bit only") | |
| } | |
| c := &Conf{ | |
| config: NewConfig(arch, dummyTypes, ctxt, true), | |
| tb: tb, | |
| } | |
| return c | |
| } | |
| type Conf struct { | |
| config *Config | |
| tb testing.TB | |
| fe Frontend | |
| } | |
| func (c *Conf) Frontend() Frontend { | |
| if c.fe == nil { | |
| c.fe = DummyFrontend{t: c.tb, ctxt: c.config.ctxt} | |
| } | |
| return c.fe | |
| } | |
| // DummyFrontend is a test-only frontend. | |
| // It assumes 64 bit integers and pointers. | |
| type DummyFrontend struct { | |
| t testing.TB | |
| ctxt *obj.Link | |
| } | |
| type DummyAuto struct { | |
| t *types.Type | |
| s string | |
| } | |
| func (d *DummyAuto) Typ() *types.Type { | |
| return d.t | |
| } | |
| func (d *DummyAuto) String() string { | |
| return d.s | |
| } | |
| func (d *DummyAuto) StorageClass() StorageClass { | |
| return ClassAuto | |
| } | |
| func (d *DummyAuto) IsSynthetic() bool { | |
| return false | |
| } | |
| func (d *DummyAuto) IsAutoTmp() bool { | |
| return true | |
| } | |
| func (DummyFrontend) StringData(s string) interface{} { | |
| return nil | |
| } | |
| func (DummyFrontend) Auto(pos src.XPos, t *types.Type) GCNode { | |
| return &DummyAuto{t: t, s: "aDummyAuto"} | |
| } | |
| func (d DummyFrontend) SplitString(s LocalSlot) (LocalSlot, LocalSlot) { | |
| return LocalSlot{N: s.N, Type: dummyTypes.BytePtr, Off: s.Off}, LocalSlot{N: s.N, Type: dummyTypes.Int, Off: s.Off + 8} | |
| } | |
| func (d DummyFrontend) SplitInterface(s LocalSlot) (LocalSlot, LocalSlot) { | |
| return LocalSlot{N: s.N, Type: dummyTypes.BytePtr, Off: s.Off}, LocalSlot{N: s.N, Type: dummyTypes.BytePtr, Off: s.Off + 8} | |
| } | |
| func (d DummyFrontend) SplitSlice(s LocalSlot) (LocalSlot, LocalSlot, LocalSlot) { | |
| return LocalSlot{N: s.N, Type: s.Type.Elem().PtrTo(), Off: s.Off}, | |
| LocalSlot{N: s.N, Type: dummyTypes.Int, Off: s.Off + 8}, | |
| LocalSlot{N: s.N, Type: dummyTypes.Int, Off: s.Off + 16} | |
| } | |
| func (d DummyFrontend) SplitComplex(s LocalSlot) (LocalSlot, LocalSlot) { | |
| if s.Type.Size() == 16 { | |
| return LocalSlot{N: s.N, Type: dummyTypes.Float64, Off: s.Off}, LocalSlot{N: s.N, Type: dummyTypes.Float64, Off: s.Off + 8} | |
| } | |
| return LocalSlot{N: s.N, Type: dummyTypes.Float32, Off: s.Off}, LocalSlot{N: s.N, Type: dummyTypes.Float32, Off: s.Off + 4} | |
| } | |
| func (d DummyFrontend) SplitInt64(s LocalSlot) (LocalSlot, LocalSlot) { | |
| if s.Type.IsSigned() { | |
| return LocalSlot{N: s.N, Type: dummyTypes.Int32, Off: s.Off + 4}, LocalSlot{N: s.N, Type: dummyTypes.UInt32, Off: s.Off} | |
| } | |
| return LocalSlot{N: s.N, Type: dummyTypes.UInt32, Off: s.Off + 4}, LocalSlot{N: s.N, Type: dummyTypes.UInt32, Off: s.Off} | |
| } | |
| func (d DummyFrontend) SplitStruct(s LocalSlot, i int) LocalSlot { | |
| return LocalSlot{N: s.N, Type: s.Type.FieldType(i), Off: s.Off + s.Type.FieldOff(i)} | |
| } | |
| func (d DummyFrontend) SplitArray(s LocalSlot) LocalSlot { | |
| return LocalSlot{N: s.N, Type: s.Type.Elem(), Off: s.Off} | |
| } | |
| func (DummyFrontend) Line(_ src.XPos) string { | |
| return "unknown.go:0" | |
| } | |
| func (DummyFrontend) AllocFrame(f *Func) { | |
| } | |
| func (d DummyFrontend) Syslook(s string) *obj.LSym { | |
| return d.ctxt.Lookup(s) | |
| } | |
| func (DummyFrontend) UseWriteBarrier() bool { | |
| return true // only writebarrier_test cares | |
| } | |
| func (DummyFrontend) SetWBPos(pos src.XPos) { | |
| } | |
| func (d DummyFrontend) Logf(msg string, args ...interface{}) { d.t.Logf(msg, args...) } | |
| func (d DummyFrontend) Log() bool { return true } | |
| func (d DummyFrontend) Fatalf(_ src.XPos, msg string, args ...interface{}) { d.t.Fatalf(msg, args...) } | |
| func (d DummyFrontend) Warnl(_ src.XPos, msg string, args ...interface{}) { d.t.Logf(msg, args...) } | |
| func (d DummyFrontend) Debug_checknil() bool { return false } | |
| var dummyTypes Types | |
| func init() { | |
| // Initialize just enough of the universe and the types package to make our tests function. | |
| // TODO(josharian): move universe initialization to the types package, | |
| // so this test setup can share it. | |
| types.Tconv = func(t *types.Type, flag, mode, depth int) string { | |
| return t.Etype.String() | |
| } | |
| types.Sconv = func(s *types.Sym, flag, mode int) string { | |
| return "sym" | |
| } | |
| types.FormatSym = func(sym *types.Sym, s fmt.State, verb rune, mode int) { | |
| fmt.Fprintf(s, "sym") | |
| } | |
| types.FormatType = func(t *types.Type, s fmt.State, verb rune, mode int) { | |
| fmt.Fprintf(s, "%v", t.Etype) | |
| } | |
| types.Dowidth = func(t *types.Type) {} | |
| for _, typ := range [...]struct { | |
| width int64 | |
| et types.EType | |
| }{ | |
| {1, types.TINT8}, | |
| {1, types.TUINT8}, | |
| {1, types.TBOOL}, | |
| {2, types.TINT16}, | |
| {2, types.TUINT16}, | |
| {4, types.TINT32}, | |
| {4, types.TUINT32}, | |
| {4, types.TFLOAT32}, | |
| {4, types.TFLOAT64}, | |
| {8, types.TUINT64}, | |
| {8, types.TINT64}, | |
| {8, types.TINT}, | |
| {8, types.TUINTPTR}, | |
| } { | |
| t := types.New(typ.et) | |
| t.Width = typ.width | |
| t.Align = uint8(typ.width) | |
| types.Types[typ.et] = t | |
| } | |
| dummyTypes.SetTypPtrs() | |
| } | |
| func (d DummyFrontend) DerefItab(sym *obj.LSym, off int64) *obj.LSym { return nil } | |
| func (d DummyFrontend) CanSSA(t *types.Type) bool { | |
| // There are no un-SSAable types in dummy land. | |
| return true | |
| } |