Bugfix: cprop rule: (x + k1) - k2 becomes x - (k2 - k1), not `x -…

… (k1 - k2)`.
bytecodealliance · Dec 6, 2022 · 40928ab · 40928ab
1 parent 0c98b9a
commit 40928ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cranelift/codegen/src/opts/cprop.isle b/cranelift/codegen/src/opts/cprop.isle
@@ -107,7 +107,7 @@
 (rule (simplify (isub ty
                       (iadd ty x (iconst ty (u64_from_imm64 k1)))
                       (iconst ty (u64_from_imm64 k2))))
-      (isub ty x (iconst ty (imm64 (u64_sub k1 k2)))))
+      (isub ty x (iconst ty (imm64 (u64_sub k2 k1)))))
 (rule (simplify (iadd ty
                       (isub ty x (iconst ty (u64_from_imm64 k1)))
                       (iconst ty (u64_from_imm64 k2))))