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

Remove optimize_all option

Browse Source
This commit is contained in:
Gaith Hallak 2022-08-27 18:18:32 +03:00
parent 33a5388936
commit f663bce7bf
2 changed files with 7 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/aeso_ast_to_fcode.erl
View File

@ -1294,14 +1294,12 @@ optimize_fcode(Code = #{ functions := Funs }, Options) ->
-spec optimize_fun(fcode(), fun_name(), fun_def(), [option()]) -> fun_def(). -spec optimize_fun(fcode(), fun_name(), fun_def(), [option()]) -> fun_def().
optimize_fun(Fcode, Fun, Def = #{ body := Body0 }, Options) -> optimize_fun(Fcode, Fun, Def = #{ body := Body0 }, Options) ->
All = proplists:get_value(optimize_all, Options, true), Inliner = proplists:get_value(optimize_inliner, Options, true),
InlineLocalFunctions = proplists:get_value(optimize_inline_local_functions, Options, true),
Inliner = proplists:get_value(optimize_inliner, Options, All), BindSubexpressions = proplists:get_value(optimize_bind_subexpressions, Options, true),
InlineLocalFunctions = proplists:get_value(optimize_inline_local_functions, Options, All), LetFloating = proplists:get_value(optimize_let_floating, Options, true),
BindSubexpressions = proplists:get_value(optimize_bind_subexpressions, Options, All), Simplifier = proplists:get_value(optimize_simplifier, Options, true),
LetFloating = proplists:get_value(optimize_let_floating, Options, All), DropUnusedLets = proplists:get_value(optimize_drop_unused_lets, Options, true),
Simplifier = proplists:get_value(optimize_simplifier, Options, All),
DropUnusedLets = proplists:get_value(optimize_drop_unused_lets, Options, All),
Body1 = if Inliner -> inliner (Fcode, Fun, Body0); true -> Body0 end, Body1 = if Inliner -> inliner (Fcode, Fun, Body0); true -> Body0 end,
Body2 = if InlineLocalFunctions -> inline_local_functions(Body1); true -> Body1 end, Body2 = if InlineLocalFunctions -> inline_local_functions(Body1); true -> Body1 end,

3
src/aeso_fcode_to_fate.erl
View File

@ -708,8 +708,7 @@ tuple(N) -> aeb_fate_ops:tuple(?a, N).
%% Optimize %% Optimize
optimize_scode(Funs, Options) -> optimize_scode(Funs, Options) ->
All = proplists:get_value(optimize_all, Options, true), case proplists:get_value(optimize_scode, Options, true) of
case proplists:get_value(optimize_scode, Options, All) of
true -> true ->
maps:map(fun(Name, Def) -> optimize_fun(Funs, Name, Def, Options) end, maps:map(fun(Name, Def) -> optimize_fun(Funs, Name, Def, Options) end,
Funs); Funs);