diff options
Diffstat (limited to 'test/spec/int_exprs.wast')
| -rw-r--r-- | test/spec/int_exprs.wast | 108 |
1 files changed, 54 insertions, 54 deletions
diff --git a/test/spec/int_exprs.wast b/test/spec/int_exprs.wast index d8272fa7f..aef0985f6 100644 --- a/test/spec/int_exprs.wast +++ b/test/spec/int_exprs.wast @@ -5,14 +5,14 @@ (module (func (export "i32.no_fold_cmp_s_offset") (param $x i32) (param $y i32) (result i32) - (i32.lt_s (i32.add (get_local $x) (i32.const 1)) (i32.add (get_local $y) (i32.const 1)))) + (i32.lt_s (i32.add (local.get $x) (i32.const 1)) (i32.add (local.get $y) (i32.const 1)))) (func (export "i32.no_fold_cmp_u_offset") (param $x i32) (param $y i32) (result i32) - (i32.lt_u (i32.add (get_local $x) (i32.const 1)) (i32.add (get_local $y) (i32.const 1)))) + (i32.lt_u (i32.add (local.get $x) (i32.const 1)) (i32.add (local.get $y) (i32.const 1)))) (func (export "i64.no_fold_cmp_s_offset") (param $x i64) (param $y i64) (result i32) - (i64.lt_s (i64.add (get_local $x) (i64.const 1)) (i64.add (get_local $y) (i64.const 1)))) + (i64.lt_s (i64.add (local.get $x) (i64.const 1)) (i64.add (local.get $y) (i64.const 1)))) (func (export "i64.no_fold_cmp_u_offset") (param $x i64) (param $y i64) (result i32) - (i64.lt_u (i64.add (get_local $x) (i64.const 1)) (i64.add (get_local $y) (i64.const 1)))) + (i64.lt_u (i64.add (local.get $x) (i64.const 1)) (i64.add (local.get $y) (i64.const 1)))) ) (assert_return (invoke "i32.no_fold_cmp_s_offset" (i32.const 0x7fffffff) (i32.const 0)) (i32.const 1)) @@ -24,7 +24,7 @@ (module (func (export "i64.no_fold_wrap_extend_s") (param $x i64) (result i64) - (i64.extend_s/i32 (i32.wrap/i64 (get_local $x)))) + (i64.extend_i32_s (i32.wrap_i64 (local.get $x)))) ) (assert_return (invoke "i64.no_fold_wrap_extend_s" (i64.const 0x0010203040506070)) (i64.const 0x0000000040506070)) @@ -34,7 +34,7 @@ (module (func (export "i64.no_fold_wrap_extend_u") (param $x i64) (result i64) - (i64.extend_u/i32 (i32.wrap/i64 (get_local $x)))) + (i64.extend_i32_u (i32.wrap_i64 (local.get $x)))) ) (assert_return (invoke "i64.no_fold_wrap_extend_u" (i64.const 0x0010203040506070)) (i64.const 0x0000000040506070)) @@ -43,14 +43,14 @@ (module (func (export "i32.no_fold_shl_shr_s") (param $x i32) (result i32) - (i32.shr_s (i32.shl (get_local $x) (i32.const 1)) (i32.const 1))) + (i32.shr_s (i32.shl (local.get $x) (i32.const 1)) (i32.const 1))) (func (export "i32.no_fold_shl_shr_u") (param $x i32) (result i32) - (i32.shr_u (i32.shl (get_local $x) (i32.const 1)) (i32.const 1))) + (i32.shr_u (i32.shl (local.get $x) (i32.const 1)) (i32.const 1))) (func (export "i64.no_fold_shl_shr_s") (param $x i64) (result i64) - (i64.shr_s (i64.shl (get_local $x) (i64.const 1)) (i64.const 1))) + (i64.shr_s (i64.shl (local.get $x) (i64.const 1)) (i64.const 1))) (func (export "i64.no_fold_shl_shr_u") (param $x i64) (result i64) - (i64.shr_u (i64.shl (get_local $x) (i64.const 1)) (i64.const 1))) + (i64.shr_u (i64.shl (local.get $x) (i64.const 1)) (i64.const 1))) ) (assert_return (invoke "i32.no_fold_shl_shr_s" (i32.const 0x80000000)) (i32.const 0)) @@ -62,14 +62,14 @@ (module (func (export "i32.no_fold_shr_s_shl") (param $x i32) (result i32) - (i32.shl (i32.shr_s (get_local $x) (i32.const 1)) (i32.const 1))) + (i32.shl (i32.shr_s (local.get $x) (i32.const 1)) (i32.const 1))) (func (export "i32.no_fold_shr_u_shl") (param $x i32) (result i32) - (i32.shl (i32.shr_u (get_local $x) (i32.const 1)) (i32.const 1))) + (i32.shl (i32.shr_u (local.get $x) (i32.const 1)) (i32.const 1))) (func (export "i64.no_fold_shr_s_shl") (param $x i64) (result i64) - (i64.shl (i64.shr_s (get_local $x) (i64.const 1)) (i64.const 1))) + (i64.shl (i64.shr_s (local.get $x) (i64.const 1)) (i64.const 1))) (func (export "i64.no_fold_shr_u_shl") (param $x i64) (result i64) - (i64.shl (i64.shr_u (get_local $x) (i64.const 1)) (i64.const 1))) + (i64.shl (i64.shr_u (local.get $x) (i64.const 1)) (i64.const 1))) ) (assert_return (invoke "i32.no_fold_shr_s_shl" (i32.const 1)) (i32.const 0)) @@ -81,14 +81,14 @@ (module (func (export "i32.no_fold_div_s_mul") (param $x i32) (result i32) - (i32.mul (i32.div_s (get_local $x) (i32.const 6)) (i32.const 6))) + (i32.mul (i32.div_s (local.get $x) (i32.const 6)) (i32.const 6))) (func (export "i32.no_fold_div_u_mul") (param $x i32) (result i32) - (i32.mul (i32.div_u (get_local $x) (i32.const 6)) (i32.const 6))) + (i32.mul (i32.div_u (local.get $x) (i32.const 6)) (i32.const 6))) (func (export "i64.no_fold_div_s_mul") (param $x i64) (result i64) - (i64.mul (i64.div_s (get_local $x) (i64.const 6)) (i64.const 6))) + (i64.mul (i64.div_s (local.get $x) (i64.const 6)) (i64.const 6))) (func (export "i64.no_fold_div_u_mul") (param $x i64) (result i64) - (i64.mul (i64.div_u (get_local $x) (i64.const 6)) (i64.const 6))) + (i64.mul (i64.div_u (local.get $x) (i64.const 6)) (i64.const 6))) ) (assert_return (invoke "i32.no_fold_div_s_mul" (i32.const 1)) (i32.const 0)) @@ -100,14 +100,14 @@ (module (func (export "i32.no_fold_mul_div_s") (param $x i32) (result i32) - (i32.div_s (i32.mul (get_local $x) (i32.const 6)) (i32.const 6))) + (i32.div_s (i32.mul (local.get $x) (i32.const 6)) (i32.const 6))) (func (export "i32.no_fold_mul_div_u") (param $x i32) (result i32) - (i32.div_u (i32.mul (get_local $x) (i32.const 6)) (i32.const 6))) + (i32.div_u (i32.mul (local.get $x) (i32.const 6)) (i32.const 6))) (func (export "i64.no_fold_mul_div_s") (param $x i64) (result i64) - (i64.div_s (i64.mul (get_local $x) (i64.const 6)) (i64.const 6))) + (i64.div_s (i64.mul (local.get $x) (i64.const 6)) (i64.const 6))) (func (export "i64.no_fold_mul_div_u") (param $x i64) (result i64) - (i64.div_u (i64.mul (get_local $x) (i64.const 6)) (i64.const 6))) + (i64.div_u (i64.mul (local.get $x) (i64.const 6)) (i64.const 6))) ) (assert_return (invoke "i32.no_fold_mul_div_s" (i32.const 0x80000000)) (i32.const 0)) @@ -119,10 +119,10 @@ (module (func (export "i32.no_fold_div_s_2") (param $x i32) (result i32) - (i32.div_s (get_local $x) (i32.const 2))) + (i32.div_s (local.get $x) (i32.const 2))) (func (export "i64.no_fold_div_s_2") (param $x i64) (result i64) - (i64.div_s (get_local $x) (i64.const 2))) + (i64.div_s (local.get $x) (i64.const 2))) ) (assert_return (invoke "i32.no_fold_div_s_2" (i32.const -11)) (i32.const -5)) @@ -132,10 +132,10 @@ (module (func (export "i32.no_fold_rem_s_2") (param $x i32) (result i32) - (i32.rem_s (get_local $x) (i32.const 2))) + (i32.rem_s (local.get $x) (i32.const 2))) (func (export "i64.no_fold_rem_s_2") (param $x i64) (result i64) - (i64.rem_s (get_local $x) (i64.const 2))) + (i64.rem_s (local.get $x) (i64.const 2))) ) (assert_return (invoke "i32.no_fold_rem_s_2" (i32.const -11)) (i32.const -1)) @@ -145,14 +145,14 @@ (module (func (export "i32.div_s_3") (param $x i32) (result i32) - (i32.div_s (get_local $x) (i32.const 0))) + (i32.div_s (local.get $x) (i32.const 0))) (func (export "i32.div_u_3") (param $x i32) (result i32) - (i32.div_u (get_local $x) (i32.const 0))) + (i32.div_u (local.get $x) (i32.const 0))) (func (export "i64.div_s_3") (param $x i64) (result i64) - (i64.div_s (get_local $x) (i64.const 0))) + (i64.div_s (local.get $x) (i64.const 0))) (func (export "i64.div_u_3") (param $x i64) (result i64) - (i64.div_u (get_local $x) (i64.const 0))) + (i64.div_u (local.get $x) (i64.const 0))) ) (assert_trap (invoke "i32.div_s_3" (i32.const 71)) "integer divide by zero") @@ -164,14 +164,14 @@ (module (func (export "i32.div_s_3") (param $x i32) (result i32) - (i32.div_s (get_local $x) (i32.const 3))) + (i32.div_s (local.get $x) (i32.const 3))) (func (export "i32.div_u_3") (param $x i32) (result i32) - (i32.div_u (get_local $x) (i32.const 3))) + (i32.div_u (local.get $x) (i32.const 3))) (func (export "i64.div_s_3") (param $x i64) (result i64) - (i64.div_s (get_local $x) (i64.const 3))) + (i64.div_s (local.get $x) (i64.const 3))) (func (export "i64.div_u_3") (param $x i64) (result i64) - (i64.div_u (get_local $x) (i64.const 3))) + (i64.div_u (local.get $x) (i64.const 3))) ) (assert_return (invoke "i32.div_s_3" (i32.const 71)) (i32.const 23)) @@ -187,14 +187,14 @@ (module (func (export "i32.div_s_5") (param $x i32) (result i32) - (i32.div_s (get_local $x) (i32.const 5))) + (i32.div_s (local.get $x) (i32.const 5))) (func (export "i32.div_u_5") (param $x i32) (result i32) - (i32.div_u (get_local $x) (i32.const 5))) + (i32.div_u (local.get $x) (i32.const 5))) (func (export "i64.div_s_5") (param $x i64) (result i64) - (i64.div_s (get_local $x) (i64.const 5))) + (i64.div_s (local.get $x) (i64.const 5))) (func (export "i64.div_u_5") (param $x i64) (result i64) - (i64.div_u (get_local $x) (i64.const 5))) + (i64.div_u (local.get $x) (i64.const 5))) ) (assert_return (invoke "i32.div_s_5" (i32.const 71)) (i32.const 14)) @@ -210,14 +210,14 @@ (module (func (export "i32.div_s_7") (param $x i32) (result i32) - (i32.div_s (get_local $x) (i32.const 7))) + (i32.div_s (local.get $x) (i32.const 7))) (func (export "i32.div_u_7") (param $x i32) (result i32) - (i32.div_u (get_local $x) (i32.const 7))) + (i32.div_u (local.get $x) (i32.const 7))) (func (export "i64.div_s_7") (param $x i64) (result i64) - (i64.div_s (get_local $x) (i64.const 7))) + (i64.div_s (local.get $x) (i64.const 7))) (func (export "i64.div_u_7") (param $x i64) (result i64) - (i64.div_u (get_local $x) (i64.const 7))) + (i64.div_u (local.get $x) (i64.const 7))) ) (assert_return (invoke "i32.div_s_7" (i32.const 71)) (i32.const 10)) @@ -233,14 +233,14 @@ (module (func (export "i32.rem_s_3") (param $x i32) (result i32) - (i32.rem_s (get_local $x) (i32.const 3))) + (i32.rem_s (local.get $x) (i32.const 3))) (func (export "i32.rem_u_3") (param $x i32) (result i32) - (i32.rem_u (get_local $x) (i32.const 3))) + (i32.rem_u (local.get $x) (i32.const 3))) (func (export "i64.rem_s_3") (param $x i64) (result i64) - (i64.rem_s (get_local $x) (i64.const 3))) + (i64.rem_s (local.get $x) (i64.const 3))) (func (export "i64.rem_u_3") (param $x i64) (result i64) - (i64.rem_u (get_local $x) (i64.const 3))) + (i64.rem_u (local.get $x) (i64.const 3))) ) (assert_return (invoke "i32.rem_s_3" (i32.const 71)) (i32.const 2)) @@ -256,14 +256,14 @@ (module (func (export "i32.rem_s_5") (param $x i32) (result i32) - (i32.rem_s (get_local $x) (i32.const 5))) + (i32.rem_s (local.get $x) (i32.const 5))) (func (export "i32.rem_u_5") (param $x i32) (result i32) - (i32.rem_u (get_local $x) (i32.const 5))) + (i32.rem_u (local.get $x) (i32.const 5))) (func (export "i64.rem_s_5") (param $x i64) (result i64) - (i64.rem_s (get_local $x) (i64.const 5))) + (i64.rem_s (local.get $x) (i64.const 5))) (func (export "i64.rem_u_5") (param $x i64) (result i64) - (i64.rem_u (get_local $x) (i64.const 5))) + (i64.rem_u (local.get $x) (i64.const 5))) ) (assert_return (invoke "i32.rem_s_5" (i32.const 71)) (i32.const 1)) @@ -279,14 +279,14 @@ (module (func (export "i32.rem_s_7") (param $x i32) (result i32) - (i32.rem_s (get_local $x) (i32.const 7))) + (i32.rem_s (local.get $x) (i32.const 7))) (func (export "i32.rem_u_7") (param $x i32) (result i32) - (i32.rem_u (get_local $x) (i32.const 7))) + (i32.rem_u (local.get $x) (i32.const 7))) (func (export "i64.rem_s_7") (param $x i64) (result i64) - (i64.rem_s (get_local $x) (i64.const 7))) + (i64.rem_s (local.get $x) (i64.const 7))) (func (export "i64.rem_u_7") (param $x i64) (result i64) - (i64.rem_u (get_local $x) (i64.const 7))) + (i64.rem_u (local.get $x) (i64.const 7))) ) (assert_return (invoke "i32.rem_s_7" (i32.const 71)) (i32.const 1)) |