アセンブリ言語 - sarqはコード内で何をしますか？

Question

アセンブリコードをCコードに変換しようとしていますが、sarqという1つの操作に気付きました。私はqがアドレスのサイズであると思いますが、sarqがそのアドレスに対して何をしているのか分かりません。私はコードが何を信じているかについてコメントしました。

.LC0 .string "ans %d\n" 
main: 
.LFB0:     val = -8(%rbp), result = -12(%rbp) 
     pushq %rbp 
     movq %rsp, %rbp 
     subq $16, %rsp 
     movabsq $53162464113523643, %rax 
     movq %rax, -8(%rbp)  //val(variable) address -8,inputs value in %rax 
     movl $0, -12(%rbp)  //result(variable) address -12, inputs 0 
     jmp  .L2   //starts loop 
.L3: 
     movq -8(%rbp), %rax  //moves value in val into rax 
     andl $1, %eax  //dunno what eax is but adds 1 into it 
     xorl %eax, -12(%rbp)  //compares the value of eax and result to see if they are not equal. so compares 1 to 0 
     sarq -8(%rbp)  //does something to val? 
.L2: 
     cmpq $0, -8(%rbp)  //compares val to 0 
     jg  .L3   //if greater, goes to L3 
     movl -12(%rbp), %eax  //else, moves value from result into eax 
     movl %eax, %esi  //moves eax into esi 
     movl $.LC0, %edi  //Moves w/e $.LC0 is into edi. Based on the top, edi now holds that string? 
     movl $0, %eax  //moves 0 into eax 
     call printf   //print statement 
     leave 
     ret 

Answer 1

sarは算術右シフトです。単一のオペランド形式は、オペランドを1つ右にシフトし、最上位のビットにその番号の符号を埋め込みます。接尾辞qは、オペランドが64ビットオペランド（クワッドワード）であることを示します。したがって、sarq -8(%rbp)は、クワッドワードを、%rbpより8バイト右に1つシフトします。

Answer 2

andl $1, %eax //dunno what eax is but adds 1 into it

Uhmm ... eaxはraxの下32bの部分です。そしてそれはaddではなく、andです。したがって、4進値からは、最下位ビット（b0）のみがeaxに残ります。

これは結果値（最初はゼロ）でxor-edされます。

四捨五入された値は符号付きシフトによって右にシフトされますが、定数は正（0x00BCDEFABCDEFBBB）なので重要ではありません。さもなければ、そのコードは負の定数のために無限ループで終了するでしょう！この場合、ヒューマンプログラマはshrを使用するため、この関数は64bの値に対して機能します。

コード全体が、その長い定数のパリティを計算し（非常に効果的な方法で、最適化されていないコードのように見える）、それを＃ans＃\ nとして出力します。 ）または1（奇数）。

（私はそれをデバッグしませんでした。ちょっと見ただけで、何かを見逃してしまいました。デバッガで試してみてください）。

---

ところで、これらのコメントでうまくいっていれば、少なくとも別の問題を指摘するのは簡単でした。誰も気付かないと、sarqにしか答えられません。