Documentation ¶
Index ¶
- Constants
- Variables
- func Compile(f *Func)
- func IsStackAddr(v *Value) bool
- func PhaseOption(phase, flag string, val int, valString string) string
- type ArgSymbol
- type AutoSymbol
- type Block
- func (b *Block) AddEdgeTo(c *Block)
- func (b *Block) Fatalf(msg string, args ...interface{})
- func (b *Block) HTML() string
- func (b *Block) Log() bool
- func (b *Block) Logf(msg string, args ...interface{})
- func (b *Block) LongHTML() string
- func (b *Block) LongString() string
- func (b *Block) NewValue0(line int32, op Op, t Type) *Value
- func (b *Block) NewValue0A(line int32, op Op, t Type, aux interface{}) *Value
- func (b *Block) NewValue0I(line int32, op Op, t Type, auxint int64) *Value
- func (b *Block) NewValue0IA(line int32, op Op, t Type, auxint int64, aux interface{}) *Value
- func (b *Block) NewValue1(line int32, op Op, t Type, arg *Value) *Value
- func (b *Block) NewValue1A(line int32, op Op, t Type, aux interface{}, arg *Value) *Value
- func (b *Block) NewValue1I(line int32, op Op, t Type, auxint int64, arg *Value) *Value
- func (b *Block) NewValue1IA(line int32, op Op, t Type, auxint int64, aux interface{}, arg *Value) *Value
- func (b *Block) NewValue2(line int32, op Op, t Type, arg0, arg1 *Value) *Value
- func (b *Block) NewValue2I(line int32, op Op, t Type, auxint int64, arg0, arg1 *Value) *Value
- func (b *Block) NewValue3(line int32, op Op, t Type, arg0, arg1, arg2 *Value) *Value
- func (b *Block) NewValue3I(line int32, op Op, t Type, auxint int64, arg0, arg1, arg2 *Value) *Value
- func (b *Block) NewValue4(line int32, op Op, t Type, arg0, arg1, arg2, arg3 *Value) *Value
- func (b *Block) SetControl(v *Value)
- func (b *Block) String() string
- type BlockKind
- type BranchPrediction
- type Cmp
- type CompilerType
- func (t *CompilerType) Alignment() int64
- func (t *CompilerType) Compare(u Type) Cmp
- func (t *CompilerType) ElemType() Type
- func (t *CompilerType) FieldName(i int) string
- func (t *CompilerType) FieldOff(i int) int64
- func (t *CompilerType) FieldType(i int) Type
- func (t *CompilerType) IsArray() bool
- func (t *CompilerType) IsBoolean() bool
- func (t *CompilerType) IsComplex() bool
- func (t *CompilerType) IsFlags() bool
- func (t *CompilerType) IsFloat() bool
- func (t *CompilerType) IsInteger() bool
- func (t *CompilerType) IsInterface() bool
- func (t *CompilerType) IsMemory() bool
- func (t *CompilerType) IsPtrShaped() bool
- func (t *CompilerType) IsSigned() bool
- func (t *CompilerType) IsSlice() bool
- func (t *CompilerType) IsString() bool
- func (t *CompilerType) IsStruct() bool
- func (t *CompilerType) IsTuple() bool
- func (t *CompilerType) IsVoid() bool
- func (t *CompilerType) NumElem() int64
- func (t *CompilerType) NumFields() int
- func (t *CompilerType) PtrTo() Type
- func (t *CompilerType) SimpleString() string
- func (t *CompilerType) Size() int64
- func (t *CompilerType) String() string
- type Config
- func (c *Config) Ctxt() *obj.Link
- func (c *Config) DebugHashMatch(evname, name string) bool
- func (c *Config) DebugNameMatch(evname, name string) bool
- func (c *Config) Debug_checknil() bool
- func (c *Config) Debug_wb() bool
- func (c *Config) Fatalf(line int32, msg string, args ...interface{})
- func (c *Config) Frontend() Frontend
- func (c *Config) Log() bool
- func (c *Config) Logf(msg string, args ...interface{})
- func (c *Config) NewFunc() *Func
- func (c *Config) Set387(b bool)
- func (c *Config) SparsePhiCutoff() uint64
- func (c *Config) Warnl(line int32, msg string, args ...interface{})
- type Edge
- type ExternSymbol
- type Frontend
- type Func
- func (f *Func) ConstBool(line int32, t Type, c bool) *Value
- func (f *Func) ConstEmptyString(line int32, t Type) *Value
- func (f *Func) ConstFloat32(line int32, t Type, c float64) *Value
- func (f *Func) ConstFloat64(line int32, t Type, c float64) *Value
- func (f *Func) ConstInt16(line int32, t Type, c int16) *Value
- func (f *Func) ConstInt32(line int32, t Type, c int32) *Value
- func (f *Func) ConstInt64(line int32, t Type, c int64) *Value
- func (f *Func) ConstInt8(line int32, t Type, c int8) *Value
- func (f *Func) ConstInterface(line int32, t Type) *Value
- func (f *Func) ConstNil(line int32, t Type) *Value
- func (f *Func) ConstSlice(line int32, t Type) *Value
- func (f *Func) Fatalf(msg string, args ...interface{})
- func (f *Func) Free()
- func (f *Func) HTML() string
- func (f *Func) Idom() []*Block
- func (f *Func) Log() bool
- func (f *Func) LogStat(key string, args ...interface{})
- func (f *Func) Logf(msg string, args ...interface{})
- func (f *Func) NewBlock(kind BlockKind) *Block
- func (f *Func) NumBlocks() int
- func (f *Func) NumValues() int
- func (f *Func) String() string
- type GCNode
- type HTMLWriter
- type ID
- type LocPair
- type LocalSlot
- type Location
- type Logger
- type Op
- type RBTint32
- func (t *RBTint32) Find(key int32) interface{}
- func (t *RBTint32) Glb(x int32) (k int32, d interface{})
- func (t *RBTint32) GlbEq(x int32) (k int32, d interface{})
- func (t *RBTint32) Insert(key int32, data interface{}) interface{}
- func (t *RBTint32) IsEmpty() bool
- func (t *RBTint32) IsSingle() bool
- func (t *RBTint32) Lub(x int32) (k int32, d interface{})
- func (t *RBTint32) LubEq(x int32) (k int32, d interface{})
- func (t *RBTint32) Max() (k int32, d interface{})
- func (t *RBTint32) Min() (k int32, d interface{})
- func (t *RBTint32) String() string
- func (t *RBTint32) VisitInOrder(f func(int32, interface{}))
- type Register
- type SizeAndAlign
- type SparseTree
- type SparseTreeHelper
- type SparseTreeMap
- type SparseTreeNode
- type TupleType
- func (t *TupleType) Alignment() int64
- func (t *TupleType) Compare(u Type) Cmp
- func (t *TupleType) ElemType() Type
- func (t *TupleType) FieldName(i int) string
- func (t *TupleType) FieldOff(i int) int64
- func (t *TupleType) FieldType(i int) Type
- func (t *TupleType) IsArray() bool
- func (t *TupleType) IsBoolean() bool
- func (t *TupleType) IsComplex() bool
- func (t *TupleType) IsFlags() bool
- func (t *TupleType) IsFloat() bool
- func (t *TupleType) IsInteger() bool
- func (t *TupleType) IsInterface() bool
- func (t *TupleType) IsMemory() bool
- func (t *TupleType) IsPtrShaped() bool
- func (t *TupleType) IsSigned() bool
- func (t *TupleType) IsSlice() bool
- func (t *TupleType) IsString() bool
- func (t *TupleType) IsStruct() bool
- func (t *TupleType) IsTuple() bool
- func (t *TupleType) IsVoid() bool
- func (t *TupleType) NumElem() int64
- func (t *TupleType) NumFields() int
- func (t *TupleType) PtrTo() Type
- func (t *TupleType) SimpleString() string
- func (t *TupleType) Size() int64
- func (t *TupleType) String() string
- type Type
- type TypeSource
- type ValAndOff
- type ValHeap
- type Value
- func (v *Value) AddArg(w *Value)
- func (v *Value) AddArgs(a ...*Value)
- func (v *Value) AuxFloat() float64
- func (v *Value) AuxInt16() int16
- func (v *Value) AuxInt32() int32
- func (v *Value) AuxInt8() int8
- func (v *Value) AuxValAndOff() ValAndOff
- func (v *Value) Fatalf(msg string, args ...interface{})
- func (v *Value) HTML() string
- func (v *Value) Log() bool
- func (v *Value) Logf(msg string, args ...interface{})
- func (v *Value) LongHTML() string
- func (v *Value) LongString() string
- func (v *Value) Reg() int16
- func (v *Value) Reg0() int16
- func (v *Value) Reg1() int16
- func (v *Value) RegName() string
- func (v *Value) RemoveArg(i int)
- func (v *Value) SetArg(i int, w *Value)
- func (v *Value) SetArgs1(a *Value)
- func (v *Value) SetArgs2(a *Value, b *Value)
- func (v *Value) String() string
Constants ¶
const ( BranchUnlikely = BranchPrediction(-1) BranchUnknown = BranchPrediction(0) BranchLikely = BranchPrediction(+1) )
const ( ScorePhi = iota // towards top of block ScoreNilCheck ScoreReadTuple ScoreVarDef ScoreMemory ScoreDefault ScoreFlags ScoreControl // towards bottom of block )
const ( // When used to lookup up definitions in a sparse tree, // these adjustments to a block's entry (+adjust) and // exit (-adjust) numbers allow a distinction to be made // between assignments (typically branch-dependent // conditionals) occurring "before" the block (e.g., as inputs // to the block and its phi functions), "within" the block, // and "after" the block. AdjustBefore = -1 // defined before phi AdjustWithin = 0 // defined by phi AdjustAfter = 1 // defined within block )
const ( CMPlt = Cmp(-1) CMPeq = Cmp(0) CMPgt = Cmp(1) )
const MaxStruct = 4
MaxStruct is the maximum number of fields a struct can have and still be SSAable.
Variables ¶
var ( TypeInvalid = &CompilerType{Name: "invalid"} TypeMem = &CompilerType{Name: "mem", Memory: true} TypeFlags = &CompilerType{Name: "flags", Flags: true} TypeVoid = &CompilerType{Name: "void", Void: true} TypeInt128 = &CompilerType{Name: "int128", size: 16, Int128: true} )
var BuildDebug int
var BuildDump string // name of function to dump after initial build of ssa
var BuildStats int
var BuildTest int
var IntrinsicsDebug int
Debug output
var IntrinsicsDisable bool
Functions ¶
func Compile ¶
func Compile(f *Func)
Compile is the main entry point for this package. Compile modifies f so that on return:
· all Values in f map to 0 or 1 assembly instructions of the target architecture · the order of f.Blocks is the order to emit the Blocks · the order of b.Values is the order to emit the Values in each Block · f has a non-nil regAlloc field
func IsStackAddr ¶
IsStackAddr returns whether v is known to be an address of a stack slot
func PhaseOption ¶
PhaseOption sets the specified flag in the specified ssa phase, returning empty string if this was successful or a string explaining the error if it was not. A version of the phase name with "_" replaced by " " is also checked for a match. If the phase name begins a '~' then the rest of the underscores-replaced-with-blanks version is used as a regular expression to match the phase name(s).
Special cases that have turned out to be useful:
ssa/check/on enables checking after each phase ssa/all/time enables time reporting for all phases
See gc/lex.go for dissection of the option string. Example uses:
GO_GCFLAGS=-d=ssa/generic_cse/time,ssa/generic_cse/stats,ssa/generic_cse/debug=3 ./make.bash
BOOT_GO_GCFLAGS=-d='ssa/~^.*scc$/off' GO_GCFLAGS='-d=ssa/~^.*scc$/off' ./make.bash
Types ¶
type ArgSymbol ¶
type ArgSymbol struct { Typ Type // Go type Node GCNode // A *gc.Node referring to the argument/result variable. }
ArgSymbol is an aux value that encodes an argument or result variable's constant offset from FP (FP = SP + framesize).
type AutoSymbol ¶
type AutoSymbol struct { Typ Type // Go type Node GCNode // A *gc.Node referring to a local (auto) variable. }
AutoSymbol is an aux value that encodes a local variable's constant offset from SP.
func (*AutoSymbol) String ¶
func (s *AutoSymbol) String() string
type Block ¶
type Block struct { // A unique identifier for the block. The system will attempt to allocate // these IDs densely, but no guarantees. ID ID // Line number for block's control operation Line int32 // The kind of block this is. Kind BlockKind // Likely direction for branches. // If BranchLikely, Succs[0] is the most likely branch taken. // If BranchUnlikely, Succs[1] is the most likely branch taken. // Ignored if len(Succs) < 2. // Fatal if not BranchUnknown and len(Succs) > 2. Likely BranchPrediction // After flagalloc, records whether flags are live at the end of the block. FlagsLiveAtEnd bool // Subsequent blocks, if any. The number and order depend on the block kind. Succs []Edge // Inverse of successors. // The order is significant to Phi nodes in the block. // TODO: predecessors is a pain to maintain. Can we somehow order phi // arguments by block id and have this field computed explicitly when needed? Preds []Edge // A value that determines how the block is exited. Its value depends on the kind // of the block. For instance, a BlockIf has a boolean control value and BlockExit // has a memory control value. Control *Value // Auxiliary info for the block. Its value depends on the Kind. Aux interface{} // The unordered set of Values that define the operation of this block. // The list must include the control value, if any. (TODO: need this last condition?) // After the scheduling pass, this list is ordered. Values []*Value // The containing function Func *Func // contains filtered or unexported fields }
Block represents a basic block in the control flow graph of a function.
func (*Block) AddEdgeTo ¶
AddEdgeTo adds an edge from block b to block c. Used during building of the SSA graph; do not use on an already-completed SSA graph.
func (*Block) NewValue0 ¶
NewValue0 returns a new value in the block with no arguments and zero aux values.
func (*Block) NewValue0A ¶
NewValue returns a new value in the block with no arguments and an aux value.
func (*Block) NewValue0I ¶
NewValue returns a new value in the block with no arguments and an auxint value.
func (*Block) NewValue0IA ¶
NewValue returns a new value in the block with no arguments and both an auxint and aux values.
func (*Block) NewValue1 ¶
NewValue1 returns a new value in the block with one argument and zero aux values.
func (*Block) NewValue1A ¶
NewValue1A returns a new value in the block with one argument and an aux value.
func (*Block) NewValue1I ¶
NewValue1I returns a new value in the block with one argument and an auxint value.
func (*Block) NewValue1IA ¶
func (b *Block) NewValue1IA(line int32, op Op, t Type, auxint int64, aux interface{}, arg *Value) *Value
NewValue1IA returns a new value in the block with one argument and both an auxint and aux values.
func (*Block) NewValue2 ¶
NewValue2 returns a new value in the block with two arguments and zero aux values.
func (*Block) NewValue2I ¶
NewValue2I returns a new value in the block with two arguments and an auxint value.
func (*Block) NewValue3 ¶
NewValue3 returns a new value in the block with three arguments and zero aux values.
func (*Block) NewValue3I ¶
NewValue3I returns a new value in the block with three arguments and an auxint value.
func (*Block) NewValue4 ¶
NewValue4 returns a new value in the block with four arguments and zero aux values.
func (*Block) SetControl ¶
type BlockKind ¶
type BlockKind int8
kind control successors
------------------------------------------
Exit return mem [] Plain nil [next] If a boolean Value [then, else] Defer mem [nopanic, panic] (control opcode should be OpDeferCall)
const ( BlockInvalid BlockKind = iota Block386EQ Block386NE Block386LT Block386LE Block386GT Block386GE Block386ULT Block386ULE Block386UGT Block386UGE Block386EQF Block386NEF Block386ORD Block386NAN BlockAMD64EQ BlockAMD64NE BlockAMD64LT BlockAMD64LE BlockAMD64GT BlockAMD64GE BlockAMD64ULT BlockAMD64ULE BlockAMD64UGT BlockAMD64UGE BlockAMD64EQF BlockAMD64NEF BlockAMD64ORD BlockAMD64NAN BlockARMEQ BlockARMNE BlockARMLT BlockARMLE BlockARMGT BlockARMGE BlockARMULT BlockARMULE BlockARMUGT BlockARMUGE BlockARM64EQ BlockARM64NE BlockARM64LT BlockARM64LE BlockARM64GT BlockARM64GE BlockARM64ULT BlockARM64ULE BlockARM64UGT BlockARM64UGE BlockARM64Z BlockARM64NZ BlockARM64ZW BlockARM64NZW BlockMIPSEQ BlockMIPSNE BlockMIPSLTZ BlockMIPSLEZ BlockMIPSGTZ BlockMIPSGEZ BlockMIPSFPT BlockMIPSFPF BlockMIPS64EQ BlockMIPS64NE BlockMIPS64LTZ BlockMIPS64LEZ BlockMIPS64GTZ BlockMIPS64GEZ BlockMIPS64FPT BlockMIPS64FPF BlockPPC64EQ BlockPPC64NE BlockPPC64LT BlockPPC64LE BlockPPC64GT BlockPPC64GE BlockPPC64FLT BlockPPC64FLE BlockPPC64FGT BlockPPC64FGE BlockS390XEQ BlockS390XNE BlockS390XLT BlockS390XLE BlockS390XGT BlockS390XGE BlockS390XGTF BlockS390XGEF BlockPlain BlockIf BlockDefer BlockRet BlockRetJmp BlockExit BlockFirst )
type BranchPrediction ¶
type BranchPrediction int8
type Cmp ¶
type Cmp int8
Cmp is a comparison between values a and b. -1 if a < b
0 if a == b 1 if a > b
type CompilerType ¶
type CompilerType struct { Name string Memory bool Flags bool Void bool Int128 bool // contains filtered or unexported fields }
Special compiler-only types.
func (*CompilerType) Alignment ¶
func (t *CompilerType) Alignment() int64
func (*CompilerType) Compare ¶
func (t *CompilerType) Compare(u Type) Cmp
func (*CompilerType) ElemType ¶
func (t *CompilerType) ElemType() Type
func (*CompilerType) FieldName ¶
func (t *CompilerType) FieldName(i int) string
func (*CompilerType) FieldOff ¶
func (t *CompilerType) FieldOff(i int) int64
func (*CompilerType) FieldType ¶
func (t *CompilerType) FieldType(i int) Type
func (*CompilerType) IsArray ¶
func (t *CompilerType) IsArray() bool
func (*CompilerType) IsBoolean ¶
func (t *CompilerType) IsBoolean() bool
func (*CompilerType) IsComplex ¶
func (t *CompilerType) IsComplex() bool
func (*CompilerType) IsFlags ¶
func (t *CompilerType) IsFlags() bool
func (*CompilerType) IsFloat ¶
func (t *CompilerType) IsFloat() bool
func (*CompilerType) IsInteger ¶
func (t *CompilerType) IsInteger() bool
func (*CompilerType) IsInterface ¶
func (t *CompilerType) IsInterface() bool
func (*CompilerType) IsMemory ¶
func (t *CompilerType) IsMemory() bool
func (*CompilerType) IsPtrShaped ¶
func (t *CompilerType) IsPtrShaped() bool
func (*CompilerType) IsSigned ¶
func (t *CompilerType) IsSigned() bool
func (*CompilerType) IsSlice ¶
func (t *CompilerType) IsSlice() bool
func (*CompilerType) IsString ¶
func (t *CompilerType) IsString() bool
func (*CompilerType) IsStruct ¶
func (t *CompilerType) IsStruct() bool
func (*CompilerType) IsTuple ¶
func (t *CompilerType) IsTuple() bool
func (*CompilerType) IsVoid ¶
func (t *CompilerType) IsVoid() bool
func (*CompilerType) NumElem ¶
func (t *CompilerType) NumElem() int64
func (*CompilerType) NumFields ¶
func (t *CompilerType) NumFields() int
func (*CompilerType) PtrTo ¶
func (t *CompilerType) PtrTo() Type
func (*CompilerType) SimpleString ¶
func (t *CompilerType) SimpleString() string
func (*CompilerType) Size ¶
func (t *CompilerType) Size() int64
func (*CompilerType) String ¶
func (t *CompilerType) String() string
type Config ¶
type Config struct { IntSize int64 // 4 or 8 PtrSize int64 // 4 or 8 RegSize int64 // 4 or 8 FPReg int8 // register number of frame pointer, -1 if not used LinkReg int8 // register number of link register if it is a general purpose register, -1 if not used HTML *HTMLWriter // html writer, for debugging OldArch bool // True for older versions of architecture, e.g. true for PPC64BE, false for PPC64LE NeedsFpScratch bool // No direct move between GP and FP register sets BigEndian bool // DebugTest bool // default true unless $GOSSAHASH != ""; as a debugging aid, make new code conditional on this and use GOSSAHASH to binary search for failing cases // contains filtered or unexported fields }
func (*Config) DebugHashMatch ¶
func (*Config) DebugNameMatch ¶
func (*Config) Debug_checknil ¶
func (*Config) NewFunc ¶
NewFunc returns a new, empty function object. Caller must call f.Free() before calling NewFunc again.
func (*Config) SparsePhiCutoff ¶
type Edge ¶
type Edge struct {
// contains filtered or unexported fields
}
Edge represents a CFG edge. Example edges for b branching to either c or d. (c and d have other predecessors.)
b.Succs = [{c,3}, {d,1}] c.Preds = [?, ?, ?, {b,0}] d.Preds = [?, {b,1}, ?]
These indexes allow us to edit the CFG in constant time. In addition, it informs phi ops in degenerate cases like: b:
if k then c else c
c:
v = Phi(x, y)
Then the indexes tell you whether x is chosen from the if or else branch from b.
b.Succs = [{c,0},{c,1}] c.Preds = [{b,0},{b,1}]
means x is chosen if k is true.
type ExternSymbol ¶
type ExternSymbol struct { Typ Type // Go type Sym fmt.Stringer // A *gc.Sym referring to a global variable }
ExternSymbol is an aux value that encodes a variable's constant offset from the static base pointer.
func (*ExternSymbol) String ¶
func (s *ExternSymbol) String() string
type Frontend ¶
type Frontend interface { TypeSource Logger // StringData returns a symbol pointing to the given string's contents. StringData(string) interface{} // returns *gc.Sym // Auto returns a Node for an auto variable of the given type. // The SSA compiler uses this function to allocate space for spills. Auto(Type) GCNode // Given the name for a compound type, returns the name we should use // for the parts of that compound type. SplitString(LocalSlot) (LocalSlot, LocalSlot) SplitInterface(LocalSlot) (LocalSlot, LocalSlot) SplitSlice(LocalSlot) (LocalSlot, LocalSlot, LocalSlot) SplitComplex(LocalSlot) (LocalSlot, LocalSlot) SplitStruct(LocalSlot, int) LocalSlot SplitArray(LocalSlot) LocalSlot // array must be length 1 SplitInt64(LocalSlot) (LocalSlot, LocalSlot) // returns (hi, lo) // Line returns a string describing the given line number. Line(int32) string // AllocFrame assigns frame offsets to all live auto variables. AllocFrame(f *Func) // Syslook returns a symbol of the runtime function/variable with the // given name. Syslook(string) interface{} // returns *gc.Sym }
type Func ¶
type Func struct { Config *Config // architecture information Name string // e.g. bytes·Compare Type Type // type signature of the function. StaticData interface{} // associated static data, untouched by the ssa package Blocks []*Block // unordered set of all basic blocks (note: not indexable by ID) Entry *Block // the entry basic block NoSplit bool // true if function is marked as nosplit. Used by schedule check pass. // when register allocation is done, maps value ids to locations RegAlloc []Location // map from LocalSlot to set of Values that we want to store in that slot. NamedValues map[LocalSlot][]*Value // Names is a copy of NamedValues.Keys. We keep a separate list // of keys to make iteration order deterministic. Names []LocalSlot // contains filtered or unexported fields }
A Func represents a Go func declaration (or function literal) and its body. This package compiles each Func independently.
func (*Func) Idom ¶
Idom returns a map from block ID to the immediate dominator of that block. f.Entry.ID maps to nil. Unreachable blocks map to nil as well.
func (*Func) LogStat ¶
logPassStat writes a string key and int value as a warning in a tab-separated format easily handled by spreadsheets or awk. file names, lines, and function names are included to provide enough (?) context to allow item-by-item comparisons across runs. For example: awk 'BEGIN {FS="\t"} $3~/TIME/{sum+=$4} END{print "t(ns)=",sum}' t.log
func (*Func) NewBlock ¶
newBlock allocates a new Block of the given kind and places it at the end of f.Blocks.
type GCNode ¶
interface used to hold *gc.Node. We'd use *gc.Node directly but that would lead to an import cycle.
type HTMLWriter ¶
func NewHTMLWriter ¶
func NewHTMLWriter(path string, logger Logger, funcname string) *HTMLWriter
func (*HTMLWriter) Close ¶
func (w *HTMLWriter) Close()
func (*HTMLWriter) Printf ¶
func (w *HTMLWriter) Printf(msg string, v ...interface{})
func (*HTMLWriter) WriteColumn ¶
func (w *HTMLWriter) WriteColumn(title string, html string)
WriteColumn writes raw HTML in a column headed by title. It is intended for pre- and post-compilation log output.
func (*HTMLWriter) WriteFunc ¶
func (w *HTMLWriter) WriteFunc(title string, f *Func)
WriteFunc writes f in a column headed by title.
func (*HTMLWriter) WriteString ¶
func (w *HTMLWriter) WriteString(s string)
type LocalSlot ¶
type LocalSlot struct { N GCNode // an ONAME *gc.Node representing a variable on the stack Type Type // type of slot Off int64 // offset of slot in N }
A LocalSlot is a location in the stack frame. It is (possibly a subpiece of) a PPARAM, PPARAMOUT, or PAUTO ONAME node.
type Location ¶
type Location interface {
Name() string // name to use in assembly templates: %rax, 16(%rsp), ...
}
A place that an ssa variable can reside.
type Logger ¶
type Logger interface { // Logf logs a message from the compiler. Logf(string, ...interface{}) // Log returns true if logging is not a no-op // some logging calls account for more than a few heap allocations. Log() bool // Fatal reports a compiler error and exits. Fatalf(line int32, msg string, args ...interface{}) // Warnl writes compiler messages in the form expected by "errorcheck" tests Warnl(line int32, fmt_ string, args ...interface{}) // Forwards the Debug flags from gc Debug_checknil() bool Debug_wb() bool }
type Op ¶
type Op int32
An Op encodes the specific operation that a Value performs. Opcodes' semantics can be modified by the type and aux fields of the Value. For instance, OpAdd can be 32 or 64 bit, signed or unsigned, float or complex, depending on Value.Type. Semantics of each op are described in the opcode files in gen/*Ops.go. There is one file for generic (architecture-independent) ops and one file for each architecture.
const ( OpInvalid Op = iota Op386ADDSS Op386ADDSD Op386SUBSS Op386SUBSD Op386MULSS Op386MULSD Op386DIVSS Op386DIVSD Op386MOVSSload Op386MOVSDload Op386MOVSSconst Op386MOVSDconst Op386MOVSSloadidx1 Op386MOVSSloadidx4 Op386MOVSDloadidx1 Op386MOVSDloadidx8 Op386MOVSSstore Op386MOVSDstore Op386MOVSSstoreidx1 Op386MOVSSstoreidx4 Op386MOVSDstoreidx1 Op386MOVSDstoreidx8 Op386ADDL Op386ADDLconst Op386ADDLcarry Op386ADDLconstcarry Op386ADCL Op386ADCLconst Op386SUBL Op386SUBLconst Op386SUBLcarry Op386SUBLconstcarry Op386SBBL Op386SBBLconst Op386MULL Op386MULLconst Op386HMULL Op386HMULLU Op386HMULW Op386HMULB Op386HMULWU Op386HMULBU Op386MULLQU Op386DIVL Op386DIVW Op386DIVLU Op386DIVWU Op386MODL Op386MODW Op386MODLU Op386MODWU Op386ANDL Op386ANDLconst Op386ORL Op386ORLconst Op386XORL Op386XORLconst Op386CMPL Op386CMPW Op386CMPB Op386CMPLconst Op386CMPWconst Op386CMPBconst Op386UCOMISS Op386UCOMISD Op386TESTL Op386TESTW Op386TESTB Op386TESTLconst Op386TESTWconst Op386TESTBconst Op386SHLL Op386SHLLconst Op386SHRL Op386SHRW Op386SHRB Op386SHRLconst Op386SHRWconst Op386SHRBconst Op386SARL Op386SARW Op386SARB Op386SARLconst Op386SARWconst Op386SARBconst Op386ROLLconst Op386ROLWconst Op386ROLBconst Op386NEGL Op386NOTL Op386BSFL Op386BSFW Op386BSRL Op386BSRW Op386BSWAPL Op386SQRTSD Op386SBBLcarrymask Op386SETEQ Op386SETNE Op386SETL Op386SETLE Op386SETG Op386SETGE Op386SETB Op386SETBE Op386SETA Op386SETAE Op386SETEQF Op386SETNEF Op386SETORD Op386SETNAN Op386SETGF Op386SETGEF Op386MOVBLSX Op386MOVBLZX Op386MOVWLSX Op386MOVWLZX Op386MOVLconst Op386CVTTSD2SL Op386CVTTSS2SL Op386CVTSL2SS Op386CVTSL2SD Op386CVTSD2SS Op386CVTSS2SD Op386PXOR Op386LEAL Op386LEAL1 Op386LEAL2 Op386LEAL4 Op386LEAL8 Op386MOVBload Op386MOVBLSXload Op386MOVWload Op386MOVWLSXload Op386MOVLload Op386MOVBstore Op386MOVWstore Op386MOVLstore Op386MOVBloadidx1 Op386MOVWloadidx1 Op386MOVWloadidx2 Op386MOVLloadidx1 Op386MOVLloadidx4 Op386MOVBstoreidx1 Op386MOVWstoreidx1 Op386MOVWstoreidx2 Op386MOVLstoreidx1 Op386MOVLstoreidx4 Op386MOVBstoreconst Op386MOVWstoreconst Op386MOVLstoreconst Op386MOVBstoreconstidx1 Op386MOVWstoreconstidx1 Op386MOVWstoreconstidx2 Op386MOVLstoreconstidx1 Op386MOVLstoreconstidx4 Op386DUFFZERO Op386REPSTOSL Op386CALLstatic Op386CALLclosure Op386CALLdefer Op386CALLgo Op386CALLinter Op386DUFFCOPY Op386REPMOVSL Op386InvertFlags Op386LoweredGetG Op386LoweredGetClosurePtr Op386LoweredNilCheck Op386MOVLconvert Op386FlagEQ Op386FlagLT_ULT Op386FlagLT_UGT Op386FlagGT_UGT Op386FlagGT_ULT Op386FCHS Op386MOVSSconst1 Op386MOVSDconst1 Op386MOVSSconst2 Op386MOVSDconst2 OpAMD64ADDSS OpAMD64ADDSD OpAMD64SUBSS OpAMD64SUBSD OpAMD64MULSS OpAMD64MULSD OpAMD64DIVSS OpAMD64DIVSD OpAMD64MOVSSload OpAMD64MOVSDload OpAMD64MOVSSconst OpAMD64MOVSDconst OpAMD64MOVSSloadidx1 OpAMD64MOVSSloadidx4 OpAMD64MOVSDloadidx1 OpAMD64MOVSDloadidx8 OpAMD64MOVSSstore OpAMD64MOVSDstore OpAMD64MOVSSstoreidx1 OpAMD64MOVSSstoreidx4 OpAMD64MOVSDstoreidx1 OpAMD64MOVSDstoreidx8 OpAMD64ADDQ OpAMD64ADDL OpAMD64ADDQconst OpAMD64ADDLconst OpAMD64SUBQ OpAMD64SUBL OpAMD64SUBQconst OpAMD64SUBLconst OpAMD64MULQ OpAMD64MULL OpAMD64MULQconst OpAMD64MULLconst OpAMD64HMULQ OpAMD64HMULL OpAMD64HMULW OpAMD64HMULB OpAMD64HMULQU OpAMD64HMULLU OpAMD64HMULWU OpAMD64HMULBU OpAMD64AVGQU OpAMD64DIVQ OpAMD64DIVL OpAMD64DIVW OpAMD64DIVQU OpAMD64DIVLU OpAMD64DIVWU OpAMD64MULQU2 OpAMD64DIVQU2 OpAMD64ANDQ OpAMD64ANDL OpAMD64ANDQconst OpAMD64ANDLconst OpAMD64ORQ OpAMD64ORL OpAMD64ORQconst OpAMD64ORLconst OpAMD64XORQ OpAMD64XORL OpAMD64XORQconst OpAMD64XORLconst OpAMD64CMPQ OpAMD64CMPL OpAMD64CMPW OpAMD64CMPB OpAMD64CMPQconst OpAMD64CMPLconst OpAMD64CMPWconst OpAMD64CMPBconst OpAMD64UCOMISS OpAMD64UCOMISD OpAMD64TESTQ OpAMD64TESTL OpAMD64TESTW OpAMD64TESTB OpAMD64TESTQconst OpAMD64TESTLconst OpAMD64TESTWconst OpAMD64TESTBconst OpAMD64SHLQ OpAMD64SHLL OpAMD64SHLQconst OpAMD64SHLLconst OpAMD64SHRQ OpAMD64SHRL OpAMD64SHRW OpAMD64SHRB OpAMD64SHRQconst OpAMD64SHRLconst OpAMD64SHRWconst OpAMD64SHRBconst OpAMD64SARQ OpAMD64SARL OpAMD64SARW OpAMD64SARB OpAMD64SARQconst OpAMD64SARLconst OpAMD64SARWconst OpAMD64SARBconst OpAMD64ROLQconst OpAMD64ROLLconst OpAMD64ROLWconst OpAMD64ROLBconst OpAMD64NEGQ OpAMD64NEGL OpAMD64NOTQ OpAMD64NOTL OpAMD64BSFQ OpAMD64BSFL OpAMD64CMOVQEQ OpAMD64CMOVLEQ OpAMD64BSWAPQ OpAMD64BSWAPL OpAMD64SQRTSD OpAMD64SBBQcarrymask OpAMD64SBBLcarrymask OpAMD64SETEQ OpAMD64SETNE OpAMD64SETL OpAMD64SETLE OpAMD64SETG OpAMD64SETGE OpAMD64SETB OpAMD64SETBE OpAMD64SETA OpAMD64SETAE OpAMD64SETEQF OpAMD64SETNEF OpAMD64SETORD OpAMD64SETNAN OpAMD64SETGF OpAMD64SETGEF OpAMD64MOVBQSX OpAMD64MOVBQZX OpAMD64MOVWQSX OpAMD64MOVWQZX OpAMD64MOVLQSX OpAMD64MOVLQZX OpAMD64MOVLconst OpAMD64MOVQconst OpAMD64CVTTSD2SL OpAMD64CVTTSD2SQ OpAMD64CVTTSS2SL OpAMD64CVTTSS2SQ OpAMD64CVTSL2SS OpAMD64CVTSL2SD OpAMD64CVTSQ2SS OpAMD64CVTSQ2SD OpAMD64CVTSD2SS OpAMD64CVTSS2SD OpAMD64PXOR OpAMD64LEAQ OpAMD64LEAQ1 OpAMD64LEAQ2 OpAMD64LEAQ4 OpAMD64LEAQ8 OpAMD64LEAL OpAMD64MOVBload OpAMD64MOVBQSXload OpAMD64MOVWload OpAMD64MOVWQSXload OpAMD64MOVLload OpAMD64MOVLQSXload OpAMD64MOVQload OpAMD64MOVBstore OpAMD64MOVWstore OpAMD64MOVLstore OpAMD64MOVQstore OpAMD64MOVOload OpAMD64MOVOstore OpAMD64MOVBloadidx1 OpAMD64MOVWloadidx1 OpAMD64MOVWloadidx2 OpAMD64MOVLloadidx1 OpAMD64MOVLloadidx4 OpAMD64MOVQloadidx1 OpAMD64MOVQloadidx8 OpAMD64MOVBstoreidx1 OpAMD64MOVWstoreidx1 OpAMD64MOVWstoreidx2 OpAMD64MOVLstoreidx1 OpAMD64MOVLstoreidx4 OpAMD64MOVQstoreidx1 OpAMD64MOVQstoreidx8 OpAMD64MOVBstoreconst OpAMD64MOVWstoreconst OpAMD64MOVLstoreconst OpAMD64MOVQstoreconst OpAMD64MOVBstoreconstidx1 OpAMD64MOVWstoreconstidx1 OpAMD64MOVWstoreconstidx2 OpAMD64MOVLstoreconstidx1 OpAMD64MOVLstoreconstidx4 OpAMD64MOVQstoreconstidx1 OpAMD64MOVQstoreconstidx8 OpAMD64DUFFZERO OpAMD64MOVOconst OpAMD64REPSTOSQ OpAMD64CALLstatic OpAMD64CALLclosure OpAMD64CALLdefer OpAMD64CALLgo OpAMD64CALLinter OpAMD64DUFFCOPY OpAMD64REPMOVSQ OpAMD64InvertFlags OpAMD64LoweredGetG OpAMD64LoweredGetClosurePtr OpAMD64LoweredNilCheck OpAMD64MOVQconvert OpAMD64MOVLconvert OpAMD64FlagEQ OpAMD64FlagLT_ULT OpAMD64FlagLT_UGT OpAMD64FlagGT_UGT OpAMD64FlagGT_ULT OpAMD64MOVLatomicload OpAMD64MOVQatomicload OpAMD64XCHGL OpAMD64XCHGQ OpAMD64XADDLlock OpAMD64XADDQlock OpAMD64AddTupleFirst32 OpAMD64AddTupleFirst64 OpAMD64CMPXCHGLlock OpAMD64CMPXCHGQlock OpAMD64ANDBlock OpAMD64ORBlock OpARMADD OpARMADDconst OpARMSUB OpARMSUBconst OpARMRSB OpARMRSBconst OpARMMUL OpARMHMUL OpARMHMULU OpARMUDIVrtcall OpARMADDS OpARMADDSconst OpARMADC OpARMADCconst OpARMSUBS OpARMSUBSconst OpARMRSBSconst OpARMSBC OpARMSBCconst OpARMRSCconst OpARMMULLU OpARMMULA OpARMADDF OpARMADDD OpARMSUBF OpARMSUBD OpARMMULF OpARMMULD OpARMDIVF OpARMDIVD OpARMAND OpARMANDconst OpARMOR OpARMORconst OpARMXOR OpARMXORconst OpARMBIC OpARMBICconst OpARMMVN OpARMNEGF OpARMNEGD OpARMSQRTD OpARMCLZ OpARMSLL OpARMSLLconst OpARMSRL OpARMSRLconst OpARMSRA OpARMSRAconst OpARMSRRconst OpARMADDshiftLL OpARMADDshiftRL OpARMADDshiftRA OpARMSUBshiftLL OpARMSUBshiftRL OpARMSUBshiftRA OpARMRSBshiftLL OpARMRSBshiftRL OpARMRSBshiftRA OpARMANDshiftLL OpARMANDshiftRL OpARMANDshiftRA OpARMORshiftLL OpARMORshiftRL OpARMORshiftRA OpARMXORshiftLL OpARMXORshiftRL OpARMXORshiftRA OpARMXORshiftRR OpARMBICshiftLL OpARMBICshiftRL OpARMBICshiftRA OpARMMVNshiftLL OpARMMVNshiftRL OpARMMVNshiftRA OpARMADCshiftLL OpARMADCshiftRL OpARMADCshiftRA OpARMSBCshiftLL OpARMSBCshiftRL OpARMSBCshiftRA OpARMRSCshiftLL OpARMRSCshiftRL OpARMRSCshiftRA OpARMADDSshiftLL OpARMADDSshiftRL OpARMADDSshiftRA OpARMSUBSshiftLL OpARMSUBSshiftRL OpARMSUBSshiftRA OpARMRSBSshiftLL OpARMRSBSshiftRL OpARMRSBSshiftRA OpARMADDshiftLLreg OpARMADDshiftRLreg OpARMADDshiftRAreg OpARMSUBshiftLLreg OpARMSUBshiftRLreg OpARMSUBshiftRAreg OpARMRSBshiftLLreg OpARMRSBshiftRLreg OpARMRSBshiftRAreg OpARMANDshiftLLreg OpARMANDshiftRLreg OpARMANDshiftRAreg OpARMORshiftLLreg OpARMORshiftRLreg OpARMORshiftRAreg OpARMXORshiftLLreg OpARMXORshiftRLreg OpARMXORshiftRAreg OpARMBICshiftLLreg OpARMBICshiftRLreg OpARMBICshiftRAreg OpARMMVNshiftLLreg OpARMMVNshiftRLreg OpARMMVNshiftRAreg OpARMADCshiftLLreg OpARMADCshiftRLreg OpARMADCshiftRAreg OpARMSBCshiftLLreg OpARMSBCshiftRLreg OpARMSBCshiftRAreg OpARMRSCshiftLLreg OpARMRSCshiftRLreg OpARMRSCshiftRAreg OpARMADDSshiftLLreg OpARMADDSshiftRLreg OpARMADDSshiftRAreg OpARMSUBSshiftLLreg OpARMSUBSshiftRLreg OpARMSUBSshiftRAreg OpARMRSBSshiftLLreg OpARMRSBSshiftRLreg OpARMRSBSshiftRAreg OpARMCMP OpARMCMPconst OpARMCMN OpARMCMNconst OpARMTST OpARMTSTconst OpARMTEQ OpARMTEQconst OpARMCMPF OpARMCMPD OpARMCMPshiftLL OpARMCMPshiftRL OpARMCMPshiftRA OpARMCMPshiftLLreg OpARMCMPshiftRLreg OpARMCMPshiftRAreg OpARMCMPF0 OpARMCMPD0 OpARMMOVWconst OpARMMOVFconst OpARMMOVDconst OpARMMOVWaddr OpARMMOVBload OpARMMOVBUload OpARMMOVHload OpARMMOVHUload OpARMMOVWload OpARMMOVFload OpARMMOVDload OpARMMOVBstore OpARMMOVHstore OpARMMOVWstore OpARMMOVFstore OpARMMOVDstore OpARMMOVWloadidx OpARMMOVWloadshiftLL OpARMMOVWloadshiftRL OpARMMOVWloadshiftRA OpARMMOVWstoreidx OpARMMOVWstoreshiftLL OpARMMOVWstoreshiftRL OpARMMOVWstoreshiftRA OpARMMOVBreg OpARMMOVBUreg OpARMMOVHreg OpARMMOVHUreg OpARMMOVWreg OpARMMOVWnop OpARMMOVWF OpARMMOVWD OpARMMOVWUF OpARMMOVWUD OpARMMOVFW OpARMMOVDW OpARMMOVFWU OpARMMOVDWU OpARMMOVFD OpARMMOVDF OpARMCMOVWHSconst OpARMCMOVWLSconst OpARMSRAcond OpARMCALLstatic OpARMCALLclosure OpARMCALLdefer OpARMCALLgo OpARMCALLinter OpARMLoweredNilCheck OpARMEqual OpARMNotEqual OpARMLessThan OpARMLessEqual OpARMGreaterThan OpARMGreaterEqual OpARMLessThanU OpARMLessEqualU OpARMGreaterThanU OpARMGreaterEqualU OpARMDUFFZERO OpARMDUFFCOPY OpARMLoweredZero OpARMLoweredMove OpARMLoweredGetClosurePtr OpARMMOVWconvert OpARMFlagEQ OpARMFlagLT_ULT OpARMFlagLT_UGT OpARMFlagGT_UGT OpARMFlagGT_ULT OpARMInvertFlags OpARM64ADD OpARM64ADDconst OpARM64SUB OpARM64SUBconst OpARM64MUL OpARM64MULW OpARM64MULH OpARM64UMULH OpARM64MULL OpARM64UMULL OpARM64DIV OpARM64UDIV OpARM64DIVW OpARM64UDIVW OpARM64MOD OpARM64UMOD OpARM64MODW OpARM64UMODW OpARM64FADDS OpARM64FADDD OpARM64FSUBS OpARM64FSUBD OpARM64FMULS OpARM64FMULD OpARM64FDIVS OpARM64FDIVD OpARM64AND OpARM64ANDconst OpARM64OR OpARM64ORconst OpARM64XOR OpARM64XORconst OpARM64BIC OpARM64BICconst OpARM64MVN OpARM64NEG OpARM64FNEGS OpARM64FNEGD OpARM64FSQRTD OpARM64REV OpARM64REVW OpARM64REV16W OpARM64RBIT OpARM64RBITW OpARM64CLZ OpARM64CLZW OpARM64SLL OpARM64SLLconst OpARM64SRL OpARM64SRLconst OpARM64SRA OpARM64SRAconst OpARM64RORconst OpARM64RORWconst OpARM64CMP OpARM64CMPconst OpARM64CMPW OpARM64CMPWconst OpARM64CMN OpARM64CMNconst OpARM64CMNW OpARM64CMNWconst OpARM64FCMPS OpARM64FCMPD OpARM64ADDshiftLL OpARM64ADDshiftRL OpARM64ADDshiftRA OpARM64SUBshiftLL OpARM64SUBshiftRL OpARM64SUBshiftRA OpARM64ANDshiftLL OpARM64ANDshiftRL OpARM64ANDshiftRA OpARM64ORshiftLL OpARM64ORshiftRL OpARM64ORshiftRA OpARM64XORshiftLL OpARM64XORshiftRL OpARM64XORshiftRA OpARM64BICshiftLL OpARM64BICshiftRL OpARM64BICshiftRA OpARM64CMPshiftLL OpARM64CMPshiftRL OpARM64CMPshiftRA OpARM64MOVDconst OpARM64FMOVSconst OpARM64FMOVDconst OpARM64MOVDaddr OpARM64MOVBload OpARM64MOVBUload OpARM64MOVHload OpARM64MOVHUload OpARM64MOVWload OpARM64MOVWUload OpARM64MOVDload OpARM64FMOVSload OpARM64FMOVDload OpARM64MOVBstore OpARM64MOVHstore OpARM64MOVWstore OpARM64MOVDstore OpARM64FMOVSstore OpARM64FMOVDstore OpARM64MOVBstorezero OpARM64MOVHstorezero OpARM64MOVWstorezero OpARM64MOVDstorezero OpARM64MOVBreg OpARM64MOVBUreg OpARM64MOVHreg OpARM64MOVHUreg OpARM64MOVWreg OpARM64MOVWUreg OpARM64MOVDreg OpARM64MOVDnop OpARM64SCVTFWS OpARM64SCVTFWD OpARM64UCVTFWS OpARM64UCVTFWD OpARM64SCVTFS OpARM64SCVTFD OpARM64UCVTFS OpARM64UCVTFD OpARM64FCVTZSSW OpARM64FCVTZSDW OpARM64FCVTZUSW OpARM64FCVTZUDW OpARM64FCVTZSS OpARM64FCVTZSD OpARM64FCVTZUS OpARM64FCVTZUD OpARM64FCVTSD OpARM64FCVTDS OpARM64CSELULT OpARM64CSELULT0 OpARM64CALLstatic OpARM64CALLclosure OpARM64CALLdefer OpARM64CALLgo OpARM64CALLinter OpARM64LoweredNilCheck OpARM64Equal OpARM64NotEqual OpARM64LessThan OpARM64LessEqual OpARM64GreaterThan OpARM64GreaterEqual OpARM64LessThanU OpARM64LessEqualU OpARM64GreaterThanU OpARM64GreaterEqualU OpARM64DUFFZERO OpARM64LoweredZero OpARM64DUFFCOPY OpARM64LoweredMove OpARM64LoweredGetClosurePtr OpARM64MOVDconvert OpARM64FlagEQ OpARM64FlagLT_ULT OpARM64FlagLT_UGT OpARM64FlagGT_UGT OpARM64FlagGT_ULT OpARM64InvertFlags OpARM64LDAR OpARM64LDARW OpARM64STLR OpARM64STLRW OpARM64LoweredAtomicExchange64 OpARM64LoweredAtomicExchange32 OpARM64LoweredAtomicAdd64 OpARM64LoweredAtomicAdd32 OpARM64LoweredAtomicCas64 OpARM64LoweredAtomicCas32 OpARM64LoweredAtomicAnd8 OpARM64LoweredAtomicOr8 OpMIPSADD OpMIPSADDconst OpMIPSSUB OpMIPSSUBconst OpMIPSMUL OpMIPSMULT OpMIPSMULTU OpMIPSDIV OpMIPSDIVU OpMIPSADDF OpMIPSADDD OpMIPSSUBF OpMIPSSUBD OpMIPSMULF OpMIPSMULD OpMIPSDIVF OpMIPSDIVD OpMIPSAND OpMIPSANDconst OpMIPSOR OpMIPSORconst OpMIPSXOR OpMIPSXORconst OpMIPSNOR OpMIPSNORconst OpMIPSNEG OpMIPSNEGF OpMIPSNEGD OpMIPSSQRTD OpMIPSSLL OpMIPSSLLconst OpMIPSSRL OpMIPSSRLconst OpMIPSSRA OpMIPSSRAconst OpMIPSCLZ OpMIPSSGT OpMIPSSGTconst OpMIPSSGTzero OpMIPSSGTU OpMIPSSGTUconst OpMIPSSGTUzero OpMIPSCMPEQF OpMIPSCMPEQD OpMIPSCMPGEF OpMIPSCMPGED OpMIPSCMPGTF OpMIPSCMPGTD OpMIPSMOVWconst OpMIPSMOVFconst OpMIPSMOVDconst OpMIPSMOVWaddr OpMIPSMOVBload OpMIPSMOVBUload OpMIPSMOVHload OpMIPSMOVHUload OpMIPSMOVWload OpMIPSMOVFload OpMIPSMOVDload OpMIPSMOVBstore OpMIPSMOVHstore OpMIPSMOVWstore OpMIPSMOVFstore OpMIPSMOVDstore OpMIPSMOVBstorezero OpMIPSMOVHstorezero OpMIPSMOVWstorezero OpMIPSMOVBreg OpMIPSMOVBUreg OpMIPSMOVHreg OpMIPSMOVHUreg OpMIPSMOVWreg OpMIPSMOVWnop OpMIPSCMOVZ OpMIPSCMOVZzero OpMIPSMOVWF OpMIPSMOVWD OpMIPSTRUNCFW OpMIPSTRUNCDW OpMIPSMOVFD OpMIPSMOVDF OpMIPSCALLstatic OpMIPSCALLclosure OpMIPSCALLdefer OpMIPSCALLgo OpMIPSCALLinter OpMIPSLoweredAtomicLoad OpMIPSLoweredAtomicStore OpMIPSLoweredAtomicStorezero OpMIPSLoweredAtomicExchange OpMIPSLoweredAtomicAdd OpMIPSLoweredAtomicAddconst OpMIPSLoweredAtomicCas OpMIPSLoweredAtomicAnd OpMIPSLoweredAtomicOr OpMIPSLoweredZero OpMIPSLoweredMove OpMIPSLoweredNilCheck OpMIPSFPFlagTrue OpMIPSFPFlagFalse OpMIPSLoweredGetClosurePtr OpMIPSMOVWconvert OpMIPS64ADDV OpMIPS64ADDVconst OpMIPS64SUBV OpMIPS64SUBVconst OpMIPS64MULV OpMIPS64MULVU OpMIPS64DIVV OpMIPS64DIVVU OpMIPS64ADDF OpMIPS64ADDD OpMIPS64SUBF OpMIPS64SUBD OpMIPS64MULF OpMIPS64MULD OpMIPS64DIVF OpMIPS64DIVD OpMIPS64AND OpMIPS64ANDconst OpMIPS64OR OpMIPS64ORconst OpMIPS64XOR OpMIPS64XORconst OpMIPS64NOR OpMIPS64NORconst OpMIPS64NEGV OpMIPS64NEGF OpMIPS64NEGD OpMIPS64SLLV OpMIPS64SLLVconst OpMIPS64SRLV OpMIPS64SRLVconst OpMIPS64SRAV OpMIPS64SRAVconst OpMIPS64SGT OpMIPS64SGTconst OpMIPS64SGTU OpMIPS64SGTUconst OpMIPS64CMPEQF OpMIPS64CMPEQD OpMIPS64CMPGEF OpMIPS64CMPGED OpMIPS64CMPGTF OpMIPS64CMPGTD OpMIPS64MOVVconst OpMIPS64MOVFconst OpMIPS64MOVDconst OpMIPS64MOVVaddr OpMIPS64MOVBload OpMIPS64MOVBUload OpMIPS64MOVHload OpMIPS64MOVHUload OpMIPS64MOVWload OpMIPS64MOVWUload OpMIPS64MOVVload OpMIPS64MOVFload OpMIPS64MOVDload OpMIPS64MOVBstore OpMIPS64MOVHstore OpMIPS64MOVWstore OpMIPS64MOVVstore OpMIPS64MOVFstore OpMIPS64MOVDstore OpMIPS64MOVBstorezero OpMIPS64MOVHstorezero OpMIPS64MOVWstorezero OpMIPS64MOVVstorezero OpMIPS64MOVBreg OpMIPS64MOVBUreg OpMIPS64MOVHreg OpMIPS64MOVHUreg OpMIPS64MOVWreg OpMIPS64MOVWUreg OpMIPS64MOVVreg OpMIPS64MOVVnop OpMIPS64MOVWF OpMIPS64MOVWD OpMIPS64MOVVF OpMIPS64MOVVD OpMIPS64TRUNCFW OpMIPS64TRUNCDW OpMIPS64TRUNCFV OpMIPS64TRUNCDV OpMIPS64MOVFD OpMIPS64MOVDF OpMIPS64CALLstatic OpMIPS64CALLclosure OpMIPS64CALLdefer OpMIPS64CALLgo OpMIPS64CALLinter OpMIPS64DUFFZERO OpMIPS64LoweredZero OpMIPS64LoweredMove OpMIPS64LoweredNilCheck OpMIPS64FPFlagTrue OpMIPS64FPFlagFalse OpMIPS64LoweredGetClosurePtr OpMIPS64MOVVconvert OpPPC64ADD OpPPC64ADDconst OpPPC64FADD OpPPC64FADDS OpPPC64SUB OpPPC64FSUB OpPPC64FSUBS OpPPC64MULLD OpPPC64MULLW OpPPC64MULHD OpPPC64MULHW OpPPC64MULHDU OpPPC64MULHWU OpPPC64FMUL OpPPC64FMULS OpPPC64SRAD OpPPC64SRAW OpPPC64SRD OpPPC64SRW OpPPC64SLD OpPPC64SLW OpPPC64ADDconstForCarry OpPPC64MaskIfNotCarry OpPPC64SRADconst OpPPC64SRAWconst OpPPC64SRDconst OpPPC64SRWconst OpPPC64SLDconst OpPPC64SLWconst OpPPC64FDIV OpPPC64FDIVS OpPPC64DIVD OpPPC64DIVW OpPPC64DIVDU OpPPC64DIVWU OpPPC64FCTIDZ OpPPC64FCTIWZ OpPPC64FCFID OpPPC64FRSP OpPPC64Xf2i64 OpPPC64Xi2f64 OpPPC64AND OpPPC64ANDN OpPPC64OR OpPPC64ORN OpPPC64XOR OpPPC64EQV OpPPC64NEG OpPPC64FNEG OpPPC64FSQRT OpPPC64FSQRTS OpPPC64ORconst OpPPC64XORconst OpPPC64ANDconst OpPPC64ANDCCconst OpPPC64MOVBreg OpPPC64MOVBZreg OpPPC64MOVHreg OpPPC64MOVHZreg OpPPC64MOVWreg OpPPC64MOVWZreg OpPPC64MOVBZload OpPPC64MOVHload OpPPC64MOVHZload OpPPC64MOVWload OpPPC64MOVWZload OpPPC64MOVDload OpPPC64FMOVDload OpPPC64FMOVSload OpPPC64MOVBstore OpPPC64MOVHstore OpPPC64MOVWstore OpPPC64MOVDstore OpPPC64FMOVDstore OpPPC64FMOVSstore OpPPC64MOVBstorezero OpPPC64MOVHstorezero OpPPC64MOVWstorezero OpPPC64MOVDstorezero OpPPC64MOVDaddr OpPPC64MOVDconst OpPPC64FMOVDconst OpPPC64FMOVSconst OpPPC64FCMPU OpPPC64CMP OpPPC64CMPU OpPPC64CMPW OpPPC64CMPWU OpPPC64CMPconst OpPPC64CMPUconst OpPPC64CMPWconst OpPPC64CMPWUconst OpPPC64Equal OpPPC64NotEqual OpPPC64LessThan OpPPC64FLessThan OpPPC64LessEqual OpPPC64FLessEqual OpPPC64GreaterThan OpPPC64FGreaterThan OpPPC64GreaterEqual OpPPC64FGreaterEqual OpPPC64LoweredGetClosurePtr OpPPC64LoweredNilCheck OpPPC64MOVDconvert OpPPC64CALLstatic OpPPC64CALLclosure OpPPC64CALLdefer OpPPC64CALLgo OpPPC64CALLinter OpPPC64LoweredZero OpPPC64LoweredMove OpPPC64InvertFlags OpPPC64FlagEQ OpPPC64FlagLT OpPPC64FlagGT OpS390XFADDS OpS390XFADD OpS390XFSUBS OpS390XFSUB OpS390XFMULS OpS390XFMUL OpS390XFDIVS OpS390XFDIV OpS390XFNEGS OpS390XFNEG OpS390XFMOVSload OpS390XFMOVDload OpS390XFMOVSconst OpS390XFMOVDconst OpS390XFMOVSloadidx OpS390XFMOVDloadidx OpS390XFMOVSstore OpS390XFMOVDstore OpS390XFMOVSstoreidx OpS390XFMOVDstoreidx OpS390XADD OpS390XADDW OpS390XADDconst OpS390XADDWconst OpS390XADDload OpS390XADDWload OpS390XSUB OpS390XSUBW OpS390XSUBconst OpS390XSUBWconst OpS390XSUBload OpS390XSUBWload OpS390XMULLD OpS390XMULLW OpS390XMULLDconst OpS390XMULLWconst OpS390XMULLDload OpS390XMULLWload OpS390XMULHD OpS390XMULHDU OpS390XDIVD OpS390XDIVW OpS390XDIVDU OpS390XDIVWU OpS390XMODD OpS390XMODW OpS390XMODDU OpS390XMODWU OpS390XAND OpS390XANDW OpS390XANDconst OpS390XANDWconst OpS390XANDload OpS390XANDWload OpS390XOR OpS390XORW OpS390XORconst OpS390XORWconst OpS390XORload OpS390XORWload OpS390XXOR OpS390XXORW OpS390XXORconst OpS390XXORWconst OpS390XXORload OpS390XXORWload OpS390XCMP OpS390XCMPW OpS390XCMPU OpS390XCMPWU OpS390XCMPconst OpS390XCMPWconst OpS390XCMPUconst OpS390XCMPWUconst OpS390XFCMPS OpS390XFCMP OpS390XSLD OpS390XSLW OpS390XSLDconst OpS390XSLWconst OpS390XSRD OpS390XSRW OpS390XSRDconst OpS390XSRWconst OpS390XSRAD OpS390XSRAW OpS390XSRADconst OpS390XSRAWconst OpS390XRLLGconst OpS390XRLLconst OpS390XNEG OpS390XNEGW OpS390XNOT OpS390XNOTW OpS390XFSQRT OpS390XSUBEcarrymask OpS390XSUBEWcarrymask OpS390XMOVDEQ OpS390XMOVDNE OpS390XMOVDLT OpS390XMOVDLE OpS390XMOVDGT OpS390XMOVDGE OpS390XMOVDGTnoinv OpS390XMOVDGEnoinv OpS390XMOVBreg OpS390XMOVBZreg OpS390XMOVHreg OpS390XMOVHZreg OpS390XMOVWreg OpS390XMOVWZreg OpS390XMOVDconst OpS390XCFDBRA OpS390XCGDBRA OpS390XCFEBRA OpS390XCGEBRA OpS390XCEFBRA OpS390XCDFBRA OpS390XCEGBRA OpS390XCDGBRA OpS390XLEDBR OpS390XLDEBR OpS390XMOVDaddr OpS390XMOVDaddridx OpS390XMOVBZload OpS390XMOVBload OpS390XMOVHZload OpS390XMOVHload OpS390XMOVWZload OpS390XMOVWload OpS390XMOVDload OpS390XMOVWBR OpS390XMOVDBR OpS390XMOVHBRload OpS390XMOVWBRload OpS390XMOVDBRload OpS390XMOVBstore OpS390XMOVHstore OpS390XMOVWstore OpS390XMOVDstore OpS390XMOVHBRstore OpS390XMOVWBRstore OpS390XMOVDBRstore OpS390XMVC OpS390XMOVBZloadidx OpS390XMOVHZloadidx OpS390XMOVWZloadidx OpS390XMOVDloadidx OpS390XMOVHBRloadidx OpS390XMOVWBRloadidx OpS390XMOVDBRloadidx OpS390XMOVBstoreidx OpS390XMOVHstoreidx OpS390XMOVWstoreidx OpS390XMOVDstoreidx OpS390XMOVHBRstoreidx OpS390XMOVWBRstoreidx OpS390XMOVDBRstoreidx OpS390XMOVBstoreconst OpS390XMOVHstoreconst OpS390XMOVWstoreconst OpS390XMOVDstoreconst OpS390XCLEAR OpS390XCALLstatic OpS390XCALLclosure OpS390XCALLdefer OpS390XCALLgo OpS390XCALLinter OpS390XInvertFlags OpS390XLoweredGetG OpS390XLoweredGetClosurePtr OpS390XLoweredNilCheck OpS390XMOVDconvert OpS390XFlagEQ OpS390XFlagLT OpS390XFlagGT OpS390XMOVWZatomicload OpS390XMOVDatomicload OpS390XMOVWatomicstore OpS390XMOVDatomicstore OpS390XLAA OpS390XLAAG OpS390XAddTupleFirst32 OpS390XAddTupleFirst64 OpS390XLoweredAtomicCas32 OpS390XLoweredAtomicCas64 OpS390XLoweredAtomicExchange32 OpS390XLoweredAtomicExchange64 OpS390XFLOGR OpS390XSTMG2 OpS390XSTMG3 OpS390XSTMG4 OpS390XSTM2 OpS390XSTM3 OpS390XSTM4 OpS390XLoweredMove OpS390XLoweredZero OpAdd8 OpAdd16 OpAdd32 OpAdd64 OpAddPtr OpAdd32F OpAdd64F OpSub8 OpSub16 OpSub32 OpSub64 OpSubPtr OpSub32F OpSub64F OpMul8 OpMul16 OpMul32 OpMul64 OpMul32F OpMul64F OpDiv32F OpDiv64F OpHmul8 OpHmul8u OpHmul16 OpHmul16u OpHmul32 OpHmul32u OpHmul64 OpHmul64u OpMul32uhilo OpMul64uhilo OpAvg64u OpDiv8 OpDiv8u OpDiv16 OpDiv16u OpDiv32 OpDiv32u OpDiv64 OpDiv64u OpDiv128u OpMod8 OpMod8u OpMod16 OpMod16u OpMod32 OpMod32u OpMod64 OpMod64u OpAnd8 OpAnd16 OpAnd32 OpAnd64 OpOr8 OpOr16 OpOr32 OpOr64 OpXor8 OpXor16 OpXor32 OpXor64 OpLsh8x8 OpLsh8x16 OpLsh8x32 OpLsh8x64 OpLsh16x8 OpLsh16x16 OpLsh16x32 OpLsh16x64 OpLsh32x8 OpLsh32x16 OpLsh32x32 OpLsh32x64 OpLsh64x8 OpLsh64x16 OpLsh64x32 OpLsh64x64 OpRsh8x8 OpRsh8x16 OpRsh8x32 OpRsh8x64 OpRsh16x8 OpRsh16x16 OpRsh16x32 OpRsh16x64 OpRsh32x8 OpRsh32x16 OpRsh32x32 OpRsh32x64 OpRsh64x8 OpRsh64x16 OpRsh64x32 OpRsh64x64 OpRsh8Ux8 OpRsh8Ux16 OpRsh8Ux32 OpRsh8Ux64 OpRsh16Ux8 OpRsh16Ux16 OpRsh16Ux32 OpRsh16Ux64 OpRsh32Ux8 OpRsh32Ux16 OpRsh32Ux32 OpRsh32Ux64 OpRsh64Ux8 OpRsh64Ux16 OpRsh64Ux32 OpRsh64Ux64 OpLrot8 OpLrot16 OpLrot32 OpLrot64 OpEq8 OpEq16 OpEq32 OpEq64 OpEqPtr OpEqInter OpEqSlice OpEq32F OpEq64F OpNeq8 OpNeq16 OpNeq32 OpNeq64 OpNeqPtr OpNeqInter OpNeqSlice OpNeq32F OpNeq64F OpLess8 OpLess8U OpLess16 OpLess16U OpLess32 OpLess32U OpLess64 OpLess64U OpLess32F OpLess64F OpLeq8 OpLeq8U OpLeq16 OpLeq16U OpLeq32 OpLeq32U OpLeq64 OpLeq64U OpLeq32F OpLeq64F OpGreater8 OpGreater8U OpGreater16 OpGreater16U OpGreater32 OpGreater32U OpGreater64 OpGreater64U OpGreater32F OpGreater64F OpGeq8 OpGeq8U OpGeq16 OpGeq16U OpGeq32 OpGeq32U OpGeq64 OpGeq64U OpGeq32F OpGeq64F OpAndB OpOrB OpEqB OpNeqB OpNot OpNeg8 OpNeg16 OpNeg32 OpNeg64 OpNeg32F OpNeg64F OpCom8 OpCom16 OpCom32 OpCom64 OpCtz32 OpCtz64 OpBswap32 OpBswap64 OpSqrt OpPhi OpCopy OpConvert OpConstBool OpConstString OpConstNil OpConst8 OpConst16 OpConst32 OpConst64 OpConst32F OpConst64F OpConstInterface OpConstSlice OpInitMem OpArg OpAddr OpSP OpSB OpFunc OpLoad OpStore OpMove OpZero OpStoreWB OpMoveWB OpMoveWBVolatile OpZeroWB OpClosureCall OpStaticCall OpDeferCall OpGoCall OpInterCall OpSignExt8to16 OpSignExt8to32 OpSignExt8to64 OpSignExt16to32 OpSignExt16to64 OpSignExt32to64 OpZeroExt8to16 OpZeroExt8to32 OpZeroExt8to64 OpZeroExt16to32 OpZeroExt16to64 OpZeroExt32to64 OpTrunc16to8 OpTrunc32to8 OpTrunc32to16 OpTrunc64to8 OpTrunc64to16 OpTrunc64to32 OpCvt32to32F OpCvt32to64F OpCvt64to32F OpCvt64to64F OpCvt32Fto32 OpCvt32Fto64 OpCvt64Fto32 OpCvt64Fto64 OpCvt32Fto64F OpCvt64Fto32F OpIsNonNil OpIsInBounds OpIsSliceInBounds OpNilCheck OpGetG OpGetClosurePtr OpPtrIndex OpOffPtr OpSliceMake OpSlicePtr OpSliceLen OpSliceCap OpComplexMake OpComplexReal OpComplexImag OpStringMake OpStringPtr OpStringLen OpIMake OpITab OpIData OpStructMake0 OpStructMake1 OpStructMake2 OpStructMake3 OpStructMake4 OpStructSelect OpArrayMake0 OpArrayMake1 OpArraySelect OpStoreReg OpLoadReg OpFwdRef OpUnknown OpVarDef OpVarKill OpVarLive OpKeepAlive OpInt64Make OpInt64Hi OpInt64Lo OpAdd32carry OpAdd32withcarry OpSub32carry OpSub32withcarry OpSignmask OpZeromask OpSlicemask OpCvt32Uto32F OpCvt32Uto64F OpCvt32Fto32U OpCvt64Fto32U OpCvt64Uto32F OpCvt64Uto64F OpCvt32Fto64U OpCvt64Fto64U OpSelect0 OpSelect1 OpAtomicLoad32 OpAtomicLoad64 OpAtomicLoadPtr OpAtomicStore32 OpAtomicStore64 OpAtomicStorePtrNoWB OpAtomicExchange32 OpAtomicExchange64 OpAtomicAdd32 OpAtomicAdd64 OpAtomicCompareAndSwap32 OpAtomicCompareAndSwap64 OpAtomicAnd8 OpAtomicOr8 )
func StructMakeOp ¶
StructMakeOp returns the opcode to construct a struct with the given number of fields.
func (Op) UsesScratch ¶
type RBTint32 ¶
type RBTint32 struct {
// contains filtered or unexported fields
}
RBTint32 is a red-black tree with data stored at internal nodes, following Tarjan, Data Structures and Network Algorithms, pp 48-52, using explicit rank instead of red and black. Deletion is not yet implemented because it is not yet needed. Extra operations glb, lub, glbEq, lubEq are provided for use in sparse lookup algorithms.
func (*RBTint32) Find ¶
Find returns the data associated with key in the tree, or nil if key is not in the tree.
func (*RBTint32) Glb ¶
Glb returns the greatest-lower-bound-exclusive of x and its associated data. If x has no glb in the tree, then (0, nil) is returned.
func (*RBTint32) GlbEq ¶
GlbEq returns the greatest-lower-bound-inclusive of x and its associated data. If x has no glbEQ in the tree, then (0, nil) is returned.
func (*RBTint32) Insert ¶
Insert adds key to the tree and associates key with data. If key was already in the tree, it updates the associated data. Insert returns the previous data associated with key, or nil if key was not present. Insert panics if data is nil.
func (*RBTint32) Lub ¶
Lub returns the least-upper-bound-exclusive of x and its associated data. If x has no lub in the tree, then (0, nil) is returned.
func (*RBTint32) LubEq ¶
LubEq returns the least-upper-bound-inclusive of x and its associated data. If x has no lubEq in the tree, then (0, nil) is returned.
func (*RBTint32) Max ¶
Max returns the maximum element of t and its associated data. If t is empty, then (0, nil) is returned.
func (*RBTint32) Min ¶
Min returns the minimum element of t and its associated data. If t is empty, then (0, nil) is returned.
func (*RBTint32) VisitInOrder ¶
VisitInOrder applies f to the key and data pairs in t, with keys ordered from smallest to largest.
type Register ¶
type Register struct {
// contains filtered or unexported fields
}
A Register is a machine register, like %rax. They are numbered densely from 0 (for each architecture).
type SizeAndAlign ¶
type SizeAndAlign int64
SizeAndAlign holds both the size and the alignment of a type, used in Zero and Move ops. The high 8 bits hold the alignment. The low 56 bits hold the size.
func MakeSizeAndAlign ¶
func MakeSizeAndAlign(size, align int64) SizeAndAlign
func (SizeAndAlign) Align ¶
func (x SizeAndAlign) Align() int64
func (SizeAndAlign) Int64 ¶
func (x SizeAndAlign) Int64() int64
func (SizeAndAlign) Size ¶
func (x SizeAndAlign) Size() int64
func (SizeAndAlign) String ¶
func (x SizeAndAlign) String() string
type SparseTree ¶
type SparseTree []SparseTreeNode
A SparseTree is a tree of Blocks. It allows rapid ancestor queries, such as whether one block dominates another.
func (SparseTree) Child ¶
func (t SparseTree) Child(x *Block) *Block
Child returns a child of x in the dominator tree, or nil if there are none. The choice of first child is arbitrary but repeatable.
func (SparseTree) Sibling ¶
func (t SparseTree) Sibling(x *Block) *Block
Sibling returns a sibling of x in the dominator tree (i.e., a node with the same immediate dominator) or nil if there are no remaining siblings in the arbitrary but repeatable order chosen. Because the Child-Sibling order is used to assign entry and exit numbers in the treewalk, those numbers are also consistent with this order (i.e., Sibling(x) has entry number larger than x's exit number).
type SparseTreeHelper ¶
type SparseTreeHelper struct { Sdom []SparseTreeNode // indexed by block.ID Po []*Block // exported data; the blocks, in a post-order Dom []*Block // exported data; the dominator of this block. Ponums []int32 // exported data; Po[Ponums[b.ID]] == b; the index of b in Po }
A SparseTreeHelper contains indexing and allocation data structures common to a collection of SparseTreeMaps, as well as exposing some useful control-flow-related data to other packages, such as gc.
func NewSparseTreeHelper ¶
func NewSparseTreeHelper(f *Func) *SparseTreeHelper
NewSparseTreeHelper returns a SparseTreeHelper for use in the gc package, for example in phi-function placement.
func (*SparseTreeHelper) NewTree ¶
func (h *SparseTreeHelper) NewTree() *SparseTreeMap
type SparseTreeMap ¶
type SparseTreeMap RBTint32
A SparseTreeMap encodes a subset of nodes within a tree used for sparse-ancestor queries.
Combined with a SparseTreeHelper, this supports an Insert to add a tree node to the set and a Find operation to locate the nearest tree ancestor of a given node such that the ancestor is also in the set.
Given a set of blocks {B1, B2, B3} within the dominator tree, established by stm.Insert()ing B1, B2, B3, etc, a query at block B (performed with stm.Find(stm, B, adjust, helper)) will return the member of the set that is the nearest strict ancestor of B within the dominator tree, or nil if none exists. The expected complexity of this operation is the log of the size the set, given certain assumptions about sparsity (the log complexity could be guaranteed with additional data structures whose constant- factor overhead has not yet been justified.)
The adjust parameter allows positioning of the insertion and lookup points within a block -- one of AdjustBefore, AdjustWithin, AdjustAfter, where lookups at AdjustWithin can find insertions at AdjustBefore in the same block, and lookups at AdjustAfter can find insertions at either AdjustBefore or AdjustWithin in the same block. (Note that this assumes a gappy numbering such that exit number or exit number is separated from its nearest neighbor by at least 3).
The Sparse Tree lookup algorithm is described by Paul F. Dietz. Maintaining order in a linked list. In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, pages 122–127, May 1982. and by Ben Wegbreit. Faster retrieval from context trees. Communications of the ACM, 19(9):526–529, September 1976.
func (*SparseTreeMap) Find ¶
func (m *SparseTreeMap) Find(b *Block, adjust int32, helper *SparseTreeHelper) interface{}
Find returns the definition visible from block b, or nil if none can be found. Adjust indicates where the block should be searched. AdjustBefore searches before the phi functions of b. AdjustWithin searches starting at the phi functions of b. AdjustAfter searches starting at the exit from the block, including normal within-block definitions.
Note that Finds are properly nested with Inserts: m.Insert(b, a) followed by m.Find(b, a) will not return the result of the insert, but m.Insert(b, AdjustBefore) followed by m.Find(b, AdjustWithin) will.
Another way to think of this is that Find searches for inputs, Insert defines outputs.
func (*SparseTreeMap) Insert ¶
func (m *SparseTreeMap) Insert(b *Block, adjust int32, x interface{}, helper *SparseTreeHelper)
Insert creates a definition within b with data x. adjust indicates where in the block should be inserted: AdjustBefore means defined at a phi function (visible Within or After in the same block) AdjustWithin means defined within the block (visible After in the same block) AdjustAfter means after the block (visible within child blocks)
func (*SparseTreeMap) String ¶
func (m *SparseTreeMap) String() string
type SparseTreeNode ¶
type SparseTreeNode struct {
// contains filtered or unexported fields
}
func (*SparseTreeNode) Entry ¶
func (s *SparseTreeNode) Entry() int32
func (*SparseTreeNode) Exit ¶
func (s *SparseTreeNode) Exit() int32
func (*SparseTreeNode) String ¶
func (s *SparseTreeNode) String() string
type TupleType ¶
type TupleType struct {
// contains filtered or unexported fields
}
func (*TupleType) IsInterface ¶
func (*TupleType) IsPtrShaped ¶
func (*TupleType) SimpleString ¶
type Type ¶
type Type interface { Size() int64 // return the size in bytes Alignment() int64 IsBoolean() bool // is a named or unnamed boolean type IsInteger() bool // ... ditto for the others IsSigned() bool IsFloat() bool IsComplex() bool IsPtrShaped() bool IsString() bool IsSlice() bool IsArray() bool IsStruct() bool IsInterface() bool IsMemory() bool // special ssa-package-only types IsFlags() bool IsVoid() bool IsTuple() bool ElemType() Type // given []T or *T or [n]T, return T PtrTo() Type // given T, return *T NumFields() int // # of fields of a struct FieldType(i int) Type // type of ith field of the struct or ith part of a tuple FieldOff(i int) int64 // offset of ith field of the struct FieldName(i int) string // name of ith field of the struct NumElem() int64 // # of elements of an array String() string SimpleString() string // a coarser generic description of T, e.g. T's underlying type Compare(Type) Cmp // compare types, returning one of CMPlt, CMPeq, CMPgt. }
A type interface used to import cmd/internal/gc:Type Type instances are not guaranteed to be canonical.
type TypeSource ¶
type TypeSource interface { TypeBool() Type TypeInt8() Type TypeInt16() Type TypeInt32() Type TypeInt64() Type TypeUInt8() Type TypeUInt16() Type TypeUInt32() Type TypeUInt64() Type TypeInt() Type TypeFloat32() Type TypeFloat64() Type TypeUintptr() Type TypeString() Type TypeBytePtr() Type // TODO: use unsafe.Pointer instead? CanSSA(t Type) bool }
type ValAndOff ¶
type ValAndOff int64
A ValAndOff is used by the several opcodes. It holds both a value and a pointer offset. A ValAndOff is intended to be encoded into an AuxInt field. The zero ValAndOff encodes a value of 0 and an offset of 0. The high 32 bits hold a value. The low 32 bits hold a pointer offset.
type Value ¶
type Value struct { // A unique identifier for the value. For performance we allocate these IDs // densely starting at 1. There is no guarantee that there won't be occasional holes, though. ID ID // The operation that computes this value. See op.go. Op Op // The type of this value. Normally this will be a Go type, but there // are a few other pseudo-types, see type.go. Type Type // Auxiliary info for this value. The type of this information depends on the opcode and type. // AuxInt is used for integer values, Aux is used for other values. // Floats are stored in AuxInt using math.Float64bits(f). AuxInt int64 Aux interface{} // Arguments of this value Args []*Value // Containing basic block Block *Block // Source line number Line int32 // Use count. Each appearance in Value.Args and Block.Control counts once. Uses int32 // contains filtered or unexported fields }
A Value represents a value in the SSA representation of the program. The ID and Type fields must not be modified. The remainder may be modified if they preserve the value of the Value (e.g. changing a (mul 2 x) to an (add x x)).
func (*Value) AuxValAndOff ¶
func (*Value) LongString ¶
long form print. v# = opcode <type> [aux] args [: reg]
func (*Value) Reg0 ¶
Reg0 returns the register assigned to the first output of v, in cmd/internal/obj/$ARCH numbering.
Source Files ¶
- block.go
- check.go
- checkbce.go
- compile.go
- config.go
- copyelim.go
- critical.go
- cse.go
- deadcode.go
- deadstore.go
- decompose.go
- dom.go
- flagalloc.go
- func.go
- fuse.go
- html.go
- id.go
- layout.go
- lca.go
- likelyadjust.go
- location.go
- loopbce.go
- loopreschedchecks.go
- lower.go
- magic.go
- nilcheck.go
- op.go
- opGen.go
- opt.go
- phielim.go
- phiopt.go
- print.go
- prove.go
- redblack32.go
- regalloc.go
- rewrite.go
- rewrite386.go
- rewriteAMD64.go
- rewriteARM.go
- rewriteARM64.go
- rewriteMIPS.go
- rewriteMIPS64.go
- rewritePPC64.go
- rewriteS390X.go
- rewritedec.go
- rewritedec64.go
- rewritegeneric.go
- schedule.go
- shortcircuit.go
- sparsemap.go
- sparseset.go
- sparsetree.go
- sparsetreemap.go
- stackalloc.go
- stackframe.go
- tighten.go
- trim.go
- type.go
- value.go
- writebarrier.go
- zcse.go