From 13bc8938b80f96711eb26738fec53044a7800136 Mon Sep 17 00:00:00 2001
From: Russel Arbore <russel.jma@gmail.com>
Date: Tue, 4 Feb 2025 09:52:26 -0600
Subject: [PATCH] use editor modified() fork forkify
---
juno_scheduler/src/pm.rs | 9 +++------
1 file changed, 3 insertions(+), 6 deletions(-)
diff --git a/juno_scheduler/src/pm.rs b/juno_scheduler/src/pm.rs
index 80699fee..b2845913 100644
--- a/juno_scheduler/src/pm.rs
+++ b/juno_scheduler/src/pm.rs
@@ -1561,12 +1561,9 @@ fn run_pass(
let Some(mut func) = func else {
continue;
};
- // TODO: uses direct return from forkify for now instead of
- // func.modified, see comment on top of `forkify` for why. Fix
- // this eventually.
- let c = forkify(&mut func, control_subgraph, fork_join_map, loop_nest);
- changed |= c;
- inner_changed |= c;
+ forkify(&mut func, control_subgraph, fork_join_map, loop_nest);
+ changed |= func.modified();
+ inner_changed |= func.modified();
}
pm.delete_gravestones();
pm.clear_analyses();
--
GitLab