アセンブリ言語について

Question

このような問題があります。

$zeroは常にゼロとなるレジスタであり，アドレス100からデータメモリに格納されているワード値は，順番に2,4,6,8,10,⋯とする． また，命令Aは命令アドレス0000A000に置かれているとする．

プログラム：                               
  アドレス   命令                          
  0000A000  addi $s5, $zero, 100 (命令A)  
            addi $s1, $zero, 104        
            addi $s2, $zero, 0          
    loop    lw $s3, 0($s5)              
            add $s2, $s2, $s3           
            addi $s5, $s5, 4            
            slt $s4, $s1, $s5           
            beq $s4, $zero, loop        
            sw $s2, 0($s5) (命令B)     

このプログラムの1行目　addi $s5, $zero, 100 (命令A) はどのような動きをしているのでしょうか？$s5は配列の先頭アドレスだと考えていますが、これに100を足しているのですか？

Answer 1

アセンブリ言語と言ってもCPUに応じて色々あります。MIPSのようですので、それを前提に回答します：

このプログラムの1行目　addi $s5, $zero, 100 (命令A) はどのような動きをしているのでしょうか？

addi命令なので、addi $t,$s,Cなら「$t = $s + C」とみて、$zero + 100の結果を$s5レジスタに入れます。

MIPSアーキテクチャ - Wikipedia

$s5は配列の先頭アドレスだと考えていますが、これに100を足しているのですか？

そういうことになります。その後、loopのループからlw $s3, 0($s5)で$s5レジスタを利用して間接アドレッシングでメモリから値をロードしていますね。

Answer 2

また、それぞれのレジスタが変数を表しているのか、配列の先頭アドレスを求めているのかがわかりません。

Comments

[dodox86]

質問への追記は回答欄ではなく、質問を編集して追記しましょう。なお、「レジスタが変数を表しているのか、配列の先頭アドレスを求めているのかがわかりません。」をご自分で理解するのが目的なのではないでしょうか？（全部の説明を求めたら丸投げなのでは）