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

Separate the split at CALL_T and loop

Browse Source
This commit is contained in:
Gaith Hallak 2023-03-17 17:34:55 +03:00
parent 335d91b48a
commit bc4f3fdbbd
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/aeso_fcode_to_fate.erl
View File

@ -1892,6 +1892,7 @@ tweak_returns(Code) -> Code.
%% -- Split basic blocks at CALL instructions --
%% Calls can only return to a new basic block. Also splits at JUMPIF instructions.
%% Split at CALL_T and JUMP only when DBG_RETURN op is enabled
split_calls({Ref, Code}) ->
split_calls(Ref, Code, [], []).
@ -1905,9 +1906,11 @@ split_calls(Ref, [I | Code], Acc, Blocks) when element(1, I) == 'CALL';
element(1, I) == 'CREATE';
element(1, I) == 'CLONE';
element(1, I) == 'CLONE_G';
element(1, I) == 'jumpif';
element(1, I) == 'CALL_T' andalso Code =/= [];
I == loop andalso Code =/= [] ->
element(1, I) == 'jumpif' ->
split_calls(make_ref(), Code, [], [{Ref, lists:reverse([I | Acc])} | Blocks]);
split_calls(Ref, [I | Code = ['DBG_RETURN' | _]], Acc, Blocks)
when element(1, I) == 'CALL_T';
I == loop ->
split_calls(make_ref(), Code, [], [{Ref, lists:reverse([I | Acc])} | Blocks]);
split_calls(Ref, [{'ABORT', _} = I | _Code], Acc, Blocks) ->
lists:reverse([{Ref, lists:reverse([I | Acc])} | Blocks]);