コンピュータの構成と設計第５版のMIPSの問題がわからない

Question

2.26.1の問題で以下のようなコードが与えられました。

LOOP: slt  $t2, $0, $t1
      beq  $t2, $0, DONE
      subi $t1, $t1, 1
      addi $s2, $s2, 2
      j    LOOP
DONE:

問題文は以下の通りです。

レジスタ $t1 の値が 10 に初期化されているとする。$t2の初期値がゼロであったならば、レジスタ $t2 の値はどうなるか。

自分の考え

プログラムが終わるときは $t2 はゼロのときなので答えもゼロだと思いました。

調べたもの

答えが載っていなかったので調べたところ答えが違っていました。

調べたサイト

みなさまのご意見をお聞きしたいです。

Answer 1

MIPS のアセンブリ言語の命令

slt $Ri, $Rj, $Rk

$Rj < $Rk ならばレジスタ $Ri に 1 を代入、そうでなければ 0 を代入。

ということですんで、
$t2には１が入り、あとは無限ループとなってしまって終了しませんね

＃$s2ってナニモノ？

---

追記

ああ、そうか。
sltの方にループするんですね。これは私の勘違いでした
$t1が０になれば、$t2が０になってループを抜けるってことですね
$t1,$t2双方とも０になって終了しますね

Comments

[iyonegaki]

subi $t1, $t1, 1
この行で $t1 が毎ループごとに -1 されるので初期値が 10 なら 10回ループするのでは？と思ったのですが、違いますでしょうか？

$s2 はよくわかりません。なにも記述がなく、いきなりでてきました。

[y_waiwai]

$t1がいくら減算されても、

beq $t2, $0, DONE

おそれくこれは$t2が０ならDONEにジャンプするって命令なので関係なかったり。
なんかかんちがいですかね

[iyonegaki]

subi $t1, $t1, 1　により $t1 が減算されていく
slt $t2, $0, $t1　$0 < $t1 がそのうち成り立たなくなり $t2 に 0 が入る
beq $t2, $0, DONE　$t2 == $0 がそのうち成り立つようになるのでループを抜ける

こんな風に考えているのですがこれは勘違いでしょうか？
理解力乏しくてすいません、

[y_waiwai]

ああ、そうか。
sltの方にループするんですね。これは私の勘違いでした
$t1が０になれば、$t2が０になってループを抜けるってことですね
$t1,$t2双方とも０になって終了しますね

[iyonegaki]

$t1, $t2両方0でおわりますよね、
答え同じになって安心しました。
お付き合いいただきありがとうございました。

[y_waiwai]

BAもらってしまったので（？）追記しときました