[Cranelift] update rules to use imm64 ops

Author: bongjunj

cranelift/codegen/src/opts/cprop.isle

@@ -12,22 +12,16 @@
       (subsume (iconst ty (imm64_ctz ty kx))))
 
 (rule (simplify
-       (iadd (fits_in_64 ty)
-             (iconst ty (u64_from_imm64 k1))
-             (iconst ty (u64_from_imm64 k2))))
-      (subsume (iconst ty (imm64_masked ty (u64_wrapping_add k1 k2)))))
+      (iadd (fits_in_64 ty) (iconst ty k1) (iconst ty k2)))
+      (subsume (iconst ty (imm64_add ty k1 k2))))
 
 (rule (simplify
-       (isub (fits_in_64 ty)
-             (iconst ty (u64_from_imm64 k1))
-             (iconst ty (u64_from_imm64 k2))))
-      (subsume (iconst ty (imm64_masked ty (u64_wrapping_sub k1 k2)))))
+      (iadd (fits_in_64 ty) (iconst ty k1) (iconst ty k2)))
+      (subsume (iconst ty (imm64_sub ty k1 k2))))
 
 (rule (simplify
-       (imul (fits_in_64 ty)
-             (iconst ty (u64_from_imm64 k1))
-             (iconst ty (u64_from_imm64 k2))))
-      (subsume (iconst ty (imm64_masked ty (u64_wrapping_mul k1 k2)))))
+      (iadd (fits_in_64 ty) (iconst ty k1) (iconst ty k2)))
+      (subsume (iconst ty (imm64_mul ty k1 k2))))
 
 (rule (simplify_skeleton
        (sdiv (iconst ty k1)