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

Fix typos

Browse Source
This commit is contained in:
Gaith Hallak 2022-08-26 19:53:00 +03:00
parent c1c7be4d3e
commit 0dbdf207bf
2 changed files with 10 additions and 8 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,14 @@ 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(optimizate_all, Options, true), All = proplists:get_value(optimize_all, Options, true),
Inliner = proplists:get_value(optimizate_inliner, Options, All), Inliner = proplists:get_value(optimize_inliner, Options, All),
InlineLocalFunctions = proplists:get_value(optimizate_inline_local_functions, Options, All), InlineLocalFunctions = proplists:get_value(optimize_inline_local_functions, Options, All),
BindSubexpressions = proplists:get_value(optimizate_bind_subexpressions, Options, All), BindSubexpressions = proplists:get_value(optimize_bind_subexpressions, Options, All),
LetFloating = proplists:get_value(optimizate_let_floating, Options, All), LetFloating = proplists:get_value(optimize_let_floating, Options, All),
Simplifier = proplists:get_value(optimizate_simplifier, Options, All), Simplifier = proplists:get_value(optimize_simplifier, Options, All),
DropUnusedLets = proplists:get_value(optimizate_drop_unused_lets, 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,

4
src/aeso_fcode_to_fate.erl
View File

@ -77,7 +77,7 @@ compile(ChildContracts, FCode, Options) ->
#{ contract_name := ContractName, #{ contract_name := ContractName,
functions := Functions } = FCode, functions := Functions } = FCode,
SFuns = functions_to_scode(ChildContracts, ContractName, Functions, Options), SFuns = functions_to_scode(ChildContracts, ContractName, Functions, Options),
SFuns1 = proplists:get_value(optimize_scode, Options, true) andalso optimize_scode(SFuns, Options), SFuns1 = optimize_scode(SFuns, Options),
FateCode = to_basic_blocks(SFuns1), FateCode = to_basic_blocks(SFuns1),
?debug(compile, Options, "~s\n", [aeb_fate_asm:pp(FateCode)]), ?debug(compile, Options, "~s\n", [aeb_fate_asm:pp(FateCode)]),
FateCode. FateCode.
@ -708,6 +708,8 @@ 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),
OptimizeScode = proplists:get_value(optimize_scode, Options, All),
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).