アセンブリ言語で最大値・最小値を求める。

Question

実現したいこと

-最大値と最小値を求めたい。

前提

アセンブリ言語でxとyの2つのデータ領域の中からxでは最大値、yでは最小値を求めるコードを書いています。
それぞれのデータ領域において、最後の要素は0となっており、領域の途中で0は出てきません。

発生している問題・エラーメッセージ

コアダンプ

・call print_regsで確認してみると、rcxが2のときにr10には-95が代入されてしまっていた。

該当のソースコード

.data
x: .quad 20, -70, -95, -79, -90, 74, -63, -11, 59, 71, -18, 0
y: .quad 73, -88, 99, -16, 73, 4, -26, -62, 35, -95, 76, 64, 0

.text
.globl main
main:
	mov $x, %rax
	mov $y, %rbx
	mov $1, %rcx
	mov $0, %r10
	mov $0, %r11
	jmp .greatest
.greatest:
	cmp (%rax, %rcx, 8), %r10 
	jg .greatest_set
	cmp $0, (%rax, %rcx, 8)
	je .one_set
	jmp .nothing1
.greatest_set:
	mov (%rax, %rcx, 8), %r10
	add $1, %rcx
	jmp .greatest
.nothing1:
	add $1, %rcx
	jmp .greatest

.one_set:
	mov $1, %rcx
	mov (%r10), %rax
	jmp .least


.least:
	cmp (%rbx, %rcx, 8), %r11
	jl .least_set
	cmp $0, (%rbx, %rcx, 8)
	je .Lfin
	jmp .nothing2
.least_set:
	mov (%rbx, %rcx, 8), %r11
	add $1, %rcx	
	jmp .least
.nothing2:
	add $1, %rcx
	jmp .least

.Lfin:
	mov (%r11), %rbx
	call finish

試したこと

最初はrax,rbx自体に最大値を入れていたが、r10,r11に一時的に保存してから最後にrax,rbxにセットするようにした。

補足情報（FW/ツールのバージョンなど）

linux

Answer 1

	cmp (%rax, %rcx, 8), %r10 
	jg .greatest_set

「%r10 が (%rax + %rcx * 8) より大きかったらジャンプ」となってますが、逆ではないでしょうか。

Comments

[yasutin]

オペランドが逆でした！ありがとうございます。ちなみにcmpにおけるオペランドの順序を覚えるコツはありますか？

またone_setラベルの、「mov (%r10), %rax」を「mov %r10, %rax」に変更したらちゃんと実行されたのですが、なぜ「mov (%r10), %rax」ではだめなのでしょうか？メモリ番号は「%r10」で、そのレジスタの中の要素は「(%r10)」で表されるというのはわかるのですが、「(%r10)←r10の中身の値（最大値）を%raxレジスタにセットする。」という感じではないのでしょうか？

[otn]

> ちなみにcmpにおけるオペランドの順序を覚えるコツはありますか？
人に依るのでは？「直感と逆」「直感どおり」のどちらか。
間違えるということは「直感と逆」か。私もそうです。

[int32_t]

この書き方を「AT&T 表記」と言いますが、AT&T 表記では「右側のオペランドが主役」が原則です。比較の主語になったり書き換わったりするのは右側のオペランドですね。

> なぜ「mov (%r10), %rax」ではだめなのでしょうか？

このコードでは %r10 は「最大値のアドレス」ではなく「最大値」だからでしょう。

[yasutin]

わかりました。ご丁寧にありがとうございました！