1 files changed, 10 insertions, 0 deletions
diff --git a/src/hls/Gible.v b/src/hls/Gible.v
index e50fdc0..c51b250 100644
--- a/src/hls/Gible.v
+++ b/src/hls/Gible.v
@@ -613,4 +613,14 @@ type ~genv~ which was declared earlier.
                end
             ) b nil.
 
+    Definition pred_uses i :=
+      match i with
+      | RBop (Some p) _ _ _
+      | RBload (Some p) _ _ _ _
+      | RBstore (Some p) _ _ _ _
+      | RBexit (Some p) _ => predicate_use p
+      | RBsetpred (Some p) _ _ p' => p' :: predicate_use p
+      | _ => nil
+      end.
+
 End Gible.