Fix inline pass, get fac example working

Cargo.lock

@@ -442,6 +442,18 @@ dependencies = [
  "pin-project-lite",
 ]
 
+[[package]]
+name = "fac"
+version = "0.1.0"
+dependencies = [
+ "async-std",
+ "clap",
+ "hercules_rt",
+ "juno_build",
+ "rand",
+ "with_builtin_macros",
+]
+
 [[package]]
 name = "fastrand"
 version = "2.1.1"

Cargo.toml

@@ -14,7 +14,7 @@ members = [
 
 	"hercules_samples/dot",
 	"hercules_samples/matmul",
-	#"hercules_samples/fac",
+	"hercules_samples/fac",
 
 	"juno_frontend",
 	"juno_scheduler",

hercules_opt/src/inline.rs

@@ -197,7 +197,7 @@ fn inline_func(
 
             // Stich the control use of the original call node's region with
             // the predecessor control of the inlined function's return.
-            edit = edit.replace_all_uses(control, called_return_pred)?;
+            edit = edit.replace_all_uses(control, old_id_to_new_id(called_return_pred))?;
 
             // Stitch uses of parameter nodes in the inlined function to the IDs
             // of arguments provided to the call node.

juno_frontend/src/lib.rs

@@ -151,6 +151,7 @@ pub fn compile_ir(
     if x_dot {
         pm.add_pass(hercules_opt::pass::Pass::Xdot(true));
     }
+    add_pass!(pm, verify, Inline);
     add_pass!(pm, verify, CCP);
     add_pass!(pm, verify, DCE);
     add_pass!(pm, verify, GVN);