441(1): デフォルトの名無しさん [sage] 2008/10/05(日) 03:49:49 AAS
今理解した。
BPってそのままリターンスタック相当じゃん。
ほんとはリターンスタックあれば十分だよね？
素直にリターンスタックを持たずに、わざわざBPなんて用意してるのは、
レジスタマシンと言えなくなるからかね。
なんだかなあ。

477(1): デフォルトの名無しさん [sage] 2008/10/08(水) 14:37:36 AAS
441だけど盛り上がってるね。

自分なりのまとめ。
リターンスタックはBPとcall/retの役割がある。

call/retを他の命令で書くと

・関数の呼び出し
push $LNEXT
jmp func
$LNEXT:

・関数のret
pop ecx ; $LNEXTのアドレスがecxに入る
jmp [ecx]

・関数のはじめ
push ebp
mov ebp, esp

・関数のおわり
mov esp, ebp
pop ebp

こうなる。
つまりBPはリターンスタックのトップと同じ。
BPを基点にすればデータスタックだけでも同じ事ができる。
「ボクが考えたforth」ではリターンスタックは必要ない。

473(2): デフォルトの名無しさん [sage] 2008/10/07(火) 23:56:37 AAS
>>472
意味が理解できん。
「まだ実行してないWord」を積む、って具体的に何を積むの？
まだ実行してないワードのアドレスなら辞書に入ってると思う（関節スレッディングの場合）

463(4): デフォルトの名無しさん [sage] 2008/10/06(月) 21:49:04 AAS
・リターンスタックが普通のCPUで言うとことの「スタック」。
　ワード（Ｃで言うところの関数、実際にはサブルーチン）
　を呼ぶと呼び出し戻るためのアドレスを積む。

# 普通のCPUでCALL命令（68系だとBSR、JSR）を実行すると
# リターンアドレスがスタックに積まれるのは理解しているよね？

・データスタックってのは、言ってみれば「無限に増えるアキュムレータ」って感じ。

・「辞書」が命令コードストレージ、Ｃ言語でいえばTEXTセグメント

Forthの本質は上記３点をおさえて置けば理解できるんだが。

BPがリターンスタックと等価なんて言ってる人とか、

＞・リターンスタック：　実行する命令列（辞書で展開された単語含む）
＞リターンスタックというよりもオーダースタックといった方がちょうど良い気がするけどね

なんて言っている人、本当に理解できてるの？

451(2): デフォルトの名無しさん [sage] 2008/10/05(日) 19:02:41 AAS
>442
大雑把にはこんな感じかね。
・データスタック：　引数＆戻り値
・リターンスタック：　実行する命令列（辞書で展開された単語含む）

リターンスタックというよりもオーダースタックといった方がちょうど良い気がするけどね

472(3): 464 [sage] 2008/10/07(火) 23:32:13 AAS
>465
いや、スタックポインタ（レジスタ）じゃなくてスタック。>467 の通りですな。>463で『アドレスを積む』とか
書いているからHWスタックのことかと思った。
スタックを内部に持つCPUの話があった記憶があったので勘違いしたわ。すまんね。

forthあんまり詳しくないんで済まんのだけど、『リターンスタックには、ワードを呼ぶと呼び出し戻るため
のアドレスを積む』んだっけ？
正規化の観点からは『まだ実行していないWORD』もリターンスタックに積めた方が便利だと思うけど。
WORDコンパイルの実装で手が抜けなくなるし……

56(6): デフォルトの名無しさん [sage] 04/02/18 12:27 AAS
第3問

: foo twice ." Hello" ;

でfooを実行すると

HelloHello

を出力するようなtwiceを定義してみれ。