@grain/stdlib 0.4.4 → 0.5.0

package/runtime/unsafe/wasmi32.gr

@@ -1,58 +1,76 @@
 /* grainc-flags --compilation-mode=runtime */
 
 // WebAssembly Memory Instructions
-export primitive load : (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_int32"
-export primitive load8S : (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_8_s_int32"
-export primitive load8U : (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_8_u_int32"
-export primitive load16S : (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_16_s_int32"
-export primitive load16U : (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_16_u_int32"
-export primitive store : (WasmI32, WasmI32, WasmI32) -> Void = "@wasm.store_int32"
-export primitive store8 : (WasmI32, WasmI32, WasmI32) -> Void = "@wasm.store_8_int32"
-export primitive store16 : (WasmI32, WasmI32, WasmI32) -> Void = "@wasm.store_16_int32"
+export primitive load: (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_int32"
+export primitive load8S: (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_8_s_int32"
+export primitive load8U: (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_8_u_int32"
+export primitive load16S: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 = "@wasm.load_16_s_int32"
+export primitive load16U: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 = "@wasm.load_16_u_int32"
+export primitive store: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> Void = "@wasm.store_int32"
+export primitive store8: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> Void = "@wasm.store_8_int32"
+export primitive store16: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> Void = "@wasm.store_16_int32"
 
 // WebAssembly Unary Instructions
-export primitive clz : WasmI32 -> WasmI32 = "@wasm.clz_int32"
-export primitive ctz : WasmI32 -> WasmI32 = "@wasm.ctz_int32"
-export primitive popcnt : WasmI32 -> WasmI32 = "@wasm.popcnt_int32"
-export primitive eqz : WasmI32 -> Bool = "@wasm.eq_z_int32"
+export primitive clz: WasmI32 -> WasmI32 = "@wasm.clz_int32"
+export primitive ctz: WasmI32 -> WasmI32 = "@wasm.ctz_int32"
+export primitive popcnt: WasmI32 -> WasmI32 = "@wasm.popcnt_int32"
+export primitive eqz: WasmI32 -> Bool = "@wasm.eq_z_int32"
 
 // WebAssembly Binary Instructions
-export primitive add : (WasmI32, WasmI32) -> WasmI32 = "@wasm.add_int32"
-export primitive sub : (WasmI32, WasmI32) -> WasmI32 = "@wasm.sub_int32"
-export primitive mul : (WasmI32, WasmI32) -> WasmI32 = "@wasm.mul_int32"
-export primitive divS : (WasmI32, WasmI32) -> WasmI32 = "@wasm.div_s_int32"
-export primitive divU : (WasmI32, WasmI32) -> WasmI32 = "@wasm.div_u_int32"
-export primitive remS : (WasmI32, WasmI32) -> WasmI32 = "@wasm.rem_s_int32"
-export primitive remU : (WasmI32, WasmI32) -> WasmI32 = "@wasm.rem_u_int32"
-export primitive and : (WasmI32, WasmI32) -> WasmI32 = "@wasm.and_int32"
-export primitive or : (WasmI32, WasmI32) -> WasmI32 = "@wasm.or_int32"
-export primitive xor : (WasmI32, WasmI32) -> WasmI32 = "@wasm.xor_int32"
-export primitive shl : (WasmI32, WasmI32) -> WasmI32 = "@wasm.shl_int32"
-export primitive shrS : (WasmI32, WasmI32) -> WasmI32 = "@wasm.shr_s_int32"
-export primitive shrU : (WasmI32, WasmI32) -> WasmI32 = "@wasm.shr_u_int32"
-export primitive rotl : (WasmI32, WasmI32) -> WasmI32 = "@wasm.rot_l_int32"
-export primitive rotr : (WasmI32, WasmI32) -> WasmI32 = "@wasm.rot_r_int32"
-export primitive eq : (WasmI32, WasmI32) -> Bool = "@wasm.eq_int32"
-export primitive ne : (WasmI32, WasmI32) -> Bool = "@wasm.ne_int32"
-export primitive ltS : (WasmI32, WasmI32) -> Bool = "@wasm.lt_s_int32"
-export primitive ltU : (WasmI32, WasmI32) -> Bool = "@wasm.lt_u_int32"
-export primitive leS : (WasmI32, WasmI32) -> Bool = "@wasm.le_s_int32"
-export primitive leU : (WasmI32, WasmI32) -> Bool = "@wasm.le_u_int32"
-export primitive gtS : (WasmI32, WasmI32) -> Bool = "@wasm.gt_s_int32"
-export primitive gtU : (WasmI32, WasmI32) -> Bool = "@wasm.gt_u_int32"
-export primitive geS : (WasmI32, WasmI32) -> Bool = "@wasm.ge_s_int32"
-export primitive geU : (WasmI32, WasmI32) -> Bool = "@wasm.ge_u_int32"
+export primitive add: (WasmI32, WasmI32) -> WasmI32 = "@wasm.add_int32"
+export primitive sub: (WasmI32, WasmI32) -> WasmI32 = "@wasm.sub_int32"
+export primitive mul: (WasmI32, WasmI32) -> WasmI32 = "@wasm.mul_int32"
+export primitive divS: (WasmI32, WasmI32) -> WasmI32 = "@wasm.div_s_int32"
+export primitive divU: (WasmI32, WasmI32) -> WasmI32 = "@wasm.div_u_int32"
+export primitive remS: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rem_s_int32"
+export primitive remU: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rem_u_int32"
+export primitive and: (WasmI32, WasmI32) -> WasmI32 = "@wasm.and_int32"
+export primitive or: (WasmI32, WasmI32) -> WasmI32 = "@wasm.or_int32"
+export primitive xor: (WasmI32, WasmI32) -> WasmI32 = "@wasm.xor_int32"
+export primitive shl: (WasmI32, WasmI32) -> WasmI32 = "@wasm.shl_int32"
+export primitive shrS: (WasmI32, WasmI32) -> WasmI32 = "@wasm.shr_s_int32"
+export primitive shrU: (WasmI32, WasmI32) -> WasmI32 = "@wasm.shr_u_int32"
+export primitive rotl: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rot_l_int32"
+export primitive rotr: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rot_r_int32"
+export primitive eq: (WasmI32, WasmI32) -> Bool = "@wasm.eq_int32"
+export primitive ne: (WasmI32, WasmI32) -> Bool = "@wasm.ne_int32"
+export primitive ltS: (WasmI32, WasmI32) -> Bool = "@wasm.lt_s_int32"
+export primitive ltU: (WasmI32, WasmI32) -> Bool = "@wasm.lt_u_int32"
+export primitive leS: (WasmI32, WasmI32) -> Bool = "@wasm.le_s_int32"
+export primitive leU: (WasmI32, WasmI32) -> Bool = "@wasm.le_u_int32"
+export primitive gtS: (WasmI32, WasmI32) -> Bool = "@wasm.gt_s_int32"
+export primitive gtU: (WasmI32, WasmI32) -> Bool = "@wasm.gt_u_int32"
+export primitive geS: (WasmI32, WasmI32) -> Bool = "@wasm.ge_s_int32"
+export primitive geU: (WasmI32, WasmI32) -> Bool = "@wasm.ge_u_int32"
 
 // WebAssembly Conversion Instructions
-export primitive wrapI64 : WasmI64 -> WasmI32 = "@wasm.wrap_int64"
-export primitive truncF32S : WasmF32 -> WasmI32 = "@wasm.trunc_s_float32_to_int32"
-export primitive truncF32U : WasmF32 -> WasmI32 = "@wasm.trunc_u_float32_to_int32"
-export primitive truncF64S : WasmF64 -> WasmI32 = "@wasm.trunc_s_float64_to_int32"
-export primitive truncF64U : WasmF64 -> WasmI32 = "@wasm.trunc_u_float64_to_int32"
-export primitive reinterpretF32 : WasmF32 -> WasmI32 = "@wasm.reinterpret_float32"
-export primitive extendS8 : WasmI32 -> WasmI32 = "@wasm.extend_s8_int32"
-export primitive extendS16 : WasmI32 -> WasmI32 = "@wasm.extend_s16_int32"
+export primitive wrapI64: WasmI64 -> WasmI32 = "@wasm.wrap_int64"
+export primitive truncF32S: WasmF32 -> WasmI32 = "@wasm.trunc_s_float32_to_int32"
+export primitive truncF32U: WasmF32 -> WasmI32 = "@wasm.trunc_u_float32_to_int32"
+export primitive truncF64S: WasmF64 -> WasmI32 = "@wasm.trunc_s_float64_to_int32"
+export primitive truncF64U: WasmF64 -> WasmI32 = "@wasm.trunc_u_float64_to_int32"
+export primitive reinterpretF32: WasmF32 -> WasmI32 = "@wasm.reinterpret_float32"
+export primitive extendS8: WasmI32 -> WasmI32 = "@wasm.extend_s8_int32"
+export primitive extendS16: WasmI32 -> WasmI32 = "@wasm.extend_s16_int32"
 
 // Grain Conversions
-export primitive fromGrain : a -> WasmI32 = "@wasm.fromGrain"
-export primitive toGrain : WasmI32 -> a = "@wasm.toGrain"
+export primitive fromGrain: a -> WasmI32 = "@wasm.fromGrain"
+export primitive toGrain: WasmI32 -> a = "@wasm.toGrain"

package/runtime/unsafe/wasmi32.md

@@ -0,0 +1,282 @@
+### Wasmi32.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load8S**
+
+```grain
+load8S : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load8U**
+
+```grain
+load8U : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load16S**
+
+```grain
+load16S : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load16U**
+
+```grain
+load16U : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**store**
+
+```grain
+store : (WasmI32, WasmI32, WasmI32) -> Void
+```
+
+### Wasmi32.**store8**
+
+```grain
+store8 : (WasmI32, WasmI32, WasmI32) -> Void
+```
+
+### Wasmi32.**store16**
+
+```grain
+store16 : (WasmI32, WasmI32, WasmI32) -> Void
+```
+
+### Wasmi32.**clz**
+
+```grain
+clz : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**ctz**
+
+```grain
+ctz : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**popcnt**
+
+```grain
+popcnt : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**eqz**
+
+```grain
+eqz : WasmI32 -> Bool
+```
+
+### Wasmi32.**add**
+
+```grain
+add : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**sub**
+
+```grain
+sub : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**mul**
+
+```grain
+mul : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**divS**
+
+```grain
+divS : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**divU**
+
+```grain
+divU : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**remS**
+
+```grain
+remS : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**remU**
+
+```grain
+remU : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**and**
+
+```grain
+and : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**or**
+
+```grain
+or : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**xor**
+
+```grain
+xor : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**shl**
+
+```grain
+shl : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**shrS**
+
+```grain
+shrS : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**shrU**
+
+```grain
+shrU : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**rotl**
+
+```grain
+rotl : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**rotr**
+
+```grain
+rotr : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**eq**
+
+```grain
+eq : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**ne**
+
+```grain
+ne : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**ltS**
+
+```grain
+ltS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**ltU**
+
+```grain
+ltU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**leS**
+
+```grain
+leS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**leU**
+
+```grain
+leU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**gtS**
+
+```grain
+gtS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**gtU**
+
+```grain
+gtU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**geS**
+
+```grain
+geS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**geU**
+
+```grain
+geU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**wrapI64**
+
+```grain
+wrapI64 : WasmI64 -> WasmI32
+```
+
+### Wasmi32.**truncF32S**
+
+```grain
+truncF32S : WasmF32 -> WasmI32
+```
+
+### Wasmi32.**truncF32U**
+
+```grain
+truncF32U : WasmF32 -> WasmI32
+```
+
+### Wasmi32.**truncF64S**
+
+```grain
+truncF64S : WasmF64 -> WasmI32
+```
+
+### Wasmi32.**truncF64U**
+
+```grain
+truncF64U : WasmF64 -> WasmI32
+```
+
+### Wasmi32.**reinterpretF32**
+
+```grain
+reinterpretF32 : WasmF32 -> WasmI32
+```
+
+### Wasmi32.**extendS8**
+
+```grain
+extendS8 : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**extendS16**
+
+```grain
+extendS16 : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**fromGrain**
+
+```grain
+fromGrain : a -> WasmI32
+```
+
+### Wasmi32.**toGrain**
+
+```grain
+toGrain : WasmI32 -> a
+```
+

package/runtime/unsafe/wasmi64.gr

@@ -1,59 +1,87 @@
 /* grainc-flags --compilation-mode=runtime */
 
 // WebAssembly Memory Instructions
-export primitive load : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_int64"
-export primitive load8S : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_8_s_int64"
-export primitive load8U : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_8_u_int64"
-export primitive load16S : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_16_s_int64"
-export primitive load16U : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_16_u_int64"
-export primitive load32S : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_32_s_int64"
-export primitive load32U : (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_32_u_int64"
-export primitive store : (WasmI32, WasmI64, WasmI32) -> Void = "@wasm.store_int64"
-export primitive store8 : (WasmI32, WasmI64, WasmI32) -> Void = "@wasm.store_8_int64"
-export primitive store16 : (WasmI32, WasmI64, WasmI32) -> Void = "@wasm.store_16_int64"
-export primitive store32 : (WasmI32, WasmI64, WasmI32) -> Void = "@wasm.store_32_int64"
+export primitive load: (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_int64"
+export primitive load8S: (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_8_s_int64"
+export primitive load8U: (WasmI32, WasmI32) -> WasmI64 = "@wasm.load_8_u_int64"
+export primitive load16S: (
+  WasmI32,
+  WasmI32,
+) -> WasmI64 = "@wasm.load_16_s_int64"
+export primitive load16U: (
+  WasmI32,
+  WasmI32,
+) -> WasmI64 = "@wasm.load_16_u_int64"
+export primitive load32S: (
+  WasmI32,
+  WasmI32,
+) -> WasmI64 = "@wasm.load_32_s_int64"
+export primitive load32U: (
+  WasmI32,
+  WasmI32,
+) -> WasmI64 = "@wasm.load_32_u_int64"
+export primitive store: (
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> Void = "@wasm.store_int64"
+export primitive store8: (
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> Void = "@wasm.store_8_int64"
+export primitive store16: (
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> Void = "@wasm.store_16_int64"
+export primitive store32: (
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> Void = "@wasm.store_32_int64"
 
 // WebAssembly Unary Instructions
-export primitive clz : WasmI64 -> WasmI64 = "@wasm.clz_int64"
-export primitive ctz : WasmI64 -> WasmI64 = "@wasm.ctz_int64"
-export primitive popcnt : WasmI64 -> WasmI64 = "@wasm.popcnt_int64"
-export primitive eqz : WasmI64 -> Bool = "@wasm.eq_z_int64"
+export primitive clz: WasmI64 -> WasmI64 = "@wasm.clz_int64"
+export primitive ctz: WasmI64 -> WasmI64 = "@wasm.ctz_int64"
+export primitive popcnt: WasmI64 -> WasmI64 = "@wasm.popcnt_int64"
+export primitive eqz: WasmI64 -> Bool = "@wasm.eq_z_int64"
 
 // WebAssembly Binary Instructions
-export primitive add : (WasmI64, WasmI64) -> WasmI64 = "@wasm.add_int64"
-export primitive sub : (WasmI64, WasmI64) -> WasmI64 = "@wasm.sub_int64"
-export primitive mul : (WasmI64, WasmI64) -> WasmI64 = "@wasm.mul_int64"
-export primitive divS : (WasmI64, WasmI64) -> WasmI64 = "@wasm.div_s_int64"
-export primitive divU : (WasmI64, WasmI64) -> WasmI64 = "@wasm.div_u_int64"
-export primitive remS : (WasmI64, WasmI64) -> WasmI64 = "@wasm.rem_s_int64"
-export primitive remU : (WasmI64, WasmI64) -> WasmI64 = "@wasm.rem_u_int64"
-export primitive and : (WasmI64, WasmI64) -> WasmI64 = "@wasm.and_int64"
-export primitive or : (WasmI64, WasmI64) -> WasmI64 = "@wasm.or_int64"
-export primitive xor : (WasmI64, WasmI64) -> WasmI64 = "@wasm.xor_int64"
-export primitive shl : (WasmI64, WasmI64) -> WasmI64 = "@wasm.shl_int64"
-export primitive shrU : (WasmI64, WasmI64) -> WasmI64 = "@wasm.shr_u_int64"
-export primitive shrS : (WasmI64, WasmI64) -> WasmI64 = "@wasm.shr_s_int64"
-export primitive rotl : (WasmI64, WasmI64) -> WasmI64 = "@wasm.rot_l_int64"
-export primitive rotr : (WasmI64, WasmI64) -> WasmI64 = "@wasm.rot_r_int64"
-export primitive eq : (WasmI64, WasmI64) -> Bool = "@wasm.eq_int64"
-export primitive ne : (WasmI64, WasmI64) -> Bool = "@wasm.ne_int64"
-export primitive ltS : (WasmI64, WasmI64) -> Bool = "@wasm.lt_s_int64"
-export primitive ltU : (WasmI64, WasmI64) -> Bool = "@wasm.lt_u_int64"
-export primitive leS : (WasmI64, WasmI64) -> Bool = "@wasm.le_s_int64"
-export primitive leU : (WasmI64, WasmI64) -> Bool = "@wasm.le_u_int64"
-export primitive gtS : (WasmI64, WasmI64) -> Bool = "@wasm.gt_s_int64"
-export primitive gtU : (WasmI64, WasmI64) -> Bool = "@wasm.gt_u_int64"
-export primitive geS : (WasmI64, WasmI64) -> Bool = "@wasm.ge_s_int64"
-export primitive geU : (WasmI64, WasmI64) -> Bool = "@wasm.ge_u_int64"
+export primitive add: (WasmI64, WasmI64) -> WasmI64 = "@wasm.add_int64"
+export primitive sub: (WasmI64, WasmI64) -> WasmI64 = "@wasm.sub_int64"
+export primitive mul: (WasmI64, WasmI64) -> WasmI64 = "@wasm.mul_int64"
+export primitive divS: (WasmI64, WasmI64) -> WasmI64 = "@wasm.div_s_int64"
+export primitive divU: (WasmI64, WasmI64) -> WasmI64 = "@wasm.div_u_int64"
+export primitive remS: (WasmI64, WasmI64) -> WasmI64 = "@wasm.rem_s_int64"
+export primitive remU: (WasmI64, WasmI64) -> WasmI64 = "@wasm.rem_u_int64"
+export primitive and: (WasmI64, WasmI64) -> WasmI64 = "@wasm.and_int64"
+export primitive or: (WasmI64, WasmI64) -> WasmI64 = "@wasm.or_int64"
+export primitive xor: (WasmI64, WasmI64) -> WasmI64 = "@wasm.xor_int64"
+export primitive shl: (WasmI64, WasmI64) -> WasmI64 = "@wasm.shl_int64"
+export primitive shrU: (WasmI64, WasmI64) -> WasmI64 = "@wasm.shr_u_int64"
+export primitive shrS: (WasmI64, WasmI64) -> WasmI64 = "@wasm.shr_s_int64"
+export primitive rotl: (WasmI64, WasmI64) -> WasmI64 = "@wasm.rot_l_int64"
+export primitive rotr: (WasmI64, WasmI64) -> WasmI64 = "@wasm.rot_r_int64"
+export primitive eq: (WasmI64, WasmI64) -> Bool = "@wasm.eq_int64"
+export primitive ne: (WasmI64, WasmI64) -> Bool = "@wasm.ne_int64"
+export primitive ltS: (WasmI64, WasmI64) -> Bool = "@wasm.lt_s_int64"
+export primitive ltU: (WasmI64, WasmI64) -> Bool = "@wasm.lt_u_int64"
+export primitive leS: (WasmI64, WasmI64) -> Bool = "@wasm.le_s_int64"
+export primitive leU: (WasmI64, WasmI64) -> Bool = "@wasm.le_u_int64"
+export primitive gtS: (WasmI64, WasmI64) -> Bool = "@wasm.gt_s_int64"
+export primitive gtU: (WasmI64, WasmI64) -> Bool = "@wasm.gt_u_int64"
+export primitive geS: (WasmI64, WasmI64) -> Bool = "@wasm.ge_s_int64"
+export primitive geU: (WasmI64, WasmI64) -> Bool = "@wasm.ge_u_int64"
 
 // WebAssembly Conversion instructions
-export primitive extendI32S : WasmI32 -> WasmI64 = "@wasm.extend_s_int32"
-export primitive extendI32U : WasmI32 -> WasmI64 = "@wasm.extend_u_int32"
-export primitive truncF32S : WasmF32 -> WasmI64 = "@wasm.trunc_s_float32_to_int64"
-export primitive truncF32U : WasmF32 -> WasmI64 = "@wasm.trunc_u_float32_to_int64"
-export primitive truncF64S : WasmF64 -> WasmI64 = "@wasm.trunc_s_float64_to_int64"
-export primitive truncF64U : WasmF64 -> WasmI64 = "@wasm.trunc_u_float64_to_int64"
-export primitive reinterpretF64 : WasmF64 -> WasmI64 = "@wasm.reinterpret_float64"
-export primitive extendS8 : WasmI64 -> WasmI64 = "@wasm.extend_s8_int64"
-export primitive extendS16 : WasmI64 -> WasmI64 = "@wasm.extend_s16_int64"
-export primitive extendS32 : WasmI64 -> WasmI64 = "@wasm.extend_s32_int64"
+export primitive extendI32S: WasmI32 -> WasmI64 = "@wasm.extend_s_int32"
+export primitive extendI32U: WasmI32 -> WasmI64 = "@wasm.extend_u_int32"
+export primitive truncF32S: WasmF32 -> WasmI64 = "@wasm.trunc_s_float32_to_int64"
+export primitive truncF32U: WasmF32 -> WasmI64 = "@wasm.trunc_u_float32_to_int64"
+export primitive truncF64S: WasmF64 -> WasmI64 = "@wasm.trunc_s_float64_to_int64"
+export primitive truncF64U: WasmF64 -> WasmI64 = "@wasm.trunc_u_float64_to_int64"
+export primitive reinterpretF64: WasmF64 -> WasmI64 = "@wasm.reinterpret_float64"
+export primitive extendS8: WasmI64 -> WasmI64 = "@wasm.extend_s8_int64"
+export primitive extendS16: WasmI64 -> WasmI64 = "@wasm.extend_s16_int64"
+export primitive extendS32: WasmI64 -> WasmI64 = "@wasm.extend_s32_int64"