leave a note

egraphs-good · May 30, 2024 · 6cdc388 · 6cdc388
1 parent 52e0dc6
commit 6cdc388
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dag_in_context/src/optimizations/ivt.egg b/dag_in_context/src/optimizations/ivt.egg
@@ -72,7 +72,9 @@
     (= (Get thn ith) (Const (Bool false) _unused1 _unused2))
     (= (Get els ith) (Const (Bool true) _unused3 _unused4))
 ) (
-    (ith-arg-is-bool conditional condI inpI ith els thn)
+    ;; TODO: this may introduce overhead, but is the only way to
+    ;; not have two rules
+    (ith-arg-is-bool conditional (Uop (Not) condI) inpI ith els thn)
 ) :ruleset always-run)
 
 (rule (