[Transopt] remove transopt rules

Author: bongjunj

cranelift/codegen/src/opts/arithmetic.isle

@@ -222,105 +222,3 @@
 (rule (simplify (fcvt_from_sint ty (sextend _ val)))
       (fcvt_from_sint ty val))
 
-
-;; or(x, C) + (-C)  -->  and(x, ~C)
-(rule
-  (simplify (iadd ty
-              (bor ty x (iconst_s ty n))
-              (iconst_s ty m)))
-  (if-let m (i64_checked_neg n))
-  (band ty x (iconst ty (imm64_masked ty (i64_cast_unsigned (i64_not n))))))
-
-;; (x + y) - (x | y) --> x & y
-(rule (simplify (isub ty (iadd ty x y) (bor ty x y))) (band ty x y))
-
-;; x * (1 << y) == x << y
-(rule (simplify (imul ty x (ishl ty (iconst_s ty 1) y))) (ishl ty x y))
-
-;; (x - y) + x --> x
-(rule (simplify (iadd ty (isub ty x y) y)) x)
-(rule (simplify (iadd ty y (isub ty x y))) x)
-
-;; (x + y) - y --> x
-(rule (simplify (isub ty (iadd ty x y) x)) y)
-(rule (simplify (isub ty (iadd ty x y) y)) x)
-
-;; (x - y) - x => -y
-(rule (simplify (isub ty (isub ty x y) x))(ineg ty y))
-
-;; (x * C) (==/!=) D --> x (==/!=) (D / C) when C is odd and divides D
-(rule
-  (simplify (ne ty (iconst_u ty1 x) (imul ty1 y (iconst_u ty1 z))))
-  (if-let 0 (u64_checked_rem x z))
-  (if-let 1 (u64_rem z 2))
-  (ne ty y (iconst ty1 (imm64 (u64_div x z)))))
-(rule
-  (simplify (ne ty (iconst_u ty1 x) (imul ty1 (iconst_u ty1 y) z)))
-  (if-let 0 (u64_checked_rem x y))
-  (if-let 1 (u64_rem y 2))
-  (ne ty z (iconst ty1 (imm64 (u64_div x y)))))
-(rule
-  (simplify (ne ty (imul ty1 x (iconst_u ty1 y)) (iconst_u ty1 z)))
-  (if-let 0 (u64_checked_rem z y))
-  (if-let 1 (u64_rem y 2))
-  (ne ty x (iconst ty1 (imm64 (u64_div z y)))))
-(rule
-  (simplify (ne ty (imul ty1 (iconst_u ty1 x) y) (iconst_u ty1 z)))
-  (if-let 0 (u64_checked_rem z x))
-  (if-let 1 (u64_rem x 2))
-  (ne ty y (iconst ty1 (imm64 (u64_div z x)))))
-
-
-(rule
-  (simplify (eq ty (iconst_u ty1 x) (imul ty1 y (iconst_u ty1 z))))
-  (if-let 0 (u64_checked_rem x z))
-  (if-let 1 (u64_rem z 2))
-  (eq ty y (iconst ty1 (imm64 (u64_div x z)))))
-(rule
-  (simplify (eq ty (iconst_u ty1 x) (imul ty1 (iconst_u ty1 y) z)))
-  (if-let 0 (u64_checked_rem x y))
-  (if-let 1 (u64_rem y 2))
-  (eq ty z (iconst ty1 (imm64 (u64_div x y)))))
-(rule
-  (simplify (eq ty (imul ty1 x (iconst_u ty1 y)) (iconst_u ty1 z)))
-  (if-let 0 (u64_checked_rem z y))
-  (if-let 1 (u64_rem y 2))
-  (eq ty x (iconst ty1 (imm64 (u64_div z y)))))
-(rule
-  (simplify (eq ty (imul ty1 (iconst_u ty1 x) y) (iconst_u ty1 z)))
-  (if-let 0 (u64_checked_rem z x))
-  (if-let 1 (u64_rem x 2))
-  (eq ty y (iconst ty1 (imm64 (u64_div z x)))))
-
-;; (x + y) + (-y) ==> x
-;; and equivalent operand-order variants.
-(rule (simplify (iadd ty (iadd ty x y) (ineg ty y))) x)
-(rule (simplify (iadd ty (ineg ty y) (iadd ty x y))) x)
-(rule (simplify (iadd ty (iadd ty y x) (ineg ty y))) x)
-(rule (simplify (iadd ty (ineg ty y) (iadd ty y x))) x)
-
-;; (x | y) - (x & y)  ==>  (x ^ y)
-(rule (simplify (isub ty (bor ty x y) (band ty x y))) (bxor ty x y))
-(rule (simplify (isub ty (bor ty x y) (band ty y x))) (bxor ty x y))
-(rule (simplify (isub ty (bor ty y x) (band ty x y))) (bxor ty x y))
-(rule (simplify (isub ty (bor ty y x) (band ty y x))) (bxor ty x y))
-
-;; (x + y) - (x & y)  ==>  (x | y)
-(rule (simplify (isub ty (iadd ty x y) (band ty x y))) (bor ty x y))
-(rule (simplify (isub ty (iadd ty x y) (band ty y x))) (bor ty x y))
-(rule (simplify (isub ty (iadd ty y x) (band ty x y))) (bor ty x y))
-(rule (simplify (isub ty (iadd ty y x) (band ty y x))) (bor ty x y))
-
-;; (x | y) - (x ^ y)  ==>  (x & y)
-(rule (simplify (isub ty (bor ty x y) (bxor ty x y))) (band ty x y))
-(rule (simplify (isub ty (bor ty x y) (bxor ty y x))) (band ty x y))
-(rule (simplify (isub ty (bor ty y x) (bxor ty x y))) (band ty x y))
-(rule (simplify (isub ty (bor ty y x) (bxor ty y x))) (band ty x y))
-
-;; (~x) + x == -1
-;; Keep the generic fold for <=64-bit types, and handle i128 explicitly.
-(rule (simplify (iadd (fits_in_64 ty) (bnot ty x) x)) (iconst_s ty -1))
-(rule (simplify (iadd (fits_in_64 ty) x (bnot ty x))) (iconst_s ty -1))
-
-(rule (simplify (iadd $I128 (bnot $I128 x) x)) (sextend $I128 (iconst_s $I64 -1)))
-(rule (simplify (iadd $I128 x (bnot $I128 x))) (sextend $I128 (iconst_s $I64 -1)))