アームアセンブリ内の符号付き整数の比較

Question

グローバル変数をロードし、それが-1に等しいかどうかをチェックしますが、私のコードで-1と等しいと認識されません。それはローカル変数との比較だけを渡します。

//setting global variable 
    .data 
    .global top_m 
    top_m: .word -1 

//loading global variable into x21 
adrp x28, top_m 
add x28, x28, :lo12:top_m 
ldr x21, [x28] 

//checking value of global variable, it does not branch to exit_stackEmpty 
cmp  x21, -1 
b.eq exit_stackEmpty 

//but if I compare with a local variable then it does branch 
mov x23, -1 
cmp  x23, -1 
b.eq exit_stackEmpty 

EDIT：それはX21とX23

x21 0xffffffff  4294967295 //after loading -1 to x21 
x23 0xffffffffffffffff  -1 //after mov x23, -1 

Answer 1

.wordディレクティブからであり、したがって、32ビットであるあなたがロードしているデータのためにこれを示し gdbのでは - 0xffffffffの。そのアドレスから64ビットをロードすると、0x00000000ffffffffが得られますが、実際には64ビット-1ではありません。ちなみに、そのロードもデータセクションの終わりで実行されていますが、これは悪い考えですが、MSB（またはセグメンテーションエラー）にゼロが入ることを意味します。top_mの後にさらにデータがあると、何が起こっているのかがはっきり分かります。

32ビットワードをロードして64ビットに符号拡張する場合は、「32ビットワードをロードして64ビットに符号拡張する」命令：LDRSWを使用します。