Black Lives Matter. Support the Equal Justice Initiative.

Source file src/cmd/link/internal/arm/asm.go

Documentation: cmd/link/internal/arm

     1  // Inferno utils/5l/asm.c
     2  // https://bitbucket.org/inferno-os/inferno-os/src/master/utils/5l/asm.c
     3  //
     4  //	Copyright © 1994-1999 Lucent Technologies Inc.  All rights reserved.
     5  //	Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net)
     6  //	Portions Copyright © 1997-1999 Vita Nuova Limited
     7  //	Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com)
     8  //	Portions Copyright © 2004,2006 Bruce Ellis
     9  //	Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net)
    10  //	Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others
    11  //	Portions Copyright © 2009 The Go Authors. All rights reserved.
    12  //
    13  // Permission is hereby granted, free of charge, to any person obtaining a copy
    14  // of this software and associated documentation files (the "Software"), to deal
    15  // in the Software without restriction, including without limitation the rights
    16  // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
    17  // copies of the Software, and to permit persons to whom the Software is
    18  // furnished to do so, subject to the following conditions:
    19  //
    20  // The above copyright notice and this permission notice shall be included in
    21  // all copies or substantial portions of the Software.
    22  //
    23  // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    24  // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    25  // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL THE
    26  // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    27  // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
    28  // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
    29  // THE SOFTWARE.
    30  
    31  package arm
    32  
    33  import (
    34  	"cmd/internal/objabi"
    35  	"cmd/internal/sys"
    36  	"cmd/link/internal/ld"
    37  	"cmd/link/internal/loader"
    38  	"cmd/link/internal/sym"
    39  	"debug/elf"
    40  	"fmt"
    41  	"log"
    42  )
    43  
    44  // This assembler:
    45  //
    46  //         .align 2
    47  // local.dso_init:
    48  //         ldr r0, .Lmoduledata
    49  // .Lloadfrom:
    50  //         ldr r0, [r0]
    51  //         b runtime.addmoduledata@plt
    52  // .align 2
    53  // .Lmoduledata:
    54  //         .word local.moduledata(GOT_PREL) + (. - (.Lloadfrom + 4))
    55  // assembles to:
    56  //
    57  // 00000000 <local.dso_init>:
    58  //    0:        e59f0004        ldr     r0, [pc, #4]    ; c <local.dso_init+0xc>
    59  //    4:        e5900000        ldr     r0, [r0]
    60  //    8:        eafffffe        b       0 <runtime.addmoduledata>
    61  //                      8: R_ARM_JUMP24 runtime.addmoduledata
    62  //    c:        00000004        .word   0x00000004
    63  //                      c: R_ARM_GOT_PREL       local.moduledata
    64  
    65  func gentext(ctxt *ld.Link, ldr *loader.Loader) {
    66  	initfunc, addmoduledata := ld.PrepareAddmoduledata(ctxt)
    67  	if initfunc == nil {
    68  		return
    69  	}
    70  
    71  	o := func(op uint32) {
    72  		initfunc.AddUint32(ctxt.Arch, op)
    73  	}
    74  	o(0xe59f0004)
    75  	o(0xe08f0000)
    76  
    77  	o(0xeafffffe)
    78  	rel, _ := initfunc.AddRel(objabi.R_CALLARM)
    79  	rel.SetOff(8)
    80  	rel.SetSiz(4)
    81  	rel.SetSym(addmoduledata)
    82  	rel.SetAdd(0xeafffffe) // vomit
    83  
    84  	o(0x00000000)
    85  
    86  	rel2, _ := initfunc.AddRel(objabi.R_PCREL)
    87  	rel2.SetOff(12)
    88  	rel2.SetSiz(4)
    89  	rel2.SetSym(ctxt.Moduledata)
    90  	rel2.SetAdd(4)
    91  }
    92  
    93  // Preserve highest 8 bits of a, and do addition to lower 24-bit
    94  // of a and b; used to adjust ARM branch instruction's target
    95  func braddoff(a int32, b int32) int32 {
    96  	return int32((uint32(a))&0xff000000 | 0x00ffffff&uint32(a+b))
    97  }
    98  
    99  func adddynrel(target *ld.Target, ldr *loader.Loader, syms *ld.ArchSyms, s loader.Sym, r loader.Reloc, rIdx int) bool {
   100  
   101  	targ := r.Sym()
   102  	var targType sym.SymKind
   103  	if targ != 0 {
   104  		targType = ldr.SymType(targ)
   105  	}
   106  
   107  	switch r.Type() {
   108  	default:
   109  		if r.Type() >= objabi.ElfRelocOffset {
   110  			ldr.Errorf(s, "unexpected relocation type %d (%s)", r.Type(), sym.RelocName(target.Arch, r.Type()))
   111  			return false
   112  		}
   113  
   114  	// Handle relocations found in ELF object files.
   115  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_PLT32):
   116  		su := ldr.MakeSymbolUpdater(s)
   117  		su.SetRelocType(rIdx, objabi.R_CALLARM)
   118  
   119  		if targType == sym.SDYNIMPORT {
   120  			addpltsym(target, ldr, syms, targ)
   121  			su.SetRelocSym(rIdx, syms.PLT)
   122  			su.SetRelocAdd(rIdx, int64(braddoff(int32(r.Add()), ldr.SymPlt(targ)/4)))
   123  		}
   124  
   125  		return true
   126  
   127  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_THM_PC22): // R_ARM_THM_CALL
   128  		ld.Exitf("R_ARM_THM_CALL, are you using -marm?")
   129  		return false
   130  
   131  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_GOT32): // R_ARM_GOT_BREL
   132  		if targType != sym.SDYNIMPORT {
   133  			addgotsyminternal(target, ldr, syms, targ)
   134  		} else {
   135  			ld.AddGotSym(target, ldr, syms, targ, uint32(elf.R_ARM_GLOB_DAT))
   136  		}
   137  
   138  		su := ldr.MakeSymbolUpdater(s)
   139  		su.SetRelocType(rIdx, objabi.R_CONST) // write r->add during relocsym
   140  		su.SetRelocSym(rIdx, 0)
   141  		su.SetRelocAdd(rIdx, r.Add()+int64(ldr.SymGot(targ)))
   142  		return true
   143  
   144  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_GOT_PREL): // GOT(nil) + A - nil
   145  		if targType != sym.SDYNIMPORT {
   146  			addgotsyminternal(target, ldr, syms, targ)
   147  		} else {
   148  			ld.AddGotSym(target, ldr, syms, targ, uint32(elf.R_ARM_GLOB_DAT))
   149  		}
   150  		su := ldr.MakeSymbolUpdater(s)
   151  		su.SetRelocType(rIdx, objabi.R_PCREL)
   152  		su.SetRelocSym(rIdx, syms.GOT)
   153  		su.SetRelocAdd(rIdx, r.Add()+4+int64(ldr.SymGot(targ)))
   154  		return true
   155  
   156  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_GOTOFF): // R_ARM_GOTOFF32
   157  		su := ldr.MakeSymbolUpdater(s)
   158  		su.SetRelocType(rIdx, objabi.R_GOTOFF)
   159  		return true
   160  
   161  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_GOTPC): // R_ARM_BASE_PREL
   162  		su := ldr.MakeSymbolUpdater(s)
   163  		su.SetRelocType(rIdx, objabi.R_PCREL)
   164  		su.SetRelocSym(rIdx, syms.GOT)
   165  		su.SetRelocAdd(rIdx, r.Add()+4)
   166  		return true
   167  
   168  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_CALL):
   169  		su := ldr.MakeSymbolUpdater(s)
   170  		su.SetRelocType(rIdx, objabi.R_CALLARM)
   171  		if targType == sym.SDYNIMPORT {
   172  			addpltsym(target, ldr, syms, targ)
   173  			su.SetRelocSym(rIdx, syms.PLT)
   174  			su.SetRelocAdd(rIdx, int64(braddoff(int32(r.Add()), ldr.SymPlt(targ)/4)))
   175  		}
   176  		return true
   177  
   178  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_REL32): // R_ARM_REL32
   179  		su := ldr.MakeSymbolUpdater(s)
   180  		su.SetRelocType(rIdx, objabi.R_PCREL)
   181  		su.SetRelocAdd(rIdx, r.Add()+4)
   182  		return true
   183  
   184  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_ABS32):
   185  		if targType == sym.SDYNIMPORT {
   186  			ldr.Errorf(s, "unexpected R_ARM_ABS32 relocation for dynamic symbol %s", ldr.SymName(targ))
   187  		}
   188  		su := ldr.MakeSymbolUpdater(s)
   189  		su.SetRelocType(rIdx, objabi.R_ADDR)
   190  		return true
   191  
   192  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_PC24),
   193  		objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_JUMP24):
   194  		su := ldr.MakeSymbolUpdater(s)
   195  		su.SetRelocType(rIdx, objabi.R_CALLARM)
   196  		if targType == sym.SDYNIMPORT {
   197  			addpltsym(target, ldr, syms, targ)
   198  			su.SetRelocSym(rIdx, syms.PLT)
   199  			su.SetRelocAdd(rIdx, int64(braddoff(int32(r.Add()), ldr.SymPlt(targ)/4)))
   200  		}
   201  
   202  		return true
   203  	}
   204  
   205  	// Handle references to ELF symbols from our own object files.
   206  	if targType != sym.SDYNIMPORT {
   207  		return true
   208  	}
   209  
   210  	// Reread the reloc to incorporate any changes in type above.
   211  	relocs := ldr.Relocs(s)
   212  	r = relocs.At(rIdx)
   213  
   214  	switch r.Type() {
   215  	case objabi.R_CALLARM:
   216  		if target.IsExternal() {
   217  			// External linker will do this relocation.
   218  			return true
   219  		}
   220  		addpltsym(target, ldr, syms, targ)
   221  		su := ldr.MakeSymbolUpdater(s)
   222  		su.SetRelocSym(rIdx, syms.PLT)
   223  		su.SetRelocAdd(rIdx, int64(braddoff(int32(r.Add()), ldr.SymPlt(targ)/4))) // TODO: don't use r.Add for instruction bytes (issue 19811)
   224  		return true
   225  
   226  	case objabi.R_ADDR:
   227  		if ldr.SymType(s) != sym.SDATA {
   228  			break
   229  		}
   230  		if target.IsElf() {
   231  			ld.Adddynsym(ldr, target, syms, targ)
   232  			rel := ldr.MakeSymbolUpdater(syms.Rel)
   233  			rel.AddAddrPlus(target.Arch, s, int64(r.Off()))
   234  			rel.AddUint32(target.Arch, elf.R_INFO32(uint32(ldr.SymDynid(targ)), uint32(elf.R_ARM_GLOB_DAT))) // we need a nil + A dynamic reloc
   235  			su := ldr.MakeSymbolUpdater(s)
   236  			su.SetRelocType(rIdx, objabi.R_CONST) // write r->add during relocsym
   237  			su.SetRelocSym(rIdx, 0)
   238  			return true
   239  		}
   240  
   241  	case objabi.R_GOTPCREL:
   242  		if target.IsExternal() {
   243  			// External linker will do this relocation.
   244  			return true
   245  		}
   246  		if targType != sym.SDYNIMPORT {
   247  			ldr.Errorf(s, "R_GOTPCREL target is not SDYNIMPORT symbol: %v", ldr.SymName(targ))
   248  		}
   249  		ld.AddGotSym(target, ldr, syms, targ, uint32(elf.R_ARM_GLOB_DAT))
   250  		su := ldr.MakeSymbolUpdater(s)
   251  		su.SetRelocType(rIdx, objabi.R_PCREL)
   252  		su.SetRelocSym(rIdx, syms.GOT)
   253  		su.SetRelocAdd(rIdx, r.Add()+int64(ldr.SymGot(targ)))
   254  		return true
   255  	}
   256  
   257  	return false
   258  }
   259  
   260  func elfreloc1(ctxt *ld.Link, out *ld.OutBuf, ldr *loader.Loader, s loader.Sym, r loader.ExtReloc, ri int, sectoff int64) bool {
   261  	out.Write32(uint32(sectoff))
   262  
   263  	elfsym := ld.ElfSymForReloc(ctxt, r.Xsym)
   264  	siz := r.Size
   265  	switch r.Type {
   266  	default:
   267  		return false
   268  	case objabi.R_ADDR, objabi.R_DWARFSECREF:
   269  		if siz == 4 {
   270  			out.Write32(uint32(elf.R_ARM_ABS32) | uint32(elfsym)<<8)
   271  		} else {
   272  			return false
   273  		}
   274  	case objabi.R_PCREL:
   275  		if siz == 4 {
   276  			out.Write32(uint32(elf.R_ARM_REL32) | uint32(elfsym)<<8)
   277  		} else {
   278  			return false
   279  		}
   280  	case objabi.R_CALLARM:
   281  		if siz == 4 {
   282  			relocs := ldr.Relocs(s)
   283  			r := relocs.At(ri)
   284  			if r.Add()&0xff000000 == 0xeb000000 { // BL // TODO: using r.Add here is bad (issue 19811)
   285  				out.Write32(uint32(elf.R_ARM_CALL) | uint32(elfsym)<<8)
   286  			} else {
   287  				out.Write32(uint32(elf.R_ARM_JUMP24) | uint32(elfsym)<<8)
   288  			}
   289  		} else {
   290  			return false
   291  		}
   292  	case objabi.R_TLS_LE:
   293  		out.Write32(uint32(elf.R_ARM_TLS_LE32) | uint32(elfsym)<<8)
   294  	case objabi.R_TLS_IE:
   295  		out.Write32(uint32(elf.R_ARM_TLS_IE32) | uint32(elfsym)<<8)
   296  	case objabi.R_GOTPCREL:
   297  		if siz == 4 {
   298  			out.Write32(uint32(elf.R_ARM_GOT_PREL) | uint32(elfsym)<<8)
   299  		} else {
   300  			return false
   301  		}
   302  	}
   303  
   304  	return true
   305  }
   306  
   307  func elfsetupplt(ctxt *ld.Link, plt, got *loader.SymbolBuilder, dynamic loader.Sym) {
   308  	if plt.Size() == 0 {
   309  		// str lr, [sp, #-4]!
   310  		plt.AddUint32(ctxt.Arch, 0xe52de004)
   311  
   312  		// ldr lr, [pc, #4]
   313  		plt.AddUint32(ctxt.Arch, 0xe59fe004)
   314  
   315  		// add lr, pc, lr
   316  		plt.AddUint32(ctxt.Arch, 0xe08fe00e)
   317  
   318  		// ldr pc, [lr, #8]!
   319  		plt.AddUint32(ctxt.Arch, 0xe5bef008)
   320  
   321  		// .word &GLOBAL_OFFSET_TABLE[0] - .
   322  		plt.AddPCRelPlus(ctxt.Arch, got.Sym(), 4)
   323  
   324  		// the first .plt entry requires 3 .plt.got entries
   325  		got.AddUint32(ctxt.Arch, 0)
   326  
   327  		got.AddUint32(ctxt.Arch, 0)
   328  		got.AddUint32(ctxt.Arch, 0)
   329  	}
   330  }
   331  
   332  func machoreloc1(*sys.Arch, *ld.OutBuf, *loader.Loader, loader.Sym, loader.ExtReloc, int64) bool {
   333  	return false
   334  }
   335  
   336  func pereloc1(arch *sys.Arch, out *ld.OutBuf, ldr *loader.Loader, s loader.Sym, r loader.ExtReloc, sectoff int64) bool {
   337  	rs := r.Xsym
   338  	rt := r.Type
   339  
   340  	if ldr.SymDynid(rs) < 0 {
   341  		ldr.Errorf(s, "reloc %d (%s) to non-coff symbol %s type=%d (%s)", rt, sym.RelocName(arch, rt), ldr.SymName(rs), ldr.SymType(rs), ldr.SymType(rs))
   342  		return false
   343  	}
   344  
   345  	out.Write32(uint32(sectoff))
   346  	out.Write32(uint32(ldr.SymDynid(rs)))
   347  
   348  	var v uint32
   349  	switch rt {
   350  	default:
   351  		// unsupported relocation type
   352  		return false
   353  
   354  	case objabi.R_DWARFSECREF:
   355  		v = ld.IMAGE_REL_ARM_SECREL
   356  
   357  	case objabi.R_ADDR:
   358  		v = ld.IMAGE_REL_ARM_ADDR32
   359  	}
   360  
   361  	out.Write16(uint16(v))
   362  
   363  	return true
   364  }
   365  
   366  // sign extend a 24-bit integer
   367  func signext24(x int64) int32 {
   368  	return (int32(x) << 8) >> 8
   369  }
   370  
   371  // encode an immediate in ARM's imm12 format. copied from ../../../internal/obj/arm/asm5.go
   372  func immrot(v uint32) uint32 {
   373  	for i := 0; i < 16; i++ {
   374  		if v&^0xff == 0 {
   375  			return uint32(i<<8) | v | 1<<25
   376  		}
   377  		v = v<<2 | v>>30
   378  	}
   379  	return 0
   380  }
   381  
   382  // Convert the direct jump relocation r to refer to a trampoline if the target is too far
   383  func trampoline(ctxt *ld.Link, ldr *loader.Loader, ri int, rs, s loader.Sym) {
   384  	relocs := ldr.Relocs(s)
   385  	r := relocs.At(ri)
   386  	switch r.Type() {
   387  	case objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_CALL),
   388  		objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_PC24),
   389  		objabi.ElfRelocOffset + objabi.RelocType(elf.R_ARM_JUMP24):
   390  		// Host object relocations that will be turned into a PLT call.
   391  		// The PLT may be too far. Insert a trampoline for them.
   392  		fallthrough
   393  	case objabi.R_CALLARM:
   394  		var t int64
   395  		// ldr.SymValue(rs) == 0 indicates a cross-package jump to a function that is not yet
   396  		// laid out. Conservatively use a trampoline. This should be rare, as we lay out packages
   397  		// in dependency order.
   398  		if ldr.SymValue(rs) != 0 {
   399  			// r.Add is the instruction
   400  			// low 24-bit encodes the target address
   401  			t = (ldr.SymValue(rs) + int64(signext24(r.Add()&0xffffff)*4) - (ldr.SymValue(s) + int64(r.Off()))) / 4
   402  		}
   403  		if t > 0x7fffff || t < -0x800000 || ldr.SymValue(rs) == 0 || (*ld.FlagDebugTramp > 1 && ldr.SymPkg(s) != ldr.SymPkg(rs)) {
   404  			// direct call too far, need to insert trampoline.
   405  			// look up existing trampolines first. if we found one within the range
   406  			// of direct call, we can reuse it. otherwise create a new one.
   407  			offset := (signext24(r.Add()&0xffffff) + 2) * 4
   408  			var tramp loader.Sym
   409  			for i := 0; ; i++ {
   410  				oName := ldr.SymName(rs)
   411  				name := oName + fmt.Sprintf("%+d-tramp%d", offset, i)
   412  				tramp = ldr.LookupOrCreateSym(name, int(ldr.SymVersion(rs)))
   413  				ldr.SetAttrReachable(tramp, true)
   414  				if ldr.SymType(tramp) == sym.SDYNIMPORT {
   415  					// don't reuse trampoline defined in other module
   416  					continue
   417  				}
   418  				if oName == "runtime.deferreturn" {
   419  					ldr.SetIsDeferReturnTramp(tramp, true)
   420  				}
   421  				if ldr.SymValue(tramp) == 0 {
   422  					// either the trampoline does not exist -- we need to create one,
   423  					// or found one the address which is not assigned -- this will be
   424  					// laid down immediately after the current function. use this one.
   425  					break
   426  				}
   427  
   428  				t = (ldr.SymValue(tramp) - 8 - (ldr.SymValue(s) + int64(r.Off()))) / 4
   429  				if t >= -0x800000 && t < 0x7fffff {
   430  					// found an existing trampoline that is not too far
   431  					// we can just use it
   432  					break
   433  				}
   434  			}
   435  			if ldr.SymType(tramp) == 0 {
   436  				// trampoline does not exist, create one
   437  				trampb := ldr.MakeSymbolUpdater(tramp)
   438  				ctxt.AddTramp(trampb)
   439  				if ctxt.DynlinkingGo() || ldr.SymType(rs) == sym.SDYNIMPORT {
   440  					if immrot(uint32(offset)) == 0 {
   441  						ctxt.Errorf(s, "odd offset in dynlink direct call: %v+%d", ldr.SymName(rs), offset)
   442  					}
   443  					gentrampdyn(ctxt.Arch, trampb, rs, int64(offset))
   444  				} else if ctxt.BuildMode == ld.BuildModeCArchive || ctxt.BuildMode == ld.BuildModeCShared || ctxt.BuildMode == ld.BuildModePIE {
   445  					gentramppic(ctxt.Arch, trampb, rs, int64(offset))
   446  				} else {
   447  					gentramp(ctxt.Arch, ctxt.LinkMode, ldr, trampb, rs, int64(offset))
   448  				}
   449  			}
   450  			// modify reloc to point to tramp, which will be resolved later
   451  			sb := ldr.MakeSymbolUpdater(s)
   452  			relocs := sb.Relocs()
   453  			r := relocs.At(ri)
   454  			r.SetSym(tramp)
   455  			r.SetAdd(r.Add()&0xff000000 | 0xfffffe) // clear the offset embedded in the instruction
   456  		}
   457  	default:
   458  		ctxt.Errorf(s, "trampoline called with non-jump reloc: %d (%s)", r.Type(), sym.RelocName(ctxt.Arch, r.Type()))
   459  	}
   460  }
   461  
   462  // generate a trampoline to target+offset
   463  func gentramp(arch *sys.Arch, linkmode ld.LinkMode, ldr *loader.Loader, tramp *loader.SymbolBuilder, target loader.Sym, offset int64) {
   464  	tramp.SetSize(12) // 3 instructions
   465  	P := make([]byte, tramp.Size())
   466  	t := ldr.SymValue(target) + offset
   467  	o1 := uint32(0xe5900000 | 12<<12 | 15<<16) // MOVW (R15), R12 // R15 is actual pc + 8
   468  	o2 := uint32(0xe12fff10 | 12)              // JMP  (R12)
   469  	o3 := uint32(t)                            // WORD $target
   470  	arch.ByteOrder.PutUint32(P, o1)
   471  	arch.ByteOrder.PutUint32(P[4:], o2)
   472  	arch.ByteOrder.PutUint32(P[8:], o3)
   473  	tramp.SetData(P)
   474  
   475  	if linkmode == ld.LinkExternal || ldr.SymValue(target) == 0 {
   476  		r, _ := tramp.AddRel(objabi.R_ADDR)
   477  		r.SetOff(8)
   478  		r.SetSiz(4)
   479  		r.SetSym(target)
   480  		r.SetAdd(offset)
   481  	}
   482  }
   483  
   484  // generate a trampoline to target+offset in position independent code
   485  func gentramppic(arch *sys.Arch, tramp *loader.SymbolBuilder, target loader.Sym, offset int64) {
   486  	tramp.SetSize(16) // 4 instructions
   487  	P := make([]byte, tramp.Size())
   488  	o1 := uint32(0xe5900000 | 12<<12 | 15<<16 | 4)  // MOVW 4(R15), R12 // R15 is actual pc + 8
   489  	o2 := uint32(0xe0800000 | 12<<12 | 15<<16 | 12) // ADD R15, R12, R12
   490  	o3 := uint32(0xe12fff10 | 12)                   // JMP  (R12)
   491  	o4 := uint32(0)                                 // WORD $(target-pc) // filled in with relocation
   492  	arch.ByteOrder.PutUint32(P, o1)
   493  	arch.ByteOrder.PutUint32(P[4:], o2)
   494  	arch.ByteOrder.PutUint32(P[8:], o3)
   495  	arch.ByteOrder.PutUint32(P[12:], o4)
   496  	tramp.SetData(P)
   497  
   498  	r, _ := tramp.AddRel(objabi.R_PCREL)
   499  	r.SetOff(12)
   500  	r.SetSiz(4)
   501  	r.SetSym(target)
   502  	r.SetAdd(offset + 4)
   503  }
   504  
   505  // generate a trampoline to target+offset in dynlink mode (using GOT)
   506  func gentrampdyn(arch *sys.Arch, tramp *loader.SymbolBuilder, target loader.Sym, offset int64) {
   507  	tramp.SetSize(20)                               // 5 instructions
   508  	o1 := uint32(0xe5900000 | 12<<12 | 15<<16 | 8)  // MOVW 8(R15), R12 // R15 is actual pc + 8
   509  	o2 := uint32(0xe0800000 | 12<<12 | 15<<16 | 12) // ADD R15, R12, R12
   510  	o3 := uint32(0xe5900000 | 12<<12 | 12<<16)      // MOVW (R12), R12
   511  	o4 := uint32(0xe12fff10 | 12)                   // JMP  (R12)
   512  	o5 := uint32(0)                                 // WORD $target@GOT // filled in with relocation
   513  	o6 := uint32(0)
   514  	if offset != 0 {
   515  		// insert an instruction to add offset
   516  		tramp.SetSize(24) // 6 instructions
   517  		o6 = o5
   518  		o5 = o4
   519  		o4 = 0xe2800000 | 12<<12 | 12<<16 | immrot(uint32(offset)) // ADD $offset, R12, R12
   520  		o1 = uint32(0xe5900000 | 12<<12 | 15<<16 | 12)             // MOVW 12(R15), R12
   521  	}
   522  	P := make([]byte, tramp.Size())
   523  	arch.ByteOrder.PutUint32(P, o1)
   524  	arch.ByteOrder.PutUint32(P[4:], o2)
   525  	arch.ByteOrder.PutUint32(P[8:], o3)
   526  	arch.ByteOrder.PutUint32(P[12:], o4)
   527  	arch.ByteOrder.PutUint32(P[16:], o5)
   528  	if offset != 0 {
   529  		arch.ByteOrder.PutUint32(P[20:], o6)
   530  	}
   531  	tramp.SetData(P)
   532  
   533  	r, _ := tramp.AddRel(objabi.R_GOTPCREL)
   534  	r.SetOff(16)
   535  	r.SetSiz(4)
   536  	r.SetSym(target)
   537  	r.SetAdd(8)
   538  	if offset != 0 {
   539  		// increase reloc offset by 4 as we inserted an ADD instruction
   540  		r.SetOff(20)
   541  		r.SetAdd(12)
   542  	}
   543  }
   544  
   545  func archreloc(target *ld.Target, ldr *loader.Loader, syms *ld.ArchSyms, r loader.Reloc, s loader.Sym, val int64) (o int64, nExtReloc int, ok bool) {
   546  	rs := r.Sym()
   547  	rs = ldr.ResolveABIAlias(rs)
   548  	if target.IsExternal() {
   549  		switch r.Type() {
   550  		case objabi.R_CALLARM:
   551  			// set up addend for eventual relocation via outer symbol.
   552  			_, off := ld.FoldSubSymbolOffset(ldr, rs)
   553  			xadd := int64(signext24(r.Add()&0xffffff))*4 + off
   554  			if xadd/4 > 0x7fffff || xadd/4 < -0x800000 {
   555  				ldr.Errorf(s, "direct call too far %d", xadd/4)
   556  			}
   557  			return int64(braddoff(int32(0xff000000&uint32(r.Add())), int32(0xffffff&uint32(xadd/4)))), 1, true
   558  		}
   559  		return -1, 0, false
   560  	}
   561  
   562  	const isOk = true
   563  	const noExtReloc = 0
   564  	switch r.Type() {
   565  	// The following three arch specific relocations are only for generation of
   566  	// Linux/ARM ELF's PLT entry (3 assembler instruction)
   567  	case objabi.R_PLT0: // add ip, pc, #0xXX00000
   568  		if ldr.SymValue(syms.GOTPLT) < ldr.SymValue(syms.PLT) {
   569  			ldr.Errorf(s, ".got.plt should be placed after .plt section.")
   570  		}
   571  		return 0xe28fc600 + (0xff & (int64(uint32(ldr.SymValue(rs)-(ldr.SymValue(syms.PLT)+int64(r.Off()))+r.Add())) >> 20)), noExtReloc, isOk
   572  	case objabi.R_PLT1: // add ip, ip, #0xYY000
   573  		return 0xe28cca00 + (0xff & (int64(uint32(ldr.SymValue(rs)-(ldr.SymValue(syms.PLT)+int64(r.Off()))+r.Add()+4)) >> 12)), noExtReloc, isOk
   574  	case objabi.R_PLT2: // ldr pc, [ip, #0xZZZ]!
   575  		return 0xe5bcf000 + (0xfff & int64(uint32(ldr.SymValue(rs)-(ldr.SymValue(syms.PLT)+int64(r.Off()))+r.Add()+8))), noExtReloc, isOk
   576  	case objabi.R_CALLARM: // bl XXXXXX or b YYYYYY
   577  		// r.Add is the instruction
   578  		// low 24-bit encodes the target address
   579  		t := (ldr.SymValue(rs) + int64(signext24(r.Add()&0xffffff)*4) - (ldr.SymValue(s) + int64(r.Off()))) / 4
   580  		if t > 0x7fffff || t < -0x800000 {
   581  			ldr.Errorf(s, "direct call too far: %s %x", ldr.SymName(rs), t)
   582  		}
   583  		return int64(braddoff(int32(0xff000000&uint32(r.Add())), int32(0xffffff&t))), noExtReloc, isOk
   584  	}
   585  
   586  	return val, 0, false
   587  }
   588  
   589  func archrelocvariant(*ld.Target, *loader.Loader, loader.Reloc, sym.RelocVariant, loader.Sym, int64, []byte) int64 {
   590  	log.Fatalf("unexpected relocation variant")
   591  	return -1
   592  }
   593  
   594  func extreloc(target *ld.Target, ldr *loader.Loader, r loader.Reloc, s loader.Sym) (loader.ExtReloc, bool) {
   595  	rs := ldr.ResolveABIAlias(r.Sym())
   596  	var rr loader.ExtReloc
   597  	switch r.Type() {
   598  	case objabi.R_CALLARM:
   599  		// set up addend for eventual relocation via outer symbol.
   600  		rs, off := ld.FoldSubSymbolOffset(ldr, rs)
   601  		rr.Xadd = int64(signext24(r.Add()&0xffffff))*4 + off
   602  		rst := ldr.SymType(rs)
   603  		if rst != sym.SHOSTOBJ && rst != sym.SDYNIMPORT && rst != sym.SUNDEFEXT && ldr.SymSect(rs) == nil {
   604  			ldr.Errorf(s, "missing section for %s", ldr.SymName(rs))
   605  		}
   606  		rr.Xsym = rs
   607  		rr.Type = r.Type()
   608  		rr.Size = r.Siz()
   609  		return rr, true
   610  	}
   611  	return rr, false
   612  }
   613  
   614  func addpltreloc(ldr *loader.Loader, plt *loader.SymbolBuilder, got *loader.SymbolBuilder, s loader.Sym, typ objabi.RelocType) {
   615  	r, _ := plt.AddRel(typ)
   616  	r.SetSym(got.Sym())
   617  	r.SetOff(int32(plt.Size()))
   618  	r.SetSiz(4)
   619  	r.SetAdd(int64(ldr.SymGot(s)) - 8)
   620  
   621  	plt.SetReachable(true)
   622  	plt.SetSize(plt.Size() + 4)
   623  	plt.Grow(plt.Size())
   624  }
   625  
   626  func addpltsym(target *ld.Target, ldr *loader.Loader, syms *ld.ArchSyms, s loader.Sym) {
   627  	if ldr.SymPlt(s) >= 0 {
   628  		return
   629  	}
   630  
   631  	ld.Adddynsym(ldr, target, syms, s)
   632  
   633  	if target.IsElf() {
   634  		plt := ldr.MakeSymbolUpdater(syms.PLT)
   635  		got := ldr.MakeSymbolUpdater(syms.GOTPLT)
   636  		rel := ldr.MakeSymbolUpdater(syms.RelPLT)
   637  		if plt.Size() == 0 {
   638  			panic("plt is not set up")
   639  		}
   640  
   641  		// .got entry
   642  		ldr.SetGot(s, int32(got.Size()))
   643  
   644  		// In theory, all GOT should point to the first PLT entry,
   645  		// Linux/ARM's dynamic linker will do that for us, but FreeBSD/ARM's
   646  		// dynamic linker won't, so we'd better do it ourselves.
   647  		got.AddAddrPlus(target.Arch, plt.Sym(), 0)
   648  
   649  		// .plt entry, this depends on the .got entry
   650  		ldr.SetPlt(s, int32(plt.Size()))
   651  
   652  		addpltreloc(ldr, plt, got, s, objabi.R_PLT0) // add lr, pc, #0xXX00000
   653  		addpltreloc(ldr, plt, got, s, objabi.R_PLT1) // add lr, lr, #0xYY000
   654  		addpltreloc(ldr, plt, got, s, objabi.R_PLT2) // ldr pc, [lr, #0xZZZ]!
   655  
   656  		// rel
   657  		rel.AddAddrPlus(target.Arch, got.Sym(), int64(ldr.SymGot(s)))
   658  
   659  		rel.AddUint32(target.Arch, elf.R_INFO32(uint32(ldr.SymDynid(s)), uint32(elf.R_ARM_JUMP_SLOT)))
   660  	} else {
   661  		ldr.Errorf(s, "addpltsym: unsupported binary format")
   662  	}
   663  }
   664  
   665  func addgotsyminternal(target *ld.Target, ldr *loader.Loader, syms *ld.ArchSyms, s loader.Sym) {
   666  	if ldr.SymGot(s) >= 0 {
   667  		return
   668  	}
   669  
   670  	got := ldr.MakeSymbolUpdater(syms.GOT)
   671  	ldr.SetGot(s, int32(got.Size()))
   672  	got.AddAddrPlus(target.Arch, s, 0)
   673  
   674  	if target.IsElf() {
   675  	} else {
   676  		ldr.Errorf(s, "addgotsyminternal: unsupported binary format")
   677  	}
   678  }
   679  

View as plain text