C言語のアセンブリ言語コード化〜直観編

unsigned int fact(unsigned int x) {
	unsigned int y;
	if(x == 0) {
		y = 1;
	} else {
		y = x * fact(x - 1);
	}
	return y;
}

void main(void) {
	unsigned int p;
	p = fact(3);
	...
}

fact:
	PUSH IX				;; IXの内容をスタックに転送します
						;; (SP-$1)にIXの上位8ビット
						;; (SP-$2)にIXの下位8ビットを代入し，
						;; SPを2減らします
	LD IX,SP			;; SPの内容をIXに転送します(実際には存在しない命令)
	SUB SP,$02			;; SPを2減らします(実際には存在しない命令) 
	PUSH DE				;; DEの内容をスタックに転送します
	LD HL,(IX+$04)		;; (IX+$04)の内容をHLに転送します(実際には存在しない命令)
	LD DE,$0			;; DEに0を転送します
	CP HL,DE			;; HLとDEを比較します(実際には存在しない命令)
	JP NZ,if_1_else	;; ゼロでなかったら if_1_else に飛びます
	LD HL,$1			;; HLに1を転送します
	LD (IX-$02),HL		;; (IX-$02)にHLの値を転送します(実際には存在しない命令)
	JP if_1_exit		;; if_1_exitに飛びます
if_1_else:
	LD HL,(IX+$04)		;; (IX+$04)の内容をHLに転送します(実際には存在しない命令)
	LD DE,$1			;; DEに1を転送します
	SUB HL,DE			;; HLからDEを引きます(実際には存在しない命令)
	PUSH HL				;; HLをスタックに転送します
	CALL fact			;; サブルーチン fact を呼び出します
	ADD SP,$02			;; SPを2増やします(実際には存在しない命令)
	LD DE,(IX+$04)		;; (IX+$04)の内容をDEに転送します(実際には存在しない命令)
	MUL HL,DE			;; HLとDEをかけて結果をHLに代入します(実際には存在しない命令)
	LD (IX-$02),HL		;; HLの内容を(IX-$02)に転送します(実際には存在しない命令)
if_1_exit:
	POP DE				;; スタックからDEに転送します
						;; SPを2増やします
						;; (SP-$1)にD(DEの上位8ビット)
						;; (SP-$2)にE(DEの下位8ビット)を代入します
	LD HL,(IX)			;; (IX)の内容をHLに転送します
	LD SP,IX			;; IXの内容をSPに転送します
	POP IX				;; スタックからIXの内容を転送します
	RET					;; 復帰します

main:
	PUSH IX				;; IXの内容をスタックに転送します
						;; (SP-$1)にIXの上位8ビット
						;; (SP-$2)にIXの下位8ビットを代入し，
						;; SPを2減らします
	LD IX,SP			;; SPの内容をIXに転送します(実際には存在しない命令)
	SUB SP,$02			;; SPを2減らします(実際には存在しない命令)
	LD HL,$03			;; HLに3を代入します
	PUSH HL				;; HLの内容をスタックに転送します
	CALL fact			;; サブルーチン fact を呼び出します
	ADD SP,$02			;; SPを2増やします(実際には存在しない命令)
						;; これで引数xを消します
	LD (IX-$02),HL		;; HLの内容を(IX-$02)に転送します(実際には存在しない命令)
	...
	LD SP,IX			;; IXの内容をSPに転送します
	POP IX				;; スタックからIXの内容を転送します
	RET					;; 復帰します(プログラムの終了)

unsigned int fact(unsigned int x) {
	...
}

fact:					;; 1. 関数名を表すラベルを定義します。
	PUSH IX				;; 2. フレームポインタをスタックにバックアップします。
	LD IX,SP				;; 3. スタックポインタの内容をフレームポインタにコピーします。
	...					;; 4.
	LD SP,IX			;; 5. フレームポインタの内容をスタックポインタにコピーします。
	POP IX				;; 6. スタックにバックアップしたフレームポインタの内容を元に戻します。
	RET					;; 7. サブルーチンから復帰します。

