From e645a8d034c0d6c34cd71b217b2a9b7dc25cae74 Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Mon, 2 Sep 2019 11:17:13 +0200 Subject: [PATCH] Optimize before lambda lifting (lambdas are either in dead code or not dead, so dead code elimination won't be affected) --- src/aeso_ast_to_fcode.erl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl index 0cf9968..7e49f8d 100644 --- a/src/aeso_ast_to_fcode.erl +++ b/src/aeso_ast_to_fcode.erl @@ -151,10 +151,10 @@ ast_to_fcode(Code, Options) -> Verbose = lists:member(pp_fcode, Options), FCode1 = to_fcode(init_env(Options), Code), [io:format("-- Before lambda lifting --\n~s\n\n", [format_fcode(FCode1)]) || Verbose], - FCode2 = lambda_lift(FCode1), - [ io:format("-- After lambda lifting --\n~s\n\n", [format_fcode(FCode2)]) || Verbose, FCode2 /= FCode1 ], - FCode3 = optimize_fcode(FCode2), - [ io:format("-- After optimization --\n~s\n\n", [format_fcode(FCode3)]) || Verbose, FCode3 /= FCode2 ], + FCode2 = optimize_fcode(FCode1), + [ io:format("-- After optimization --\n~s\n\n", [format_fcode(FCode2)]) || Verbose, FCode2 /= FCode1 ], + FCode3 = lambda_lift(FCode2), + [ io:format("-- After lambda lifting --\n~s\n\n", [format_fcode(FCode3)]) || Verbose, FCode3 /= FCode2 ], FCode3. %% -- Environment ------------------------------------------------------------