From b141f1e5b58aaabd091f30d2371e43712fbaef38 Mon Sep 17 00:00:00 2001 From: Nadesh Ramanathan Date: Tue, 7 Jul 2020 15:32:13 +0100 Subject: remove const prop --- src/Compiler.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Compiler.v b/src/Compiler.v index 513b5fa..546ba87 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -80,7 +80,7 @@ Definition transf_backend (r : RTL.program) : res Verilog.program := @@ Tailcall.transf_program @@@ Inlining.transf_program @@ Renumber.transf_program - @@ Constprop.transf_program + (* @@ Constprop.transf_program *) @@ Renumber.transf_program @@@ CSE.transf_program @@@ Deadcode.transf_program -- cgit