Documentation ¶
Index ¶
- Constants
- Variables
- func Bool2int(b bool) int
- func CConv(s uint8) string
- func CConvARM(s uint8) string
- func Dconv(p *Prog, a *Addr) string
- func Flushplist(ctxt *Link, plist *Plist, newprog ProgAlloc, myimportpath string)
- func MarkUnsafePoints(ctxt *Link, p0 *Prog, newprog ProgAlloc, ...)
- func Nopout(p *Prog)
- func RLconv(list int64) string
- func Rconv(reg int) string
- func RegisterOpSuffix(arch string, cconv func(uint8) string)
- func RegisterOpcode(lo As, Anames []string)
- func RegisterRegister(lo, hi int, Rconv func(int) string)
- func RegisterRegisterList(lo, hi int64, rlconv func(int64) string)
- func WriteDconv(w io.Writer, p *Prog, a *Addr)
- func WriteObjFile(ctxt *Link, bout *bio.Writer, pkgpath string)
- func WriteObjFile2(ctxt *Link, b *bio.Writer, pkgpath string)
- type ABI
- type Addr
- type AddrName
- type AddrType
- type As
- type Attribute
- func (a Attribute) ABI() ABI
- func (a Attribute) CFunc() bool
- func (a Attribute) DuplicateOK() bool
- func (a Attribute) Indexed() bool
- func (a Attribute) Leaf() bool
- func (a Attribute) Local() bool
- func (a Attribute) MakeTypelink() bool
- func (a Attribute) NeedCtxt() bool
- func (a Attribute) NoFrame() bool
- func (a Attribute) NoSplit() bool
- func (a Attribute) OnList() bool
- func (a Attribute) ReflectMethod() bool
- func (a Attribute) SeenGlobl() bool
- func (a *Attribute) Set(flag Attribute, value bool)
- func (a *Attribute) SetABI(abi ABI)
- func (a Attribute) Static() bool
- func (a Attribute) TextAttrString() string
- func (a Attribute) TopFrame() bool
- func (a Attribute) WasInlined() bool
- func (a Attribute) Wrapper() bool
- type Auto
- type BySymName
- type DwarfFixupTable
- func (ft *DwarfFixupTable) AbsFuncDwarfSym(fnsym *LSym) *LSym
- func (ft *DwarfFixupTable) Finalize(myimportpath string, trace bool)
- func (ft *DwarfFixupTable) GetPrecursorFunc(s *LSym) interface{}
- func (ft *DwarfFixupTable) ReferenceChildDIE(s *LSym, ridx int, tgt *LSym, dclidx int, inlIndex int)
- func (ft *DwarfFixupTable) RegisterChildDIEOffsets(s *LSym, vars []*dwarf.Var, coffsets []int32)
- func (ft *DwarfFixupTable) SetPrecursorFunc(s *LSym, fn interface{})
- type FuncInfo
- type InlMark
- type InlTree
- type InlinedCall
- type LSym
- func (s *LSym) CanBeAnSSASym()
- func (s *LSym) Grow(lsiz int64)
- func (s *LSym) GrowCap(c int64)
- func (s *LSym) Length(dwarfContext interface{}) int64
- func (s *LSym) String() string
- func (s *LSym) WriteAddr(ctxt *Link, off int64, siz int, rsym *LSym, roff int64)
- func (s *LSym) WriteBytes(ctxt *Link, off int64, b []byte) int64
- func (s *LSym) WriteCURelativeAddr(ctxt *Link, off int64, rsym *LSym, roff int64)
- func (s *LSym) WriteFloat32(ctxt *Link, off int64, f float32)
- func (s *LSym) WriteFloat64(ctxt *Link, off int64, f float64)
- func (s *LSym) WriteInt(ctxt *Link, off int64, siz int, i int64)
- func (s *LSym) WriteOff(ctxt *Link, off int64, rsym *LSym, roff int64)
- func (s *LSym) WriteString(ctxt *Link, off int64, siz int, str string)
- func (s *LSym) WriteWeakOff(ctxt *Link, off int64, rsym *LSym, roff int64)
- type Link
- func (ctxt *Link) AddImport(pkg string, fingerprint goobj2.FingerprintType)
- func (ctxt *Link) AllPos(xpos src.XPos, result []src.Pos) []src.Pos
- func (ctxt *Link) CanReuseProgs() bool
- func (ctxt *Link) Diag(format string, args ...interface{})
- func (ctxt *Link) DwarfAbstractFunc(curfn interface{}, s *LSym, myimportpath string)
- func (ctxt *Link) DwarfIntConst(myimportpath, name, typename string, val int64)
- func (ctxt *Link) EmitEntryLiveness(s *LSym, p *Prog, newprog ProgAlloc) *Prog
- func (ctxt *Link) EmitEntryRegMap(s *LSym, p *Prog, newprog ProgAlloc) *Prog
- func (ctxt *Link) EmitEntryStackMap(s *LSym, p *Prog, newprog ProgAlloc) *Prog
- func (ctxt *Link) EndUnsafePoint(p *Prog, newprog ProgAlloc, oldval int64) *Prog
- func (ctxt *Link) FixedFrameSize() int64
- func (ctxt *Link) Float32Sym(f float32) *LSym
- func (ctxt *Link) Float64Sym(f float64) *LSym
- func (ctxt *Link) Globl(s *LSym, size int64, flag int)
- func (ctxt *Link) InitTextSym(s *LSym, flag int)
- func (ctxt *Link) InnermostPos(xpos src.XPos) src.Pos
- func (ctxt *Link) Int64Sym(i int64) *LSym
- func (ctxt *Link) Logf(format string, args ...interface{})
- func (ctxt *Link) Lookup(name string) *LSym
- func (ctxt *Link) LookupABI(name string, abi ABI) *LSym
- func (ctxt *Link) LookupABIInit(name string, abi ABI, init func(s *LSym)) *LSym
- func (ctxt *Link) LookupDerived(s *LSym, name string) *LSym
- func (ctxt *Link) LookupInit(name string, init func(s *LSym)) *LSym
- func (ctxt *Link) LookupStatic(name string) *LSym
- func (ctxt *Link) NewProg() *Prog
- func (ctxt *Link) NumberSyms(asm bool)
- func (ctxt *Link) OutermostPos(xpos src.XPos) src.Pos
- func (ctxt *Link) StartUnsafePoint(p *Prog, newprog ProgAlloc) *Prog
- type LinkArch
- type PCIter
- type Pcdata
- type Pcln
- type Plist
- type Prog
- func (p *Prog) From3Type() AddrTypedeprecated
- func (p *Prog) GetFrom3() *Addrdeprecated
- func (p *Prog) InnermostFilename() string
- func (p *Prog) InnermostLine(w io.Writer)
- func (p *Prog) InnermostLineNumber() string
- func (p *Prog) InnermostLineNumberHTML() string
- func (p *Prog) InnermostString(w io.Writer)
- func (p *Prog) InstructionString() string
- func (p *Prog) Line() string
- func (p *Prog) SetFrom3(a Addr)deprecated
- func (p *Prog) String() string
- func (p *Prog) WriteInstructionString(w io.Writer)
- type ProgAlloc
- type Reloc
Constants ¶
const ( LINE_BASE = -4 LINE_RANGE = 10 PC_RANGE = (255 - OPCODE_BASE) / LINE_RANGE OPCODE_BASE = 11 )
Generate a sequence of opcodes that is as short as possible. See section 6.2.5
const ( ABase386 = (1 + iota) << 11 ABaseARM ABaseAMD64 ABasePPC64 ABaseARM64 ABaseMIPS ABaseRISCV ABaseS390X ABaseWasm AllowedOpCodes = 1 << 11 // The number of opcodes available for any given architecture. AMask = AllowedOpCodes - 1 // AND with this to use the opcode as an array index. )
Each architecture is allotted a distinct subspace of opcode values for declaring its arch-specific opcodes. Within this subspace, the first arch-specific opcode should be at offset A_ARCHSPECIFIC.
Subspaces are aligned to a power of two so opcodes can be masked with AMask and used as compact array indices.
const ( // Don't profile the marked routine. // // Deprecated: Not implemented, do not use. NOPROF = 1 // It is ok for the linker to get multiple of these symbols. It will // pick one of the duplicates to use. DUPOK = 2 // Don't insert stack check preamble. NOSPLIT = 4 // Put this data in a read-only section. RODATA = 8 // This data contains no pointers. NOPTR = 16 // This is a wrapper function and should not count as disabling 'recover'. WRAPPER = 32 // This function uses its incoming context register. NEEDCTXT = 64 // When passed to ggloblsym, causes Local to be set to true on the LSym it creates. LOCAL = 128 // Allocate a word of thread local storage and store the offset from the // thread local base to the thread local storage in this variable. TLSBSS = 256 // Do not insert instructions to allocate a stack frame for this function. // Only valid on functions that declare a frame size of 0. // TODO(mwhudson): only implemented for ppc64x at present. NOFRAME = 512 // Function can call reflect.Type.Method or reflect.Type.MethodByName. REFLECTMETHOD = 1024 // Function is the top of the call stack. Call stack unwinders should stop // at this function. TOPFRAME = 2048 )
const ( C_SCOND = (1 << 4) - 1 C_SBIT = 1 << 4 C_PBIT = 1 << 5 C_WBIT = 1 << 6 C_FBIT = 1 << 7 C_UBIT = 1 << 7 C_SCOND_XOR = 14 )
ARM scond byte
const ( // Because of masking operations in the encodings, each register // space should start at 0 modulo some power of 2. RBase386 = 1 * 1024 RBaseAMD64 = 2 * 1024 RBaseARM = 3 * 1024 RBasePPC64 = 4 * 1024 // range [4k, 8k) RBaseARM64 = 8 * 1024 // range [8k, 13k) RBaseMIPS = 13 * 1024 // range [13k, 14k) RBaseS390X = 14 * 1024 // range [14k, 15k) RBaseRISCV = 15 * 1024 // range [15k, 16k) RBaseWasm = 16 * 1024 )
const ( RegListARMLo = 0 RegListARMHi = 1 << 16 // arm64 uses the 60th bit to differentiate from other archs RegListARM64Lo = 1 << 60 RegListARM64Hi = 1<<61 - 1 // x86 uses the 61th bit to differentiate from other archs RegListX86Lo = 1 << 61 RegListX86Hi = 1<<62 - 1 )
Each architecture is allotted a distinct subspace: [Lo, Hi) for declaring its arch-specific register list numbers.
const (
LOG = 5
)
const REG_NONE = 0
Variables ¶
var Anames = []string{
"XXX",
"CALL",
"DUFFCOPY",
"DUFFZERO",
"END",
"FUNCDATA",
"JMP",
"NOP",
"PCALIGN",
"PCDATA",
"RET",
"GETCALLERPC",
"TEXT",
"UNDEF",
}
Functions ¶
func Flushplist ¶ added in go1.6
func MarkUnsafePoints ¶ added in go1.14
func MarkUnsafePoints(ctxt *Link, p0 *Prog, newprog ProgAlloc, isUnsafePoint, isRestartable func(*Prog) bool)
MarkUnsafePoints inserts PCDATAs to mark nonpreemptible and restartable instruction sequences, based on isUnsafePoint and isRestartable predicate. p0 is the start of the instruction stream. isUnsafePoint(p) returns true if p is not safe for async preemption. isRestartable(p) returns true if we can restart at the start of p (this Prog) upon async preemption. (Currently multi-Prog restartable sequence is not supported.) isRestartable can be nil. In this case it is treated as always returning false. If isUnsafePoint(p) and isRestartable(p) are both true, it is treated as an unsafe point.
func RegisterOpSuffix ¶ added in go1.11
RegisterOpSuffix assigns cconv function for formatting opcode suffixes when compiling for GOARCH=arch.
cconv is never called with 0 argument.
func RegisterOpcode ¶
RegisterOpcode binds a list of instruction names to a given instruction number range.
func RegisterRegister ¶
RegisterRegister binds a pretty-printer (Rconv) for register numbers to a given register number range. Lo is inclusive, hi exclusive (valid registers are lo through hi-1).
func RegisterRegisterList ¶ added in go1.10
RegisterRegisterList binds a pretty-printer (RLconv) for register list numbers to a given register list number range. Lo is inclusive, hi exclusive (valid register list are lo through hi-1).
Types ¶
type ABI ¶ added in go1.12
type ABI uint8
ABI is the calling convention of a text symbol.
const ( // ABI0 is the stable stack-based ABI. It's important that the // value of this is "0": we can't distinguish between // references to data and ABI0 text symbols in assembly code, // and hence this doesn't distinguish between symbols without // an ABI and text symbols with ABI0. ABI0 ABI = iota // ABIInternal is the internal ABI that may change between Go // versions. All Go functions use the internal ABI and the // compiler generates wrappers for calls to and from other // ABIs. ABIInternal ABICount )
type Addr ¶
type Addr struct { Reg int16 Index int16 Scale int16 // Sometimes holds a register. Type AddrType Name AddrName Class int8 Offset int64 Sym *LSym // argument value: // for TYPE_SCONST, a string // for TYPE_FCONST, a float64 // for TYPE_BRANCH, a *Prog (optional) // for TYPE_TEXTSIZE, an int32 (optional) Val interface{} }
func (*Addr) WriteNameTo ¶ added in go1.15
type As ¶ added in go1.7
type As int16
An As denotes an assembler opcode. There are some portable opcodes, declared here in package obj, that are common to all architectures. However, the majority of opcodes are arch-specific and are declared in their respective architecture's subpackage.
type Attribute ¶ added in go1.8
type Attribute uint32
Attribute is a set of symbol attributes.
const ( AttrDuplicateOK Attribute = 1 << iota AttrCFunc AttrNoSplit AttrLeaf AttrWrapper AttrNeedCtxt AttrNoFrame AttrSeenGlobl AttrOnList AttrStatic // MakeTypelink means that the type should have an entry in the typelink table. AttrMakeTypelink // ReflectMethod means the function may call reflect.Type.Method or // reflect.Type.MethodByName. Matching is imprecise (as reflect.Type // can be used through a custom interface), so ReflectMethod may be // set in some cases when the reflect package is not called. // // Used by the linker to determine what methods can be pruned. AttrReflectMethod // Local means make the symbol local even when compiling Go code to reference Go // symbols in other shared libraries, as in this mode symbols are global by // default. "local" here means in the sense of the dynamic linker, i.e. not // visible outside of the module (shared library or executable) that contains its // definition. (When not compiling to support Go shared libraries, all symbols are // local in this sense unless there is a cgo_export_* directive). AttrLocal // For function symbols; indicates that the specified function was the // target of an inline during compilation AttrWasInlined // TopFrame means that this function is an entry point and unwinders should not // keep unwinding beyond this frame. AttrTopFrame // Indexed indicates this symbol has been assigned with an index (when using the // new object file format). AttrIndexed )
func (Attribute) DuplicateOK ¶ added in go1.8
func (Attribute) MakeTypelink ¶ added in go1.8
func (Attribute) ReflectMethod ¶ added in go1.8
func (Attribute) TextAttrString ¶ added in go1.9
TextAttrString formats a for printing in as part of a TEXT prog.
func (Attribute) WasInlined ¶ added in go1.10
type DwarfFixupTable ¶ added in go1.10
type DwarfFixupTable struct {
// contains filtered or unexported fields
}
This table is designed to aid in the creation of references between DWARF subprogram DIEs.
In most cases when one DWARF DIE has to refer to another DWARF DIE, the target of the reference has an LSym, which makes it easy to use the existing relocation mechanism. For DWARF inlined routine DIEs, however, the subprogram DIE has to refer to a child parameter/variable DIE of the abstract subprogram. This child DIE doesn't have an LSym, and also of interest is the fact that when DWARF generation is happening for inlined function F within caller G, it's possible that DWARF generation hasn't happened yet for F, so there is no way to know the offset of a child DIE within F's abstract function. Making matters more complex, each inlined instance of F may refer to a subset of the original F's variables (depending on what happens with optimization, some vars may be eliminated).
The fixup table below helps overcome this hurdle. At the point where a parameter/variable reference is made (via a call to "ReferenceChildDIE"), a fixup record is generate that records the relocation that is targeting that child variable. At a later point when the abstract function DIE is emitted, there will be a call to "RegisterChildDIEOffsets", at which point the offsets needed to apply fixups are captured. Finally, once the parallel portion of the compilation is done, fixups can actually be applied during the "Finalize" method (this can't be done during the parallel portion of the compile due to the possibility of data races).
This table is also used to record the "precursor" function node for each function that is the target of an inline -- child DIE references have to be made with respect to the original pre-optimization version of the function (to allow for the fact that each inlined body may be optimized differently).
func NewDwarfFixupTable ¶ added in go1.10
func NewDwarfFixupTable(ctxt *Link) *DwarfFixupTable
func (*DwarfFixupTable) AbsFuncDwarfSym ¶ added in go1.10
func (ft *DwarfFixupTable) AbsFuncDwarfSym(fnsym *LSym) *LSym
return the LSym corresponding to the 'abstract subprogram' DWARF info entry for a function.
func (*DwarfFixupTable) Finalize ¶ added in go1.10
func (ft *DwarfFixupTable) Finalize(myimportpath string, trace bool)
Called after all functions have been compiled; the main job of this function is to identify cases where there are outstanding fixups. This scenario crops up when we have references to variables of an inlined routine, but that routine is defined in some other package. This helper walks through and locate these fixups, then invokes a helper to create an abstract subprogram DIE for each one.
func (*DwarfFixupTable) GetPrecursorFunc ¶ added in go1.10
func (ft *DwarfFixupTable) GetPrecursorFunc(s *LSym) interface{}
func (*DwarfFixupTable) ReferenceChildDIE ¶ added in go1.10
func (ft *DwarfFixupTable) ReferenceChildDIE(s *LSym, ridx int, tgt *LSym, dclidx int, inlIndex int)
Make a note of a child DIE reference: relocation 'ridx' within symbol 's' is targeting child 'c' of DIE with symbol 'tgt'.
func (*DwarfFixupTable) RegisterChildDIEOffsets ¶ added in go1.10
func (ft *DwarfFixupTable) RegisterChildDIEOffsets(s *LSym, vars []*dwarf.Var, coffsets []int32)
Called once DWARF generation is complete for a given abstract function, whose children might have been referenced via a call above. Stores the offsets for any child DIEs (vars, params) so that they can be consumed later in on DwarfFixupTable.Finalize, which applies any outstanding fixups.
func (*DwarfFixupTable) SetPrecursorFunc ¶ added in go1.10
func (ft *DwarfFixupTable) SetPrecursorFunc(s *LSym, fn interface{})
type FuncInfo ¶ added in go1.9
type FuncInfo struct { Args int32 Locals int32 Align int32 Text *Prog Autot map[*LSym]struct{} Pcln Pcln InlMarks []InlMark GCArgs *LSym GCLocals *LSym GCRegs *LSym // Only if !go115ReduceLiveness StackObjects *LSym OpenCodedDeferInfo *LSym FuncInfoSym *LSym // contains filtered or unexported fields }
A FuncInfo contains extra fields for STEXT symbols.
func (*FuncInfo) AddInlMark ¶ added in go1.12
Mark p as the instruction to set as the pc when "unwinding" the inlining global frame id. Usually it should be instruction with a file:line at the callsite, and occur just before the body of the inlined function.
func (*FuncInfo) RecordAutoType ¶ added in go1.14
Record the type symbol for an auto variable so that the linker an emit DWARF type information for the type.
type InlTree ¶ added in go1.9
type InlTree struct {
// contains filtered or unexported fields
}
InlTree is a collection of inlined calls. The Parent field of an InlinedCall is the index of another InlinedCall in InlTree.
The compiler maintains a global inlining tree and adds a node to it every time a function is inlined. For example, suppose f() calls g() and g has two calls to h(), and that f, g, and h are inlineable:
1 func main() { 2 f() 3 } 4 func f() { 5 g() 6 } 7 func g() { 8 h() 9 h()
10 } 11 func h() { 12 println("H") 13 }
Assuming the global tree starts empty, inlining will produce the following tree:
[]InlinedCall{ {Parent: -1, Func: "f", Pos: <line 2>}, {Parent: 0, Func: "g", Pos: <line 5>}, {Parent: 1, Func: "h", Pos: <line 8>}, {Parent: 1, Func: "h", Pos: <line 9>}, }
The nodes of h inlined into main will have inlining indexes 2 and 3.
Eventually, the compiler extracts a per-function inlining tree from the global inlining tree (see pcln.go).
func (*InlTree) InlinedFunction ¶ added in go1.10
type InlinedCall ¶ added in go1.9
type InlinedCall struct { Parent int // index of the parent in the InlTree or < 0 if outermost call Pos src.XPos // position of the inlined call Func *LSym // function that was inlined ParentPC int32 // PC of instruction just before inlined body. Only valid in local trees. }
InlinedCall is a node in an InlTree.
type LSym ¶
type LSym struct { Name string Type objabi.SymKind Attribute RefIdx int // Index of this symbol in the symbol reference list. Size int64 Gotype *LSym P []byte R []Reloc Func *FuncInfo Pkg string PkgIdx int32 SymIdx int32 // TODO: replace RefIdx }
An LSym is the sort of symbol that is written to an object file. It represents Go symbols in a flat pkg+"."+name namespace.
func (*LSym) CanBeAnSSASym ¶ added in go1.15
func (s *LSym) CanBeAnSSASym()
The compiler needs *LSym to be assignable to cmd/compile/internal/ssa.Sym.
func (*LSym) WriteAddr ¶ added in go1.7
WriteAddr writes an address of size siz into s at offset off. rsym and roff specify the relocation for the address.
func (*LSym) WriteBytes ¶ added in go1.7
WriteBytes writes a slice of bytes into s at offset off.
func (*LSym) WriteCURelativeAddr ¶ added in go1.10
WriteCURelativeAddr writes a pointer-sized address into s at offset off. rsym and roff specify the relocation for the address which will be resolved by the linker to an offset from the DW_AT_low_pc attribute of the DWARF Compile Unit of rsym.
func (*LSym) WriteFloat32 ¶ added in go1.7
WriteFloat32 writes f into s at offset off.
func (*LSym) WriteFloat64 ¶ added in go1.7
WriteFloat64 writes f into s at offset off.
func (*LSym) WriteInt ¶ added in go1.7
WriteInt writes an integer i of size siz into s at offset off.
func (*LSym) WriteOff ¶ added in go1.7
WriteOff writes a 4 byte offset to rsym+roff into s at offset off. After linking the 4 bytes stored at s+off will be rsym+roff-(start of section that s is in).
func (*LSym) WriteString ¶ added in go1.7
WriteString writes a string of size siz into s at offset off.
type Link ¶
type Link struct { Headtype objabi.HeadType Arch *LinkArch Debugasm int Debugvlog bool Debugpcln string Flag_dynlink bool Flag_optimize bool Flag_locationlists bool Flag_go115newobj bool // use new object file format Retpoline bool // emit use of retpoline stubs for indirect jmp/call Bso *bufio.Writer Pathname string PosTable src.PosTable InlTree InlTree // global inlining tree used by gc/inl.go DwFixups *DwarfFixupTable Imports []goobj2.ImportedPkg DiagFunc func(string, ...interface{}) DiagFlush func() DebugInfo func(fn *LSym, info *LSym, curfn interface{}) ([]dwarf.Scope, dwarf.InlCalls) // if non-nil, curfn is a *gc.Node GenAbstractFunc func(fn *LSym) Errors int InParallel bool // parallel backend phase in effect Framepointer_enabled bool UseBASEntries bool // use Base Address Selection Entries in location lists and PC ranges IsAsm bool // is the source assembly language, which may contain surprising idioms (e.g., call tables) // state for writing objects Text []*LSym Data []*LSym // ABIAliases are text symbols that should be aliased to all // ABIs. These symbols may only be referenced and not defined // by this object, since the need for an alias may appear in a // different object than the definition. Hence, this // information can't be carried in the symbol definition. // // TODO(austin): Replace this with ABI wrappers once the ABIs // actually diverge. ABIAliases []*LSym Fingerprint goobj2.FingerprintType // fingerprint of symbol indices, to catch index mismatch // contains filtered or unexported fields }
Link holds the context for writing object code from a compiler to be linker input or for reading that input into the linker.
func (*Link) AddImport ¶
func (ctxt *Link) AddImport(pkg string, fingerprint goobj2.FingerprintType)
AddImport adds a package to the list of imported packages.
func (*Link) AllPos ¶ added in go1.14
AllPos returns a slice of the positions inlined at xpos, from innermost (index zero) to outermost. To avoid gratuitous allocation the result is passed in and extended if necessary.
func (*Link) CanReuseProgs ¶ added in go1.9
func (*Link) DwarfAbstractFunc ¶ added in go1.10
func (*Link) DwarfIntConst ¶ added in go1.10
DwarfIntConst creates a link symbol for an integer constant with the given name, type and value.
func (*Link) EmitEntryLiveness ¶ added in go1.11
EmitEntryLiveness generates PCDATA Progs after p to switch to the liveness map active at the entry of function s. It returns the last Prog generated.
func (*Link) EmitEntryRegMap ¶ added in go1.14
Similar to EmitEntryLiveness, but just emit register map.
func (*Link) EmitEntryStackMap ¶ added in go1.14
Similar to EmitEntryLiveness, but just emit stack map.
func (*Link) EndUnsafePoint ¶ added in go1.14
EndUnsafePoint generates PCDATA Progs after p to mark the end of an unsafe point, restoring the register map index to oldval. The unsafe point ends right after p. It returns the last Prog generated.
func (*Link) FixedFrameSize ¶ added in go1.6
The smallest possible offset from the hardware stack pointer to a local variable on the stack. Architectures that use a link register save its value on the stack in the function prologue and so always have a pointer between the hardware stack pointer and the local variable area.
func (*Link) Float32Sym ¶ added in go1.9
func (*Link) Float64Sym ¶ added in go1.9
func (*Link) InitTextSym ¶ added in go1.9
func (*Link) InnermostPos ¶ added in go1.10
InnermostPos returns the innermost position corresponding to xpos, that is, the code that is inlined and that inlines nothing else. In the example for InlTree above, the code for println within h would have an innermost position with line number 12, whether h was not inlined, inlined into g, g-then-f, or g-then-f-then-main. This corresponds to what someone debugging main, f, g, or h might expect to see while single-stepping.
func (*Link) Lookup ¶ added in go1.9
Lookup looks up the symbol with name name. If it does not exist, it creates it.
func (*Link) LookupABI ¶ added in go1.12
LookupABI looks up a symbol with the given ABI. If it does not exist, it creates it.
func (*Link) LookupABIInit ¶ added in go1.14
LookupABI looks up a symbol with the given ABI. If it does not exist, it creates it and passes it to init for one-time initialization.
func (*Link) LookupDerived ¶ added in go1.9
LookupDerived looks up or creates the symbol with name name derived from symbol s. The resulting symbol will be static iff s is.
func (*Link) LookupInit ¶ added in go1.9
LookupInit looks up the symbol with name name. If it does not exist, it creates it and passes it to init for one-time initialization.
func (*Link) LookupStatic ¶ added in go1.9
LookupStatic looks up the static symbol with name name. If it does not exist, it creates it.
func (*Link) NumberSyms ¶ added in go1.14
Assign index to symbols. asm is set to true if this is called by the assembler (i.e. not the compiler), in which case all the symbols are non-package (for now).
func (*Link) OutermostPos ¶ added in go1.9
OutermostPos returns the outermost position corresponding to xpos, which is where xpos was ultimately inlined to. In the example for InlTree, main() contains inlined AST nodes from h(), but the outermost position for those nodes is line 2.
type LinkArch ¶
type LinkArch struct { *sys.Arch Init func(*Link) Preprocess func(*Link, *LSym, ProgAlloc) Assemble func(*Link, *LSym, ProgAlloc) Progedit func(*Link, *Prog, ProgAlloc) UnaryDst map[As]bool // Instruction takes one operand, a destination. DWARFRegisters map[int16]int16 }
LinkArch is the definition of a single architecture.
type PCIter ¶ added in go1.14
type PCIter struct { PC uint32 NextPC uint32 PCScale uint32 Value int32 Done bool // contains filtered or unexported fields }
PCIter iterates over encoded pcdata tables.
func NewPCIter ¶ added in go1.14
newPCIter creates a PCIter with a scale factor for the PC step size.
type Prog ¶
type Prog struct { Ctxt *Link // linker context Link *Prog // next Prog in linked list From Addr // first source operand RestArgs []Addr // can pack any operands that not fit into {Prog.From, Prog.To} To Addr // destination operand (second is RegTo2 below) Pcond *Prog // target of conditional jump Forwd *Prog // for x86 back end Rel *Prog // for x86, arm back ends Pc int64 // for back ends or assembler: virtual or actual program counter, depending on phase Pos src.XPos // source position of this instruction Spadj int32 // effect of instruction on stack pointer (increment or decrement amount) As As // assembler opcode Reg int16 // 2nd source operand RegTo2 int16 // 2nd destination operand Mark uint16 // bitmask of arch-specific items Optab uint16 // arch-specific opcode index Scond uint8 // bits that describe instruction suffixes (e.g. ARM conditions) Back uint8 // for x86 back end: backwards branch state Ft uint8 // for x86 back end: type index of Prog.From Tt uint8 // for x86 back end: type index of Prog.To Isize uint8 // for x86 back end: size of the instruction in bytes }
Prog describes a single machine instruction.
The general instruction form is:
(1) As.Scond From [, ...RestArgs], To (2) As.Scond From, Reg [, ...RestArgs], To, RegTo2
where As is an opcode and the others are arguments: From, Reg are sources, and To, RegTo2 are destinations. RestArgs can hold additional sources and destinations. Usually, not all arguments are present. For example, MOVL R1, R2 encodes using only As=MOVL, From=R1, To=R2. The Scond field holds additional condition bits for systems (like arm) that have generalized conditional execution. (2) form is present for compatibility with older code, to avoid too much changes in a single swing. (1) scheme is enough to express any kind of operand combination.
Jump instructions use the Pcond field to point to the target instruction, which must be in the same linked list as the jump instruction.
The Progs for a given function are arranged in a list linked through the Link field.
Each Prog is charged to a specific source line in the debug information, specified by Pos.Line(). Every Prog has a Ctxt field that defines its context. For performance reasons, Progs usually are usually bulk allocated, cached, and reused; those bulk allocators should always be used, rather than new(Prog).
The other fields not yet mentioned are for use by the back ends and should be left zeroed by creators of Prog lists.
func (*Prog) GetFrom3
deprecated
added in
go1.10
GetFrom3 returns second source operand (the first is Prog.From). In combination with Prog.From and Prog.To it makes common 3 operand case easier to use.
Should be used only when RestArgs is set with SetFrom3.
Deprecated: better use RestArgs directly or define backend-specific getters. Introduced to simplify transition to []Addr. Usage of this is discouraged due to fragility and lack of guarantees.
func (*Prog) InnermostFilename ¶ added in go1.10
InnermostFilename returns a string containing the innermost (in inlining) filename at p's position
func (*Prog) InnermostLine ¶ added in go1.12
func (*Prog) InnermostLineNumber ¶ added in go1.10
InnermostLineNumber returns a string containing the line number for the innermost inlined function (if any inlining) at p's position
func (*Prog) InnermostLineNumberHTML ¶ added in go1.11
InnermostLineNumberHTML returns a string containing the line number for the innermost inlined function (if any inlining) at p's position
func (*Prog) InnermostString ¶ added in go1.12
func (*Prog) InstructionString ¶ added in go1.10
InstructionString returns a string representation of the instruction without preceding program counter or file and line number.
func (*Prog) WriteInstructionString ¶ added in go1.15
WriteInstructionString writes a string representation of the instruction without preceding program counter or file and line number.
Source Files ¶
Directories ¶
Path | Synopsis |
---|---|
Package arm64 implements an ARM64 assembler.
|
Package arm64 implements an ARM64 assembler. |
Package ppc64 implements a PPC64 assembler that assembles Go asm into the corresponding PPC64 instructions as defined by the Power ISA 3.0B.
|
Package ppc64 implements a PPC64 assembler that assembles Go asm into the corresponding PPC64 instructions as defined by the Power ISA 3.0B. |