From b44f450c359dd94899de5d700943cb65f379d044 Mon Sep 17 00:00:00 2001
From: Aaron Councilman <aaronjc4@illinois.edu>
Date: Mon, 18 Nov 2024 21:23:10 -0600
Subject: [PATCH] Re-enabled inlining
---
juno_frontend/src/lib.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/juno_frontend/src/lib.rs b/juno_frontend/src/lib.rs
index c3dc262a..d4263fe8 100644
--- a/juno_frontend/src/lib.rs
+++ b/juno_frontend/src/lib.rs
@@ -157,7 +157,7 @@ pub fn compile_ir(
pm.add_pass(hercules_opt::pass::Pass::Xdot(true));
}
// TEMPORARY
- //add_pass!(pm, verify, Inline);
+ add_pass!(pm, verify, Inline);
add_pass!(pm, verify, CCP);
add_pass!(pm, verify, DCE);
add_pass!(pm, verify, GVN);
--
GitLab