MIPSのアセンブリ言語をC言語に書き直したい

Question

前提・実現したいこと

MIPSのアセンブリ言語について質問です．
下のプログラムをC言語で書き直すと，どのような感じで書くことができるでしょうか？
また，これは何をしているソースコードでしょうか？

該当のソースコード

main:
addi $s2, $zero, 0
addi $s3, $zero, 0
addi $s4, $zero, 0
addi $s5, $zero, 0

L1:
slt $t0, $s5, $s1
beq $t0, $zero, L4
lw $s7, 0($s6)
addu $s2, $s2, $s7
slt $t0,$zero,$s7
beq $t0,$zero,L2
addu $s3, $s3, $s7
j L3

L2:
slt $t0, $s7, $zero
beq $t0, $zero, L3
addu $s4, $s4, $s7

L3:
addi $s5, $s5, 1
addi $s6, $s6, 4
j L1

L4:

（$s1にはある自然数が， $s6にはある配列の先頭アドレスが割り当て済み）

Answer 1

MIPS のコードはうろ覚えです。

#include <stdio.h>

const int zero = 0;
int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
int s1 = 10, s2, s3, s4, s5, *s6 = array, s7, t0;

int main(void)
{
    s2 = zero + 0;                // addi $s2, $zero, 0
    s3 = zero + 0;                // addi $s3, $zero, 0
    s4 = zero + 0;                // addi $s4, $zero, 0
    s5 = zero + 0;                // addi $s5, $zero, 0
L1:
    t0 = s5 < s1;                 // slt $t0, $s5, $s1
    if (t0 == zero) goto L4;      // beq $t0, $zero, L4
    s7 = s6[0];                   // lw $s7 = 0($s6)
    s2 = s2 + s7;                 // addu $s2, $s2, $s7
    t0 = zero < s7;               // slt $t0, $zero, $s7
    if (t0 == zero) goto L2;      // beq $t0, $zero, L2
    s3 = s3 + s7;                 // addu $s3, $s3, $s7
    goto L3;                      // j L3
L2:
    t0 = s7 < zero;               // slt $t0, $s7, $zero
    if (t0 == zero) goto L3;      // beq $t0, $zero, L3
    s4 = s4 + s7;                 // addu $s4, $s4, $s7
L3:
    s5 = s5 + 1;                  // addi $s5, $s5, 1
    s6 = (int *)((char *)s6 + 4); // addi $s6, $s6, 4
    goto L1;                      // j L1
L4:
    for (int i = 0; i < 10; i++)
        printf("array[%d] = %d\n", i, array[i]);
    printf("s1 = %d\n", s1);
    printf("s2 = %d\n", s2);
    printf("s3 = %d\n", s3);
    printf("s4 = %d\n", s4);
    printf("s5 = %d\n", s5);
    printf("s6 = %p\n", s6);
    printf("s7 = %d\n", s7);
    printf("t0 = %d\n", t0);
}

何をしているかは実行結果から考えてみてください。

追記
配列の中に負の値を入れておくべきでした。
5 と 6 を -5 と -6 に変えて試してください。

追記2
「C言語で書き直す」というのは、アセンブリ言語と一対一という意味ではなく、
次のように書き直すということかもしれません。

int array[] = { 1, 2, 3, 4, -5, -6, 7, 8, 9, 10 };
int s1 = 10, s2, s3, s4, s5, *s6 = array, s7;

int main(void)
{
	s2 = s3 = s4 = 0;
	for (s5 = 0; s5 < s1; s5++) {
		s7 = s6[0];
		s2 += s7;
		if (0 < s7) s3 += s7;
		if (s7 < 0) s4 += s7;
		s6++;
	}
}

何をしているか分かりますよね。
コメントをお願いします。

Answer 2

MIPS のコードはうろ覚えです。

#include <stdio.h>

const int zero = 0;
int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
int s1 = 10, s2, s3, s4, s5, *s6 = array, s7, t0;

int main(void)
{
    s2 = zero + 0;                // addi $s2, $zero, 0
    s3 = zero + 0;                // addi $s3, $zero, 0
    s4 = zero + 0;                // addi $s4, $zero, 0
    s5 = zero + 0;                // addi $s5, $zero, 0
L1:
    t0 = s5 < s1;                 // slt $t0, $s5, $s1
    if (t0 == zero) goto L4;      // beq $t0, $zero, L4
    s7 = s6[0];                   // lw $s8 = 0($s6)
    s2 = s2 + s7;                 // addu $s2, $s2, $s7
    t0 = zero < s7;               // slt $t0, $zero, $s7
    if (t0 == zero) goto L2;      // beq $t0, $zero, L2
    s3 = s3 + s7;                 // addu $s3, $s3, $s7
    goto L3;                      // j L3
L2:
    t0 = s7 < zero;               // slt $t0, $s7, $zero
    if (t0 == zero) goto L3;      //  beq $t0, $zero, L3
    s4 = s4 + s7;                 // addu $s4, $s4, $s7
L3:
    s5 = s5 + 1;                  // addi $s5, $s5, 1
    s6 = (int *)((char *)s6 + 4); // addi $s6, $s6, 4
    goto L1;
L4:
    for (int i = 0; i < 10; i++)
        printf("array[%d] = %d\n", i, array[i]);
    printf("s1 = %d\n", s1);
    printf("s2 = %d\n", s2);
    printf("s3 = %d\n", s3);
    printf("s4 = %d\n", s4);
    printf("s5 = %d\n", s5);
    printf("s6 = %p\n", s6);
    printf("s7 = %d\n", s7);
    printf("t0 = %d\n", t0);
}

何をしているかは、実行結果から考えてみてください。

Comments

[kazuma-s]

投稿に失敗したようです。

Answer 3

なにをしてるコードかわからないものを書き直しても無駄なだけです。
まずは、あなたがなにをしたいのかはっきりさせましょう。

Comments

[waijepompom]

アドバイスありがとうございます．
承知いたしました．
これは，学校の課題です．
自分は学校の課題を解きたいだけです．

[y_waiwai]

ガッコの課題なら、なおさら自分でやらないと意味ありません。
わからないならセンセに聞きましょう