This commit is contained in:
Berkus Decker
2023-02-17 17:08:07 +02:00
committed by GitHub
parent db9efcb099
commit c8fa1b845f

View File

@@ -42,7 +42,7 @@
x)) x))
(subsume x)) (subsume x))
;; x*0 == 0*x == x. ;; x*0 == 0*x == 0.
(rule (simplify (imul ty (rule (simplify (imul ty
_ _
zero @ (iconst ty (u64_from_imm64 0)))) zero @ (iconst ty (u64_from_imm64 0))))