在位置無關代碼中引用鏈接器定義的符號

Question

我有一個使用-fpie為ARM編譯的代碼模塊，我想在首次執行時清除BSS。 但是，當我在BSS節的開頭和結尾引用鏈接程序腳本符號時，我得到的代碼在局部變量中包含絕對地址。

這是我的程序集入口點：

.section entry_point

code_entry:
    # Save arguments to the stack
    push    {r0-r2}

    # Loop over the BSS section, set it all to 0
    mov     r0, #0
    ldr     r1, =__bss_start
    ldr     r2, =__bss_end
loop_bss:
    str     r0, [r1], #4
    cmp     r1, r2
    blt     loop_bss

    # Pop arguments from the stack
    pop     {r0-r2}

    # Branch to C code (which will return to caller on its own)
    b       startPICode

輸出如下：

Disassembly of section .text:

00180000 <code_entry>:
  180000:   e92d0007    push    {r0, r1, r2}
  180004:   e3a00000    mov r0, #0
  180008:   e59f1014    ldr r1, [pc, #20]   ; 180024 <loop_bss+0x14>
  18000c:   e59f2014    ldr r2, [pc, #20]   ; 180028 <loop_bss+0x18>

00180010 <loop_bss>:
  180010:   e4810004    str r0, [r1], #4
  180014:   e1510002    cmp r1, r2
  180018:   bafffffc    blt 180010 <loop_bss>
  18001c:   e8bd0007    pop {r0, r1, r2}
  180020:   ea00189f    b   1862a4 <startPICode>
  180024:   00194360    andseq  r4, r9, r0, ror #6
  180028:   001950e8    andseq  r5, r9, r8, ror #1

Readelf表示我的ELF文件沒有重定位。

我是否正確地認為鏈接器符號只是將始終是絕對地址的整數？ 如果是這樣，是否有辦法在加載或執行時修正地址？ 還是有其他一些正確的方法來清除此代碼的BSS？

編輯：添加一些readelf -s輸出。 這是相關的.S文件以及與BSS有關的所有信息。

Symbol table '.symtab' contains 812 entries:
   Num:    Value  Size Type    Bind   Vis      Ndx Name
     0: 00000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 00180000     0 SECTION LOCAL  DEFAULT    1 
     2: 0019297c     0 SECTION LOCAL  DEFAULT    2 
     3: 00192994     0 SECTION LOCAL  DEFAULT    3 
     4: 001929b0     0 SECTION LOCAL  DEFAULT    4 
     5: 00193808     0 SECTION LOCAL  DEFAULT    5 
     6: 001942dc     0 SECTION LOCAL  DEFAULT    6 
     7: 00194350     0 SECTION LOCAL  DEFAULT    7 
     8: 00194358     0 SECTION LOCAL  DEFAULT    8 
     9: 0019435c     0 SECTION LOCAL  DEFAULT    9 
    10: 00194360     0 SECTION LOCAL  DEFAULT   10 
    11: 00194360     0 SECTION LOCAL  DEFAULT   11 
    12: 001950e8     0 SECTION LOCAL  DEFAULT   12 
    13: 001970f0     0 SECTION LOCAL  DEFAULT   13 
    14: 00000000     0 SECTION LOCAL  DEFAULT   14 
    15: 00000000     0 SECTION LOCAL  DEFAULT   15 
    16: 00000000     0 SECTION LOCAL  DEFAULT   16 
    17: 00000000     0 SECTION LOCAL  DEFAULT   17 
    18: 00000000     0 SECTION LOCAL  DEFAULT   18 
    19: 00000000     0 SECTION LOCAL  DEFAULT   19 
    20: 00000000     0 SECTION LOCAL  DEFAULT   20 
    21: 00000000     0 SECTION LOCAL  DEFAULT   21 
    22: 00000000     0 SECTION LOCAL  DEFAULT   22 
    23: 00000000     0 SECTION LOCAL  DEFAULT   23 
    24: 00000000     0 FILE    LOCAL  DEFAULT  ABS ./src/entry.o
    25: 00180000     0 NOTYPE  LOCAL  DEFAULT    1 code_entry
    26: 00180000     0 NOTYPE  LOCAL  DEFAULT    1 $a
    27: 00180010     0 NOTYPE  LOCAL  DEFAULT    1 loop_bss
    28: 00180024     0 NOTYPE  LOCAL  DEFAULT    1 $d
    29: 00000124     0 NOTYPE  LOCAL  DEFAULT   17 $d

   484: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __sbss_start

   525: 00193804     0 NOTYPE  GLOBAL DEFAULT    5 __sbss2_end

   555: 001950e8     0 NOTYPE  GLOBAL DEFAULT   11 __bss_end

   565: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __tbss_start

   581: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __sbss_end

   599: 00193804     0 NOTYPE  GLOBAL DEFAULT    5 __sbss2_start

   667: 00194360     0 NOTYPE  GLOBAL DEFAULT   11 __bss_start

   753: 00194360     0 NOTYPE  GLOBAL DEFAULT   10 __tbss_end

Answer 1

您的權利，您所產生的代碼不可重定位。 為了使其可重定位，您將顯式地使__bss_start和__bss_end的地址相對。 例如：

.section entry_point

bss_start_rel:
    .word __bss_start__ - bss_start_rel
bss_end_rel:
    .word __bss_end__ - bss_start_rel

.global code_entry
code_entry:
    # Save arguments to the stack
    push    {r0-r2}

    # Loop over the BSS section, set it all to 0
    mov     r0, #0
    adr     r3, bss_start_rel 
    ldr     r1, bss_start_rel
    ldr     r2, bss_end_rel
    add     r1, r1, r3
    add     r2, r2, r3

    ...

ADR偽指令導致R3使用PC相對算術（例如sub r3, pc, #24 ）被加載bss_start_rel的地址。 這用作計算__bss_start__和__bss_end__位置的__bss_end__ ，它們的相對位置存儲在bss_start_rel和bss_start_end 。