From 86e12cb1a3d9bc4cf3ba2c04a2513f3ff07144c4 Mon Sep 17 00:00:00 2001 From: Timotej Kapus Date: Fri, 21 Jun 2019 03:45:57 -0700 Subject: [PATCH] [sledge] Add missing llvm passes to frontend.ml Summary: Adds `-mergefunc` and `-dce` passes to `Frontend.translate` to match the `buck link` flow with `opt` Reviewed By: ngorogiannis Differential Revision: D15938641 fbshipit-source-id: 128cb89cd --- sledge/src/llair/frontend.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml index e2630974b..9282b19fa 100644 --- a/sledge/src/llair/frontend.ml +++ b/sledge/src/llair/frontend.ml @@ -1362,10 +1362,12 @@ let transform : Llvm.llmodule -> unit = List.exists entry_points ~f:(String.equal fn) ) ; Llvm_ipo.add_global_dce pm ; Llvm_ipo.add_global_optimizer pm ; + Llvm_ipo.add_merge_functions pm ; Llvm_ipo.add_constant_merge pm ; Llvm_ipo.add_argument_promotion pm ; Llvm_ipo.add_ipsccp pm ; Llvm_scalar_opts.add_memory_to_register_promotion pm ; + Llvm_scalar_opts.add_dce pm ; Llvm_ipo.add_global_dce pm ; Llvm_ipo.add_dead_arg_elimination pm ; Llvm_scalar_opts.add_lower_atomic pm ;