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

Simplify JUMPIF on true/false

Browse Source
This commit is contained in:
Ulf Norell 2019-05-03 08:49:17 +02:00
parent 4a8fb5ba05
commit ef120a7194
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/aeso_fcode_to_fate.erl
View File

@ -1137,10 +1137,13 @@ block(Blk = #blk{code = [{switch, Arg, Type, Alts, Default} | Code],
_ -> FalseCode ++ [{jump, RestRef}] _ -> FalseCode ++ [{jump, RestRef}]
end, end,
case lists:usort(Alts) == [missing] of case lists:usort(Alts) == [missing] of
true -> true -> {Blk#blk{code = [{jump, DefRef}]}, [], []};
{Blk#blk{code = [{jump, DefRef}]}, [], []};
false -> false ->
{Blk#blk{code = ElseCode}, [{jumpif, Arg, ThenRef}], ThenBlk} case Arg of
?i(false) -> {Blk#blk{code = ElseCode}, [], ThenBlk};
?i(true) -> {Blk#blk{code = []}, [{jump, ThenRef}], ThenBlk};
_ -> {Blk#blk{code = ElseCode}, [{jumpif, Arg, ThenRef}], ThenBlk}
end
end; end;
tuple -> tuple ->
[TCode] = Alts, [TCode] = Alts,