Perché questa istruzione movq funziona su linux e non su osx?

Question

Il seguente codice assembly genera un errore durante l'esecuzione di as su OSX 10.9.4, ma funziona correttamente su Linux (Debian 7.6). In particolare, l'istruzione movq non sembra gradire l'argomento dell'etichetta.

$ cat test.S 
.globl _main 
_main: 
    movq $_main, %rax 
    ret 

Ecco l'errore:

$ as -o test.o test.S 
test.S:3:32-bit absolute addressing is not supported for x86-64 
test.S:3:cannot do signed 4 byte relocation 

Modifica $_main in linea di 3 ad un letterale come $10 funziona bene.

Il codice doveva essere modificato in un modo molto minore per farlo funzionare su Linux - semplicemente rimuovendo i caratteri di sottolineatura dalle etichette.

$ cat test.S 
.globl main 
main: 
    movq $main, %rax 
    ret 

E 'abbastanza facile da verificare in modo indipendente che il codice funziona su Linux:

$ as -o test.o test.S 
$ gcc -o test.out test.o 
$ ./test.out 

Si prega di ignorare che il codice in realtà non fare molto di nulla, ho volutamente rifilato giù come il più possibile per dimostrare l'errore.

Ho guardato un bel po 'a usare LEA (caricare l'indirizzo effettivo), ma prima di apportare questa modifica mi piacerebbe capire la differenza - perché funziona su Linux e non su OSX?

Answer 1

Si è corretto sull'istruzione movq che non è in grado di fare riferimento all'indirizzo assoluto. Ciò è in parte dovuto al formato OS X ABI Mach-O che utilizza l'indirizzamento rilocabile per i simboli.

Un programma compilato come eseguibile indipendente dalla posizione (PIE) in genere non può fare riferimento a un indirizzo virtuale assoluto nello stesso modo di movq $_main, %rax. Invece, vengono chiamati Global Offset Tables, che consentono il codice relativo alla posizione (PC-rel) e il codice indipendente dalla posizione (PIC) per estrarre simboli globali nella posizione corrente dell'indirizzo corrente. Tabella

codice PC-rel riferimento è Offset globale:: dimostrato di seguito, GOTPCREL(%rip) crea un'interpretazione del lea rdi, _msg

.globl _main 
_main: 

    movq  _main@GOTPCREL(%rip), %rax 
    sub  $8, %rsp 
    mov  $0, %rax 
    movq  _msg@GOTPCREL(%rip), %rdi 
    call  _printf 
    add  $8, %rsp 
    ret 

.cstring 
_msg: 

    .ascii "Hello, world\n" 

Mac OS X Mach-O Assembler:

$ as -o test.o test.asm 

Versione di GCC di Apple:

$ gcc -o test.out test.o 

uscita:

$ ./test.out 
Hello, world