RISC-Vで二つの整数値をswapするコードを書きたい。

RISC-Vで受け取った二つの整数をswapするコードを書いているのですが、予期せぬ振る舞いをしてしまいます。
まず、コードを示します。
main.c

c
1#include <stdio.h>
2
3void swap(int *x, int *y);
4
5int main(void) {
6    int x, y;
7    x = 3;
8    y = 4;
9    swap(&x, &y);
10    printf("%d\n", x);
11    printf("%d\n", y);
12}

func.s

risc
1.globl swap_gt
2
3
4swap:
5    mv a2, a0
6    mv a3, a1
7    ld a0, 0(a3)
8    ld a1, 0(a2)
9    sd a0, 0(a2)
10    sd a1, 0(a3)
11    ret

xとyをswapしたので4, 3の順に表示されて欲しいのですが、0, 3と表示されてしまいます。
いろいろと試行錯誤した結果、

.globl swap_gt


swap_gt:
    mv a2, a0
    mv a3, a1
    ld a0, 0(a3)
    ld a1, 0(a2)
    sd a1, 0(a3)
    sd a0, 0(a2)
    ret

上のように、sd a0, 0(a2)とsd a1, 0(a3)を入れ替えるとうまくいきます。ただ、これだとうまくいくのに、なぜ、最初のコードだとうまくいかないのかがわかりません。
アセンブリ言語自体最近始めたばかりで、初歩的なことがわかっていないのだと思われますが、risc-vの資料が少なく、苦戦しています。
どうか教えてください。

行動規範の内容に同意します

回答1件

ベストアンサー

まだ見てますかね。
intがたぶん32bit幅なのに、ld/sdで64bit幅のメモリを書き換えているのが問題でしょう。
具体的なメモリ上の配置は分かりませんが、例えば

04 00 00 00 03 00 00 00 00 00 00 00
<- x     -> <- y     ->

04 00 00 00 04 00 00 00 03 00 00 00
            ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^

03 00 00 00 00 00 00 00 03 00 00 00
^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^

のように書き換わったのではないかと。
なおこの推測が正しい場合、入れ替えた方のコードでも範囲外を書き換えていることに変わりはないので、

C
1    int w, x, y, z;
2    w = 2;
3    x = 3;
4    y = 4;
5    z = 5;
6    swap(&x, &y);
7    printf("%d\n", w);
8    printf("%d\n", x);
9    printf("%d\n", y);
10    printf("%d\n", z);