{
	unsigned int y;
	...
}

	SUB SP,$02			;; 1. スタックポインタを必要とするメモリ量分減らして変数領域を確保します。
	...					;; 2. 
	ADD SP,$02			;; 3. スタックポインタを必要とするメモリ量分増やして変数領域を解放します。

fact:					;; 関数名を表すラベルを定義します。
	PUSH IX				;; フレームポインタをスタックにバックアップします。
	LD IX,SP			;; スタックポインタの内容をフレームポインタにコピーします。
	SUB SP,$02			;; スタックポインタを必要とするメモリ量分減らして変数領域を確保します。
	...
	ADD SP,$02			;; スタックポインタを必要とするメモリ量分増やして変数領域を解放します。
	LD SP,IX			;; フレームポインタの内容をスタックポインタにコピーします。
	POP IX				;; スタックにバックアップしたフレームポインタの内容を元に戻します。
	RET					;; サブルーチンから復帰します。

fact:					;; 関数名を表すラベルを定義します。
	PUSH IX				;; フレームポインタをスタックにバックアップします。
	LD IX,SP			;; スタックポインタの内容をフレームポインタにコピーします。
	SUB SP,$02			;; スタックポインタを必要とするメモリ量分減らして変数領域を確保します。
	...
	LD SP,IX			;; フレームポインタの内容をスタックポインタにコピーします。
	POP IX				;; スタックにバックアップしたフレームポインタの内容を元に戻します。
	RET					;; サブルーチンから復帰します。

	if( ... /* 条件式 */) {
		... /* then 節 */
	} else {
		... /* else 節 */
	}

	...					;; 1. 条件式をコード生成します。
	JP NZ,if_1_else	;; 2. ゼロでなかったときelse節にジャンプします。
	...					;; 3. then節をコード生成します。
	JP if_1_exit		;; 4. 無条件でif文の末尾にジャンプします。
if_1_else:				;; 5. else節のラベルを定義します。
	...					;; 6. else節をコード生成します。
if_1_exit:				;; 7. if文の末尾のラベルを定義します。

	/*左辺式*/ == /*右辺式*/

	LD r1, (左辺式)		;; 1. 左辺式を汎用レジスタr1に転送するコードを生成します。
	LD r2, (右辺式)		;; 2. 右辺式を汎用レジスタr2に転送するコードを生成します。
	CP r1,r2			;; 3. r1とr2を比較するコードを生成します。

	LD r,(fp +/- ?)

	LD r,n

	x == 0 /* x は引数 */

	LD HL,(IX+$04)
	LD DE,$0
	CP HL,DE

	LD (fp +/- ?),r

	y = 1;

	LD HL,$1
	LD (IX-$02),HL

		y = x * fact(x - 1);

	func(/*引数1*/, /*引数2*/, ...);

	...				;; 1. 引数1のコードを生成し，レジスタrに代入します。
	PUSH r 			;; 2. スタックにレジスタrを転送します。
	... 			;; 3. 引数2のコードを生成し，レジスタrに代入します。
	PUSH r			;; 4. スタックにレジスタrを転送します。
	...				;; 5.
	CALL func		;; 6. 関数に対応するサブルーチンを呼び出します。
	ADD SP,...		;; 7. 引数を確保した分スタックポインタを増やし，引数を解放します。

	LD r1, ...		;; 1. 左の式をレジスタr1に転送します。
	LD r2, ... 	;; 2. 右の式をレジスタr2に転送します。
	ADD r1, r2		;; 3. 四則演算をコード生成します。

		y = x * fact(x - 1);

	LD BC,(IX+$04)
	LD HL,(IX+$04)
	LD DE,$1
	SUB HL,DE
	PUSH HL	 
	CALL fact 
	ADD SP,$02 
	MUL HL,BC 
	LD (IX-$02),HL 

	LD HL,(IX+$04)
	LD DE,$1
	SUB HL,DE
	PUSH HL
	CALL fact 
	ADD SP,$02 
	LD DE,(IX+$04) 
	MUL HL,DE 
	LD (IX-$02),HL