mirror of
https://github.com/golang/go.git
synced 2025-12-08 06:10:04 +00:00
daddeb2686
Clean up the obj API by making Rconv (register pretty printer) a top-level function. This means that Dconv (operand pretty printer) doesn't need an Rconv argument. To do this, we make the register numbers, which are arbitrary inside an operand (obj.Addr), disjoint sets for each architecture. Each architecture registers (ha) a piece of the space and then the global Rconv knows which architecture-specific printer to use. Clean up all the code that uses Dconv. Now register numbers are large, so a couple of fields in Addr need to go from int8 to int16 because they sometimes hold register numbers. Clean up their uses, which meant regenerating the yacc grammars for the assemblers. There are changes in this CL triggered by earlier changes to yacc, which had not been run in this directory. There is still cleanup to do in Addr, but we're getting closer to that being easy to do. Change-Id: I9290ebee013b62f7d24e886743ea5a6b232990ab Reviewed-on: https://go-review.googlesource.com/6220 Reviewed-by: Russ Cox <rsc@golang.org>
598 lines
12 KiB
Go
598 lines
12 KiB
Go
// Derived from Inferno utils/6l/l.h and related files.
|
|
// http://code.google.com/p/inferno-os/source/browse/utils/6l/l.h
|
|
//
|
|
// Copyright © 1994-1999 Lucent Technologies Inc. All rights reserved.
|
|
// Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net)
|
|
// Portions Copyright © 1997-1999 Vita Nuova Limited
|
|
// Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com)
|
|
// Portions Copyright © 2004,2006 Bruce Ellis
|
|
// Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net)
|
|
// Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others
|
|
// Portions Copyright © 2009 The Go Authors. All rights reserved.
|
|
//
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
// of this software and associated documentation files (the "Software"), to deal
|
|
// in the Software without restriction, including without limitation the rights
|
|
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
// copies of the Software, and to permit persons to whom the Software is
|
|
// furnished to do so, subject to the following conditions:
|
|
//
|
|
// The above copyright notice and this permission notice shall be included in
|
|
// all copies or substantial portions of the Software.
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
// THE SOFTWARE.
|
|
|
|
package obj
|
|
|
|
import "encoding/binary"
|
|
|
|
type Addr struct {
|
|
Type int16
|
|
Reg int16
|
|
Reg2 int16 // RHS of register pair. AX:DX (386)
|
|
Index int16
|
|
Scale int16 // Sometimes holds a register.
|
|
Name int8
|
|
Offset int64
|
|
Sym *LSym
|
|
U struct {
|
|
Sval string
|
|
Dval float64
|
|
Branch *Prog
|
|
Argsize int32
|
|
Bits uint64
|
|
}
|
|
Gotype *LSym
|
|
Class int8
|
|
Etype uint8
|
|
Node interface{}
|
|
Width int64
|
|
}
|
|
|
|
type Prog struct {
|
|
Ctxt *Link
|
|
Pc int64
|
|
Lineno int32
|
|
Link *Prog
|
|
As int16
|
|
Scond uint8
|
|
From Addr
|
|
Reg int16
|
|
From3 Addr
|
|
To Addr
|
|
Opt interface{}
|
|
Forwd *Prog
|
|
Pcond *Prog
|
|
Comefrom *Prog
|
|
Pcrel *Prog
|
|
Spadj int32
|
|
Mark uint16
|
|
Optab uint16
|
|
Back uint8
|
|
Ft uint8
|
|
Tt uint8
|
|
Isize uint8
|
|
Printed uint8
|
|
Width int8
|
|
Mode int8
|
|
}
|
|
|
|
type LSym struct {
|
|
Name string
|
|
Extname string
|
|
Type int16
|
|
Version int16
|
|
Dupok uint8
|
|
Cfunc uint8
|
|
External uint8
|
|
Nosplit uint8
|
|
Reachable uint8
|
|
Cgoexport uint8
|
|
Special uint8
|
|
Stkcheck uint8
|
|
Hide uint8
|
|
Leaf uint8
|
|
Fnptr uint8
|
|
Localentry uint8
|
|
Seenglobl uint8
|
|
Onlist uint8
|
|
Printed uint8
|
|
Symid int16
|
|
Dynid int32
|
|
Sig int32
|
|
Plt int32
|
|
Got int32
|
|
Align int32
|
|
Elfsym int32
|
|
Args int32
|
|
Locals int32
|
|
Value int64
|
|
Size int64
|
|
Hash *LSym
|
|
Allsym *LSym
|
|
Next *LSym
|
|
Sub *LSym
|
|
Outer *LSym
|
|
Gotype *LSym
|
|
Reachparent *LSym
|
|
Queue *LSym
|
|
File string
|
|
Dynimplib string
|
|
Dynimpvers string
|
|
Sect *struct{}
|
|
Autom *Auto
|
|
Text *Prog
|
|
Etext *Prog
|
|
Pcln *Pcln
|
|
P []byte
|
|
R []Reloc
|
|
}
|
|
|
|
type Reloc struct {
|
|
Off int32
|
|
Siz uint8
|
|
Done uint8
|
|
Type int32
|
|
Variant int32
|
|
Add int64
|
|
Xadd int64
|
|
Sym *LSym
|
|
Xsym *LSym
|
|
}
|
|
|
|
type Auto struct {
|
|
Asym *LSym
|
|
Link *Auto
|
|
Aoffset int32
|
|
Name int16
|
|
Gotype *LSym
|
|
}
|
|
|
|
type Hist struct {
|
|
Link *Hist
|
|
Name string
|
|
Line int32
|
|
Offset int32
|
|
Printed uint8
|
|
}
|
|
|
|
type Link struct {
|
|
Thechar int32
|
|
Thestring string
|
|
Goarm int32
|
|
Headtype int
|
|
Arch *LinkArch
|
|
Ignore func(string) int32
|
|
Debugasm int32
|
|
Debugline int32
|
|
Debughist int32
|
|
Debugread int32
|
|
Debugvlog int32
|
|
Debugstack int32
|
|
Debugzerostack int32
|
|
Debugdivmod int32
|
|
Debugfloat int32
|
|
Debugpcln int32
|
|
Flag_shared int32
|
|
Iself int32
|
|
Bso *Biobuf
|
|
Pathname string
|
|
Windows int32
|
|
Trimpath string
|
|
Goroot string
|
|
Goroot_final string
|
|
Enforce_data_order int32
|
|
Hash [LINKHASH]*LSym
|
|
Allsym *LSym
|
|
Nsymbol int32
|
|
Hist *Hist
|
|
Ehist *Hist
|
|
Plist *Plist
|
|
Plast *Plist
|
|
Sym_div *LSym
|
|
Sym_divu *LSym
|
|
Sym_mod *LSym
|
|
Sym_modu *LSym
|
|
Symmorestack [2]*LSym
|
|
Tlsg *LSym
|
|
Plan9privates *LSym
|
|
Curp *Prog
|
|
Printp *Prog
|
|
Blitrl *Prog
|
|
Elitrl *Prog
|
|
Rexflag int
|
|
Rep int
|
|
Repn int
|
|
Lock int
|
|
Asmode int
|
|
Andptr []byte
|
|
And [100]uint8
|
|
Instoffset int64
|
|
Autosize int32
|
|
Armsize int32
|
|
Pc int64
|
|
Libdir []string
|
|
Library []Library
|
|
Tlsoffset int
|
|
Diag func(string, ...interface{})
|
|
Mode int
|
|
Curauto *Auto
|
|
Curhist *Auto
|
|
Cursym *LSym
|
|
Version int
|
|
Textp *LSym
|
|
Etextp *LSym
|
|
Histdepth int32
|
|
Nhistfile int32
|
|
Filesyms *LSym
|
|
}
|
|
|
|
type Plist struct {
|
|
Name *LSym
|
|
Firstpc *Prog
|
|
Recur int
|
|
Link *Plist
|
|
}
|
|
|
|
type LinkArch struct {
|
|
Pconv func(*Prog) string
|
|
Rconv func(int) string
|
|
ByteOrder binary.ByteOrder
|
|
Name string
|
|
Thechar int
|
|
Endian int32
|
|
Preprocess func(*Link, *LSym)
|
|
Assemble func(*Link, *LSym)
|
|
Follow func(*Link, *LSym)
|
|
Progedit func(*Link, *Prog)
|
|
Minlc int
|
|
Ptrsize int
|
|
Regsize int
|
|
}
|
|
|
|
type Library struct {
|
|
Objref string
|
|
Srcref string
|
|
File string
|
|
Pkg string
|
|
}
|
|
|
|
type Pcln struct {
|
|
Pcsp Pcdata
|
|
Pcfile Pcdata
|
|
Pcline Pcdata
|
|
Pcdata []Pcdata
|
|
Funcdata []*LSym
|
|
Funcdataoff []int64
|
|
File []*LSym
|
|
Lastfile *LSym
|
|
Lastindex int
|
|
}
|
|
|
|
type Pcdata struct {
|
|
P []byte
|
|
}
|
|
|
|
type Pciter struct {
|
|
d Pcdata
|
|
p []byte
|
|
pc uint32
|
|
nextpc uint32
|
|
pcscale uint32
|
|
value int32
|
|
start int
|
|
done int
|
|
}
|
|
|
|
// An Addr is an argument to an instruction.
|
|
// The general forms and their encodings are:
|
|
//
|
|
// sym±offset(symkind)(reg)(index*scale)
|
|
// Memory reference at address &sym(symkind) + offset + reg + index*scale.
|
|
// Any of sym(symkind), ±offset, (reg), (index*scale), and *scale can be omitted.
|
|
// If (reg) and *scale are both omitted, the resulting expression (index) is parsed as (reg).
|
|
// To force a parsing as index*scale, write (index*1).
|
|
// Encoding:
|
|
// type = TYPE_MEM
|
|
// name = symkind (NAME_AUTO, ...) or 0 (NAME_NONE)
|
|
// sym = sym
|
|
// offset = ±offset
|
|
// reg = reg (REG_*)
|
|
// index = index (REG_*)
|
|
// scale = scale (1, 2, 4, 8)
|
|
//
|
|
// $<mem>
|
|
// Effective address of memory reference <mem>, defined above.
|
|
// Encoding: same as memory reference, but type = TYPE_ADDR.
|
|
//
|
|
// $<±integer value>
|
|
// This is a special case of $<mem>, in which only ±offset is present.
|
|
// It has a separate type for easy recognition.
|
|
// Encoding:
|
|
// type = TYPE_CONST
|
|
// offset = ±integer value
|
|
//
|
|
// *<mem>
|
|
// Indirect reference through memory reference <mem>, defined above.
|
|
// Only used on x86 for CALL/JMP *sym(SB), which calls/jumps to a function
|
|
// pointer stored in the data word sym(SB), not a function named sym(SB).
|
|
// Encoding: same as above, but type = TYPE_INDIR.
|
|
//
|
|
// $*$<mem>
|
|
// No longer used.
|
|
// On machines with actual SB registers, $*$<mem> forced the
|
|
// instruction encoding to use a full 32-bit constant, never a
|
|
// reference relative to SB.
|
|
//
|
|
// $<floating point literal>
|
|
// Floating point constant value.
|
|
// Encoding:
|
|
// type = TYPE_FCONST
|
|
// u.dval = floating point value
|
|
//
|
|
// $<string literal, up to 8 chars>
|
|
// String literal value (raw bytes used for DATA instruction).
|
|
// Encoding:
|
|
// type = TYPE_SCONST
|
|
// u.sval = string
|
|
//
|
|
// <register name>
|
|
// Any register: integer, floating point, control, segment, and so on.
|
|
// If looking for specific register kind, must check type and reg value range.
|
|
// Encoding:
|
|
// type = TYPE_REG
|
|
// reg = reg (REG_*)
|
|
//
|
|
// x(PC)
|
|
// Encoding:
|
|
// type = TYPE_BRANCH
|
|
// u.branch = Prog* reference OR ELSE offset = target pc (branch takes priority)
|
|
//
|
|
// $±x-±y
|
|
// Final argument to TEXT, specifying local frame size x and argument size y.
|
|
// In this form, x and y are integer literals only, not arbitrary expressions.
|
|
// This avoids parsing ambiguities due to the use of - as a separator.
|
|
// The ± are optional.
|
|
// If the final argument to TEXT omits the -±y, the encoding should still
|
|
// use TYPE_TEXTSIZE (not TYPE_CONST), with u.argsize = ArgsSizeUnknown.
|
|
// Encoding:
|
|
// type = TYPE_TEXTSIZE
|
|
// offset = x
|
|
// u.argsize = y
|
|
//
|
|
// reg<<shift, reg>>shift, reg->shift, reg@>shift
|
|
// Shifted register value, for ARM.
|
|
// In this form, reg must be a register and shift can be a register or an integer constant.
|
|
// Encoding:
|
|
// type = TYPE_SHIFT
|
|
// offset = (reg&15) | shifttype<<5 | count
|
|
// shifttype = 0, 1, 2, 3 for <<, >>, ->, @>
|
|
// count = (reg&15)<<8 | 1<<4 for a register shift count, (n&31)<<7 for an integer constant.
|
|
//
|
|
// (reg, reg)
|
|
// A destination register pair. When used as the last argument of an instruction,
|
|
// this form makes clear that both registers are destinations.
|
|
// Encoding:
|
|
// type = TYPE_REGREG
|
|
// reg = first register
|
|
// offset = second register
|
|
//
|
|
// reg, reg
|
|
// TYPE_REGREG2, to be removed.
|
|
//
|
|
|
|
const (
|
|
NAME_NONE = 0 + iota
|
|
NAME_EXTERN
|
|
NAME_STATIC
|
|
NAME_AUTO
|
|
NAME_PARAM
|
|
)
|
|
|
|
const (
|
|
TYPE_NONE = 0
|
|
TYPE_BRANCH = 5 + iota - 1
|
|
TYPE_TEXTSIZE
|
|
TYPE_MEM
|
|
TYPE_CONST
|
|
TYPE_FCONST
|
|
TYPE_SCONST
|
|
TYPE_REG
|
|
TYPE_ADDR
|
|
TYPE_SHIFT
|
|
TYPE_REGREG
|
|
TYPE_REGREG2
|
|
TYPE_INDIR
|
|
)
|
|
|
|
// TODO(rsc): Describe prog.
|
|
// TODO(rsc): Describe TEXT/GLOBL flag in from3, DATA width in from3.
|
|
|
|
// Prog.as opcodes.
|
|
// These are the portable opcodes, common to all architectures.
|
|
// Each architecture defines many more arch-specific opcodes,
|
|
// with values starting at A_ARCHSPECIFIC.
|
|
const (
|
|
AXXX = 0 + iota
|
|
ACALL
|
|
ACHECKNIL
|
|
ADATA
|
|
ADUFFCOPY
|
|
ADUFFZERO
|
|
AEND
|
|
AFUNCDATA
|
|
AGLOBL
|
|
AJMP
|
|
ANOP
|
|
APCDATA
|
|
ARET
|
|
ATEXT
|
|
ATYPE
|
|
AUNDEF
|
|
AUSEFIELD
|
|
AVARDEF
|
|
AVARKILL
|
|
A_ARCHSPECIFIC
|
|
)
|
|
|
|
// prevent incompatible type signatures between liblink and 8l on Plan 9
|
|
|
|
// LSym.type
|
|
const (
|
|
Sxxx = iota
|
|
STEXT
|
|
SELFRXSECT
|
|
STYPE
|
|
SSTRING
|
|
SGOSTRING
|
|
SGOFUNC
|
|
SRODATA
|
|
SFUNCTAB
|
|
STYPELINK
|
|
SSYMTAB
|
|
SPCLNTAB
|
|
SELFROSECT
|
|
SMACHOPLT
|
|
SELFSECT
|
|
SMACHO
|
|
SMACHOGOT
|
|
SWINDOWS
|
|
SELFGOT
|
|
SNOPTRDATA
|
|
SINITARR
|
|
SDATA
|
|
SBSS
|
|
SNOPTRBSS
|
|
STLSBSS
|
|
SXREF
|
|
SMACHOSYMSTR
|
|
SMACHOSYMTAB
|
|
SMACHOINDIRECTPLT
|
|
SMACHOINDIRECTGOT
|
|
SFILE
|
|
SFILEPATH
|
|
SCONST
|
|
SDYNIMPORT
|
|
SHOSTOBJ
|
|
SSUB = 1 << 8
|
|
SMASK = SSUB - 1
|
|
SHIDDEN = 1 << 9
|
|
)
|
|
|
|
// Reloc.type
|
|
const (
|
|
R_ADDR = 1 + iota
|
|
R_ADDRPOWER
|
|
R_SIZE
|
|
R_CALL
|
|
R_CALLARM
|
|
R_CALLIND
|
|
R_CALLPOWER
|
|
R_CONST
|
|
R_PCREL
|
|
R_TLS
|
|
R_TLS_LE
|
|
R_TLS_IE
|
|
R_GOTOFF
|
|
R_PLT0
|
|
R_PLT1
|
|
R_PLT2
|
|
R_USEFIELD
|
|
R_POWER_TOC
|
|
)
|
|
|
|
// Reloc.variant
|
|
const (
|
|
RV_NONE = iota
|
|
RV_POWER_LO
|
|
RV_POWER_HI
|
|
RV_POWER_HA
|
|
RV_POWER_DS
|
|
RV_CHECK_OVERFLOW = 1 << 8
|
|
RV_TYPE_MASK = RV_CHECK_OVERFLOW - 1
|
|
)
|
|
|
|
// Auto.name
|
|
const (
|
|
A_AUTO = 1 + iota
|
|
A_PARAM
|
|
)
|
|
|
|
const (
|
|
LINKHASH = 100003
|
|
)
|
|
|
|
// Pcdata iterator.
|
|
// for(pciterinit(ctxt, &it, &pcd); !it.done; pciternext(&it)) { it.value holds in [it.pc, it.nextpc) }
|
|
|
|
// symbol version, incremented each time a file is loaded.
|
|
// version==1 is reserved for savehist.
|
|
const (
|
|
HistVersion = 1
|
|
)
|
|
|
|
// Link holds the context for writing object code from a compiler
|
|
// to be linker input or for reading that input into the linker.
|
|
|
|
const (
|
|
LittleEndian = 0x04030201
|
|
BigEndian = 0x01020304
|
|
)
|
|
|
|
// LinkArch is the definition of a single architecture.
|
|
|
|
/* executable header types */
|
|
const (
|
|
Hunknown = 0 + iota
|
|
Hdarwin
|
|
Hdragonfly
|
|
Helf
|
|
Hfreebsd
|
|
Hlinux
|
|
Hnacl
|
|
Hnetbsd
|
|
Hopenbsd
|
|
Hplan9
|
|
Hsolaris
|
|
Hwindows
|
|
)
|
|
|
|
const (
|
|
LinkAuto = 0 + iota
|
|
LinkInternal
|
|
LinkExternal
|
|
)
|
|
|
|
// asm5.c
|
|
|
|
// asm6.c
|
|
|
|
// asm8.c
|
|
|
|
// asm9.c
|
|
|
|
// data.c
|
|
|
|
// go.c
|
|
|
|
// ld.c
|
|
|
|
// list[5689].c
|
|
|
|
// obj.c
|
|
|
|
// objfile.c
|
|
|
|
// pass.c
|
|
|
|
// pcln.c
|
|
|
|
// sym.c
|
|
|
|
var linkbasepointer int
|