SASADA Koichi <ko1 atdot.net> writes:

> 　ということは、callee のコンパイルは、以下のような感じですか。
> 
> 単値：
> 	push 1
> 	end
> 
> 
> 多値：
> 	push 1
> 	push 2
> 	end_with_multi_value 2 # 2個を multi values として返す
> 
> caller は、書いた奴って感じで。
> 
> 　end は pc を Lsv に進めて、end_with_multi_value は Lmv に
> pc を移す、と。なるほど。
> 
> 　これって関数の返り値をそのまま返すときどうなるんだろう。

Schemeなら話は簡単ですけどねえ。

  (foo)

の値をそのまま返す時は、

      call foo
Lmv:  end_with_mv_as_is
Lsv:  end

とか。end_with_mv_as_isは、nvaluesを変えずにそのままLmvに返る。

> 　これって、C の API はどうなるんだろう。

CからVMコードを呼び出す時、という意味?

C_to_Ruby_trampoline:
     call_indirect
Lmv: jmp skip
Lsv: nvalues ← 1
skip: collect_mv_for_C

みたいなVMコードの断片を用意しておいて、それ経由で呼び出すとか。
call_indirectはスタックで渡されたオブジェクトとメソッドidからそのメソッ
ドを呼び出す特別なVM命令。collect_mv_for_Cは、すべての値を、Cから見え
る配列へコピーする。

				前田敦司

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml