summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/i64-shifts.2asm.js115
-rw-r--r--test/wasm2asm/i64-shifts.wast81
2 files changed, 196 insertions, 0 deletions
diff --git a/test/i64-shifts.2asm.js b/test/i64-shifts.2asm.js
new file mode 100644
index 000000000..aa2c53512
--- /dev/null
+++ b/test/i64-shifts.2asm.js
@@ -0,0 +1,115 @@
+function asmFunc(global, env, buffer) {
+ "use asm";
+ var HEAP8 = new global.Int8Array(buffer);
+ var HEAP16 = new global.Int16Array(buffer);
+ var HEAP32 = new global.Int32Array(buffer);
+ var HEAPU8 = new global.Uint8Array(buffer);
+ var HEAPU16 = new global.Uint16Array(buffer);
+ var HEAPU32 = new global.Uint32Array(buffer);
+ var HEAPF32 = new global.Float32Array(buffer);
+ var HEAPF64 = new global.Float64Array(buffer);
+ var Math_imul = global.Math.imul;
+ var Math_fround = global.Math.fround;
+ var Math_abs = global.Math.abs;
+ var Math_clz32 = global.Math.clz32;
+ var Math_min = global.Math.min;
+ var Math_max = global.Math.max;
+ var i64toi32_i32$HIGH_BITS = 0;
+ function dummy() {
+
+ }
+
+ function $1($0, $0$hi, $1, $1$hi, $2, $2$hi) {
+ $0 = $0 | 0;
+ $0$hi = $0$hi | 0;
+ $1 = $1 | 0;
+ $1$hi = $1$hi | 0;
+ $2 = $2 | 0;
+ $2$hi = $2$hi | 0;
+ var i64toi32_i32$2 = 0, i64toi32_i32$4 = 0, i64toi32_i32$3 = 0, i64toi32_i32$0 = 0, i64toi32_i32$1 = 0, $11 = 0;
+ i64toi32_i32$0 = $0$hi;
+ i64toi32_i32$2 = $0;
+ i64toi32_i32$1 = $1$hi;
+ i64toi32_i32$3 = $1;
+ i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
+ if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+ i64toi32_i32$1 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+ $11 = 0;
+ } else {
+ i64toi32_i32$1 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$0 << i64toi32_i32$4 | 0) | 0;
+ $11 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+ }
+ i64toi32_i32$0 = $11;
+ i64toi32_i32$2 = $2$hi;
+ i64toi32_i32$3 = $2;
+ return (i64toi32_i32$0 | 0) == (i64toi32_i32$3 | 0) & (i64toi32_i32$1 | 0) == (i64toi32_i32$2 | 0) | 0 | 0;
+ }
+
+ function $2($0, $0$hi, $1, $1$hi, $2, $2$hi) {
+ $0 = $0 | 0;
+ $0$hi = $0$hi | 0;
+ $1 = $1 | 0;
+ $1$hi = $1$hi | 0;
+ $2 = $2 | 0;
+ $2$hi = $2$hi | 0;
+ var i64toi32_i32$0 = 0, i64toi32_i32$4 = 0, i64toi32_i32$3 = 0, i64toi32_i32$2 = 0, i64toi32_i32$1 = 0, $11 = 0;
+ i64toi32_i32$0 = $0$hi;
+ i64toi32_i32$2 = $0;
+ i64toi32_i32$1 = $1$hi;
+ i64toi32_i32$3 = $1;
+ i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
+ if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+ i64toi32_i32$1 = i64toi32_i32$0 >> 31 | 0;
+ $11 = i64toi32_i32$0 >> i64toi32_i32$4 | 0;
+ } else {
+ i64toi32_i32$1 = i64toi32_i32$0 >> i64toi32_i32$4 | 0;
+ $11 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$0 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$2 >>> i64toi32_i32$4 | 0) | 0;
+ }
+ i64toi32_i32$0 = $11;
+ i64toi32_i32$2 = $2$hi;
+ i64toi32_i32$3 = $2;
+ return (i64toi32_i32$0 | 0) == (i64toi32_i32$3 | 0) & (i64toi32_i32$1 | 0) == (i64toi32_i32$2 | 0) | 0 | 0;
+ }
+
+ function __wasm_ctz_i32(x) {
+ x = x | 0;
+ var $1 = 0;
+ if ((x | 0) == (0 | 0)) $1 = 32; else $1 = 31 - Math_clz32(x ^ (x - 1 | 0) | 0) | 0;
+ return $1 | 0;
+ }
+
+ function __wasm_popcnt_i32(x) {
+ x = x | 0;
+ var count = 0, $2 = 0;
+ count = 0;
+ b : {
+ l : do {
+ $2 = count;
+ if ((x | 0) == (0 | 0)) break b;
+ x = x & (x - 1 | 0) | 0;
+ count = count + 1 | 0;
+ continue l;
+ break l;
+ } while (1);
+ };
+ return $2 | 0;
+ }
+
+ function __wasm_rotl_i32(x, k) {
+ x = x | 0;
+ k = k | 0;
+ return ((4294967295 >>> (k & 31 | 0) | 0) & x | 0) << (k & 31 | 0) | 0 | (((4294967295 << (32 - (k & 31 | 0) | 0) | 0) & x | 0) >>> (32 - (k & 31 | 0) | 0) | 0) | 0 | 0;
+ }
+
+ function __wasm_rotr_i32(x, k) {
+ x = x | 0;
+ k = k | 0;
+ return ((4294967295 << (k & 31 | 0) | 0) & x | 0) >>> (k & 31 | 0) | 0 | (((4294967295 >>> (32 - (k & 31 | 0) | 0) | 0) & x | 0) << (32 - (k & 31 | 0) | 0) | 0) | 0 | 0;
+ }
+
+ return {
+ shl_i64: $1,
+ shr_i64: $2
+ };
+}
+
diff --git a/test/wasm2asm/i64-shifts.wast b/test/wasm2asm/i64-shifts.wast
new file mode 100644
index 000000000..d13c700ef
--- /dev/null
+++ b/test/wasm2asm/i64-shifts.wast
@@ -0,0 +1,81 @@
+;; Testing i64 shifts
+
+(module
+ (func $dummy)
+
+ (func (export "shl_i64") (param $0 i64) (param $1 i64) (param $2 i64) (result i32)
+ (i64.eq (i64.shl (get_local $0) (get_local $1)) (get_local $2)))
+ (func (export "shr_i64") (param $0 i64) (param $1 i64) (param $2 i64) (result i32)
+ (i64.eq (i64.shr_s (get_local $0) (get_local $1)) (get_local $2)))
+)
+
+(assert_return (invoke "shl_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0)
+ (i32.const 1) (i32.const 0)
+ (i32.const 2) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0)
+ (i32.const 32) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0)
+ (i32.const 63) (i32.const 0)
+ (i32.const 0) (i32.const 2147483648))
+ (i32.const 1))
+(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0)
+ (i32.const 64) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+
+(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0)
+ (i32.const 32) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 1)
+ (i32.const 32) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2)
+ (i32.const 33) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2147483648)
+ (i32.const 32) (i32.const 0)
+ (i32.const 2147483648) (i32.const -1))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2147483648)
+ (i32.const 33) (i32.const 0)
+ (i32.const 3221225472) (i32.const -1))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2147483648)
+ (i32.const 63) (i32.const 0)
+ (i32.const -1) (i32.const -1))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0)
+ (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+
+(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0)
+ (i32.const 2) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 2) (i32.const 1)
+ (i32.const 1) (i32.const 0)
+ (i32.const -2147483647) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "shr_i64" (i32.const 2) (i32.const 1)
+ (i32.const 2) (i32.const 0)
+ (i32.const 1073741824) (i32.const 0))
+ (i32.const 1))
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 17:03:57 +0000