| Index: fusl/ldso/dlstart.c
|
| diff --git a/fusl/ldso/dlstart.c b/fusl/ldso/dlstart.c
|
| index 4482d5250b8255265d894ea7b12f2eb7fd12ca56..3681b24b947464f23b094b310b03d3a7b57c3d69 100644
|
| --- a/fusl/ldso/dlstart.c
|
| +++ b/fusl/ldso/dlstart.c
|
| @@ -8,139 +8,154 @@
|
| #include "crt_arch.h"
|
|
|
| #ifndef GETFUNCSYM
|
| -#define GETFUNCSYM(fp, sym, got) do { \
|
| - __attribute__((__visibility__("hidden"))) void sym(); \
|
| - static void (*static_func_ptr)() = sym; \
|
| - __asm__ __volatile__ ( "" : "+m"(static_func_ptr) : : "memory"); \
|
| - *(fp) = static_func_ptr; } while(0)
|
| +#define GETFUNCSYM(fp, sym, got) \
|
| + do { \
|
| + __attribute__((__visibility__("hidden"))) void sym(); \
|
| + static void (*static_func_ptr)() = sym; \
|
| + __asm__ __volatile__("" : "+m"(static_func_ptr) : : "memory"); \
|
| + *(fp) = static_func_ptr; \
|
| + } while (0)
|
| #endif
|
|
|
| -__attribute__((__visibility__("hidden")))
|
| -void _dlstart_c(size_t *sp, size_t *dynv)
|
| -{
|
| - size_t i, aux[AUX_CNT], dyn[DYN_CNT];
|
| - size_t *rel, rel_size, base;
|
| +__attribute__((__visibility__("hidden"))) void _dlstart_c(size_t* sp,
|
| + size_t* dynv) {
|
| + size_t i, aux[AUX_CNT], dyn[DYN_CNT];
|
| + size_t *rel, rel_size, base;
|
|
|
| - int argc = *sp;
|
| - char **argv = (void *)(sp+1);
|
| + int argc = *sp;
|
| + char** argv = (void*)(sp + 1);
|
|
|
| - for (i=argc+1; argv[i]; i++);
|
| - size_t *auxv = (void *)(argv+i+1);
|
| + for (i = argc + 1; argv[i]; i++)
|
| + ;
|
| + size_t* auxv = (void*)(argv + i + 1);
|
|
|
| - for (i=0; i<AUX_CNT; i++) aux[i] = 0;
|
| - for (i=0; auxv[i]; i+=2) if (auxv[i]<AUX_CNT)
|
| - aux[auxv[i]] = auxv[i+1];
|
| + for (i = 0; i < AUX_CNT; i++)
|
| + aux[i] = 0;
|
| + for (i = 0; auxv[i]; i += 2)
|
| + if (auxv[i] < AUX_CNT)
|
| + aux[auxv[i]] = auxv[i + 1];
|
|
|
| #if DL_FDPIC
|
| - struct fdpic_loadseg *segs, fakeseg;
|
| - size_t j;
|
| - if (dynv) {
|
| - /* crt_arch.h entry point asm is responsible for reserving
|
| - * space and moving the extra fdpic arguments to the stack
|
| - * vector where they are easily accessible from C. */
|
| - segs = ((struct fdpic_loadmap *)(sp[-1] ? sp[-1] : sp[-2]))->segs;
|
| - } else {
|
| - /* If dynv is null, the entry point was started from loader
|
| - * that is not fdpic-aware. We can assume normal fixed-
|
| - * displacement ELF loading was performed, but when ldso was
|
| - * run as a command, finding the Ehdr is a heursitic: we
|
| - * have to assume Phdrs start in the first 4k of the file. */
|
| - base = aux[AT_BASE];
|
| - if (!base) base = aux[AT_PHDR] & -4096;
|
| - segs = &fakeseg;
|
| - segs[0].addr = base;
|
| - segs[0].p_vaddr = 0;
|
| - segs[0].p_memsz = -1;
|
| - Ehdr *eh = (void *)base;
|
| - Phdr *ph = (void *)(base + eh->e_phoff);
|
| - size_t phnum = eh->e_phnum;
|
| - size_t phent = eh->e_phentsize;
|
| - while (phnum-- && ph->p_type != PT_DYNAMIC)
|
| - ph = (void *)((size_t)ph + phent);
|
| - dynv = (void *)(base + ph->p_vaddr);
|
| - }
|
| + struct fdpic_loadseg *segs, fakeseg;
|
| + size_t j;
|
| + if (dynv) {
|
| + /* crt_arch.h entry point asm is responsible for reserving
|
| + * space and moving the extra fdpic arguments to the stack
|
| + * vector where they are easily accessible from C. */
|
| + segs = ((struct fdpic_loadmap*)(sp[-1] ? sp[-1] : sp[-2]))->segs;
|
| + } else {
|
| + /* If dynv is null, the entry point was started from loader
|
| + * that is not fdpic-aware. We can assume normal fixed-
|
| + * displacement ELF loading was performed, but when ldso was
|
| + * run as a command, finding the Ehdr is a heursitic: we
|
| + * have to assume Phdrs start in the first 4k of the file. */
|
| + base = aux[AT_BASE];
|
| + if (!base)
|
| + base = aux[AT_PHDR] & -4096;
|
| + segs = &fakeseg;
|
| + segs[0].addr = base;
|
| + segs[0].p_vaddr = 0;
|
| + segs[0].p_memsz = -1;
|
| + Ehdr* eh = (void*)base;
|
| + Phdr* ph = (void*)(base + eh->e_phoff);
|
| + size_t phnum = eh->e_phnum;
|
| + size_t phent = eh->e_phentsize;
|
| + while (phnum-- && ph->p_type != PT_DYNAMIC)
|
| + ph = (void*)((size_t)ph + phent);
|
| + dynv = (void*)(base + ph->p_vaddr);
|
| + }
|
| #endif
|
|
|
| - for (i=0; i<DYN_CNT; i++) dyn[i] = 0;
|
| - for (i=0; dynv[i]; i+=2) if (dynv[i]<DYN_CNT)
|
| - dyn[dynv[i]] = dynv[i+1];
|
| + for (i = 0; i < DYN_CNT; i++)
|
| + dyn[i] = 0;
|
| + for (i = 0; dynv[i]; i += 2)
|
| + if (dynv[i] < DYN_CNT)
|
| + dyn[dynv[i]] = dynv[i + 1];
|
|
|
| #if DL_FDPIC
|
| - for (i=0; i<DYN_CNT; i++) {
|
| - if (i==DT_RELASZ || i==DT_RELSZ) continue;
|
| - if (!dyn[i]) continue;
|
| - for (j=0; dyn[i]-segs[j].p_vaddr >= segs[j].p_memsz; j++);
|
| - dyn[i] += segs[j].addr - segs[j].p_vaddr;
|
| - }
|
| - base = 0;
|
| -
|
| - const Sym *syms = (void *)dyn[DT_SYMTAB];
|
| -
|
| - rel = (void *)dyn[DT_RELA];
|
| - rel_size = dyn[DT_RELASZ];
|
| - for (; rel_size; rel+=3, rel_size-=3*sizeof(size_t)) {
|
| - if (!IS_RELATIVE(rel[1], syms)) continue;
|
| - for (j=0; rel[0]-segs[j].p_vaddr >= segs[j].p_memsz; j++);
|
| - size_t *rel_addr = (void *)
|
| - (rel[0] + segs[j].addr - segs[j].p_vaddr);
|
| - if (R_TYPE(rel[1]) == REL_FUNCDESC_VAL) {
|
| - *rel_addr += segs[rel_addr[1]].addr
|
| - - segs[rel_addr[1]].p_vaddr
|
| - + syms[R_SYM(rel[1])].st_value;
|
| - rel_addr[1] = dyn[DT_PLTGOT];
|
| - } else {
|
| - size_t val = syms[R_SYM(rel[1])].st_value;
|
| - for (j=0; val-segs[j].p_vaddr >= segs[j].p_memsz; j++);
|
| - *rel_addr = rel[2] + segs[j].addr - segs[j].p_vaddr + val;
|
| - }
|
| - }
|
| + for (i = 0; i < DYN_CNT; i++) {
|
| + if (i == DT_RELASZ || i == DT_RELSZ)
|
| + continue;
|
| + if (!dyn[i])
|
| + continue;
|
| + for (j = 0; dyn[i] - segs[j].p_vaddr >= segs[j].p_memsz; j++)
|
| + ;
|
| + dyn[i] += segs[j].addr - segs[j].p_vaddr;
|
| + }
|
| + base = 0;
|
| +
|
| + const Sym* syms = (void*)dyn[DT_SYMTAB];
|
| +
|
| + rel = (void*)dyn[DT_RELA];
|
| + rel_size = dyn[DT_RELASZ];
|
| + for (; rel_size; rel += 3, rel_size -= 3 * sizeof(size_t)) {
|
| + if (!IS_RELATIVE(rel[1], syms))
|
| + continue;
|
| + for (j = 0; rel[0] - segs[j].p_vaddr >= segs[j].p_memsz; j++)
|
| + ;
|
| + size_t* rel_addr = (void*)(rel[0] + segs[j].addr - segs[j].p_vaddr);
|
| + if (R_TYPE(rel[1]) == REL_FUNCDESC_VAL) {
|
| + *rel_addr += segs[rel_addr[1]].addr - segs[rel_addr[1]].p_vaddr +
|
| + syms[R_SYM(rel[1])].st_value;
|
| + rel_addr[1] = dyn[DT_PLTGOT];
|
| + } else {
|
| + size_t val = syms[R_SYM(rel[1])].st_value;
|
| + for (j = 0; val - segs[j].p_vaddr >= segs[j].p_memsz; j++)
|
| + ;
|
| + *rel_addr = rel[2] + segs[j].addr - segs[j].p_vaddr + val;
|
| + }
|
| + }
|
| #else
|
| - /* If the dynamic linker is invoked as a command, its load
|
| - * address is not available in the aux vector. Instead, compute
|
| - * the load address as the difference between &_DYNAMIC and the
|
| - * virtual address in the PT_DYNAMIC program header. */
|
| - base = aux[AT_BASE];
|
| - if (!base) {
|
| - size_t phnum = aux[AT_PHNUM];
|
| - size_t phentsize = aux[AT_PHENT];
|
| - Phdr *ph = (void *)aux[AT_PHDR];
|
| - for (i=phnum; i--; ph = (void *)((char *)ph + phentsize)) {
|
| - if (ph->p_type == PT_DYNAMIC) {
|
| - base = (size_t)dynv - ph->p_vaddr;
|
| - break;
|
| - }
|
| - }
|
| - }
|
| -
|
| - /* MIPS uses an ugly packed form for GOT relocations. Since we
|
| - * can't make function calls yet and the code is tiny anyway,
|
| - * it's simply inlined here. */
|
| - if (NEED_MIPS_GOT_RELOCS) {
|
| - size_t local_cnt = 0;
|
| - size_t *got = (void *)(base + dyn[DT_PLTGOT]);
|
| - for (i=0; dynv[i]; i+=2) if (dynv[i]==DT_MIPS_LOCAL_GOTNO)
|
| - local_cnt = dynv[i+1];
|
| - for (i=0; i<local_cnt; i++) got[i] += base;
|
| - }
|
| -
|
| - rel = (void *)(base+dyn[DT_REL]);
|
| - rel_size = dyn[DT_RELSZ];
|
| - for (; rel_size; rel+=2, rel_size-=2*sizeof(size_t)) {
|
| - if (!IS_RELATIVE(rel[1], 0)) continue;
|
| - size_t *rel_addr = (void *)(base + rel[0]);
|
| - *rel_addr += base;
|
| - }
|
| -
|
| - rel = (void *)(base+dyn[DT_RELA]);
|
| - rel_size = dyn[DT_RELASZ];
|
| - for (; rel_size; rel+=3, rel_size-=3*sizeof(size_t)) {
|
| - if (!IS_RELATIVE(rel[1], 0)) continue;
|
| - size_t *rel_addr = (void *)(base + rel[0]);
|
| - *rel_addr = base + rel[2];
|
| - }
|
| + /* If the dynamic linker is invoked as a command, its load
|
| + * address is not available in the aux vector. Instead, compute
|
| + * the load address as the difference between &_DYNAMIC and the
|
| + * virtual address in the PT_DYNAMIC program header. */
|
| + base = aux[AT_BASE];
|
| + if (!base) {
|
| + size_t phnum = aux[AT_PHNUM];
|
| + size_t phentsize = aux[AT_PHENT];
|
| + Phdr* ph = (void*)aux[AT_PHDR];
|
| + for (i = phnum; i--; ph = (void*)((char*)ph + phentsize)) {
|
| + if (ph->p_type == PT_DYNAMIC) {
|
| + base = (size_t)dynv - ph->p_vaddr;
|
| + break;
|
| + }
|
| + }
|
| + }
|
| +
|
| + /* MIPS uses an ugly packed form for GOT relocations. Since we
|
| + * can't make function calls yet and the code is tiny anyway,
|
| + * it's simply inlined here. */
|
| + if (NEED_MIPS_GOT_RELOCS) {
|
| + size_t local_cnt = 0;
|
| + size_t* got = (void*)(base + dyn[DT_PLTGOT]);
|
| + for (i = 0; dynv[i]; i += 2)
|
| + if (dynv[i] == DT_MIPS_LOCAL_GOTNO)
|
| + local_cnt = dynv[i + 1];
|
| + for (i = 0; i < local_cnt; i++)
|
| + got[i] += base;
|
| + }
|
| +
|
| + rel = (void*)(base + dyn[DT_REL]);
|
| + rel_size = dyn[DT_RELSZ];
|
| + for (; rel_size; rel += 2, rel_size -= 2 * sizeof(size_t)) {
|
| + if (!IS_RELATIVE(rel[1], 0))
|
| + continue;
|
| + size_t* rel_addr = (void*)(base + rel[0]);
|
| + *rel_addr += base;
|
| + }
|
| +
|
| + rel = (void*)(base + dyn[DT_RELA]);
|
| + rel_size = dyn[DT_RELASZ];
|
| + for (; rel_size; rel += 3, rel_size -= 3 * sizeof(size_t)) {
|
| + if (!IS_RELATIVE(rel[1], 0))
|
| + continue;
|
| + size_t* rel_addr = (void*)(base + rel[0]);
|
| + *rel_addr = base + rel[2];
|
| + }
|
| #endif
|
|
|
| - stage2_func dls2;
|
| - GETFUNCSYM(&dls2, __dls2, base+dyn[DT_PLTGOT]);
|
| - dls2((void *)base, sp);
|
| + stage2_func dls2;
|
| + GETFUNCSYM(&dls2, __dls2, base + dyn[DT_PLTGOT]);
|
| + dls2((void*)base, sp);
|
| }
|
|
|