github.com/epfl-dcsl/gotee@v0.0.0-20200909122901-014b35f5e5e9/src/cmd/compile/internal/gc/obj.go (about)

     1  // Copyright 2009 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  package gc
     6  
     7  import (
     8  	"cmd/compile/internal/types"
     9  	"cmd/internal/bio"
    10  	"cmd/internal/obj"
    11  	"cmd/internal/objabi"
    12  	"cmd/internal/src"
    13  	"crypto/sha256"
    14  	"fmt"
    15  	"io"
    16  	"strconv"
    17  )
    18  
    19  // architecture-independent object file output
    20  const ArhdrSize = 60
    21  
    22  func formathdr(arhdr []byte, name string, size int64) {
    23  	copy(arhdr[:], fmt.Sprintf("%-16s%-12d%-6d%-6d%-8o%-10d`\n", name, 0, 0, 0, 0644, size))
    24  }
    25  
    26  // These modes say which kind of object file to generate.
    27  // The default use of the toolchain is to set both bits,
    28  // generating a combined compiler+linker object, one that
    29  // serves to describe the package to both the compiler and the linker.
    30  // In fact the compiler and linker read nearly disjoint sections of
    31  // that file, though, so in a distributed build setting it can be more
    32  // efficient to split the output into two files, supplying the compiler
    33  // object only to future compilations and the linker object only to
    34  // future links.
    35  //
    36  // By default a combined object is written, but if -linkobj is specified
    37  // on the command line then the default -o output is a compiler object
    38  // and the -linkobj output is a linker object.
    39  const (
    40  	modeCompilerObj = 1 << iota
    41  	modeLinkerObj
    42  )
    43  
    44  func dumpobj() {
    45  	if !dolinkobj {
    46  		dumpobj1(outfile, modeCompilerObj)
    47  		return
    48  	}
    49  	if linkobj == "" {
    50  		dumpobj1(outfile, modeCompilerObj|modeLinkerObj)
    51  		return
    52  	}
    53  	dumpobj1(outfile, modeCompilerObj)
    54  	dumpobj1(linkobj, modeLinkerObj)
    55  }
    56  
    57  func dumpobj1(outfile string, mode int) {
    58  	bout, err := bio.Create(outfile)
    59  	if err != nil {
    60  		flusherrors()
    61  		fmt.Printf("can't create %s: %v\n", outfile, err)
    62  		errorexit()
    63  	}
    64  	defer bout.Close()
    65  
    66  	startobj := int64(0)
    67  	var arhdr [ArhdrSize]byte
    68  	if writearchive {
    69  		bout.WriteString("!<arch>\n")
    70  		arhdr = [ArhdrSize]byte{}
    71  		bout.Write(arhdr[:])
    72  		startobj = bout.Offset()
    73  	}
    74  
    75  	printheader := func() {
    76  		fmt.Fprintf(bout, "go object %s %s %s %s\n", objabi.GOOS, objabi.GOARCH, objabi.Version, objabi.Expstring())
    77  		if buildid != "" {
    78  			fmt.Fprintf(bout, "build id %q\n", buildid)
    79  		}
    80  		if localpkg.Name == "main" {
    81  			fmt.Fprintf(bout, "main\n")
    82  		}
    83  		if safemode {
    84  			fmt.Fprintf(bout, "safe\n")
    85  		} else {
    86  			fmt.Fprintf(bout, "----\n") // room for some other tool to write "safe"
    87  		}
    88  		fmt.Fprintf(bout, "\n") // header ends with blank line
    89  	}
    90  
    91  	printheader()
    92  
    93  	if mode&modeCompilerObj != 0 {
    94  		dumpexport(bout)
    95  	}
    96  
    97  	if writearchive {
    98  		bout.Flush()
    99  		size := bout.Offset() - startobj
   100  		if size&1 != 0 {
   101  			bout.WriteByte(0)
   102  		}
   103  		bout.Seek(startobj-ArhdrSize, 0)
   104  		formathdr(arhdr[:], "__.PKGDEF", size)
   105  		bout.Write(arhdr[:])
   106  		bout.Flush()
   107  		bout.Seek(startobj+size+(size&1), 0)
   108  	}
   109  
   110  	if mode&modeLinkerObj == 0 {
   111  		return
   112  	}
   113  
   114  	if writearchive {
   115  		// start object file
   116  		arhdr = [ArhdrSize]byte{}
   117  		bout.Write(arhdr[:])
   118  		startobj = bout.Offset()
   119  		printheader()
   120  	}
   121  
   122  	if pragcgobuf != "" {
   123  		if writearchive {
   124  			// write empty export section; must be before cgo section
   125  			fmt.Fprintf(bout, "\n$$\n\n$$\n\n")
   126  		}
   127  
   128  		fmt.Fprintf(bout, "\n$$  // cgo\n")
   129  		fmt.Fprintf(bout, "%s\n$$\n\n", pragcgobuf)
   130  	}
   131  
   132  	fmt.Fprintf(bout, "\n!\n")
   133  
   134  	externs := len(externdcl)
   135  
   136  	dumpglobls()
   137  	addptabs()
   138  	addsignats(externdcl)
   139  	dumpsignats()
   140  	dumptabs()
   141  	dumpimportstrings()
   142  	dumpbasictypes()
   143  
   144  	// Dump extra globals.
   145  	tmp := externdcl
   146  
   147  	if externdcl != nil {
   148  		externdcl = externdcl[externs:]
   149  	}
   150  	dumpglobls()
   151  	externdcl = tmp
   152  
   153  	if zerosize > 0 {
   154  		zero := mappkg.Lookup("zero")
   155  		ggloblsym(zero.Linksym(), int32(zerosize), obj.DUPOK|obj.RODATA)
   156  	}
   157  
   158  	addGCLocals()
   159  
   160  	obj.WriteObjFile(Ctxt, bout.Writer)
   161  
   162  	if writearchive {
   163  		bout.Flush()
   164  		size := bout.Offset() - startobj
   165  		if size&1 != 0 {
   166  			bout.WriteByte(0)
   167  		}
   168  		bout.Seek(startobj-ArhdrSize, 0)
   169  		formathdr(arhdr[:], "_go_.o", size)
   170  		bout.Write(arhdr[:])
   171  	}
   172  }
   173  
   174  func addptabs() {
   175  	if !Ctxt.Flag_dynlink || localpkg.Name != "main" {
   176  		return
   177  	}
   178  	for _, exportn := range exportlist {
   179  		s := exportn.Sym
   180  		n := asNode(s.Def)
   181  		if n == nil {
   182  			continue
   183  		}
   184  		if n.Op != ONAME {
   185  			continue
   186  		}
   187  		if !exportname(s.Name) {
   188  			continue
   189  		}
   190  		if s.Pkg.Name != "main" {
   191  			continue
   192  		}
   193  		if n.Type.Etype == TFUNC && n.Class() == PFUNC {
   194  			// function
   195  			ptabs = append(ptabs, ptabEntry{s: s, t: asNode(s.Def).Type})
   196  		} else {
   197  			// variable
   198  			ptabs = append(ptabs, ptabEntry{s: s, t: types.NewPtr(asNode(s.Def).Type)})
   199  		}
   200  	}
   201  }
   202  
   203  func dumpGlobal(n *Node) {
   204  	if n.Type == nil {
   205  		Fatalf("external %v nil type\n", n)
   206  	}
   207  	if n.Class() == PFUNC {
   208  		return
   209  	}
   210  	if n.Sym.Pkg != localpkg {
   211  		return
   212  	}
   213  	dowidth(n.Type)
   214  	ggloblnod(n)
   215  }
   216  
   217  func dumpGlobalConst(n *Node) {
   218  	// only export typed constants
   219  	t := n.Type
   220  	if t == nil {
   221  		return
   222  	}
   223  	if n.Sym.Pkg != localpkg {
   224  		return
   225  	}
   226  	// only export integer constants for now
   227  	switch t.Etype {
   228  	case TINT8:
   229  	case TINT16:
   230  	case TINT32:
   231  	case TINT64:
   232  	case TINT:
   233  	case TUINT8:
   234  	case TUINT16:
   235  	case TUINT32:
   236  	case TUINT64:
   237  	case TUINT:
   238  	case TUINTPTR:
   239  		// ok
   240  	case TIDEAL:
   241  		if !Isconst(n, CTINT) {
   242  			return
   243  		}
   244  		x := n.Val().U.(*Mpint)
   245  		if x.Cmp(minintval[TINT]) < 0 || x.Cmp(maxintval[TINT]) > 0 {
   246  			return
   247  		}
   248  		// Ideal integers we export as int (if they fit).
   249  		t = types.Types[TINT]
   250  	default:
   251  		return
   252  	}
   253  	Ctxt.DwarfIntConst(myimportpath, n.Sym.Name, typesymname(t), n.Int64())
   254  }
   255  
   256  func dumpglobls() {
   257  	// add globals
   258  	for _, n := range externdcl {
   259  		switch n.Op {
   260  		case ONAME:
   261  			dumpGlobal(n)
   262  		case OLITERAL:
   263  			dumpGlobalConst(n)
   264  		}
   265  	}
   266  
   267  	obj.SortSlice(funcsyms, func(i, j int) bool {
   268  		return funcsyms[i].LinksymName() < funcsyms[j].LinksymName()
   269  	})
   270  	for _, s := range funcsyms {
   271  		sf := s.Pkg.Lookup(funcsymname(s)).Linksym()
   272  		dsymptr(sf, 0, s.Linksym(), 0)
   273  		ggloblsym(sf, int32(Widthptr), obj.DUPOK|obj.RODATA)
   274  	}
   275  
   276  	// Do not reprocess funcsyms on next dumpglobls call.
   277  	funcsyms = nil
   278  }
   279  
   280  // addGCLocals adds gcargs and gclocals symbols to Ctxt.Data.
   281  // It takes care not to add any duplicates.
   282  // Though the object file format handles duplicates efficiently,
   283  // storing only a single copy of the data,
   284  // failure to remove these duplicates adds a few percent to object file size.
   285  func addGCLocals() {
   286  	seen := make(map[string]bool)
   287  	for _, s := range Ctxt.Text {
   288  		if s.Func == nil {
   289  			continue
   290  		}
   291  		for _, gcsym := range []*obj.LSym{&s.Func.GCArgs, &s.Func.GCLocals} {
   292  			if seen[gcsym.Name] {
   293  				continue
   294  			}
   295  			Ctxt.Data = append(Ctxt.Data, gcsym)
   296  			seen[gcsym.Name] = true
   297  		}
   298  	}
   299  }
   300  
   301  func duintxx(s *obj.LSym, off int, v uint64, wid int) int {
   302  	if off&(wid-1) != 0 {
   303  		Fatalf("duintxxLSym: misaligned: v=%d wid=%d off=%d", v, wid, off)
   304  	}
   305  	s.WriteInt(Ctxt, int64(off), wid, int64(v))
   306  	return off + wid
   307  }
   308  
   309  func duint8(s *obj.LSym, off int, v uint8) int {
   310  	return duintxx(s, off, uint64(v), 1)
   311  }
   312  
   313  func duint16(s *obj.LSym, off int, v uint16) int {
   314  	return duintxx(s, off, uint64(v), 2)
   315  }
   316  
   317  func duint32(s *obj.LSym, off int, v uint32) int {
   318  	return duintxx(s, off, uint64(v), 4)
   319  }
   320  
   321  func duintptr(s *obj.LSym, off int, v uint64) int {
   322  	return duintxx(s, off, v, Widthptr)
   323  }
   324  
   325  func dbvec(s *obj.LSym, off int, bv bvec) int {
   326  	// Runtime reads the bitmaps as byte arrays. Oblige.
   327  	for j := 0; int32(j) < bv.n; j += 8 {
   328  		word := bv.b[j/32]
   329  		off = duint8(s, off, uint8(word>>(uint(j)%32)))
   330  	}
   331  	return off
   332  }
   333  
   334  func stringsym(pos src.XPos, s string) (data *obj.LSym) {
   335  	var symname string
   336  	if len(s) > 100 {
   337  		// Huge strings are hashed to avoid long names in object files.
   338  		// Indulge in some paranoia by writing the length of s, too,
   339  		// as protection against length extension attacks.
   340  		h := sha256.New()
   341  		io.WriteString(h, s)
   342  		symname = fmt.Sprintf(".gostring.%d.%x", len(s), h.Sum(nil))
   343  	} else {
   344  		// Small strings get named directly by their contents.
   345  		symname = strconv.Quote(s)
   346  	}
   347  
   348  	const prefix = "go.string."
   349  	symdataname := prefix + symname
   350  
   351  	symdata := Ctxt.Lookup(symdataname)
   352  
   353  	if !symdata.SeenGlobl() {
   354  		// string data
   355  		off := dsname(symdata, 0, s, pos, "string")
   356  		ggloblsym(symdata, int32(off), obj.DUPOK|obj.RODATA|obj.LOCAL)
   357  	}
   358  
   359  	return symdata
   360  }
   361  
   362  var slicebytes_gen int
   363  
   364  func slicebytes(nam *Node, s string, len int) {
   365  	slicebytes_gen++
   366  	symname := fmt.Sprintf(".gobytes.%d", slicebytes_gen)
   367  	sym := localpkg.Lookup(symname)
   368  	sym.Def = asTypesNode(newname(sym))
   369  
   370  	lsym := sym.Linksym()
   371  	off := dsname(lsym, 0, s, nam.Pos, "slice")
   372  	ggloblsym(lsym, int32(off), obj.NOPTR|obj.LOCAL)
   373  
   374  	if nam.Op != ONAME {
   375  		Fatalf("slicebytes %v", nam)
   376  	}
   377  	nsym := nam.Sym.Linksym()
   378  	off = int(nam.Xoffset)
   379  	off = dsymptr(nsym, off, lsym, 0)
   380  	off = duintptr(nsym, off, uint64(len))
   381  	duintptr(nsym, off, uint64(len))
   382  }
   383  
   384  func dsname(s *obj.LSym, off int, t string, pos src.XPos, what string) int {
   385  	// Objects that are too large will cause the data section to overflow right away,
   386  	// causing a cryptic error message by the linker. Check for oversize objects here
   387  	// and provide a useful error message instead.
   388  	if int64(len(t)) > 2e9 {
   389  		yyerrorl(pos, "%v with length %v is too big", what, len(t))
   390  		return 0
   391  	}
   392  
   393  	s.WriteString(Ctxt, int64(off), len(t), t)
   394  	return off + len(t)
   395  }
   396  
   397  func dsymptr(s *obj.LSym, off int, x *obj.LSym, xoff int) int {
   398  	off = int(Rnd(int64(off), int64(Widthptr)))
   399  	s.WriteAddr(Ctxt, int64(off), Widthptr, x, int64(xoff))
   400  	off += Widthptr
   401  	return off
   402  }
   403  
   404  func dsymptrOff(s *obj.LSym, off int, x *obj.LSym, xoff int) int {
   405  	s.WriteOff(Ctxt, int64(off), x, int64(xoff))
   406  	off += 4
   407  	return off
   408  }
   409  
   410  func dsymptrWeakOff(s *obj.LSym, off int, x *obj.LSym) int {
   411  	s.WriteWeakOff(Ctxt, int64(off), x, 0)
   412  	off += 4
   413  	return off
   414  }
   415  
   416  func gdata(nam *Node, nr *Node, wid int) {
   417  	if nam.Op != ONAME {
   418  		Fatalf("gdata nam op %v", nam.Op)
   419  	}
   420  	if nam.Sym == nil {
   421  		Fatalf("gdata nil nam sym")
   422  	}
   423  	s := nam.Sym.Linksym()
   424  
   425  	switch nr.Op {
   426  	case OLITERAL:
   427  		switch u := nr.Val().U.(type) {
   428  		case bool:
   429  			i := int64(obj.Bool2int(u))
   430  			s.WriteInt(Ctxt, nam.Xoffset, wid, i)
   431  
   432  		case *Mpint:
   433  			s.WriteInt(Ctxt, nam.Xoffset, wid, u.Int64())
   434  
   435  		case *Mpflt:
   436  			f := u.Float64()
   437  			switch nam.Type.Etype {
   438  			case TFLOAT32:
   439  				s.WriteFloat32(Ctxt, nam.Xoffset, float32(f))
   440  			case TFLOAT64:
   441  				s.WriteFloat64(Ctxt, nam.Xoffset, f)
   442  			}
   443  
   444  		case *Mpcplx:
   445  			r := u.Real.Float64()
   446  			i := u.Imag.Float64()
   447  			switch nam.Type.Etype {
   448  			case TCOMPLEX64:
   449  				s.WriteFloat32(Ctxt, nam.Xoffset, float32(r))
   450  				s.WriteFloat32(Ctxt, nam.Xoffset+4, float32(i))
   451  			case TCOMPLEX128:
   452  				s.WriteFloat64(Ctxt, nam.Xoffset, r)
   453  				s.WriteFloat64(Ctxt, nam.Xoffset+8, i)
   454  			}
   455  
   456  		case string:
   457  			symdata := stringsym(nam.Pos, u)
   458  			s.WriteAddr(Ctxt, nam.Xoffset, Widthptr, symdata, 0)
   459  			s.WriteInt(Ctxt, nam.Xoffset+int64(Widthptr), Widthptr, int64(len(u)))
   460  
   461  		default:
   462  			Fatalf("gdata unhandled OLITERAL %v", nr)
   463  		}
   464  
   465  	case OADDR:
   466  		if nr.Left.Op != ONAME {
   467  			Fatalf("gdata ADDR left op %v", nr.Left.Op)
   468  		}
   469  		to := nr.Left
   470  		s.WriteAddr(Ctxt, nam.Xoffset, wid, to.Sym.Linksym(), to.Xoffset)
   471  
   472  	case ONAME:
   473  		if nr.Class() != PFUNC {
   474  			Fatalf("gdata NAME not PFUNC %d", nr.Class())
   475  		}
   476  		s.WriteAddr(Ctxt, nam.Xoffset, wid, funcsym(nr.Sym).Linksym(), nr.Xoffset)
   477  
   478  	default:
   479  		Fatalf("gdata unhandled op %v %v\n", nr, nr.Op)
   480  	}
   481  }