前回までのあらすじ

自作PCを作ろう！
まずメモリを作ったよ！(動かしてない)
ISAを作ったよ！(アセンブラやコンパイラはまだ)

基本設計

ここではまずアセンブラを作成します．
最終的に作成したいのはコンパイラですが，そのコンパイラは，プログラムをアセンブリ言語に翻訳し，そのアセンブリ言語を機械語にする二段階の動きにしようと思っています．
理由としては，いきなり機械語に翻訳しちゃうのはデバッグが辛かろうと思ったからです．
あとは，コンパイラの自作経験がないのでその勉強をするための時間稼ぎでもあります．

レジスタに名前を付けよう

まず，CPU内に存在するレジスタの一部には名前を付けたいと思います．
後ろから順番に埋めていくことにします．

アドレス	名前	機能
6'h1f	PC	プログラムカウンタ
6'h1e	SP	スタックポインタ
6'h1d	RAX	演算結果
6'h1c	RSI	引数が格納されているレジスタの一つ目の番地
6'h1b	FLG	フラグ．書き込み禁止．詳しくは後述

フラグについて

フラグはレジスタ内の6'h1bを使用することにします．
詳しくは以下の通り．

ビット	名前	機能
0ビット目	CF	キャリーフラグ．桁あふれが生じたときtrue
1ビット目	ZF	ゼロフラグ．計算結果が0のときtrue，1のときfalse
2ビット目	OF	オーバーフローフラグ．符号付の数の足し算や引き算において，最上位ビットが不正に書き変えられてしまったときにtrue
3ビット目	SF	サインフラグ．計算結果の符号を保存する．正ならfalse，負ならtrue

アセンブリ言語

全体のルールを決め，その後，前回作成した機械語ひとつひとつに対応した命令を作ります．

全体のルール

;以降はコメント
関数ごとにブロックを作る．mainブロックは必ずある
main関数を一番最後に書く．またほかの関数についても，使用するタイミングでまだ宣言されていない，ということにはならないようにする
このプログラムで使用するすべての関数名を一行目で挙げる
インデントはスペース四個
マジックナンバーは，とくに指定がなければ10進数として扱う．末尾にb,o,hがある場合はそれぞれ2進数，8進数，16進数として扱う
レジスタの番地はr10のように表記する．特に指定がなければ10進数で，末尾に文字があれば指定された奇数で扱うのはマジックナンバーと同様
ループ命令はない

例

.global get_num, main

get_num:
    mov rax 42  ; 返り値は42
    ret

main:
    call num
    ret

演算系(P系)

r01とr02の演算結果をr03に格納します．なお，処理と同時にプログラムカウンタや各種フラグも更新することとします．

main:
    and r03 r01 r02   ; 論理積
    or  r03 r01 r02   ; 論理和
    xor r03 r01 r02   ; 排他的論理和
    not r03 r01       ; 反転 r02は使わない
    nand r03 r01 r02  ; 否定論理積
    add r03 r01 r02   ; 算術和
    sub r03 r01 r02   ; 算術差
    addi r03 r01 r02  ; 符号を考慮する算術和
    subi r03 r01 r02  ; 符号を考慮しない算術差

シフト系(S系)

r01をr02またはイミディエイトデータ分だけシフトしr03に格納します．イミディエイトデータを使用するかどうかは，引数が二つ七日三つ七日で判断します．
また，処理と同時にプログラムカウンタを更新し，各種フラグをリセットします．

main:
    sll r03 r01 r02  ; 左シフト命令
    srl r03 r01 r02  ; 右シフト命令
    sla r03 r01 r02  ; 算術左シフト命令
    sra r03 r01 r02  ; 算術右シフト命令

代入系(A系)

r01またはイミディエイトデータをr03に格納します．
処理と同時にプログラムカウンタを更新し，各種フラグをリセットします．

main:
    mov r03 r01  ; イミディエイトデータを代入

分岐系(F系)

分岐系は2クロックで処理を完遂します．本とか解説サイトを見ていると，先に引き算や足し算をして結果の一部をフラグに格納し，それがtrueかfalseかで分岐したりしなかったりするという説明が多かったので従います．アセンブリ言語って確か機械語と一対一で対応していたはずなんですが，よく分かりません．アセンブリ言語にシステムコールがあるのもよく分かりません．
処理と同時に各種フラグをリセットします．

main:
    eq 42  ; 直前の減算結果が0ならpcにイミディエイトデータを足す．ZFで判断
    ne 42  ; 直前の減算結果が0ではないならpcにイミディエイトデータを足す．ZFで判断
    lt 42  ; 直前の減算結果が負ならpcにイミディエイトデータを足す．SFで判断
    gt 42  ; 直前の減算結果が正ならpcにイミディエイトデータを足す．SFで判断
    elt 42 ; 直前の減算結果が0または負ならpcにイミディエイトデータを足す．ZFとSFで判断
    egt 42 ; 直前の減算結果が0または正ならpcにイミディエイトデータを足す．ZFとSFで判断

ジャンプ系(J系)

レジスタ内の数字はすべて符号なし整数として扱います．
処理と同時に各種フラグをリセットします．

main:
    jmp rs1 ; レジスタに保存された場所へジャンプ
    jmp 41h ; 即値で指定された場所へジャンプ

メモリ系(M系)

r01またはイミディエイトデータでメモリの番地を指定し，その番地のデータをr03へ読み込み or 書き込みします．
処理と同時にプログラムカウンタを更新し，各種フラグをリセットします．
一クロックで完了するとは限りません．

main:
    rm r03 r01   ; メモリ読み込み．r01を指定しなければイミディエイトデータで指定した番地のデータをr03へ読み込む
    wm r01 r03   ; メモリ書き込み．r01を指定しなければイミディエイトデータで指定した番地のデータへr03の値を書き込む

アセンブラ

本当はここにコードを書くつもりだったんですが，書いていると思っていたより長くなってきたので次回にします．

次回の目標

アセンブラを作る

参考資料