From 8830095c7e0113af880faa605b3e0ac2d0ce0929 Mon Sep 17 00:00:00 2001 From: Tobias Lindahl Date: Fri, 10 May 2019 12:34:06 +0200 Subject: [PATCH] Add call value instruction in fate --- src/aeso_fcode_to_fate.erl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index 48f25a8..682d53f 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -417,7 +417,7 @@ builtin_to_scode(_Env, call_origin, []) -> builtin_to_scode(_Env, call_caller, []) -> [aeb_fate_code:caller(?a)]; builtin_to_scode(_Env, call_value, []) -> - ?TODO(fate_call_value_instruction); + [aeb_fate_code:call_value(?a)]; builtin_to_scode(_Env, call_gas_price, []) -> [aeb_fate_code:gasprice(?a)]; builtin_to_scode(_Env, call_gas_left, []) -> @@ -639,6 +639,7 @@ attributes(I) -> {'CALL_T', _} -> Impure(pc, []); {'CALL_TR', A, _, B} -> Impure(pc, [A, B]); {'CALL_GTR', A, _, B, C} -> Impure(pc, [A, B, C]); + {'CALL_VALUE', A} -> Pure(A, []); {'JUMP', _} -> Impure(pc, []); {'JUMPIF', A, _} -> Impure(pc, A); {'SWITCH_V2', A, _, _} -> Impure(pc, A);