add driver mapping int32 to i32

drivers/rust.drv

@@ -44,3 +44,35 @@ module ref.Ref
   syntax val (!_) "%1"
   syntax val (:=) "%1 = %2"
 end
+
+module mach.int.Int32
+  syntax type     int32     "i32"
+
+  syntax literal   int32    "%1"
+  syntax converter of_int   "%1"
+
+(*
+  (* TODO bigint *)
+  syntax val of_int "Z.to_int %1"
+  syntax val to_int "Z.of_int %1"
+
+  syntax constant min_int32 "Z.of_int min_int"
+  syntax constant max_int32 "Z.of_int max_int"
+*)
+(* "std::i32::MIN" *)
+(* "std::i32::MAX" *)
+(* i32::min_value() *)
+(* i32::max_value() *)
+  syntax val      ( + )     "%1 + %2"
+  syntax val      ( - )     "%1 - %2"
+  syntax val      (-_)      "- %1"
+  syntax val      ( * )     "%1 * %2"
+  syntax val      ( / )     "%1 / %2"
+  syntax val      ( % )     "%1 % %2"
+  syntax val      (=)       "%1 == %2"
+  syntax val      (<=)      "%1 <= %2"
+  syntax val      (<)       "%1 < %2"
+  syntax val      (>=)      "%1 >= %2"
+  syntax val      (>)       "%1 > %2"
+
+end