Compiler: get rid of useless Cond

ocsigen · Dec 14, 2022 · 9eb04f2 · 9eb04f2
1 parent 7deb7d8
commit 9eb04f2
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/compiler/lib/eval.ml b/compiler/lib/eval.ml
@@ -331,10 +331,13 @@ let the_cond_of info x =
 
 let eval_branch info = function
   | Cond (x, ftrue, ffalse) as b -> (
-      match the_cond_of info x with
-      | Zero -> Branch ffalse
-      | Non_zero -> Branch ftrue
-      | Unknown -> b)
+      if Poly.(ftrue = ffalse)
+      then Branch ftrue
+      else
+        match the_cond_of info x with
+        | Zero -> Branch ffalse
+        | Non_zero -> Branch ftrue
+        | Unknown -> b)
   | Switch (x, const, tags) as b -> (
       (* [the_case_of info (Pv x)] might be meaningless when we're inside a dead code.
          The proper fix would be to remove the deadcode entirely.