try 64 bits

dfinity · Dec 10, 2024 · 19adf03 · 19adf03
1 parent c2403e4
commit 19adf03
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/codegen/instrList.ml b/src/codegen/instrList.ml
@@ -129,6 +129,9 @@ let optimize : instr list -> instr list = fun is ->
     | {it = Binary (I32 I32Op.ShrU); _} as shift :: {it = Const {it = I32 31l; _}; _} :: l',
       ({it = If (res,then_,else_); _} as if_) :: r' ->
       go l' ({ shift with it = Unary (I32 I32Op.Clz) } :: { if_ with it = If (res,else_,then_) } :: r')
+    | {it = Binary (I64 I64Op.ShrU); _} as shift :: {it = Const {it = I64 63L; _}; _} :: l',
+      ({it = If (res,then_,else_); _} as if_) :: r' ->
+      failwith "I64";go l' ({ shift with it = Unary (I64 I64Op.Clz) } :: { if_ with it = If (res,else_,then_) } :: r')
     (* Null shifts can be eliminated *)
     | l', {it = Const {it = I32 0l; _}; _} :: {it = Binary (I32 I32Op.(Shl|ShrS|ShrU)); _} :: r' ->
       go l' r'