github.com/bir3/gocompiler@v0.3.205/src/cmd/link/internal/amd64/asm.go (about) 1 // Inferno utils/6l/asm.c 2 // https://bitbucket.org/inferno-os/inferno-os/src/master/utils/6l/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 amd64 32 33 import ( 34 "github.com/bir3/gocompiler/src/cmd/internal/objabi" 35 "github.com/bir3/gocompiler/src/cmd/internal/sys" 36 "github.com/bir3/gocompiler/src/cmd/link/internal/ld" 37 "github.com/bir3/gocompiler/src/cmd/link/internal/loader" 38 "github.com/bir3/gocompiler/src/cmd/link/internal/sym" 39 "debug/elf" 40 "log" 41 ) 42 43 func PADDR(x uint32) uint32 { 44 return x &^ 0x80000000 45 } 46 47 func gentext(ctxt *ld.Link, ldr *loader.Loader) { 48 initfunc, addmoduledata := ld.PrepareAddmoduledata(ctxt) 49 if initfunc == nil { 50 return 51 } 52 53 o := func(op ...uint8) { 54 for _, op1 := range op { 55 initfunc.AddUint8(op1) 56 } 57 } 58 59 // 0000000000000000 <local.dso_init>: 60 // 0: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # 7 <local.dso_init+0x7> 61 // 3: R_X86_64_PC32 runtime.firstmoduledata-0x4 62 o(0x48, 0x8d, 0x3d) 63 initfunc.AddPCRelPlus(ctxt.Arch, ctxt.Moduledata, 0) 64 // 7: e8 00 00 00 00 callq c <local.dso_init+0xc> 65 // 8: R_X86_64_PLT32 runtime.addmoduledata-0x4 66 o(0xe8) 67 initfunc.AddSymRef(ctxt.Arch, addmoduledata, 0, objabi.R_CALL, 4) 68 // c: c3 retq 69 o(0xc3) 70 } 71 72 func adddynrel(target *ld.Target, ldr *loader.Loader, syms *ld.ArchSyms, s loader.Sym, r loader.Reloc, rIdx int) bool { 73 targ := r.Sym() 74 var targType sym.SymKind 75 if targ != 0 { 76 targType = ldr.SymType(targ) 77 } 78 79 switch rt := r.Type(); rt { 80 default: 81 if rt >= objabi.ElfRelocOffset { 82 ldr.Errorf(s, "unexpected relocation type %d (%s)", r.Type(), sym.RelocName(target.Arch, r.Type())) 83 return false 84 } 85 86 // Handle relocations found in ELF object files. 87 case objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_PC32): 88 if targType == sym.SDYNIMPORT { 89 ldr.Errorf(s, "unexpected R_X86_64_PC32 relocation for dynamic symbol %s", ldr.SymName(targ)) 90 } 91 if targType == 0 || targType == sym.SXREF { 92 ldr.Errorf(s, "unknown symbol %s in pcrel", ldr.SymName(targ)) 93 } 94 su := ldr.MakeSymbolUpdater(s) 95 su.SetRelocType(rIdx, objabi.R_PCREL) 96 su.SetRelocAdd(rIdx, r.Add()+4) 97 return true 98 99 case objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_PC64): 100 if targType == sym.SDYNIMPORT { 101 ldr.Errorf(s, "unexpected R_X86_64_PC64 relocation for dynamic symbol %s", ldr.SymName(targ)) 102 } 103 if targType == 0 || targType == sym.SXREF { 104 ldr.Errorf(s, "unknown symbol %s in pcrel", ldr.SymName(targ)) 105 } 106 su := ldr.MakeSymbolUpdater(s) 107 su.SetRelocType(rIdx, objabi.R_PCREL) 108 su.SetRelocAdd(rIdx, r.Add()+8) 109 return true 110 111 case objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_PLT32): 112 su := ldr.MakeSymbolUpdater(s) 113 su.SetRelocType(rIdx, objabi.R_PCREL) 114 su.SetRelocAdd(rIdx, r.Add()+4) 115 if targType == sym.SDYNIMPORT { 116 addpltsym(target, ldr, syms, targ) 117 su.SetRelocSym(rIdx, syms.PLT) 118 su.SetRelocAdd(rIdx, r.Add()+int64(ldr.SymPlt(targ))) 119 } 120 121 return true 122 123 case objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_GOTPCREL), 124 objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_GOTPCRELX), 125 objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_REX_GOTPCRELX): 126 su := ldr.MakeSymbolUpdater(s) 127 if targType != sym.SDYNIMPORT { 128 // have symbol 129 sData := ldr.Data(s) 130 if r.Off() >= 2 && sData[r.Off()-2] == 0x8b { 131 su.MakeWritable() 132 // turn MOVQ of GOT entry into LEAQ of symbol itself 133 writeableData := su.Data() 134 writeableData[r.Off()-2] = 0x8d 135 su.SetRelocType(rIdx, objabi.R_PCREL) 136 su.SetRelocAdd(rIdx, r.Add()+4) 137 return true 138 } 139 } 140 141 // fall back to using GOT and hope for the best (CMOV*) 142 // TODO: just needs relocation, no need to put in .dynsym 143 ld.AddGotSym(target, ldr, syms, targ, uint32(elf.R_X86_64_GLOB_DAT)) 144 145 su.SetRelocType(rIdx, objabi.R_PCREL) 146 su.SetRelocSym(rIdx, syms.GOT) 147 su.SetRelocAdd(rIdx, r.Add()+4+int64(ldr.SymGot(targ))) 148 return true 149 150 case objabi.ElfRelocOffset + objabi.RelocType(elf.R_X86_64_64): 151 if targType == sym.SDYNIMPORT { 152 ldr.Errorf(s, "unexpected R_X86_64_64 relocation for dynamic symbol %s", ldr.SymName(targ)) 153 } 154 su := ldr.MakeSymbolUpdater(s) 155 su.SetRelocType(rIdx, objabi.R_ADDR) 156 if target.IsPIE() && target.IsInternal() { 157 // For internal linking PIE, this R_ADDR relocation cannot 158 // be resolved statically. We need to generate a dynamic 159 // relocation. Let the code below handle it. 160 break 161 } 162 return true 163 164 // Handle relocations found in Mach-O object files. 165 case objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_UNSIGNED*2 + 0, 166 objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_SIGNED*2 + 0, 167 objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_BRANCH*2 + 0: 168 su := ldr.MakeSymbolUpdater(s) 169 su.SetRelocType(rIdx, objabi.R_ADDR) 170 171 if targType == sym.SDYNIMPORT { 172 ldr.Errorf(s, "unexpected reloc for dynamic symbol %s", ldr.SymName(targ)) 173 } 174 if target.IsPIE() && target.IsInternal() { 175 // For internal linking PIE, this R_ADDR relocation cannot 176 // be resolved statically. We need to generate a dynamic 177 // relocation. Let the code below handle it. 178 if rt == objabi.MachoRelocOffset+ld.MACHO_X86_64_RELOC_UNSIGNED*2 { 179 break 180 } else { 181 // MACHO_X86_64_RELOC_SIGNED or MACHO_X86_64_RELOC_BRANCH 182 // Can this happen? The object is expected to be PIC. 183 ldr.Errorf(s, "unsupported relocation for PIE: %v", rt) 184 } 185 } 186 return true 187 188 case objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_BRANCH*2 + 1: 189 if targType == sym.SDYNIMPORT { 190 addpltsym(target, ldr, syms, targ) 191 su := ldr.MakeSymbolUpdater(s) 192 su.SetRelocSym(rIdx, syms.PLT) 193 su.SetRelocType(rIdx, objabi.R_PCREL) 194 su.SetRelocAdd(rIdx, int64(ldr.SymPlt(targ))) 195 return true 196 } 197 fallthrough 198 199 case objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_UNSIGNED*2 + 1, 200 objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_SIGNED*2 + 1, 201 objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_SIGNED_1*2 + 1, 202 objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_SIGNED_2*2 + 1, 203 objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_SIGNED_4*2 + 1: 204 su := ldr.MakeSymbolUpdater(s) 205 su.SetRelocType(rIdx, objabi.R_PCREL) 206 207 if targType == sym.SDYNIMPORT { 208 ldr.Errorf(s, "unexpected pc-relative reloc for dynamic symbol %s", ldr.SymName(targ)) 209 } 210 return true 211 212 case objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_GOT_LOAD*2 + 1: 213 if targType != sym.SDYNIMPORT { 214 // have symbol 215 // turn MOVQ of GOT entry into LEAQ of symbol itself 216 sdata := ldr.Data(s) 217 if r.Off() < 2 || sdata[r.Off()-2] != 0x8b { 218 ldr.Errorf(s, "unexpected GOT_LOAD reloc for non-dynamic symbol %s", ldr.SymName(targ)) 219 return false 220 } 221 222 su := ldr.MakeSymbolUpdater(s) 223 su.MakeWritable() 224 sdata = su.Data() 225 sdata[r.Off()-2] = 0x8d 226 su.SetRelocType(rIdx, objabi.R_PCREL) 227 return true 228 } 229 fallthrough 230 231 case objabi.MachoRelocOffset + ld.MACHO_X86_64_RELOC_GOT*2 + 1: 232 if targType != sym.SDYNIMPORT { 233 ldr.Errorf(s, "unexpected GOT reloc for non-dynamic symbol %s", ldr.SymName(targ)) 234 } 235 ld.AddGotSym(target, ldr, syms, targ, 0) 236 su := ldr.MakeSymbolUpdater(s) 237 su.SetRelocType(rIdx, objabi.R_PCREL) 238 su.SetRelocSym(rIdx, syms.GOT) 239 su.SetRelocAdd(rIdx, r.Add()+int64(ldr.SymGot(targ))) 240 return true 241 } 242 243 // Reread the reloc to incorporate any changes in type above. 244 relocs := ldr.Relocs(s) 245 r = relocs.At(rIdx) 246 247 switch r.Type() { 248 case objabi.R_CALL, 249 objabi.R_PCREL: 250 if targType != sym.SDYNIMPORT { 251 // nothing to do, the relocation will be laid out in reloc 252 return true 253 } 254 if target.IsExternal() { 255 // External linker will do this relocation. 256 return true 257 } 258 // Internal linking, for both ELF and Mach-O. 259 // Build a PLT entry and change the relocation target to that entry. 260 addpltsym(target, ldr, syms, targ) 261 su := ldr.MakeSymbolUpdater(s) 262 su.SetRelocSym(rIdx, syms.PLT) 263 su.SetRelocAdd(rIdx, int64(ldr.SymPlt(targ))) 264 return true 265 266 case objabi.R_ADDR: 267 if ldr.SymType(s) == sym.STEXT && target.IsElf() { 268 su := ldr.MakeSymbolUpdater(s) 269 if target.IsSolaris() { 270 addpltsym(target, ldr, syms, targ) 271 su.SetRelocSym(rIdx, syms.PLT) 272 su.SetRelocAdd(rIdx, r.Add()+int64(ldr.SymPlt(targ))) 273 return true 274 } 275 // The code is asking for the address of an external 276 // function. We provide it with the address of the 277 // correspondent GOT symbol. 278 ld.AddGotSym(target, ldr, syms, targ, uint32(elf.R_X86_64_GLOB_DAT)) 279 280 su.SetRelocSym(rIdx, syms.GOT) 281 su.SetRelocAdd(rIdx, r.Add()+int64(ldr.SymGot(targ))) 282 return true 283 } 284 285 // Process dynamic relocations for the data sections. 286 if target.IsPIE() && target.IsInternal() { 287 // When internally linking, generate dynamic relocations 288 // for all typical R_ADDR relocations. The exception 289 // are those R_ADDR that are created as part of generating 290 // the dynamic relocations and must be resolved statically. 291 // 292 // There are three phases relevant to understanding this: 293 // 294 // dodata() // we are here 295 // address() // symbol address assignment 296 // reloc() // resolution of static R_ADDR relocs 297 // 298 // At this point symbol addresses have not been 299 // assigned yet (as the final size of the .rela section 300 // will affect the addresses), and so we cannot write 301 // the Elf64_Rela.r_offset now. Instead we delay it 302 // until after the 'address' phase of the linker is 303 // complete. We do this via Addaddrplus, which creates 304 // a new R_ADDR relocation which will be resolved in 305 // the 'reloc' phase. 306 // 307 // These synthetic static R_ADDR relocs must be skipped 308 // now, or else we will be caught in an infinite loop 309 // of generating synthetic relocs for our synthetic 310 // relocs. 311 // 312 // Furthermore, the rela sections contain dynamic 313 // relocations with R_ADDR relocations on 314 // Elf64_Rela.r_offset. This field should contain the 315 // symbol offset as determined by reloc(), not the 316 // final dynamically linked address as a dynamic 317 // relocation would provide. 318 switch ldr.SymName(s) { 319 case ".dynsym", ".rela", ".rela.plt", ".got.plt", ".dynamic": 320 return false 321 } 322 } else { 323 // Either internally linking a static executable, 324 // in which case we can resolve these relocations 325 // statically in the 'reloc' phase, or externally 326 // linking, in which case the relocation will be 327 // prepared in the 'reloc' phase and passed to the 328 // external linker in the 'asmb' phase. 329 if ldr.SymType(s) != sym.SDATA && ldr.SymType(s) != sym.SRODATA { 330 break 331 } 332 } 333 334 if target.IsElf() { 335 // Generate R_X86_64_RELATIVE relocations for best 336 // efficiency in the dynamic linker. 337 // 338 // As noted above, symbol addresses have not been 339 // assigned yet, so we can't generate the final reloc 340 // entry yet. We ultimately want: 341 // 342 // r_offset = s + r.Off 343 // r_info = R_X86_64_RELATIVE 344 // r_addend = targ + r.Add 345 // 346 // The dynamic linker will set *offset = base address + 347 // addend. 348 // 349 // AddAddrPlus is used for r_offset and r_addend to 350 // generate new R_ADDR relocations that will update 351 // these fields in the 'reloc' phase. 352 rela := ldr.MakeSymbolUpdater(syms.Rela) 353 rela.AddAddrPlus(target.Arch, s, int64(r.Off())) 354 if r.Siz() == 8 { 355 rela.AddUint64(target.Arch, elf.R_INFO(0, uint32(elf.R_X86_64_RELATIVE))) 356 } else { 357 ldr.Errorf(s, "unexpected relocation for dynamic symbol %s", ldr.SymName(targ)) 358 } 359 rela.AddAddrPlus(target.Arch, targ, int64(r.Add())) 360 // Not mark r done here. So we still apply it statically, 361 // so in the file content we'll also have the right offset 362 // to the relocation target. So it can be examined statically 363 // (e.g. go version). 364 return true 365 } 366 367 if target.IsDarwin() { 368 // Mach-O relocations are a royal pain to lay out. 369 // They use a compact stateful bytecode representation. 370 // Here we record what are needed and encode them later. 371 ld.MachoAddRebase(s, int64(r.Off())) 372 // Not mark r done here. So we still apply it statically, 373 // so in the file content we'll also have the right offset 374 // to the relocation target. So it can be examined statically 375 // (e.g. go version). 376 return true 377 } 378 } 379 380 return false 381 } 382 383 func elfreloc1(ctxt *ld.Link, out *ld.OutBuf, ldr *loader.Loader, s loader.Sym, r loader.ExtReloc, ri int, sectoff int64) bool { 384 out.Write64(uint64(sectoff)) 385 386 elfsym := ld.ElfSymForReloc(ctxt, r.Xsym) 387 siz := r.Size 388 switch r.Type { 389 default: 390 return false 391 case objabi.R_ADDR, objabi.R_DWARFSECREF: 392 if siz == 4 { 393 out.Write64(uint64(elf.R_X86_64_32) | uint64(elfsym)<<32) 394 } else if siz == 8 { 395 out.Write64(uint64(elf.R_X86_64_64) | uint64(elfsym)<<32) 396 } else { 397 return false 398 } 399 case objabi.R_TLS_LE: 400 if siz == 4 { 401 out.Write64(uint64(elf.R_X86_64_TPOFF32) | uint64(elfsym)<<32) 402 } else { 403 return false 404 } 405 case objabi.R_TLS_IE: 406 if siz == 4 { 407 out.Write64(uint64(elf.R_X86_64_GOTTPOFF) | uint64(elfsym)<<32) 408 } else { 409 return false 410 } 411 case objabi.R_CALL: 412 if siz == 4 { 413 if ldr.SymType(r.Xsym) == sym.SDYNIMPORT { 414 out.Write64(uint64(elf.R_X86_64_PLT32) | uint64(elfsym)<<32) 415 } else { 416 out.Write64(uint64(elf.R_X86_64_PC32) | uint64(elfsym)<<32) 417 } 418 } else { 419 return false 420 } 421 case objabi.R_PCREL: 422 if siz == 4 { 423 if ldr.SymType(r.Xsym) == sym.SDYNIMPORT && ldr.SymElfType(r.Xsym) == elf.STT_FUNC { 424 out.Write64(uint64(elf.R_X86_64_PLT32) | uint64(elfsym)<<32) 425 } else { 426 out.Write64(uint64(elf.R_X86_64_PC32) | uint64(elfsym)<<32) 427 } 428 } else { 429 return false 430 } 431 case objabi.R_GOTPCREL: 432 if siz == 4 { 433 out.Write64(uint64(elf.R_X86_64_GOTPCREL) | uint64(elfsym)<<32) 434 } else { 435 return false 436 } 437 } 438 439 out.Write64(uint64(r.Xadd)) 440 return true 441 } 442 443 func machoreloc1(arch *sys.Arch, out *ld.OutBuf, ldr *loader.Loader, s loader.Sym, r loader.ExtReloc, sectoff int64) bool { 444 var v uint32 445 446 rs := r.Xsym 447 rt := r.Type 448 449 if ldr.SymType(rs) == sym.SHOSTOBJ || rt == objabi.R_PCREL || rt == objabi.R_GOTPCREL || rt == objabi.R_CALL { 450 if ldr.SymDynid(rs) < 0 { 451 ldr.Errorf(s, "reloc %d (%s) to non-macho symbol %s type=%d (%s)", rt, sym.RelocName(arch, rt), ldr.SymName(rs), ldr.SymType(rs), ldr.SymType(rs)) 452 return false 453 } 454 455 v = uint32(ldr.SymDynid(rs)) 456 v |= 1 << 27 // external relocation 457 } else { 458 v = uint32(ldr.SymSect(rs).Extnum) 459 if v == 0 { 460 ldr.Errorf(s, "reloc %d (%s) to symbol %s in non-macho section %s type=%d (%s)", rt, sym.RelocName(arch, rt), ldr.SymName(rs), ldr.SymSect(rs).Name, ldr.SymType(rs), ldr.SymType(rs)) 461 return false 462 } 463 } 464 465 switch rt { 466 default: 467 return false 468 469 case objabi.R_ADDR: 470 v |= ld.MACHO_X86_64_RELOC_UNSIGNED << 28 471 472 case objabi.R_CALL: 473 v |= 1 << 24 // pc-relative bit 474 v |= ld.MACHO_X86_64_RELOC_BRANCH << 28 475 476 // NOTE: Only works with 'external' relocation. Forced above. 477 case objabi.R_PCREL: 478 v |= 1 << 24 // pc-relative bit 479 v |= ld.MACHO_X86_64_RELOC_SIGNED << 28 480 case objabi.R_GOTPCREL: 481 v |= 1 << 24 // pc-relative bit 482 v |= ld.MACHO_X86_64_RELOC_GOT_LOAD << 28 483 } 484 485 switch r.Size { 486 default: 487 return false 488 489 case 1: 490 v |= 0 << 25 491 492 case 2: 493 v |= 1 << 25 494 495 case 4: 496 v |= 2 << 25 497 498 case 8: 499 v |= 3 << 25 500 } 501 502 out.Write32(uint32(sectoff)) 503 out.Write32(v) 504 return true 505 } 506 507 func pereloc1(arch *sys.Arch, out *ld.OutBuf, ldr *loader.Loader, s loader.Sym, r loader.ExtReloc, sectoff int64) bool { 508 var v uint32 509 510 rs := r.Xsym 511 rt := r.Type 512 513 if ldr.SymDynid(rs) < 0 { 514 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)) 515 return false 516 } 517 518 out.Write32(uint32(sectoff)) 519 out.Write32(uint32(ldr.SymDynid(rs))) 520 521 switch rt { 522 default: 523 return false 524 525 case objabi.R_DWARFSECREF: 526 v = ld.IMAGE_REL_AMD64_SECREL 527 528 case objabi.R_ADDR: 529 if r.Size == 8 { 530 v = ld.IMAGE_REL_AMD64_ADDR64 531 } else { 532 v = ld.IMAGE_REL_AMD64_ADDR32 533 } 534 535 case objabi.R_CALL, 536 objabi.R_PCREL: 537 v = ld.IMAGE_REL_AMD64_REL32 538 } 539 540 out.Write16(uint16(v)) 541 542 return true 543 } 544 545 func archreloc(*ld.Target, *loader.Loader, *ld.ArchSyms, loader.Reloc, loader.Sym, int64) (int64, int, bool) { 546 return -1, 0, false 547 } 548 549 func archrelocvariant(*ld.Target, *loader.Loader, loader.Reloc, sym.RelocVariant, loader.Sym, int64, []byte) int64 { 550 log.Fatalf("unexpected relocation variant") 551 return -1 552 } 553 554 func elfsetupplt(ctxt *ld.Link, plt, got *loader.SymbolBuilder, dynamic loader.Sym) { 555 if plt.Size() == 0 { 556 // pushq got+8(IP) 557 plt.AddUint8(0xff) 558 559 plt.AddUint8(0x35) 560 plt.AddPCRelPlus(ctxt.Arch, got.Sym(), 8) 561 562 // jmpq got+16(IP) 563 plt.AddUint8(0xff) 564 565 plt.AddUint8(0x25) 566 plt.AddPCRelPlus(ctxt.Arch, got.Sym(), 16) 567 568 // nopl 0(AX) 569 plt.AddUint32(ctxt.Arch, 0x00401f0f) 570 571 // assume got->size == 0 too 572 got.AddAddrPlus(ctxt.Arch, dynamic, 0) 573 574 got.AddUint64(ctxt.Arch, 0) 575 got.AddUint64(ctxt.Arch, 0) 576 } 577 } 578 579 func addpltsym(target *ld.Target, ldr *loader.Loader, syms *ld.ArchSyms, s loader.Sym) { 580 if ldr.SymPlt(s) >= 0 { 581 return 582 } 583 584 ld.Adddynsym(ldr, target, syms, s) 585 586 if target.IsElf() { 587 plt := ldr.MakeSymbolUpdater(syms.PLT) 588 got := ldr.MakeSymbolUpdater(syms.GOTPLT) 589 rela := ldr.MakeSymbolUpdater(syms.RelaPLT) 590 if plt.Size() == 0 { 591 panic("plt is not set up") 592 } 593 594 // jmpq *got+size(IP) 595 plt.AddUint8(0xff) 596 597 plt.AddUint8(0x25) 598 plt.AddPCRelPlus(target.Arch, got.Sym(), got.Size()) 599 600 // add to got: pointer to current pos in plt 601 got.AddAddrPlus(target.Arch, plt.Sym(), plt.Size()) 602 603 // pushq $x 604 plt.AddUint8(0x68) 605 606 plt.AddUint32(target.Arch, uint32((got.Size()-24-8)/8)) 607 608 // jmpq .plt 609 plt.AddUint8(0xe9) 610 611 plt.AddUint32(target.Arch, uint32(-(plt.Size() + 4))) 612 613 // rela 614 rela.AddAddrPlus(target.Arch, got.Sym(), got.Size()-8) 615 616 sDynid := ldr.SymDynid(s) 617 rela.AddUint64(target.Arch, elf.R_INFO(uint32(sDynid), uint32(elf.R_X86_64_JMP_SLOT))) 618 rela.AddUint64(target.Arch, 0) 619 620 ldr.SetPlt(s, int32(plt.Size()-16)) 621 } else if target.IsDarwin() { 622 ld.AddGotSym(target, ldr, syms, s, 0) 623 624 sDynid := ldr.SymDynid(s) 625 lep := ldr.MakeSymbolUpdater(syms.LinkEditPLT) 626 lep.AddUint32(target.Arch, uint32(sDynid)) 627 628 plt := ldr.MakeSymbolUpdater(syms.PLT) 629 ldr.SetPlt(s, int32(plt.Size())) 630 631 // jmpq *got+size(IP) 632 plt.AddUint8(0xff) 633 plt.AddUint8(0x25) 634 plt.AddPCRelPlus(target.Arch, syms.GOT, int64(ldr.SymGot(s))) 635 } else { 636 ldr.Errorf(s, "addpltsym: unsupported binary format") 637 } 638 } 639 640 func tlsIEtoLE(P []byte, off, size int) { 641 // Transform the PC-relative instruction into a constant load. 642 // That is, 643 // 644 // MOVQ X(IP), REG -> MOVQ $Y, REG 645 // 646 // To determine the instruction and register, we study the op codes. 647 // Consult an AMD64 instruction encoding guide to decipher this. 648 if off < 3 { 649 log.Fatal("R_X86_64_GOTTPOFF reloc not preceded by MOVQ or ADDQ instruction") 650 } 651 op := P[off-3 : off] 652 reg := op[2] >> 3 653 654 if op[1] == 0x8b || reg == 4 { 655 // MOVQ 656 if op[0] == 0x4c { 657 op[0] = 0x49 658 } else if size == 4 && op[0] == 0x44 { 659 op[0] = 0x41 660 } 661 if op[1] == 0x8b { 662 op[1] = 0xc7 663 } else { 664 op[1] = 0x81 // special case for SP 665 } 666 op[2] = 0xc0 | reg 667 } else { 668 // An alternate op is ADDQ. This is handled by GNU gold, 669 // but right now is not generated by the Go compiler: 670 // ADDQ X(IP), REG -> ADDQ $Y, REG 671 // Consider adding support for it here. 672 log.Fatalf("expected TLS IE op to be MOVQ, got %v", op) 673 } 674 }