[Cranelift] implement udiv

Author: bongjunj

cranelift/codegen/src/isle_prelude.rs

@@ -74,6 +74,17 @@ macro_rules! isle_common_prelude_methods {
             Some(Imm64::new(result).mask_to_width(type_width))
         }
 
+        #[inline]
+        fn imm64_udiv(&mut self, ty: Type, x: Imm64, y: Imm64) -> Option<Imm64> {
+            let type_width = ty.bits();
+            assert!(type_width <= 64);
+            let mask = self.ty_mask(ty);
+            let x = (x.bits() as u64) & mask;
+            let y = (y.bits() as u64) & mask;
+            let result = x.checked_div(y)?;
+            Some(Imm64::new(result as i64).mask_to_width(type_width))
+        }
+
         #[inline]
         fn imm64_srem(&mut self, ty: Type, x: Imm64, y: Imm64) -> Option<Imm64> {
             // Sign extend `x` and `y`.

cranelift/codegen/src/prelude.isle

@@ -73,6 +73,9 @@
 (decl pure partial imm64_sdiv (Type Imm64 Imm64) Imm64)
 (extern constructor imm64_sdiv imm64_sdiv)
 
+(decl pure partial imm64_udiv (Type Imm64 Imm64) Imm64)
+(extern constructor imm64_udiv imm64_udiv)
+
 (decl pure partial imm64_srem (Type Imm64 Imm64) Imm64)
 (extern constructor imm64_srem imm64_srem)