Added a specific edge case that may occasionally remove loops

9c15b506 · Taddeüs Kroes · 4f98a38c · 9c15b506
Commit 9c15b506 authored Jan 11, 2015 by Taddeüs Kroes
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

bf.ml bf.ml +2 -0

No files found.
--- a/bf.ml
+++ b/bf.ml
@@ -205,6 +205,8 @@ let optimize program =
    (* remove dead code *)
    | Set 0 :: Loop _ :: tl ->
      Set 0 :: tl |> opt
+    | (Offset (i, Set 0) as off) :: Shift j :: Loop _ :: tl when i = j ->
+      off :: Shift j :: tl |> opt

    | (Shift 0 | Add 0) :: tl
    | (Add _ | Set _ | Mul _) :: (Set _ :: _ as tl) ->