QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Add loop operator in fcode #889

Open
zxq9 wants to merge 27 commits from loop-op into master
pull from: loop-op
merge into: QPQ-AG:master
Conversation 3 Commits 27 Files Changed 2 +8 -7
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 85c14c512b - Show all commits

15
src/aeso_fcode_to_fate.erl
View File

@ -376,15 +376,16 @@ to_scode1(Env, {loop, Init, It, Expr}) ->
ContRef = make_ref(), ContRef = make_ref(),
BreakRef = make_ref(), BreakRef = make_ref(),
{ItV, Env1} = bind_local(It, Env), {ItV, Env1} = bind_local(It, Env),
InitS = to_scode(Env, Init) ++ [aeb_fate_ops:store({var, ItV}, {stack, 0}), {jump, ContRef}], InitS = to_scode(notail(Env), Init) ++ [{jump, ContRef}],
ExprS = to_scode(bind_loop(ContRef, BreakRef, ItV, Env1), Expr) ++ [{jumpif, ?a, ContRef}, {jump, BreakRef}], ExprS = [aeb_fate_ops:store({var, ItV}, {stack, 0}),
to_scode(bind_loop(ContRef, BreakRef, ItV, Env1), Expr),
{jump, BreakRef}],
[{loop, InitS, It, ExprS, ContRef, BreakRef}]; [{loop, InitS, It, ExprS, ContRef, BreakRef}];
to_scode1(Env = #env{loop_it = It}, {continue, Expr}) -> to_scode1(Env = #env{cont_ref = ContRef}, {continue, Expr}) ->
ExprS = to_scode1(Env, Expr), ExprS = to_scode1(notail(Env), Expr),
ExprS ++ [aeb_fate_ops:store({var, It}, {stack, 0}), push(?i(true))]; ExprS ++ [{jump, ContRef}];
to_scode1(Env, {break, Expr}) -> to_scode1(Env, {break, Expr}) ->
ExprS = to_scode1(Env, Expr), to_scode1(Env, Expr);
ExprS ++ [push(?i(false))];
to_scode1(Env, {switch, Case}) -> to_scode1(Env, {switch, Case}) ->
split_to_scode(Env, Case). split_to_scode(Env, Case).