1 /* Machine-dependent ELF dynamic relocation inline functions. IA-64 version.
2 Copyright (C) 1995-1997, 2000-2002, 2003 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, write to the Free
17 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
21 #define dl_machine_h 1
23 #define ELF_MACHINE_NAME "ia64"
32 /* Translate a processor specific dynamic tag to the index
34 #define DT_IA_64(x) (DT_IA_64_##x - DT_LOPROC + DT_NUM)
37 __ia64_init_bootstrap_fdesc_table (struct link_map
*map
)
39 Elf64_Addr
*boot_table
;
41 /* careful: this will be called before got has been relocated... */
42 asm (";; addl %0 = @gprel (_dl_boot_fptr_table), gp" : "=r"(boot_table
));
44 map
->l_mach
.fptr_table_len
= ELF_MACHINE_BOOT_FPTR_TABLE_LEN
;
45 map
->l_mach
.fptr_table
= boot_table
;
48 #define ELF_MACHINE_BEFORE_RTLD_RELOC(dynamic_info) \
49 __ia64_init_bootstrap_fdesc_table (&bootstrap_map);
51 /* Return nonzero iff ELF header is compatible with the running host. */
53 elf_machine_matches_host (const Elf64_Ehdr
*ehdr
)
55 return ehdr
->e_machine
== EM_IA_64
;
59 /* Return the link-time address of _DYNAMIC. */
60 static inline Elf64_Addr
61 elf_machine_dynamic (void)
67 " .type __dynamic_ltv#, @object\n"
68 " .size __dynamic_ltv#, 8\n"
70 " data8 @ltv(_DYNAMIC#)\n"
72 " addl %0 = @gprel(__dynamic_ltv#), gp ;;"
79 /* Return the run-time load address of the shared object. */
80 static inline Elf64_Addr
81 elf_machine_load_address (void)
92 " addl %1 = @gprel(2b), gp ;;"
93 : "=r" (ip
), "=r" (p
));
95 return ip
- (Elf64_Addr
) *p
;
98 /* Set up the loaded object described by L so its unrelocated PLT
99 entries will jump to the on-demand fixup code in dl-runtime.c. */
102 elf_machine_runtime_setup (struct link_map
*l
, int lazy
, int profile
)
104 extern void _dl_runtime_resolve (void);
105 extern void _dl_runtime_profile (void);
109 register Elf64_Addr gp
__asm__ ("gp");
110 Elf64_Addr
*reserve
, doit
;
113 * Careful with the typecast here or it will try to add l-l_addr
116 reserve
= ((Elf64_Addr
*)
117 (l
->l_info
[DT_IA_64 (PLT_RESERVE
)]->d_un
.d_ptr
+ l
->l_addr
));
118 /* Identify this shared object. */
119 reserve
[0] = (Elf64_Addr
) l
;
121 /* This function will be called to perform the relocation. */
123 doit
= (Elf64_Addr
) ((struct fdesc
*) &_dl_runtime_resolve
)->ip
;
126 if (_dl_name_match_p (GL(dl_profile
), l
))
128 /* This is the object we are looking for. Say that we really
129 want profiling and the timers are started. */
130 GL(dl_profile_map
) = l
;
132 doit
= (Elf64_Addr
) ((struct fdesc
*) &_dl_runtime_profile
)->ip
;
144 This code is used in dl-runtime.c to call the `fixup' function
145 and then redirect to the address it returns. `fixup()' takes two
146 arguments, however profile_fixup() takes three.
148 The ABI specifies that we will never see more than 8 input
149 registers to a function call, thus it is safe to simply allocate
150 those, and simpler than playing stack games.
153 #define TRAMPOLINE_TEMPLATE(tramp_name, fixup_name) \
154 extern void tramp_name (void); \
156 " .global " #tramp_name "#\n" \
157 " .proc " #tramp_name "#\n" \
161 " .save ar.pfs, r40\n" \
162 " alloc loc0 = ar.pfs, 8, 6, 3, 0\n" \
163 " adds r2 = -144, r12\n" \
164 " adds r3 = -128, r12\n" \
168 " adds r12 = -160, r12\n" \
172 " mov out2 = b0 /* needed by fixup_profile */\n" \
176 " mov loc2 = r8 /* preserve struct value register */\n" \
181 " mov loc3 = r9 /* preserve language specific register */\n" \
182 " mov loc4 = r10 /* preserve language specific register */\n" \
183 " mov loc5 = r11 /* preserve language specific register */\n" \
186 " stf.spill [r2] = f8, 32\n" \
187 " stf.spill [r3] = f9, 32\n" \
188 " mov out0 = r16\n" \
192 " stf.spill [r2] = f10, 32\n" \
193 " stf.spill [r3] = f11, 32\n" \
194 " shl out1 = r15, 4\n" \
198 " stf.spill [r2] = f12, 32\n" \
199 " stf.spill [r3] = f13, 32\n" \
200 " shladd out1 = r15, 3, out1\n" \
204 " stf.spill [r2] = f14\n" \
205 " stf.spill [r3] = f15\n" \
206 " br.call.sptk.many b0 = " #fixup_name "#\n" \
209 " ld8 r9 = [ret0], 8\n" \
210 " adds r2 = 16, r12\n" \
211 " adds r3 = 32, r12\n" \
215 " ldf.fill f8 = [r2], 32\n" \
216 " ldf.fill f9 = [r3], 32\n" \
221 " ldf.fill f10 = [r2], 32\n" \
222 " ldf.fill f11 = [r3], 32\n" \
227 " ldf.fill f12 = [r2], 32\n" \
228 " ldf.fill f13 = [r3], 32\n" \
229 " mov ar.pfs = loc0\n" \
233 " ldf.fill f14 = [r2], 32\n" \
234 " ldf.fill f15 = [r3], 32\n" \
235 " .restore sp /* pop the unwind frame state */\n" \
236 " adds r12 = 160, r12\n" \
240 " mov r9 = loc3 /* restore language specific register */\n" \
241 " mov r10 = loc4 /* restore language specific register */\n" \
242 " mov r11 = loc5 /* restore language specific register */\n" \
245 " ld8 gp = [ret0]\n" \
246 " mov r8 = loc2 /* restore struct value register */\n" \
249 " /* An alloc is needed for the break system call to work.\n" \
250 " We don't care about the old value of the pfs register. */\n" \
254 " alloc r2 = ar.pfs, 0, 0, 8, 0\n" \
255 " br.sptk.many b6\n" \
258 " .endp " #tramp_name "#\n");
261 #define ELF_MACHINE_RUNTIME_TRAMPOLINE \
262 TRAMPOLINE_TEMPLATE (_dl_runtime_resolve, fixup); \
263 TRAMPOLINE_TEMPLATE (_dl_runtime_profile, profile_fixup);
265 #define ELF_MACHINE_RUNTIME_TRAMPOLINE \
266 TRAMPOLINE_TEMPLATE (_dl_runtime_resolve, fixup); \
267 strong_alias (_dl_runtime_resolve, _dl_runtime_profile);
271 /* Initial entry point code for the dynamic linker.
272 The C function `_dl_start' is the real entry point;
273 its return value is the user program's entry point. */
275 #define RTLD_START asm ( \
277 " .global _start#\n" \
285 " .save ar.pfs, r32\n" \
286 " alloc loc0 = ar.pfs, 0, 3, 4, 0\n" \
289 " addl r3 = @gprel(0b), r0\n" \
293 " /* Calculate the GP, and save a copy in loc1. */\n" \
294 " sub gp = r2, r3\n" \
295 " movl r8 = 0x9804c0270033f\n" \
299 " mov ar.fpsr = r8\n" \
300 " sub loc1 = r2, r3\n" \
301 " /* _dl_start wants a pointer to the pointer to the arg block and\n" \
302 " the arg block starts with an integer, thus the magic 16. */\n" \
303 " adds out0 = 16, sp\n" \
306 " br.call.sptk.many b0 = _dl_start#\n" \
310 " /* FALLTHRU */\n" \
311 " .global _dl_start_user#\n" \
312 " .proc _dl_start_user#\n" \
313 "_dl_start_user:\n" \
318 " .save ar.pfs, r32\n" \
321 " /* Save the pointer to the user entry point fptr in loc2. */\n" \
322 " mov loc2 = ret0\n" \
323 " /* Store the highest stack address. */\n" \
324 " addl r2 = @ltoff(__libc_stack_end#), gp\n" \
325 " addl r3 = @gprel(_dl_skip_args), gp\n" \
331 " adds r11 = 24, sp /* Load the address of argv. */\n" \
336 " adds r10 = 16, sp /* Load the address of argc. */\n" \
337 " mov out2 = r11\n" \
339 " /* See if we were run as a command with the executable file\n" \
340 " name as an extra leading argument. If so, adjust the argv\n" \
341 " pointer to skip _dl_skip_args words.\n" \
342 " Note that _dl_skip_args is an integer, not a long - Jes\n" \
344 " The stack pointer has to be 16 byte aligned. We cannot simply\n" \
345 " addjust the stack pointer. We have to move the whole argv and\n" \
346 " envp and adjust _dl_argv by _dl_skip_args. H.J. */\n" \
349 " ld8 out1 = [r10] /* is argc actually stored as a long\n" \
350 " or as an int? */\n" \
351 " addl r2 = @ltoff(_dl_argv), gp\n" \
355 " ld8 r2 = [r2] /* Get the address of _dl_argv. */\n" \
356 " sub out1 = out1, r3 /* Get the new argc. */\n" \
357 " shladd r3 = r3, 3, r0\n" \
362 " ld8 r17 = [r2] /* Get _dl_argv. */\n" \
363 " add r15 = r11, r3 /* The address of the argv we move */\n" \
366 " /* ??? Could probably merge these two loops into 3 bundles.\n" \
367 " using predication to control which set of copies we're on. */\n" \
368 "1: /* Copy argv. */\n" \
370 " ld8 r16 = [r15], 8 /* Load the value in the old argv. */\n" \
374 " st8 [r11] = r16, 8 /* Store it in the new argv. */\n" \
375 " cmp.ne p6, p7 = 0, r16\n" \
376 "(p6) br.cond.dptk.few 1b\n" \
380 " mov out3 = r11\n" \
381 " sub r17 = r17, r3 /* Substract _dl_skip_args. */\n" \
382 " addl out0 = @gprel(_rtld_local), gp\n" \
384 "1: /* Copy env. */\n" \
386 " ld8 r16 = [r15], 8 /* Load the value in the old env. */\n" \
390 " st8 [r11] = r16, 8 /* Store it in the new env. */\n" \
391 " cmp.ne p6, p7 = 0, r16\n" \
392 "(p6) br.cond.dptk.few 1b\n" \
396 " st8 [r10] = out1 /* Record the new argc. */\n" \
397 " ld8 out0 = [out0] /* get the linkmap */\n" \
400 " st8 [r2] = r17 /* Load the new _dl_argv. */\n" \
401 " br.call.sptk.many b0 = _dl_init_internal#\n" \
404 " /* Pass our finializer function to the user,\n" \
405 " and jump to the user's entry point. */\n" \
407 " ld8 r3 = [loc2], 8\n" \
411 " addl ret0 = @ltoff(@fptr(_dl_fini#)), gp\n" \
416 " ld8 ret0 = [ret0]\n" \
417 " ld8 gp = [loc2]\n" \
418 " mov ar.pfs = loc0\n" \
422 " br.sptk.many b6\n" \
425 " .endp _dl_start_user#\n" \
429 #ifndef RTLD_START_SPECIAL_INIT
430 #define RTLD_START_SPECIAL_INIT /* nothing */
433 /* ELF_RTYPE_CLASS_PLT iff TYPE describes relocation of a PLT entry or TLS
434 variable, so undefined references should not be allowed to define the
436 ELF_RTYPE_CLASS_NOCOPY iff TYPE should not be allowed to resolve to one
437 of the main executable's symbols, as for a COPY reloc, which we don't
439 /* ??? Ignore *MSB for now. */
440 #if defined USE_TLS && (!defined RTLD_BOOTSTRAP || USE___THREAD)
441 #define elf_machine_type_class(type) \
442 (((type) == R_IA64_IPLTLSB || (type) == R_IA64_DTPMOD64LSB \
443 || (type) == R_IA64_DTPREL64LSB || (type) == R_IA64_TPREL64LSB) \
444 * ELF_RTYPE_CLASS_PLT)
446 #define elf_machine_type_class(type) \
447 (((type) == R_IA64_IPLTLSB) * ELF_RTYPE_CLASS_PLT)
450 /* A reloc type used for ld.so cmdline arg lookups to reject PLT entries. */
451 #define ELF_MACHINE_JMP_SLOT R_IA64_IPLTLSB
453 /* According to the IA-64 specific documentation, Rela is always used. */
454 #define ELF_MACHINE_NO_REL 1
456 /* Return the address of the entry point. */
457 #define ELF_MACHINE_START_ADDRESS(map, start) \
458 DL_STATIC_FUNCTION_ADDRESS (map, start)
460 #define elf_machine_profile_fixup_plt(l, reloc, rel_addr, value) \
461 elf_machine_fixup_plt (l, reloc, rel_addr, value)
463 #define elf_machine_profile_plt(reloc_addr) ((Elf64_Addr) (reloc_addr))
465 /* Fixup a PLT entry to bounce directly to the function at VALUE. */
466 static inline Elf64_Addr
467 elf_machine_fixup_plt (struct link_map
*l
, lookup_t t
,
468 const Elf64_Rela
*reloc
,
469 Elf64_Addr
*reloc_addr
, Elf64_Addr value
)
471 /* l is the link_map for the caller, t is the link_map for the object
473 /* got has already been relocated in elf_get_dynamic_info() */
474 reloc_addr
[1] = t
->l_info
[DT_PLTGOT
]->d_un
.d_ptr
;
475 /* we need a "release" here to ensure that the gp is visible before
476 the code entry point is updated: */
477 ((volatile Elf64_Addr
*) reloc_addr
)[0] = value
;
478 return (Elf64_Addr
) reloc_addr
;
481 /* Return the final value of a plt relocation. */
482 static inline Elf64_Addr
483 elf_machine_plt_value (struct link_map
*map
, const Elf64_Rela
*reloc
,
486 /* No need to handle rel vs rela since IA64 is rela only */
487 return value
+ reloc
->r_addend
;
490 #endif /* !dl_machine_h */
494 #define R_IA64_TYPE(R) ((R) & -8)
495 #define R_IA64_FORMAT(R) ((R) & 7)
497 #define R_IA64_FORMAT_32MSB 4
498 #define R_IA64_FORMAT_32LSB 5
499 #define R_IA64_FORMAT_64MSB 6
500 #define R_IA64_FORMAT_64LSB 7
503 /* Perform the relocation specified by RELOC and SYM (which is fully
504 resolved). MAP is the object containing the reloc. */
506 elf_machine_rela (struct link_map
*map
,
507 const Elf64_Rela
*reloc
,
508 const Elf64_Sym
*sym
,
509 const struct r_found_version
*version
,
510 Elf64_Addr
*const reloc_addr
)
512 const unsigned long int r_type
= ELF64_R_TYPE (reloc
->r_info
);
515 #if !defined RTLD_BOOTSTRAP && !defined HAVE_Z_COMBRELOC && !defined SHARED
516 /* This is defined in rtld.c, but nowhere in the static libc.a; make the
517 reference weak so static programs can still link. This declaration
518 cannot be done when compiling rtld.c (i.e. #ifdef RTLD_BOOTSTRAP)
519 because rtld.c contains the common defn for _dl_rtld_map, which is
520 incompatible with a weak decl in the same file. */
521 weak_extern (_dl_rtld_map
);
524 /* We cannot use a switch here because we cannot locate the switch
525 jump table until we've self-relocated. */
527 #if !defined RTLD_BOOTSTRAP || !defined HAVE_Z_COMBRELOC
528 if (__builtin_expect (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_REL64LSB
),
531 assert (ELF64_R_TYPE (reloc
->r_info
) == R_IA64_REL64LSB
);
533 # if !defined RTLD_BOOTSTRAP && !defined HAVE_Z_COMBRELOC
534 /* Already done in dynamic linker. */
535 if (map
!= &GL(dl_rtld_map
))
537 value
+= map
->l_addr
;
541 if (__builtin_expect (r_type
== R_IA64_NONE
, 0))
545 struct link_map
*sym_map
;
547 /* RESOLVE_MAP() will return NULL if it fail to locate the symbol. */
548 if ((sym_map
= RESOLVE_MAP (&sym
, version
, r_type
)))
550 value
= sym_map
->l_addr
+ sym
->st_value
+ reloc
->r_addend
;
552 if (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_DIR64LSB
))
553 ;/* No adjustment. */
554 else if (r_type
== R_IA64_IPLTLSB
)
556 elf_machine_fixup_plt (NULL
, sym_map
, reloc
, reloc_addr
, value
);
559 else if (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_FPTR64LSB
))
560 value
= _dl_make_fptr (sym_map
, sym
, value
);
561 else if (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_PCREL64LSB
))
562 value
-= (Elf64_Addr
) reloc_addr
& -16;
563 #if defined USE_TLS && (!defined RTLD_BOOTSTRAP || defined USE___THREAD)
564 else if (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_DTPMOD64LSB
))
565 # ifdef RTLD_BOOTSTRAP
566 /* During startup the dynamic linker is always index 1. */
569 /* Get the information from the link map returned by the
571 value
= sym_map
->l_tls_modid
;
572 else if (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_DTPREL64LSB
))
573 value
-= sym_map
->l_addr
;
575 else if (R_IA64_TYPE (r_type
) == R_IA64_TYPE (R_IA64_TPREL64LSB
))
577 # ifndef RTLD_BOOTSTRAP
578 CHECK_STATIC_TLS (map
, sym_map
);
580 value
+= sym_map
->l_tls_offset
- sym_map
->l_addr
;
584 assert (! "unexpected dynamic reloc type");
590 /* ??? Ignore MSB and Instruction format for now. */
591 if (R_IA64_FORMAT (r_type
) == R_IA64_FORMAT_64LSB
)
593 else if (R_IA64_FORMAT (r_type
) == R_IA64_FORMAT_32LSB
)
594 *(int *) reloc_addr
= value
;
595 else if (r_type
== R_IA64_IPLTLSB
)
601 assert (! "unexpected dynamic reloc format");
604 /* Let do-rel.h know that on IA-64 if l_addr is 0, all RELATIVE relocs
606 #define ELF_MACHINE_REL_RELATIVE 1
609 elf_machine_rela_relative (Elf64_Addr l_addr
, const Elf64_Rela
*reloc
,
610 Elf64_Addr
*const reloc_addr
)
612 /* ??? Ignore MSB and Instruction format for now. */
613 assert (ELF64_R_TYPE (reloc
->r_info
) == R_IA64_REL64LSB
);
615 *reloc_addr
+= l_addr
;
618 /* Perform a RELATIVE reloc on the .got entry that transfers to the .plt. */
620 elf_machine_lazy_rel (struct link_map
*map
,
621 Elf64_Addr l_addr
, const Elf64_Rela
*reloc
)
623 Elf64_Addr
*const reloc_addr
= (void *) (l_addr
+ reloc
->r_offset
);
624 const unsigned long int r_type
= ELF64_R_TYPE (reloc
->r_info
);
626 if (r_type
== R_IA64_IPLTLSB
)
628 reloc_addr
[0] += l_addr
;
629 reloc_addr
[1] += l_addr
;
631 else if (r_type
== R_IA64_NONE
)
634 assert (! "unexpected PLT reloc type");
637 #endif /* RESOLVE_MAP */