| | 1 | トップ:http://galaxy.u-aizu.ac.jp/note/wiki/CAEX2021 |
| | 2 | |
| | 3 | = 乗算アルゴリズムの実装 = |
| | 4 | 第5版教科書上巻p.177の「3.3 乗算」をよく読んで、乗算をおこなうプログラムを作ってください。 |
| | 5 | 乗数A、被乗数B、積Cは32ビットです。求める乗算結果は64ビットではなく、下位の32ビットだけで十分です。 |
| | 6 | つまり、乗数と被乗数は最大16ビットまでを仮定してください。 |
| | 7 | |
| | 8 | 今後演習で設計するMIPSプロセッサは、シフト命令をサポートしていませんので、以下のような工夫が必要になります。 |
| | 9 | |
| | 10 | == 左シフト == |
| | 11 | 1ビット左シフトは2倍することと同等なので加算命令によって実現できます。 |
| | 12 | |
| | 13 | シフト命令を使う場合: |
| | 14 | {{{ |
| | 15 | sll $8,$9,1 |
| | 16 | }}} |
| | 17 | |
| | 18 | 加算命令の場合: |
| | 19 | {{{ |
| | 20 | add $8,$9,$9 |
| | 21 | }}} |
| | 22 | |
| | 23 | ここで気をつけなければならないのは、加算によるオーバーフローです。 |
| | 24 | 最上位ビットが1である数を2倍すると(正確には同じ数を足し合わせると)、 |
| | 25 | 最上位ビットで桁上がりを生じるため、add 命令ではオーバーフロー例外が発生します。 |
| | 26 | xspimでは、このためプログラムが停止するので、 左シフトするための加算はaddではなく、 |
| | 27 | オーバーフローを無視するadduを使用してください。 |
| | 28 | |
| | 29 | 一方、演習の後半で設計するプロセッサはオーバーフローをチェックしませんので、 |
| | 30 | 回路シミュレーション時はadduをaddに戻す必要があります。 |
| | 31 | 詳しいことは、該当回の際に説明します。なお、今回作成するプログラムはadduを利用したものを保存しておくこと。 |
| | 32 | |
| | 33 | == 右シフト == |
| | 34 | 1ビット右シフトを他の命令で単純に実現することは困難です。 |
| | 35 | そこで今回は乗算アルゴリズムとハードウエアの直列バージョン(教科書上巻p.178 - 179 図3.4)に |
| | 36 | あるアルゴリズムを、左シフトのみを使うように修正して乗算を実現します。 |
| | 37 | |
| | 38 | [[Image(http://galaxy.u-aizu.ac.jp/note/raw-attachment/wiki/Ex02%20%E4%B9%97%E7%AE%97%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0%E3%81%AE%E5%AE%9F%E8%A3%852017/mult_chart.gif)]] |
| | 39 | |
| | 40 | 乗算で使われる右シフトは、ビットを下位から順に調べることだけが目的なので、 |
| | 41 | 左シフトを使って同等の機能を実現することができます。 |
| | 42 | |
| | 43 | 下のように、右シフトの結果と定数1とのandをとる代わりに、 |
| | 44 | 初期値として1をレジスタに入れておき、これを左シフトしたものとand をとるようにします。 |
| | 45 | |
| | 46 | シフト命令を使う場合: |
| | 47 | {{{ |
| | 48 | srl $8,$8,1 |
| | 49 | andi $9,$8,1 |
| | 50 | }}} |
| | 51 | |
| | 52 | 加算命令の場合: |
| | 53 | {{{ |
| | 54 | addi $10,$0,1 # $10に1を代入(前処理) |
| | 55 | : |
| | 56 | addu $10,$10,$10 # 左シフト。通常でslr命令だった部分に相当 |
| | 57 | and $9,$8,$10 # 通常でandi命令だった部分に相当 |
| | 58 | }}} |
| | 59 | |
| | 60 | この様にして各ビットが1か0かを調べられます。 |
| | 61 | |
| | 62 | [[Image(http://galaxy.u-aizu.ac.jp/note/raw-attachment/wiki/Ex02%20%E4%B9%97%E7%AE%97%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0%E3%81%AE%E5%AE%9F%E8%A3%852017/shift_ex.gif)]] |
| | 63 | |
| | 64 | シフト命令を使う方法(上)だと結果は 0…01(32ビット) か 00…0(32ビット)の2通りだけですが、 |
| | 65 | 加算命令を使用した方法(下)だと、そのビットが0のときは 00…0 ですが、そのビットが1だった場合、 |
| | 66 | その結果もそれが何桁目かによって、結果を左にシフトしています。 |
| | 67 | ですから、結果が0であるか否かで条件分岐をすることになります。 |
| | 68 | |
| | 69 | == 初期化部分 == |
| | 70 | {{{ |
| | 71 | .data |
| | 72 | A: .word 13 |
| | 73 | B: .word 37 |
| | 74 | C: .word 0 |
| | 75 | |
| | 76 | ... 必要な変数の領域を追加する .... |
| | 77 | .text |
| | 78 | main: ... プログラムを書く .... |
| | 79 | |
| | 80 | |
| | 81 | exit: j exit |
| | 82 | }}} |
| | 83 | |
| | 84 | 作成ファイル名は「ex02_p4.s」としてください。 |
| | 85 | |
| | 86 | = Ex02のレポート = |
| | 87 | 乗算プログラムについて、プログラムの説明を書き、アセンブラソースファイルを添付してレポートを提出してください。 |
| | 88 | プログラムの細かな説明は、ソースファイルにコメントの形で埋め込んでも構いません。 |
| | 89 | xspimに表示される実行後のメモリの値をウィンドウ画像ダンプ等で取得し、乗算結果の部分を丸で囲むなどして強調した上でレポートに含めてください。 |