[Cranelift] add imm64 operations

Author: bongjunj

cranelift/codegen/src/isle_prelude.rs

@@ -89,6 +89,54 @@ macro_rules! isle_common_prelude_methods {
             Some(Imm64::new(result).mask_to_width(type_width))
         }
 
+        #[inline]
+        fn imm64_add(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new(x.bits().wrapping_add(y.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_sub(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new(x.bits().wrapping_sub(y.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_mul(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new(x.bits().wrapping_mul(y.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_and(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new((x.bits() & y.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_or(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new((x.bits() | y.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_xor(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new((x.bits() ^ y.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_not(&mut self, ty: Type, x: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new((!x.bits()) & ty_mask)
+        }
+
+        #[inline]
+        fn imm64_neg(&mut self, ty: Type, x: Imm64) -> Imm64 {
+            let ty_mask = self.ty_mask(ty) as i64;
+            Imm64::new(x.bits().wrapping_neg() & ty_mask)
+        }
+
         #[inline]
         fn imm64_shl(&mut self, ty: Type, x: Imm64, y: Imm64) -> Imm64 {
             // Mask off any excess shift bits.

cranelift/codegen/src/prelude.isle

@@ -76,6 +76,30 @@
 (decl pure partial imm64_srem (Type Imm64 Imm64) Imm64)
 (extern constructor imm64_srem imm64_srem)
 
+(decl pure imm64_add (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_add imm64_add)
+
+(decl pure imm64_sub (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_sub imm64_sub)
+
+(decl pure imm64_mul (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_mul imm64_mul)
+
+(decl pure imm64_and (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_and imm64_and)
+
+(decl pure imm64_or (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_or imm64_or)
+
+(decl pure imm64_xor (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_xor imm64_xor)
+
+(decl pure imm64_not (Type Imm64) Imm64)
+(extern constructor imm64_not imm64_not)
+
+(decl pure imm64_neg (Type Imm64) Imm64)
+(extern constructor imm64_neg imm64_neg)
+
 (decl pure imm64_shl (Type Imm64 Imm64) Imm64)
 (extern constructor imm64_shl imm64_shl)