MAEDA Atusi <maeda-yarv atusi.org> wrote :
    [ [yarv-dev:281] Re: multivple values (Re: multiple assgin return value) ]
    at 02 Nov 2004 17:54:53 +0900

　ささだです。

> 呼び出し側で、svの場合とmvの場合の2つのリターンポイントを用意しておく
> という方法です。
> 
>      call命令
> Lmv: 多値を返す場合のリターンポイント(1命令)
> Lsv: 通常のリターンポイント
> 
> というように。
> 
>   1つだけの値を期待するコード: (Schemeでは、これに多値を返すとエラー)
> 	 call
>     Lmv: jump error
>     Lsv: 
> 
>   値を捨てる(副作用のみのために呼び出す)コード:
> 	 call
>     Lmv: nop
>     Lsv: 
> 
>   多値を期待するコード:
> 	 call
>     Lmv: jump Lskip
>     Lsv: nvalues ← 1
>     Lskip:
> 
> Common Lisp風に、svな文脈で多値が返ってきたら最初の値だけを使って後は
> 捨てるようにするには、0個の値の時には最初の値レジスタにNILを入れて返す
> とともに、
>   1つだけの値を期待するコード: (CL風)
> 	 call
>     Lmv: nop
>     Lsv: 
> で良いとのことです。

　caller 側の、呼び出しコードをこのようにする、という感じって
ことですよね。

　ということは、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 を移す、と。なるほど。

　これって関数の返り値をそのまま返すときどうなるんだろう。

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


-- 
// SASADA Koichi at atdot dot net
//


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