Comments
Description
Transcript
6/1
MIPSの主記憶の構成 z 主記憶の各ワード(語)は,番地(アドレス)によって識別され る。(番地はbyte単位で付けられる) 語(ワード)の番地 プロセッサからは 4の倍数の番地 で各ワードを指定 する byte単位での番地 0番地 0番地 1番地 2番地 3番地 4番地 4番地 5番地 6番地 7番地 8番地 8番地 9番地 10番地 11番地 ………… 4n番地 4n 4n+1 4n+2 4n+3 ………… 1073741820番地 (230-4) 230-4 230-3 230-2 230-1 最初のワードの番地は0番地,次は4番地,次は8番地... ,となる MIPSのレジスタ z 32個のレジスタ – 機械語では0から31までの番号で識別される – アセンブラ言語では名前(レジスタ名)で識別できる z 使用目的により32個のレジスタを分類(規約) – レジスタ $s0,$s1,$s2,……,$s7 • C言語などの高級言語でプログラム中の変数の値を保持する目的 – レジスタ $t0,$t1,$t2,……,$t7 • 演算の途中での一時的なデータを保持する目的 – レジスタ $zero • 特別なレジスタで,常に 0 を値としてもつ (どのような値を書き込んでも,値は0のまま = データは保存できない) 1 MIPSのレジスタ番号とレジスタ名 レジスタ番号 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 レジスタ名 $zero $at $v0 $v1 $a0 $a1 $a2 $a3 $t0 $t1 $t2 $t3 $t4 $t5 $t6 $t7 レジスタ番号 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 レジスタ名 $s0 $s1 $s2 $s3 $s4 $s5 $s6 $s7 $t8 $t9 $k0 $k1 $gp $sp $fp $ra ※ アセンブリ言語では,レジスタ名で表記する 例 変数 a と b の値を交換するプログラム アセンブリ言語のプログラム C言語のプログラム w=a; a=b; b=w; $gp a 1 2 lw $t0, 0($gp) sw $t0,8($gp) w = a; 3 4 lw $t0, 4($gp) sw $t0, 0($gp) a = b; 5 6 lw $t0, 8($gp) sw $t0, 4($gp) b = w; これは説明用の行番号 b w ある変数の値を別の変数に代入するには, ロード命令とストア命令を使い,レジスタを 経由しなければならない 2 代入文の意味 「代入文」 変数 = 式 ; 「式」: 単独の定数や変数,配列要素,及び それらを演算記号で結合したもの。 記号「=」は,右辺の式の「値」を左辺の変数に「格納」するという作用をもつ。 a=5 ; a 5 b=8; b 8 h=4; h 4 s=(a+b)* h / 2; s 26 右辺の式の値を求めてから,変数に格納する。 整数演算命令 z 加算命令(add instruction) add $Ri, $Rj, $Rk 動作 : $Ri ← $Rj + $Rk レジスタ$Rjと$Rkの値の和をRiに格納する z 減算命令(subtract instruction) sub $Ri, $Rj, $Rk 動作 : $Ri ← $Rj - $Rk レジスタ$Rjと$Rkの値の差をRiに格納する 3 整数演算の例 z $s0 ← $s1 + $s2 + $s3 add $s0, $s1, $s2 add $s0, $s0, $s3 # $s0 ← $s1 + $s2 # $s0 ← $s0 + $s3 # 以降の文字列は コメント z $s2 ← $s0 + 2×$s1 add $s2, $s0, $s1 add $s2, $s2, $s1 # $s2 ← $s0 + $s1 # $s2 ← $s2 + $s1 = $s0 + 2×$s1 ($s1の2倍の計算は $s1+$s1 で求まる) 用語 z オペコード(operation code の略) : 命令コード z オペランド(operand) : 演算対象(のデータ) − ソース(source:元): 被演算対象となるデータ − デスティネーション (destination:目的): 演算結果のデータ add $s0, $s1, $s2 # $s0←$s1+$s2 第2 ソースオペランド 第1ソースオペランド デスティネーションオペランド オペコード 4 ソース デスティネーション 代入文 x = 2 * a + 4 * b - c のプログラム (x, a, b, c は変数) 1 2 3 4 5 6 7 8 9 lw $s0, 0($gp) add $s0, $s0, $s0 lw $s1, 4($gp) add $t0, $s1, $s1 add $t0, $t0, $t0 add $t0, $s0, $t0 lw $s2, 8($gp) sub $s3, $t0, $s2 sw $s3, 12($gp) # $s0 ← a # $s0 ← a+a $gp # $s1 ← b # $t0 ← 2*b # $t0 ← 4*b # $t0 ← 2*a+4*b # $s2 ← c # $s3 ← 2*a+4*b-c # x ← $s3 a b c x 加算命令の命令形式 add $s1,$s2,$s3 # $s1← $s2+$s3 第2ソースレジスタ(rt) 第1ソースレジスタ(rs) デスティネーションレジスタ(rd) オペコード(op) functフィールド(6ビット) 命令の詳細機能を示す: 加算指定 opフィールド(6ビット) 命令の分類を表す:演算命令 op rs rt rd shamt funct 000000 10010 10011 10001 00000 100000 31 26 25 21 20 16 15 11 10 6 5 0 rsフィールド(5ビット) rtフィールド(5ビット) rdフィールド(5ビット) shamtフィールド(5ビット) ソースレジスタを示す ソースレジスタを示す デスティネーションレジスタ シフト命令でシフト量を示す $s2 (18) $s3 (19) を示す $s1 (17) 加算命令の場合は0 5 減算命令の命令形式 sub $s1,$s2,$s3 # $s1← $s2-$s3 第2ソースレジスタ(rt) 第1ソースレジスタ(rs) デスティネーションレジスタ(rd) functフィールド(6ビット) 命令の詳細機能を示す: 減算指定 opフィールド(6ビット) 命令の分類を表す:演算命令 op rs rt rd shamt funct 000000 10010 10011 10001 00000 100010 31 26 25 21 20 16 15 11 10 6 5 0 rsフィールド(5ビット) rtフィールド(5ビット) rdフィールド(5ビット) shamtフィールド(5ビット) ソースレジスタを示す ソースレジスタを示す デスティネーションレジスタ シフト命令でシフト量を示す $s2 (18) $s3 (19) を示す $s1 (17) 減算命令の場合も0 整数演算命令 z 即値加算命令(add immediate instruction) addi $Ri, $Rj, C 動作 : $Ri ← $Rj + C - レジスタ$Rjと即値(定数)Cの値の和をRiに格納する。 - 即値Cは16bitの2の補数表現のもとで -32768~ 32767の範囲(-215~215-1)を指定できる。 - 定数の減算は C に負の値を使えばよい。 addi $s1, $s2, C (rt) (rs) op # $s1← $s2 + C rs rt imm 001000 10010 10001 31 26 25 21 20 16 15 6 C 0 整数演算命令の使い道 z レジスタのデータセット(16bitデータ,2の補数) addi $Ri, $zero, 128 : $Ri ← 128 z レジスタ間のデータ移動(コピー) add $Ri, $Rj, $zero : $Ri ← $Rj + 0 z 符号反転 : $Ri ← -$Rj sub $Ri, $zero, $Rj z 定数の減算 addi $Ri, $Rj, -50 : $Ri ← $Rj -50 論理演算 z 論理積 0100 0110 1010 0110 1100 1100 1010 0101 & 0000 0000 0000 0000 1111 1111 1111 1111 0000 0000 0000 0000 1100 1100 1010 0101 z 論理和 0100 0110 1010 0110 1100 1100 1010 0101 | 0000 0000 0000 0000 1111 0000 1111 0000 0100 0110 1010 0110 1111 1100 1111 0101 z 排他的論理和 0100 0110 1010 0110 1100 1100 1010 0101 0000 0000 0000 0000 1111 0000 1111 0000 0100 0110 1010 0110 0011 1100 0101 0101 7 論理演算命令 z 論理積命令(and instruction) and $Ri, $Rj, $Rk 動作 : $Ri ← $Rj & $Rk - レジスタ$Rjと$Rkの論理積を$Riに格納する。 z 論理和命令(or instruction) or $Ri, $Rj, $Rk 動作 : $Ri ← $Rj | $Rk - レジスタ$Rjと$Rkの論理和を$Riに格納する。 z 排他的論理和命令(exclusive-or instruction) xor $Ri, $Rj, $Rk 動作 : $Ri ← $Rj $Rk - レジスタ$Rj と$Rkの排他的論理和を$Ri に格納する。 論理演算命令の命令形式 and $s1,$s2,$s3 (rd) (rs) (rt) op # $s1← $s2 & $s3 rs rt rd shamt funct 000000 10010 10011 10001 00000 011000 31 26 25 21 20 16 15 or $s1,$s2,$s3 op 0 6 5 11 10 # $s1← $s2 | $s3 rs rt rd shamt funct 000000 10010 10011 10001 00000 011001 31 26 25 21 20 16 15 xor $s1,$s2,$s3 op 6 5 11 10 0 # $s1← $s2 $s3 rs rt rd shamt funct 000000 10010 10011 10001 00000 011010 31 26 25 21 20 16 15 8 11 10 6 5 0 論理シフト演算 指定されたビット数,左あるいは右に論理シフトする z 左論理シフト(shift left logical) 命令 : sll $Ri, $Rj, k レジスタ$Rjの内容を k ビット左に論理シフトした値を$Riに格納する z 右論理シフト(shift right logical) 命令 : srl $Ri, $Rj, k レジスタ$Rjの内容を k ビット右に論理シフトした値を$Riに格納する 算術シフト演算 指定されたビット数,左あるいは右に算術シフトする z MIPSでは左論理シフト命令はあるが,左算術シフト命令はない (左シフトを行う場合は,左論理シフト命令を使う) z 右算術シフト(shift right arithmetic) はみ出したビットは捨てられ,空いた部分には符号ビットの値が入る 命令 : sra $Ri, $Rj, k レジスタ$Rjの内容を k ビット右に算術シフトした値を$Riに格納する 9 左シフトと数値との関係 整数 100(10) の2進表現 0000 0000 0000 0000 0000 0000 0110 0100 = 100(10) 2 ビット左にシフト 0000 0000 0000 0000 0000 0001 1001 0000 = 400(10) 整数 -100(10) の2進表現 1111 1111 1111 1111 1111 1111 1001 1100 = -100(10) 2ビット左にシフト 1111 1111 1111 1111 1111 1110 0111 0000 = - 400(10) n ビットの左シフト ⇔ 2n 倍 右算術シフトと数値との関係 整数 400(10) の2進表現 0000 0000 0000 0000 0000 0001 1001 0000 = 400(10) 2 ビット右に算術シフト 0000 0000 0000 0000 0000 0000 0110 0100 = 100(10) 整数 -400(10) の2進表現 1111 1111 1111 1111 1111 1110 0111 0000 = - 400(10) 2 ビット右にシフト 1111 1111 1111 1111 1111 1111 1001 1100 = -100(10) n ビットの右算術シフト ⇔ 2-n 倍(2nでの割ったときの商) 10 rd シフト命令の命令形式 rt sll $s1, $s2, 3 op # $s1← $s2 << 3 rs rt rd shamt funct 000000 00000 10010 10001 00011 000000 31 26 25 21 20 16 15 0 6 5 11 10 シフト量はshamt (shift amount) フィールドで指定 ※ rs フィールドは使われないので何でもよい。ここでは 00000 としてある。 srl $s1,$s2, 8 op rs # $s1← $s2 >> 8 rt rd shamt funct 000000 00000 10010 10001 01000 000010 31 26 25 21 20 16 15 # $s1← $s2 >> 4 (算術シフト) sra $s1,$s2, 4 op rs 0 6 5 11 10 rt rd shamt funct 000000 00000 10010 10001 00100 000011 31 26 25 21 20 16 15 6 5 11 10 0 代入文 x = 10 * a のプログラム (シフト命令使用) 1 2 3 4 5 lw $s0, 0($gp) sll $t0, $s0, 2 add $t0, $t0, $s0 sll $s1, $t0, 1 sw $s1, 4($gp) # $s0 ← a # $t0 ← 4*a # $t0 ← 5*a # $s1 ← 10*a # x ← $s1 11 $gp a x 代入文 x = 2 * a + 4 * b - c のプログラム (シフト命令使用) 1 2 3 4 5 6 7 8 lw $s0, 0($gp) sll $s0, $s0, 1 lw $s1, 4($gp) sll $s1, $s1, 2 add $s3, $s0, $s1 lw $s2, 8($gp) sub $s3, $s3, $s2 sw $s3, 12($gp) # $s0 ← a # $s0 ← 2*a $gp # $s1 ← b # $s1 ← 4*b # $s3 ←2*a+4*b # $s2 ← c # $s3 ← a+4*b-c # x ← $s3 12 a b c x