diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-01-07 13:24:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-07 13:24:58 -0800 |
| commit | 7d94900ded8e2e5ce8ef8ee2687528531d8f2a97 (patch) | |
| tree | d8bba13d306b0c5ecba384384e602e6cccc83015 /test/spec/float_exprs.wast | |
| parent | 6f91af190effd7b8a5969314dd4fb3d2ec540524 (diff) | |
| download | binaryen-7d94900ded8e2e5ce8ef8ee2687528531d8f2a97.tar.gz binaryen-7d94900ded8e2e5ce8ef8ee2687528531d8f2a97.tar.bz2 binaryen-7d94900ded8e2e5ce8ef8ee2687528531d8f2a97.zip | |
Massive renaming (#1855)
Automated renaming according to
https://github.com/WebAssembly/spec/issues/884#issuecomment-426433329.
Diffstat (limited to 'test/spec/float_exprs.wast')
| -rw-r--r-- | test/spec/float_exprs.wast | 578 |
1 files changed, 289 insertions, 289 deletions
diff --git a/test/spec/float_exprs.wast b/test/spec/float_exprs.wast index ad8f769f0..7900832b0 100644 --- a/test/spec/float_exprs.wast +++ b/test/spec/float_exprs.wast @@ -5,7 +5,7 @@ (module (func (export "f64.no_contraction") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.add (f64.mul (get_local $x) (get_local $y)) (get_local $z))) + (f64.add (f64.mul (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f64.no_contraction" (f64.const -0x1.9e87ce14273afp-103) (f64.const 0x1.2515ad31db63ep+664) (f64.const 0x1.868c6685e6185p+533)) (f64.const -0x1.da94885b11493p+561)) @@ -18,9 +18,9 @@ (module (func (export "f32.no_fma") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.add (f32.mul (get_local $x) (get_local $y)) (get_local $z))) + (f32.add (f32.mul (local.get $x) (local.get $y)) (local.get $z))) (func (export "f64.no_fma") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.add (f64.mul (get_local $x) (get_local $y)) (get_local $z))) + (f64.add (f64.mul (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f32.no_fma" (f32.const 0x1.a78402p+124) (f32.const 0x1.cf8548p-23) (f32.const 0x1.992adap+107)) (f32.const 0x1.a5262cp+107)) @@ -39,9 +39,9 @@ (module (func (export "f32.no_fold_add_zero") (param $x f32) (result f32) - (f32.add (get_local $x) (f32.const 0.0))) + (f32.add (local.get $x) (f32.const 0.0))) (func (export "f64.no_fold_add_zero") (param $x f64) (result f64) - (f64.add (get_local $x) (f64.const 0.0))) + (f64.add (local.get $x) (f64.const 0.0))) ) (assert_return (invoke "f32.no_fold_add_zero" (f32.const -0.0)) (f32.const 0.0)) @@ -53,9 +53,9 @@ (module (func (export "f32.no_fold_zero_sub") (param $x f32) (result f32) - (f32.sub (f32.const 0.0) (get_local $x))) + (f32.sub (f32.const 0.0) (local.get $x))) (func (export "f64.no_fold_zero_sub") (param $x f64) (result f64) - (f64.sub (f64.const 0.0) (get_local $x))) + (f64.sub (f64.const 0.0) (local.get $x))) ) (assert_return (invoke "f32.no_fold_zero_sub" (f32.const 0.0)) (f32.const 0.0)) @@ -67,9 +67,9 @@ (module (func (export "f32.no_fold_sub_zero") (param $x f32) (result f32) - (f32.sub (get_local $x) (f32.const 0.0))) + (f32.sub (local.get $x) (f32.const 0.0))) (func (export "f64.no_fold_sub_zero") (param $x f64) (result f64) - (f64.sub (get_local $x) (f64.const 0.0))) + (f64.sub (local.get $x) (f64.const 0.0))) ) (assert_return (invoke "f32.no_fold_sub_zero" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -79,9 +79,9 @@ (module (func (export "f32.no_fold_mul_zero") (param $x f32) (result f32) - (f32.mul (get_local $x) (f32.const 0.0))) + (f32.mul (local.get $x) (f32.const 0.0))) (func (export "f64.no_fold_mul_zero") (param $x f64) (result f64) - (f64.mul (get_local $x) (f64.const 0.0))) + (f64.mul (local.get $x) (f64.const 0.0))) ) (assert_return (invoke "f32.no_fold_mul_zero" (f32.const -0.0)) (f32.const -0.0)) @@ -98,9 +98,9 @@ (module (func (export "f32.no_fold_mul_one") (param $x f32) (result f32) - (f32.mul (get_local $x) (f32.const 1.0))) + (f32.mul (local.get $x) (f32.const 1.0))) (func (export "f64.no_fold_mul_one") (param $x f64) (result f64) - (f64.mul (get_local $x) (f64.const 1.0))) + (f64.mul (local.get $x) (f64.const 1.0))) ) (assert_return (invoke "f32.no_fold_mul_one" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -110,9 +110,9 @@ (module (func (export "f32.no_fold_zero_div") (param $x f32) (result f32) - (f32.div (f32.const 0.0) (get_local $x))) + (f32.div (f32.const 0.0) (local.get $x))) (func (export "f64.no_fold_zero_div") (param $x f64) (result f64) - (f64.div (f64.const 0.0) (get_local $x))) + (f64.div (f64.const 0.0) (local.get $x))) ) (assert_return_nan (invoke "f32.no_fold_zero_div" (f32.const 0.0))) @@ -128,9 +128,9 @@ (module (func (export "f32.no_fold_div_one") (param $x f32) (result f32) - (f32.div (get_local $x) (f32.const 1.0))) + (f32.div (local.get $x) (f32.const 1.0))) (func (export "f64.no_fold_div_one") (param $x f64) (result f64) - (f64.div (get_local $x) (f64.const 1.0))) + (f64.div (local.get $x) (f64.const 1.0))) ) (assert_return (invoke "f32.no_fold_div_one" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -140,9 +140,9 @@ (module (func (export "f32.no_fold_div_neg1") (param $x f32) (result f32) - (f32.div (get_local $x) (f32.const -1.0))) + (f32.div (local.get $x) (f32.const -1.0))) (func (export "f64.no_fold_div_neg1") (param $x f64) (result f64) - (f64.div (get_local $x) (f64.const -1.0))) + (f64.div (local.get $x) (f64.const -1.0))) ) (assert_return (invoke "f32.no_fold_div_neg1" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -152,9 +152,9 @@ (module (func (export "f32.no_fold_neg0_sub") (param $x f32) (result f32) - (f32.sub (f32.const -0.0) (get_local $x))) + (f32.sub (f32.const -0.0) (local.get $x))) (func (export "f64.no_fold_neg0_sub") (param $x f64) (result f64) - (f64.sub (f64.const -0.0) (get_local $x))) + (f64.sub (f64.const -0.0) (local.get $x))) ) (assert_return (invoke "f32.no_fold_neg0_sub" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -164,9 +164,9 @@ (module (func (export "f32.no_fold_neg1_mul") (param $x f32) (result f32) - (f32.mul (f32.const -1.0) (get_local $x))) + (f32.mul (f32.const -1.0) (local.get $x))) (func (export "f64.no_fold_neg1_mul") (param $x f64) (result f64) - (f64.mul (f64.const -1.0) (get_local $x))) + (f64.mul (f64.const -1.0) (local.get $x))) ) (assert_return (invoke "f32.no_fold_neg1_mul" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -176,9 +176,9 @@ (module (func (export "f32.no_fold_eq_self") (param $x f32) (result i32) - (f32.eq (get_local $x) (get_local $x))) + (f32.eq (local.get $x) (local.get $x))) (func (export "f64.no_fold_eq_self") (param $x f64) (result i32) - (f64.eq (get_local $x) (get_local $x))) + (f64.eq (local.get $x) (local.get $x))) ) (assert_return (invoke "f32.no_fold_eq_self" (f32.const nan)) (i32.const 0)) @@ -188,9 +188,9 @@ (module (func (export "f32.no_fold_ne_self") (param $x f32) (result i32) - (f32.ne (get_local $x) (get_local $x))) + (f32.ne (local.get $x) (local.get $x))) (func (export "f64.no_fold_ne_self") (param $x f64) (result i32) - (f64.ne (get_local $x) (get_local $x))) + (f64.ne (local.get $x) (local.get $x))) ) (assert_return (invoke "f32.no_fold_ne_self" (f32.const nan)) (i32.const 1)) @@ -200,9 +200,9 @@ (module (func (export "f32.no_fold_sub_self") (param $x f32) (result f32) - (f32.sub (get_local $x) (get_local $x))) + (f32.sub (local.get $x) (local.get $x))) (func (export "f64.no_fold_sub_self") (param $x f64) (result f64) - (f64.sub (get_local $x) (get_local $x))) + (f64.sub (local.get $x) (local.get $x))) ) (assert_return_nan (invoke "f32.no_fold_sub_self" (f32.const infinity))) @@ -214,9 +214,9 @@ (module (func (export "f32.no_fold_div_3") (param $x f32) (result f32) - (f32.div (get_local $x) (f32.const 3.0))) + (f32.div (local.get $x) (f32.const 3.0))) (func (export "f64.no_fold_div_3") (param $x f64) (result f64) - (f64.div (get_local $x) (f64.const 3.0))) + (f64.div (local.get $x) (f64.const 3.0))) ) (assert_return (invoke "f32.no_fold_div_3" (f32.const -0x1.359c26p+50)) (f32.const -0x1.9cd032p+48)) @@ -234,9 +234,9 @@ (module (func (export "f32.no_factor") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.add (f32.mul (get_local $x) (get_local $z)) (f32.mul (get_local $y) (get_local $z)))) + (f32.add (f32.mul (local.get $x) (local.get $z)) (f32.mul (local.get $y) (local.get $z)))) (func (export "f64.no_factor") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.add (f64.mul (get_local $x) (get_local $z)) (f64.mul (get_local $y) (get_local $z)))) + (f64.add (f64.mul (local.get $x) (local.get $z)) (f64.mul (local.get $y) (local.get $z)))) ) (assert_return (invoke "f32.no_factor" (f32.const -0x1.4e2352p+40) (f32.const -0x1.842e2cp+49) (f32.const 0x1.eea602p+59)) (f32.const -0x1.77a7dp+109)) @@ -254,9 +254,9 @@ (module (func (export "f32.no_distribute") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.mul (f32.add (get_local $x) (get_local $y)) (get_local $z))) + (f32.mul (f32.add (local.get $x) (local.get $y)) (local.get $z))) (func (export "f64.no_distribute") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.mul (f64.add (get_local $x) (get_local $y)) (get_local $z))) + (f64.mul (f64.add (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f32.no_distribute" (f32.const -0x1.4e2352p+40) (f32.const -0x1.842e2cp+49) (f32.const 0x1.eea602p+59)) (f32.const -0x1.77a7d2p+109)) @@ -274,9 +274,9 @@ (module (func (export "f32.no_regroup_div_mul") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.mul (get_local $x) (f32.div (get_local $y) (get_local $z)))) + (f32.mul (local.get $x) (f32.div (local.get $y) (local.get $z)))) (func (export "f64.no_regroup_div_mul") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.mul (get_local $x) (f64.div (get_local $y) (get_local $z)))) + (f64.mul (local.get $x) (f64.div (local.get $y) (local.get $z)))) ) (assert_return (invoke "f32.no_regroup_div_mul" (f32.const -0x1.2d14a6p-115) (f32.const -0x1.575a6cp-64) (f32.const 0x1.5cee0ep-116)) (f32.const 0x1.2844cap-63)) @@ -294,9 +294,9 @@ (module (func (export "f32.no_regroup_mul_div") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.div (f32.mul (get_local $x) (get_local $y)) (get_local $z))) + (f32.div (f32.mul (local.get $x) (local.get $y)) (local.get $z))) (func (export "f64.no_regroup_mul_div") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.div (f64.mul (get_local $x) (get_local $y)) (get_local $z))) + (f64.div (f64.mul (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f32.no_regroup_mul_div" (f32.const -0x1.2d14a6p-115) (f32.const -0x1.575a6cp-64) (f32.const 0x1.5cee0ep-116)) (f32.const 0x0p+0)) @@ -314,9 +314,9 @@ (module (func (export "f32.no_reassociate_add") (param $x f32) (param $y f32) (param $z f32) (param $w f32) (result f32) - (f32.add (f32.add (f32.add (get_local $x) (get_local $y)) (get_local $z)) (get_local $w))) + (f32.add (f32.add (f32.add (local.get $x) (local.get $y)) (local.get $z)) (local.get $w))) (func (export "f64.no_reassociate_add") (param $x f64) (param $y f64) (param $z f64) (param $w f64) (result f64) - (f64.add (f64.add (f64.add (get_local $x) (get_local $y)) (get_local $z)) (get_local $w))) + (f64.add (f64.add (f64.add (local.get $x) (local.get $y)) (local.get $z)) (local.get $w))) ) (assert_return (invoke "f32.no_reassociate_add" (f32.const -0x1.5f7ddcp+44) (f32.const 0x1.854e1p+34) (f32.const -0x1.b2068cp+47) (f32.const -0x1.209692p+41)) (f32.const -0x1.e26c76p+47)) @@ -334,9 +334,9 @@ (module (func (export "f32.no_reassociate_mul") (param $x f32) (param $y f32) (param $z f32) (param $w f32) (result f32) - (f32.mul (f32.mul (f32.mul (get_local $x) (get_local $y)) (get_local $z)) (get_local $w))) + (f32.mul (f32.mul (f32.mul (local.get $x) (local.get $y)) (local.get $z)) (local.get $w))) (func (export "f64.no_reassociate_mul") (param $x f64) (param $y f64) (param $z f64) (param $w f64) (result f64) - (f64.mul (f64.mul (f64.mul (get_local $x) (get_local $y)) (get_local $z)) (get_local $w))) + (f64.mul (f64.mul (f64.mul (local.get $x) (local.get $y)) (local.get $z)) (local.get $w))) ) (assert_return (invoke "f32.no_reassociate_mul" (f32.const 0x1.950ba8p-116) (f32.const 0x1.efdacep-33) (f32.const -0x1.5f9bcp+102) (f32.const 0x1.f04508p-56)) (f32.const -0x1.ff356ep-101)) @@ -354,9 +354,9 @@ (module (func (export "f32.no_fold_div_0") (param $x f32) (result f32) - (f32.div (get_local $x) (f32.const 0.0))) + (f32.div (local.get $x) (f32.const 0.0))) (func (export "f64.no_fold_div_0") (param $x f64) (result f64) - (f64.div (get_local $x) (f64.const 0.0))) + (f64.div (local.get $x) (f64.const 0.0))) ) (assert_return (invoke "f32.no_fold_div_0" (f32.const 1.0)) (f32.const infinity)) @@ -380,9 +380,9 @@ (module (func (export "f32.no_fold_div_neg0") (param $x f32) (result f32) - (f32.div (get_local $x) (f32.const -0.0))) + (f32.div (local.get $x) (f32.const -0.0))) (func (export "f64.no_fold_div_neg0") (param $x f64) (result f64) - (f64.div (get_local $x) (f64.const -0.0))) + (f64.div (local.get $x) (f64.const -0.0))) ) (assert_return (invoke "f32.no_fold_div_neg0" (f32.const 1.0)) (f32.const -infinity)) @@ -406,11 +406,11 @@ (module (func (export "f32.no_fold_to_hypot") (param $x f32) (param $y f32) (result f32) - (f32.sqrt (f32.add (f32.mul (get_local $x) (get_local $x)) - (f32.mul (get_local $y) (get_local $y))))) + (f32.sqrt (f32.add (f32.mul (local.get $x) (local.get $x)) + (f32.mul (local.get $y) (local.get $y))))) (func (export "f64.no_fold_to_hypot") (param $x f64) (param $y f64) (result f64) - (f64.sqrt (f64.add (f64.mul (get_local $x) (get_local $x)) - (f64.mul (get_local $y) (get_local $y))))) + (f64.sqrt (f64.add (f64.mul (local.get $x) (local.get $x)) + (f64.mul (local.get $y) (local.get $y))))) ) (assert_return (invoke "f32.no_fold_to_hypot" (f32.const 0x1.c2f338p-81) (f32.const 0x1.401b5ep-68)) (f32.const 0x1.401cccp-68)) @@ -428,7 +428,7 @@ (module (func (export "f32.no_approximate_reciprocal") (param $x f32) (result f32) - (f32.div (f32.const 1.0) (get_local $x))) + (f32.div (f32.const 1.0) (local.get $x))) ) (assert_return (invoke "f32.no_approximate_reciprocal" (f32.const -0x1.2900b6p-10)) (f32.const -0x1.b950d4p+9)) @@ -441,9 +441,9 @@ (module (func (export "f32.no_approximate_reciprocal_sqrt") (param $x f32) (result f32) - (f32.div (f32.const 1.0) (f32.sqrt (get_local $x)))) + (f32.div (f32.const 1.0) (f32.sqrt (local.get $x)))) (func (export "f64.no_fuse_reciprocal_sqrt") (param $x f64) (result f64) - (f64.div (f64.const 1.0) (f64.sqrt (get_local $x)))) + (f64.div (f64.const 1.0) (f64.sqrt (local.get $x)))) ) (assert_return (invoke "f32.no_approximate_reciprocal_sqrt" (f32.const 0x1.6af12ap-43)) (f32.const 0x1.300ed4p+21)) @@ -462,7 +462,7 @@ (module (func (export "f32.no_approximate_sqrt_reciprocal") (param $x f32) (result f32) - (f32.sqrt (f32.div (f32.const 1.0) (get_local $x)))) + (f32.sqrt (f32.div (f32.const 1.0) (local.get $x)))) ) (assert_return (invoke "f32.no_approximate_sqrt_reciprocal" (f32.const 0x1.a4c986p+60)) (f32.const 0x1.8f5ac6p-31)) @@ -475,13 +475,13 @@ (module (func (export "i32.no_fold_f32_s") (param i32) (result i32) - (i32.trunc_s/f32 (f32.convert_s/i32 (get_local 0)))) + (i32.trunc_f32_s (f32.convert_i32_s (local.get 0)))) (func (export "i32.no_fold_f32_u") (param i32) (result i32) - (i32.trunc_u/f32 (f32.convert_u/i32 (get_local 0)))) + (i32.trunc_f32_u (f32.convert_i32_u (local.get 0)))) (func (export "i64.no_fold_f64_s") (param i64) (result i64) - (i64.trunc_s/f64 (f64.convert_s/i64 (get_local 0)))) + (i64.trunc_f64_s (f64.convert_i64_s (local.get 0)))) (func (export "i64.no_fold_f64_u") (param i64) (result i64) - (i64.trunc_u/f64 (f64.convert_u/i64 (get_local 0)))) + (i64.trunc_f64_u (f64.convert_i64_u (local.get 0)))) ) (assert_return (invoke "i32.no_fold_f32_s" (i32.const 0x1000000)) (i32.const 0x1000000)) @@ -504,9 +504,9 @@ (module (func (export "f32.no_fold_add_sub") (param $x f32) (param $y f32) (result f32) - (f32.sub (f32.add (get_local $x) (get_local $y)) (get_local $y))) + (f32.sub (f32.add (local.get $x) (local.get $y)) (local.get $y))) (func (export "f64.no_fold_add_sub") (param $x f64) (param $y f64) (result f64) - (f64.sub (f64.add (get_local $x) (get_local $y)) (get_local $y))) + (f64.sub (f64.add (local.get $x) (local.get $y)) (local.get $y))) ) (assert_return (invoke "f32.no_fold_add_sub" (f32.const 0x1.b553e4p-47) (f32.const -0x1.67db2cp-26)) (f32.const 0x1.cp-47)) @@ -525,9 +525,9 @@ (module (func (export "f32.no_fold_sub_add") (param $x f32) (param $y f32) (result f32) - (f32.add (f32.sub (get_local $x) (get_local $y)) (get_local $y))) + (f32.add (f32.sub (local.get $x) (local.get $y)) (local.get $y))) (func (export "f64.no_fold_sub_add") (param $x f64) (param $y f64) (result f64) - (f64.add (f64.sub (get_local $x) (get_local $y)) (get_local $y))) + (f64.add (f64.sub (local.get $x) (local.get $y)) (local.get $y))) ) (assert_return (invoke "f32.no_fold_sub_add" (f32.const -0x1.523cb8p+9) (f32.const 0x1.93096cp+8)) (f32.const -0x1.523cbap+9)) @@ -546,9 +546,9 @@ (module (func (export "f32.no_fold_mul_div") (param $x f32) (param $y f32) (result f32) - (f32.div (f32.mul (get_local $x) (get_local $y)) (get_local $y))) + (f32.div (f32.mul (local.get $x) (local.get $y)) (local.get $y))) (func (export "f64.no_fold_mul_div") (param $x f64) (param $y f64) (result f64) - (f64.div (f64.mul (get_local $x) (get_local $y)) (get_local $y))) + (f64.div (f64.mul (local.get $x) (local.get $y)) (local.get $y))) ) (assert_return (invoke "f32.no_fold_mul_div" (f32.const -0x1.cd859ap+54) (f32.const 0x1.6ca936p-47)) (f32.const -0x1.cd8598p+54)) @@ -567,9 +567,9 @@ (module (func (export "f32.no_fold_div_mul") (param $x f32) (param $y f32) (result f32) - (f32.mul (f32.div (get_local $x) (get_local $y)) (get_local $y))) + (f32.mul (f32.div (local.get $x) (local.get $y)) (local.get $y))) (func (export "f64.no_fold_div_mul") (param $x f64) (param $y f64) (result f64) - (f64.mul (f64.div (get_local $x) (get_local $y)) (get_local $y))) + (f64.mul (f64.div (local.get $x) (local.get $y)) (local.get $y))) ) (assert_return (invoke "f32.no_fold_div_mul" (f32.const -0x1.dc6364p+38) (f32.const 0x1.d630ecp+29)) (f32.const -0x1.dc6362p+38)) @@ -588,7 +588,7 @@ (module (func (export "no_fold_demote_promote") (param $x f64) (result f64) - (f64.promote/f32 (f32.demote/f64 (get_local $x)))) + (f64.promote_f32 (f32.demote_f64 (local.get $x)))) ) (assert_return (invoke "no_fold_demote_promote" (f64.const -0x1.dece272390f5dp-133)) (f64.const -0x1.decep-133)) @@ -602,7 +602,7 @@ (module (func (export "no_fold_promote_demote") (param $x f32) (result f32) - (f32.demote/f64 (f64.promote/f32 (get_local $x)))) + (f32.demote_f64 (f64.promote_f32 (local.get $x)))) ) (assert_return (invoke "no_fold_promote_demote" (f32.const nan:0x200000)) (f32.const nan:0x600000)) @@ -623,9 +623,9 @@ (module (func (export "no_demote_mixed_add") (param $x f64) (param $y f32) (result f32) - (f32.demote/f64 (f64.add (get_local $x) (f64.promote/f32 (get_local $y))))) + (f32.demote_f64 (f64.add (local.get $x) (f64.promote_f32 (local.get $y))))) (func (export "no_demote_mixed_add_commuted") (param $y f32) (param $x f64) (result f32) - (f32.demote/f64 (f64.add (f64.promote/f32 (get_local $y)) (get_local $x)))) + (f32.demote_f64 (f64.add (f64.promote_f32 (local.get $y)) (local.get $x)))) ) (assert_return (invoke "no_demote_mixed_add" (f64.const 0x1.f51a9d04854f9p-95) (f32.const 0x1.3f4e9cp-119)) (f32.const 0x1.f51a9ep-95)) @@ -644,7 +644,7 @@ (module (func (export "no_demote_mixed_sub") (param $x f64) (param $y f32) (result f32) - (f32.demote/f64 (f64.sub (get_local $x) (f64.promote/f32 (get_local $y))))) + (f32.demote_f64 (f64.sub (local.get $x) (f64.promote_f32 (local.get $y))))) ) (assert_return (invoke "no_demote_mixed_sub" (f64.const 0x1.a0a183220e9b1p+82) (f32.const 0x1.c5acf8p+61)) (f32.const 0x1.a0a174p+82)) @@ -657,37 +657,37 @@ (module (func (export "f32.i32.no_fold_trunc_s_convert_s") (param $x f32) (result f32) - (f32.convert_s/i32 (i32.trunc_s/f32 (get_local $x)))) + (f32.convert_i32_s (i32.trunc_f32_s (local.get $x)))) (func (export "f32.i32.no_fold_trunc_u_convert_s") (param $x f32) (result f32) - (f32.convert_s/i32 (i32.trunc_u/f32 (get_local $x)))) + (f32.convert_i32_s (i32.trunc_f32_u (local.get $x)))) (func (export "f32.i32.no_fold_trunc_s_convert_u") (param $x f32) (result f32) - (f32.convert_u/i32 (i32.trunc_s/f32 (get_local $x)))) + (f32.convert_i32_u (i32.trunc_f32_s (local.get $x)))) (func (export "f32.i32.no_fold_trunc_u_convert_u") (param $x f32) (result f32) - (f32.convert_u/i32 (i32.trunc_u/f32 (get_local $x)))) + (f32.convert_i32_u (i32.trunc_f32_u (local.get $x)))) (func (export "f64.i32.no_fold_trunc_s_convert_s") (param $x f64) (result f64) - (f64.convert_s/i32 (i32.trunc_s/f64 (get_local $x)))) + (f64.convert_i32_s (i32.trunc_f64_s (local.get $x)))) (func (export "f64.i32.no_fold_trunc_u_convert_s") (param $x f64) (result f64) - (f64.convert_s/i32 (i32.trunc_u/f64 (get_local $x)))) + (f64.convert_i32_s (i32.trunc_f64_u (local.get $x)))) (func (export "f64.i32.no_fold_trunc_s_convert_u") (param $x f64) (result f64) - (f64.convert_u/i32 (i32.trunc_s/f64 (get_local $x)))) + (f64.convert_i32_u (i32.trunc_f64_s (local.get $x)))) (func (export "f64.i32.no_fold_trunc_u_convert_u") (param $x f64) (result f64) - (f64.convert_u/i32 (i32.trunc_u/f64 (get_local $x)))) + (f64.convert_i32_u (i32.trunc_f64_u (local.get $x)))) (func (export "f32.i64.no_fold_trunc_s_convert_s") (param $x f32) (result f32) - (f32.convert_s/i64 (i64.trunc_s/f32 (get_local $x)))) + (f32.convert_i64_s (i64.trunc_f32_s (local.get $x)))) (func (export "f32.i64.no_fold_trunc_u_convert_s") (param $x f32) (result f32) - (f32.convert_s/i64 (i64.trunc_u/f32 (get_local $x)))) + (f32.convert_i64_s (i64.trunc_f32_u (local.get $x)))) (func (export "f32.i64.no_fold_trunc_s_convert_u") (param $x f32) (result f32) - (f32.convert_u/i64 (i64.trunc_s/f32 (get_local $x)))) + (f32.convert_i64_u (i64.trunc_f32_s (local.get $x)))) (func (export "f32.i64.no_fold_trunc_u_convert_u") (param $x f32) (result f32) - (f32.convert_u/i64 (i64.trunc_u/f32 (get_local $x)))) + (f32.convert_i64_u (i64.trunc_f32_u (local.get $x)))) (func (export "f64.i64.no_fold_trunc_s_convert_s") (param $x f64) (result f64) - (f64.convert_s/i64 (i64.trunc_s/f64 (get_local $x)))) + (f64.convert_i64_s (i64.trunc_f64_s (local.get $x)))) (func (export "f64.i64.no_fold_trunc_u_convert_s") (param $x f64) (result f64) - (f64.convert_s/i64 (i64.trunc_u/f64 (get_local $x)))) + (f64.convert_i64_s (i64.trunc_f64_u (local.get $x)))) (func (export "f64.i64.no_fold_trunc_s_convert_u") (param $x f64) (result f64) - (f64.convert_u/i64 (i64.trunc_s/f64 (get_local $x)))) + (f64.convert_i64_u (i64.trunc_f64_s (local.get $x)))) (func (export "f64.i64.no_fold_trunc_u_convert_u") (param $x f64) (result f64) - (f64.convert_u/i64 (i64.trunc_u/f64 (get_local $x)))) + (f64.convert_i64_u (i64.trunc_f64_u (local.get $x)))) ) (assert_return (invoke "f32.i32.no_fold_trunc_s_convert_s" (f32.const 1.5)) (f32.const 1.0)) @@ -732,23 +732,23 @@ (module (memory 1 1) - (func (export "init") (param $i i32) (param $x f32) (f32.store (get_local $i) (get_local $x))) + (func (export "init") (param $i i32) (param $x f32) (f32.store (local.get $i) (local.get $x))) (func (export "run") (param $n i32) (param $z f32) (local $i i32) (block $exit (loop $cont (f32.store - (get_local $i) - (f32.div (f32.load (get_local $i)) (get_local $z)) + (local.get $i) + (f32.div (f32.load (local.get $i)) (local.get $z)) ) - (set_local $i (i32.add (get_local $i) (i32.const 4))) - (br_if $cont (i32.lt_u (get_local $i) (get_local $n))) + (local.set $i (i32.add (local.get $i) (i32.const 4))) + (br_if $cont (i32.lt_u (local.get $i) (local.get $n))) ) ) ) - (func (export "check") (param $i i32) (result f32) (f32.load (get_local $i))) + (func (export "check") (param $i i32) (result f32) (f32.load (local.get $i))) ) (invoke "init" (i32.const 0) (f32.const 15.1)) @@ -767,23 +767,23 @@ (module (memory 1 1) - (func (export "init") (param $i i32) (param $x f64) (f64.store (get_local $i) (get_local $x))) + (func (export "init") (param $i i32) (param $x f64) (f64.store (local.get $i) (local.get $x))) (func (export "run") (param $n i32) (param $z f64) (local $i i32) (block $exit (loop $cont (f64.store - (get_local $i) - (f64.div (f64.load (get_local $i)) (get_local $z)) + (local.get $i) + (f64.div (f64.load (local.get $i)) (local.get $z)) ) - (set_local $i (i32.add (get_local $i) (i32.const 8))) - (br_if $cont (i32.lt_u (get_local $i) (get_local $n))) + (local.set $i (i32.add (local.get $i) (i32.const 8))) + (br_if $cont (i32.lt_u (local.get $i) (local.get $n))) ) ) ) - (func (export "check") (param $i i32) (result f64) (f64.load (get_local $i))) + (func (export "check") (param $i i32) (result f64) (f64.load (local.get $i))) ) (invoke "init" (i32.const 0) (f64.const 15.1)) @@ -803,15 +803,15 @@ ;; Test that ult/ugt/etc. aren't folded to olt/ogt/etc. (module - (func (export "f32.ult") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.ge (get_local $x) (get_local $y)))) - (func (export "f32.ule") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.gt (get_local $x) (get_local $y)))) - (func (export "f32.ugt") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.le (get_local $x) (get_local $y)))) - (func (export "f32.uge") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.lt (get_local $x) (get_local $y)))) + (func (export "f32.ult") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.ge (local.get $x) (local.get $y)))) + (func (export "f32.ule") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.gt (local.get $x) (local.get $y)))) + (func (export "f32.ugt") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.le (local.get $x) (local.get $y)))) + (func (export "f32.uge") (param $x f32) (param $y f32) (result i32) (i32.eqz (f32.lt (local.get $x) (local.get $y)))) - (func (export "f64.ult") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.ge (get_local $x) (get_local $y)))) - (func (export "f64.ule") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.gt (get_local $x) (get_local $y)))) - (func (export "f64.ugt") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.le (get_local $x) (get_local $y)))) - (func (export "f64.uge") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.lt (get_local $x) (get_local $y)))) + (func (export "f64.ult") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.ge (local.get $x) (local.get $y)))) + (func (export "f64.ule") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.gt (local.get $x) (local.get $y)))) + (func (export "f64.ugt") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.le (local.get $x) (local.get $y)))) + (func (export "f64.uge") (param $x f64) (param $y f64) (result i32) (i32.eqz (f64.lt (local.get $x) (local.get $y)))) ) (assert_return (invoke "f32.ult" (f32.const 3.0) (f32.const 2.0)) (i32.const 0)) @@ -850,15 +850,15 @@ ;; Test that x<y?x:y, etc. using select aren't folded to min, etc. (module - (func (export "f32.no_fold_lt_select") (param $x f32) (param $y f32) (result f32) (select (get_local $x) (get_local $y) (f32.lt (get_local $x) (get_local $y)))) - (func (export "f32.no_fold_le_select") (param $x f32) (param $y f32) (result f32) (select (get_local $x) (get_local $y) (f32.le (get_local $x) (get_local $y)))) - (func (export "f32.no_fold_gt_select") (param $x f32) (param $y f32) (result f32) (select (get_local $x) (get_local $y) (f32.gt (get_local $x) (get_local $y)))) - (func (export "f32.no_fold_ge_select") (param $x f32) (param $y f32) (result f32) (select (get_local $x) (get_local $y) (f32.ge (get_local $x) (get_local $y)))) + (func (export "f32.no_fold_lt_select") (param $x f32) (param $y f32) (result f32) (select (local.get $x) (local.get $y) (f32.lt (local.get $x) (local.get $y)))) + (func (export "f32.no_fold_le_select") (param $x f32) (param $y f32) (result f32) (select (local.get $x) (local.get $y) (f32.le (local.get $x) (local.get $y)))) + (func (export "f32.no_fold_gt_select") (param $x f32) (param $y f32) (result f32) (select (local.get $x) (local.get $y) (f32.gt (local.get $x) (local.get $y)))) + (func (export "f32.no_fold_ge_select") (param $x f32) (param $y f32) (result f32) (select (local.get $x) (local.get $y) (f32.ge (local.get $x) (local.get $y)))) - (func (export "f64.no_fold_lt_select") (param $x f64) (param $y f64) (result f64) (select (get_local $x) (get_local $y) (f64.lt (get_local $x) (get_local $y)))) - (func (export "f64.no_fold_le_select") (param $x f64) (param $y f64) (result f64) (select (get_local $x) (get_local $y) (f64.le (get_local $x) (get_local $y)))) - (func (export "f64.no_fold_gt_select") (param $x f64) (param $y f64) (result f64) (select (get_local $x) (get_local $y) (f64.gt (get_local $x) (get_local $y)))) - (func (export "f64.no_fold_ge_select") (param $x f64) (param $y f64) (result f64) (select (get_local $x) (get_local $y) (f64.ge (get_local $x) (get_local $y)))) + (func (export "f64.no_fold_lt_select") (param $x f64) (param $y f64) (result f64) (select (local.get $x) (local.get $y) (f64.lt (local.get $x) (local.get $y)))) + (func (export "f64.no_fold_le_select") (param $x f64) (param $y f64) (result f64) (select (local.get $x) (local.get $y) (f64.le (local.get $x) (local.get $y)))) + (func (export "f64.no_fold_gt_select") (param $x f64) (param $y f64) (result f64) (select (local.get $x) (local.get $y) (f64.gt (local.get $x) (local.get $y)))) + (func (export "f64.no_fold_ge_select") (param $x f64) (param $y f64) (result f64) (select (local.get $x) (local.get $y) (f64.ge (local.get $x) (local.get $y)))) ) (assert_return (invoke "f32.no_fold_lt_select" (f32.const 0.0) (f32.const nan)) (f32.const nan)) @@ -897,15 +897,15 @@ ;; Test that x<y?x:y, etc. using if and else aren't folded to min, etc. (module - (func (export "f32.no_fold_lt_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.lt (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) - (func (export "f32.no_fold_le_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.le (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) - (func (export "f32.no_fold_gt_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.gt (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) - (func (export "f32.no_fold_ge_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.ge (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) + (func (export "f32.no_fold_lt_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.lt (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) + (func (export "f32.no_fold_le_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.le (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) + (func (export "f32.no_fold_gt_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.gt (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) + (func (export "f32.no_fold_ge_if") (param $x f32) (param $y f32) (result f32) (if f32 (f32.ge (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) - (func (export "f64.no_fold_lt_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.lt (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) - (func (export "f64.no_fold_le_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.le (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) - (func (export "f64.no_fold_gt_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.gt (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) - (func (export "f64.no_fold_ge_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.ge (get_local $x) (get_local $y)) (get_local $x) (get_local $y))) + (func (export "f64.no_fold_lt_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.lt (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) + (func (export "f64.no_fold_le_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.le (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) + (func (export "f64.no_fold_gt_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.gt (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) + (func (export "f64.no_fold_ge_if") (param $x f64) (param $y f64) (result f64) (if f64 (f64.ge (local.get $x) (local.get $y)) (local.get $x) (local.get $y))) ) (assert_return (invoke "f32.no_fold_lt_if" (f32.const 0.0) (f32.const nan)) (f32.const nan)) @@ -944,15 +944,15 @@ ;; Test that x<0?-x:0, etc. using select aren't folded to abs (module - (func (export "f32.no_fold_lt_select_to_abs") (param $x f32) (result f32) (select (f32.neg (get_local $x)) (get_local $x) (f32.lt (get_local $x) (f32.const 0.0)))) - (func (export "f32.no_fold_le_select_to_abs") (param $x f32) (result f32) (select (f32.neg (get_local $x)) (get_local $x) (f32.le (get_local $x) (f32.const -0.0)))) - (func (export "f32.no_fold_gt_select_to_abs") (param $x f32) (result f32) (select (get_local $x) (f32.neg (get_local $x)) (f32.gt (get_local $x) (f32.const -0.0)))) - (func (export "f32.no_fold_ge_select_to_abs") (param $x f32) (result f32) (select (get_local $x) (f32.neg (get_local $x)) (f32.ge (get_local $x) (f32.const 0.0)))) + (func (export "f32.no_fold_lt_select_to_abs") (param $x f32) (result f32) (select (f32.neg (local.get $x)) (local.get $x) (f32.lt (local.get $x) (f32.const 0.0)))) + (func (export "f32.no_fold_le_select_to_abs") (param $x f32) (result f32) (select (f32.neg (local.get $x)) (local.get $x) (f32.le (local.get $x) (f32.const -0.0)))) + (func (export "f32.no_fold_gt_select_to_abs") (param $x f32) (result f32) (select (local.get $x) (f32.neg (local.get $x)) (f32.gt (local.get $x) (f32.const -0.0)))) + (func (export "f32.no_fold_ge_select_to_abs") (param $x f32) (result f32) (select (local.get $x) (f32.neg (local.get $x)) (f32.ge (local.get $x) (f32.const 0.0)))) - (func (export "f64.no_fold_lt_select_to_abs") (param $x f64) (result f64) (select (f64.neg (get_local $x)) (get_local $x) (f64.lt (get_local $x) (f64.const 0.0)))) - (func (export "f64.no_fold_le_select_to_abs") (param $x f64) (result f64) (select (f64.neg (get_local $x)) (get_local $x) (f64.le (get_local $x) (f64.const -0.0)))) - (func (export "f64.no_fold_gt_select_to_abs") (param $x f64) (result f64) (select (get_local $x) (f64.neg (get_local $x)) (f64.gt (get_local $x) (f64.const -0.0)))) - (func (export "f64.no_fold_ge_select_to_abs") (param $x f64) (result f64) (select (get_local $x) (f64.neg (get_local $x)) (f64.ge (get_local $x) (f64.const 0.0)))) + (func (export "f64.no_fold_lt_select_to_abs") (param $x f64) (result f64) (select (f64.neg (local.get $x)) (local.get $x) (f64.lt (local.get $x) (f64.const 0.0)))) + (func (export "f64.no_fold_le_select_to_abs") (param $x f64) (result f64) (select (f64.neg (local.get $x)) (local.get $x) (f64.le (local.get $x) (f64.const -0.0)))) + (func (export "f64.no_fold_gt_select_to_abs") (param $x f64) (result f64) (select (local.get $x) (f64.neg (local.get $x)) (f64.gt (local.get $x) (f64.const -0.0)))) + (func (export "f64.no_fold_ge_select_to_abs") (param $x f64) (result f64) (select (local.get $x) (f64.neg (local.get $x)) (f64.ge (local.get $x) (f64.const 0.0)))) ) (assert_return (invoke "f32.no_fold_lt_select_to_abs" (f32.const nan:0x200000)) (f32.const nan:0x200000)) @@ -991,15 +991,15 @@ ;; Test that x<0?-x:0, etc. using if aren't folded to abs (module - (func (export "f32.no_fold_lt_if_to_abs") (param $x f32) (result f32) (if f32 (f32.lt (get_local $x) (f32.const 0.0)) (f32.neg (get_local $x)) (get_local $x))) - (func (export "f32.no_fold_le_if_to_abs") (param $x f32) (result f32) (if f32 (f32.le (get_local $x) (f32.const -0.0)) (f32.neg (get_local $x)) (get_local $x))) - (func (export "f32.no_fold_gt_if_to_abs") (param $x f32) (result f32) (if f32 (f32.gt (get_local $x) (f32.const -0.0)) (get_local $x) (f32.neg (get_local $x)))) - (func (export "f32.no_fold_ge_if_to_abs") (param $x f32) (result f32) (if f32 (f32.ge (get_local $x) (f32.const 0.0)) (get_local $x) (f32.neg (get_local $x)))) + (func (export "f32.no_fold_lt_if_to_abs") (param $x f32) (result f32) (if f32 (f32.lt (local.get $x) (f32.const 0.0)) (f32.neg (local.get $x)) (local.get $x))) + (func (export "f32.no_fold_le_if_to_abs") (param $x f32) (result f32) (if f32 (f32.le (local.get $x) (f32.const -0.0)) (f32.neg (local.get $x)) (local.get $x))) + (func (export "f32.no_fold_gt_if_to_abs") (param $x f32) (result f32) (if f32 (f32.gt (local.get $x) (f32.const -0.0)) (local.get $x) (f32.neg (local.get $x)))) + (func (export "f32.no_fold_ge_if_to_abs") (param $x f32) (result f32) (if f32 (f32.ge (local.get $x) (f32.const 0.0)) (local.get $x) (f32.neg (local.get $x)))) - (func (export "f64.no_fold_lt_if_to_abs") (param $x f64) (result f64) (if f64 (f64.lt (get_local $x) (f64.const 0.0)) (f64.neg (get_local $x)) (get_local $x))) - (func (export "f64.no_fold_le_if_to_abs") (param $x f64) (result f64) (if f64 (f64.le (get_local $x) (f64.const -0.0)) (f64.neg (get_local $x)) (get_local $x))) - (func (export "f64.no_fold_gt_if_to_abs") (param $x f64) (result f64) (if f64 (f64.gt (get_local $x) (f64.const -0.0)) (get_local $x) (f64.neg (get_local $x)))) - (func (export "f64.no_fold_ge_if_to_abs") (param $x f64) (result f64) (if f64 (f64.ge (get_local $x) (f64.const 0.0)) (get_local $x) (f64.neg (get_local $x)))) + (func (export "f64.no_fold_lt_if_to_abs") (param $x f64) (result f64) (if f64 (f64.lt (local.get $x) (f64.const 0.0)) (f64.neg (local.get $x)) (local.get $x))) + (func (export "f64.no_fold_le_if_to_abs") (param $x f64) (result f64) (if f64 (f64.le (local.get $x) (f64.const -0.0)) (f64.neg (local.get $x)) (local.get $x))) + (func (export "f64.no_fold_gt_if_to_abs") (param $x f64) (result f64) (if f64 (f64.gt (local.get $x) (f64.const -0.0)) (local.get $x) (f64.neg (local.get $x)))) + (func (export "f64.no_fold_ge_if_to_abs") (param $x f64) (result f64) (if f64 (f64.ge (local.get $x) (f64.const 0.0)) (local.get $x) (f64.neg (local.get $x)))) ) (assert_return (invoke "f32.no_fold_lt_if_to_abs" (f32.const nan:0x200000)) (f32.const nan:0x200000)) @@ -1064,13 +1064,13 @@ (local $q f32) (local $z0 f32) (local $z1 f32) - (set_local $x (f32.const 156.25)) - (set_local $r (f32.const 208.333333334)) - (set_local $q (f32.const 1.77951304201)) - (set_local $z0 (f32.div (f32.mul (f32.neg (get_local $r)) (get_local $x)) (f32.sub (f32.mul (get_local $x) (get_local $q)) (get_local $r)))) - (set_local $z1 (f32.div (f32.mul (f32.neg (get_local $r)) (get_local $x)) (f32.sub (f32.mul (get_local $x) (get_local $q)) (get_local $r)))) - (block (br_if 0 (f32.eq (get_local $z0) (get_local $z1))) (unreachable)) - (get_local $z1) + (local.set $x (f32.const 156.25)) + (local.set $r (f32.const 208.333333334)) + (local.set $q (f32.const 1.77951304201)) + (local.set $z0 (f32.div (f32.mul (f32.neg (local.get $r)) (local.get $x)) (f32.sub (f32.mul (local.get $x) (local.get $q)) (local.get $r)))) + (local.set $z1 (f32.div (f32.mul (f32.neg (local.get $r)) (local.get $x)) (f32.sub (f32.mul (local.get $x) (local.get $q)) (local.get $r)))) + (block (br_if 0 (f32.eq (local.get $z0) (local.get $z1))) (unreachable)) + (local.get $z1) ) ) @@ -1083,13 +1083,13 @@ (local $q f64) (local $z0 f64) (local $z1 f64) - (set_local $x (f64.const 156.25)) - (set_local $r (f64.const 208.333333334)) - (set_local $q (f64.const 1.77951304201)) - (set_local $z0 (f64.div (f64.mul (f64.neg (get_local $r)) (get_local $x)) (f64.sub (f64.mul (get_local $x) (get_local $q)) (get_local $r)))) - (set_local $z1 (f64.div (f64.mul (f64.neg (get_local $r)) (get_local $x)) (f64.sub (f64.mul (get_local $x) (get_local $q)) (get_local $r)))) - (block (br_if 0 (f64.eq (get_local $z0) (get_local $z1))) (unreachable)) - (get_local $z1) + (local.set $x (f64.const 156.25)) + (local.set $r (f64.const 208.333333334)) + (local.set $q (f64.const 1.77951304201)) + (local.set $z0 (f64.div (f64.mul (f64.neg (local.get $r)) (local.get $x)) (f64.sub (f64.mul (local.get $x) (local.get $q)) (local.get $r)))) + (local.set $z1 (f64.div (f64.mul (f64.neg (local.get $r)) (local.get $x)) (f64.sub (f64.mul (local.get $x) (local.get $q)) (local.get $r)))) + (block (br_if 0 (f64.eq (local.get $z0) (local.get $z1))) (unreachable)) + (local.get $z1) ) ) @@ -1100,7 +1100,7 @@ (module (func (export "llvm_pr26746") (param $x f32) (result f32) - (f32.sub (f32.const 0.0) (f32.sub (f32.const -0.0) (get_local $x))) + (f32.sub (f32.const 0.0) (f32.sub (f32.const -0.0) (local.get $x))) ) ) @@ -1111,7 +1111,7 @@ (module (func (export "llvm_pr27153") (param $x i32) (result f32) - (f32.add (f32.convert_s/i32 (i32.and (get_local $x) (i32.const 268435455))) (f32.const -8388608.0)) + (f32.add (f32.convert_i32_s (i32.and (local.get $x) (i32.const 268435455))) (f32.const -8388608.0)) ) ) @@ -1122,8 +1122,8 @@ (module (func (export "llvm_pr27036") (param $x i32) (param $y i32) (result f32) - (f32.add (f32.convert_s/i32 (i32.or (get_local $x) (i32.const -25034805))) - (f32.convert_s/i32 (i32.and (get_local $y) (i32.const 14942208)))) + (f32.add (f32.convert_i32_s (i32.or (local.get $x) (i32.const -25034805))) + (f32.convert_i32_s (i32.and (local.get $y) (i32.const 14942208)))) ) ) @@ -1139,15 +1139,15 @@ ;; covered elsewhere. (module (func (export "thepast0") (param $a f64) (param $b f64) (param $c f64) (param $d f64) (result f64) - (f64.div (f64.mul (get_local $a) (get_local $b)) (f64.mul (get_local $c) (get_local $d))) + (f64.div (f64.mul (local.get $a) (local.get $b)) (f64.mul (local.get $c) (local.get $d))) ) (func (export "thepast1") (param $a f64) (param $b f64) (param $c f64) (result f64) - (f64.sub (f64.mul (get_local $a) (get_local $b)) (get_local $c)) + (f64.sub (f64.mul (local.get $a) (local.get $b)) (local.get $c)) ) (func (export "thepast2") (param $a f32) (param $b f32) (param $c f32) (result f32) - (f32.mul (f32.mul (get_local $a) (get_local $b)) (get_local $c)) + (f32.mul (f32.mul (local.get $a) (local.get $b)) (local.get $c)) ) ) @@ -1160,7 +1160,7 @@ (module (func (export "inverse") (param $x f32) (result f32) - (f32.div (f32.const 1.0) (get_local $x)) + (f32.div (f32.const 1.0) (local.get $x)) ) ) @@ -1171,11 +1171,11 @@ (module (func (export "f32_sqrt_minus_2") (param $x f32) (result f32) - (f32.sub (f32.sqrt (get_local $x)) (f32.const 2.0)) + (f32.sub (f32.sqrt (local.get $x)) (f32.const 2.0)) ) (func (export "f64_sqrt_minus_2") (param $x f64) (result f64) - (f64.sub (f64.sqrt (get_local $x)) (f64.const 2.0)) + (f64.sub (f64.sqrt (local.get $x)) (f64.const 2.0)) ) ) @@ -1186,10 +1186,10 @@ (module (func (export "f32.no_fold_recip_recip") (param $x f32) (result f32) - (f32.div (f32.const 1.0) (f32.div (f32.const 1.0) (get_local $x)))) + (f32.div (f32.const 1.0) (f32.div (f32.const 1.0) (local.get $x)))) (func (export "f64.no_fold_recip_recip") (param $x f64) (result f64) - (f64.div (f64.const 1.0) (f64.div (f64.const 1.0) (get_local $x)))) + (f64.div (f64.const 1.0) (f64.div (f64.const 1.0) (local.get $x)))) ) (assert_return (invoke "f32.no_fold_recip_recip" (f32.const -0x1.e8bf18p+65)) (f32.const -0x1.e8bf16p+65)) @@ -1218,12 +1218,12 @@ (module (func (export "f32.no_algebraic_factoring") (param $x f32) (param $y f32) (result f32) - (f32.mul (f32.add (get_local $x) (get_local $y)) - (f32.sub (get_local $x) (get_local $y)))) + (f32.mul (f32.add (local.get $x) (local.get $y)) + (f32.sub (local.get $x) (local.get $y)))) (func (export "f64.no_algebraic_factoring") (param $x f64) (param $y f64) (result f64) - (f64.mul (f64.add (get_local $x) (get_local $y)) - (f64.sub (get_local $x) (get_local $y)))) + (f64.mul (f64.add (local.get $x) (local.get $y)) + (f64.sub (local.get $x) (local.get $y)))) ) (assert_return (invoke "f32.no_algebraic_factoring" (f32.const -0x1.ef678ep-55) (f32.const 0x1.c160b8p-54)) (f32.const -0x1.129402p-107)) @@ -1242,12 +1242,12 @@ (module (func (export "f32.no_algebraic_factoring") (param $x f32) (param $y f32) (result f32) - (f32.sub (f32.mul (get_local $x) (get_local $x)) - (f32.mul (get_local $y) (get_local $y)))) + (f32.sub (f32.mul (local.get $x) (local.get $x)) + (f32.mul (local.get $y) (local.get $y)))) (func (export "f64.no_algebraic_factoring") (param $x f64) (param $y f64) (result f64) - (f64.sub (f64.mul (get_local $x) (get_local $x)) - (f64.mul (get_local $y) (get_local $y)))) + (f64.sub (f64.mul (local.get $x) (local.get $x)) + (f64.mul (local.get $y) (local.get $y)))) ) (assert_return (invoke "f32.no_algebraic_factoring" (f32.const 0x1.8e2c14p-46) (f32.const 0x1.bad59ap-39)) (f32.const -0x1.7efe5p-77)) @@ -1318,41 +1318,41 @@ (local $t f32) (block $exit (loop $top - (set_local $t + (local.set $t (f32.sub (f32.sub - (tee_local $sum + (local.tee $sum (f32.add - (get_local $c) - (tee_local $t - (f32.sub (f32.load (get_local $p)) (get_local $t)) + (local.get $c) + (local.tee $t + (f32.sub (f32.load (local.get $p)) (local.get $t)) ) ) ) - (get_local $c) + (local.get $c) ) - (get_local $t) + (local.get $t) ) ) - (set_local $p (i32.add (get_local $p) (i32.const 4))) - (set_local $c (get_local $sum)) - (br_if $top (tee_local $n (i32.add (get_local $n) (i32.const -1)))) + (local.set $p (i32.add (local.get $p) (i32.const 4))) + (local.set $c (local.get $sum)) + (br_if $top (local.tee $n (i32.add (local.get $n) (i32.const -1)))) ) ) - (get_local $sum) + (local.get $sum) ) (func (export "f32.plain_sum") (param $p i32) (param $n i32) (result f32) (local $sum f32) (block $exit (loop $top - (set_local $sum (f32.add (get_local $sum) (f32.load (get_local $p)))) - (set_local $p (i32.add (get_local $p) (i32.const 4))) - (set_local $n (i32.add (get_local $n) (i32.const -1))) - (br_if $top (get_local $n)) + (local.set $sum (f32.add (local.get $sum) (f32.load (local.get $p)))) + (local.set $p (i32.add (local.get $p) (i32.const 4))) + (local.set $n (i32.add (local.get $n) (i32.const -1))) + (br_if $top (local.get $n)) ) ) - (get_local $sum) + (local.get $sum) ) ) @@ -1369,41 +1369,41 @@ (local $t f64) (block $exit (loop $top - (set_local $t + (local.set $t (f64.sub (f64.sub - (tee_local $sum + (local.tee $sum (f64.add - (get_local $c) - (tee_local $t - (f64.sub (f64.load (get_local $p)) (get_local $t)) + (local.get $c) + (local.tee $t + (f64.sub (f64.load (local.get $p)) (local.get $t)) ) ) ) - (get_local $c) + (local.get $c) ) - (get_local $t) + (local.get $t) ) ) - (set_local $p (i32.add (get_local $p) (i32.const 8))) - (set_local $c (get_local $sum)) - (br_if $top (tee_local $n (i32.add (get_local $n) (i32.const -1)))) + (local.set $p (i32.add (local.get $p) (i32.const 8))) + (local.set $c (local.get $sum)) + (br_if $top (local.tee $n (i32.add (local.get $n) (i32.const -1)))) ) ) - (get_local $sum) + (local.get $sum) ) (func (export "f64.plain_sum") (param $p i32) (param $n i32) (result f64) (local $sum f64) (block $exit (loop $top - (set_local $sum (f64.add (get_local $sum) (f64.load (get_local $p)))) - (set_local $p (i32.add (get_local $p) (i32.const 8))) - (set_local $n (i32.add (get_local $n) (i32.const -1))) - (br_if $top (get_local $n)) + (local.set $sum (f64.add (local.get $sum) (f64.load (local.get $p)))) + (local.set $p (i32.add (local.get $p) (i32.const 8))) + (local.set $n (i32.add (local.get $n) (i32.const -1))) + (br_if $top (local.get $n)) ) ) - (get_local $sum) + (local.get $sum) ) ) @@ -1414,10 +1414,10 @@ (module (func (export "f32.no_fold_neg_sub") (param $x f32) (param $y f32) (result f32) - (f32.neg (f32.sub (get_local $x) (get_local $y)))) + (f32.neg (f32.sub (local.get $x) (local.get $y)))) (func (export "f64.no_fold_neg_sub") (param $x f64) (param $y f64) (result f64) - (f64.neg (f64.sub (get_local $x) (get_local $y)))) + (f64.neg (f64.sub (local.get $x) (local.get $y)))) ) (assert_return (invoke "f32.no_fold_neg_sub" (f32.const -0.0) (f32.const -0.0)) (f32.const -0.0)) @@ -1434,10 +1434,10 @@ (module (func (export "f32.no_fold_add_neg") (param $x f32) (result f32) - (f32.add (f32.neg (get_local $x)) (get_local $x))) + (f32.add (f32.neg (local.get $x)) (local.get $x))) (func (export "f64.no_fold_add_neg") (param $x f64) (result f64) - (f64.add (f64.neg (get_local $x)) (get_local $x))) + (f64.add (f64.neg (local.get $x)) (local.get $x))) ) (assert_return (invoke "f32.no_fold_add_neg" (f32.const 0.0)) (f32.const 0.0)) @@ -1455,15 +1455,15 @@ (module (func (export "f32.no_fold_6x_via_add") (param $x f32) (result f32) (f32.add (f32.add (f32.add (f32.add (f32.add - (get_local $x) - (get_local $x)) (get_local $x)) (get_local $x)) - (get_local $x)) (get_local $x))) + (local.get $x) + (local.get $x)) (local.get $x)) (local.get $x)) + (local.get $x)) (local.get $x))) (func (export "f64.no_fold_6x_via_add") (param $x f64) (result f64) (f64.add (f64.add (f64.add (f64.add (f64.add - (get_local $x) - (get_local $x)) (get_local $x)) (get_local $x)) - (get_local $x)) (get_local $x))) + (local.get $x) + (local.get $x)) (local.get $x)) (local.get $x)) + (local.get $x)) (local.get $x))) ) (assert_return (invoke "f32.no_fold_6x_via_add" (f32.const -0x1.598a0cp+99)) (f32.const -0x1.03278ap+102)) @@ -1483,10 +1483,10 @@ (module (func (export "f32.no_fold_div_div") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.div (f32.div (get_local $x) (get_local $y)) (get_local $z))) + (f32.div (f32.div (local.get $x) (local.get $y)) (local.get $z))) (func (export "f64.no_fold_div_div") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.div (f64.div (get_local $x) (get_local $y)) (get_local $z))) + (f64.div (f64.div (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f32.no_fold_div_div" (f32.const -0x1.f70228p+78) (f32.const -0x1.fbc612p-16) (f32.const -0x1.8c379p+10)) (f32.const -0x1.47b43cp+83)) @@ -1507,10 +1507,10 @@ (module (func (export "f32.no_fold_mul_divs") (param $x f32) (param $y f32) (param $z f32) (param $w f32) (result f32) - (f32.mul (f32.div (get_local $x) (get_local $y)) (f32.div (get_local $z) (get_local $w)))) + (f32.mul (f32.div (local.get $x) (local.get $y)) (f32.div (local.get $z) (local.get $w)))) (func (export "f64.no_fold_mul_divs") (param $x f64) (param $y f64) (param $z f64) (param $w f64) (result f64) - (f64.mul (f64.div (get_local $x) (get_local $y)) (f64.div (get_local $z) (get_local $w)))) + (f64.mul (f64.div (local.get $x) (local.get $y)) (f64.div (local.get $z) (local.get $w)))) ) (assert_return (invoke "f32.no_fold_mul_divs" (f32.const -0x1.c483bep-109) (f32.const 0x1.ee1c3cp-92) (f32.const 0x1.800756p-88) (f32.const -0x1.95b972p+4)) (f32.const 0x1.bbd30cp-110)) @@ -1529,10 +1529,10 @@ (module (func (export "f32.no_fold_add_divs") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.add (f32.div (get_local $x) (get_local $z)) (f32.div (get_local $y) (get_local $z)))) + (f32.add (f32.div (local.get $x) (local.get $z)) (f32.div (local.get $y) (local.get $z)))) (func (export "f64.no_fold_add_divs") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.add (f64.div (get_local $x) (get_local $z)) (f64.div (get_local $y) (get_local $z)))) + (f64.add (f64.div (local.get $x) (local.get $z)) (f64.div (local.get $y) (local.get $z)))) ) (assert_return (invoke "f32.no_fold_add_divs" (f32.const 0x1.795e7p+8) (f32.const -0x1.48a5eep-5) (f32.const -0x1.9a244cp+126)) (f32.const -0x1.d709b6p-119)) @@ -1551,10 +1551,10 @@ (module (func (export "f32.no_fold_sqrt_square") (param $x f32) (result f32) - (f32.sqrt (f32.mul (get_local $x) (get_local $x)))) + (f32.sqrt (f32.mul (local.get $x) (local.get $x)))) (func (export "f64.no_fold_sqrt_square") (param $x f64) (result f64) - (f64.sqrt (f64.mul (get_local $x) (get_local $x)))) + (f64.sqrt (f64.mul (local.get $x) (local.get $x)))) ) (assert_return (invoke "f32.no_fold_sqrt_square" (f32.const -0x1.5cb316p-66)) (f32.const 0x1.5cb322p-66)) @@ -1573,10 +1573,10 @@ (module (func (export "f32.no_fold_mul_sqrts") (param $x f32) (param $y f32) (result f32) - (f32.mul (f32.sqrt (get_local $x)) (f32.sqrt (get_local $y)))) + (f32.mul (f32.sqrt (local.get $x)) (f32.sqrt (local.get $y)))) (func (export "f64.no_fold_mul_sqrts") (param $x f64) (param $y f64) (result f64) - (f64.mul (f64.sqrt (get_local $x)) (f64.sqrt (get_local $y)))) + (f64.mul (f64.sqrt (local.get $x)) (f64.sqrt (local.get $y)))) ) (assert_return_nan (invoke "f32.no_fold_mul_sqrts" (f32.const 0x1.dddda8p-125) (f32.const -0x1.25d22ap-83))) @@ -1595,10 +1595,10 @@ (module (func (export "f32.no_fold_div_sqrts") (param $x f32) (param $y f32) (result f32) - (f32.div (f32.sqrt (get_local $x)) (f32.sqrt (get_local $y)))) + (f32.div (f32.sqrt (local.get $x)) (f32.sqrt (local.get $y)))) (func (export "f64.no_fold_div_sqrts") (param $x f64) (param $y f64) (result f64) - (f64.div (f64.sqrt (get_local $x)) (f64.sqrt (get_local $y)))) + (f64.div (f64.sqrt (local.get $x)) (f64.sqrt (local.get $y)))) ) (assert_return_nan (invoke "f32.no_fold_div_sqrts" (f32.const -0x1.bea9bap+25) (f32.const -0x1.db776ep-58))) @@ -1617,10 +1617,10 @@ (module (func (export "f32.no_fold_mul_sqrt_div") (param $x f32) (param $y f32) (result f32) - (f32.div (f32.mul (get_local $x) (f32.sqrt (get_local $y))) (get_local $y))) + (f32.div (f32.mul (local.get $x) (f32.sqrt (local.get $y))) (local.get $y))) (func (export "f64.no_fold_mul_sqrt_div") (param $x f64) (param $y f64) (result f64) - (f64.div (f64.mul (get_local $x) (f64.sqrt (get_local $y))) (get_local $y))) + (f64.div (f64.mul (local.get $x) (f64.sqrt (local.get $y))) (local.get $y))) ) (assert_return (invoke "f32.no_fold_mul_sqrt_div" (f32.const -0x1.f4a7cap+81) (f32.const 0x1.c09adep+92)) (f32.const -infinity)) @@ -1640,10 +1640,10 @@ (module (func (export "f32.no_flush_intermediate_subnormal") (param $x f32) (param $y f32) (param $z f32) (result f32) - (f32.mul (f32.mul (get_local $x) (get_local $y)) (get_local $z))) + (f32.mul (f32.mul (local.get $x) (local.get $y)) (local.get $z))) (func (export "f64.no_flush_intermediate_subnormal") (param $x f64) (param $y f64) (param $z f64) (result f64) - (f64.mul (f64.mul (get_local $x) (get_local $y)) (get_local $z))) + (f64.mul (f64.mul (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f32.no_flush_intermediate_subnormal" (f32.const 0x1p-126) (f32.const 0x1p-23) (f32.const 0x1p23)) (f32.const 0x1p-126)) @@ -1654,25 +1654,25 @@ (module (func (export "f32.recoding_eq") (param $x f32) (param $y f32) (result i32) - (f32.eq (f32.mul (get_local $x) (get_local $y)) (get_local $x))) + (f32.eq (f32.mul (local.get $x) (local.get $y)) (local.get $x))) (func (export "f32.recoding_le") (param $x f32) (param $y f32) (result i32) - (f32.le (f32.mul (get_local $x) (get_local $y)) (get_local $x))) + (f32.le (f32.mul (local.get $x) (local.get $y)) (local.get $x))) (func (export "f32.recoding_lt") (param $x f32) (param $y f32) (result i32) - (f32.lt (f32.mul (get_local $x) (get_local $y)) (get_local $x))) + (f32.lt (f32.mul (local.get $x) (local.get $y)) (local.get $x))) (func (export "f64.recoding_eq") (param $x f64) (param $y f64) (result i32) - (f64.eq (f64.mul (get_local $x) (get_local $y)) (get_local $x))) + (f64.eq (f64.mul (local.get $x) (local.get $y)) (local.get $x))) (func (export "f64.recoding_le") (param $x f64) (param $y f64) (result i32) - (f64.le (f64.mul (get_local $x) (get_local $y)) (get_local $x))) + (f64.le (f64.mul (local.get $x) (local.get $y)) (local.get $x))) (func (export "f64.recoding_lt") (param $x f64) (param $y f64) (result i32) - (f64.lt (f64.mul (get_local $x) (get_local $y)) (get_local $x))) + (f64.lt (f64.mul (local.get $x) (local.get $y)) (local.get $x))) (func (export "recoding_demote") (param $x f64) (param $y f32) (result f32) - (f32.mul (f32.demote/f64 (get_local $x)) (get_local $y))) + (f32.mul (f32.demote_f64 (local.get $x)) (local.get $y))) ) (assert_return (invoke "f32.recoding_eq" (f32.const -infinity) (f32.const 3.0)) (i32.const 1)) @@ -1698,10 +1698,10 @@ (module (func (export "f32.no_extended_precision_div") (param $x f32) (param $y f32) (param $z f32) (result i32) - (f32.eq (f32.div (get_local $x) (get_local $y)) (get_local $z))) + (f32.eq (f32.div (local.get $x) (local.get $y)) (local.get $z))) (func (export "f64.no_extended_precision_div") (param $x f64) (param $y f64) (param $z f64) (result i32) - (f64.eq (f64.div (get_local $x) (get_local $y)) (get_local $z))) + (f64.eq (f64.div (local.get $x) (local.get $y)) (local.get $z))) ) (assert_return (invoke "f32.no_extended_precision_div" (f32.const 3.0) (f32.const 7.0) (f32.const 0x1.b6db6ep-2)) (i32.const 1)) @@ -1714,10 +1714,10 @@ (module (func (export "f32.no_distribute_exact") (param $x f32) (result f32) - (f32.add (f32.mul (f32.const -8.0) (get_local $x)) (f32.mul (f32.const 8.0) (get_local $x)))) + (f32.add (f32.mul (f32.const -8.0) (local.get $x)) (f32.mul (f32.const 8.0) (local.get $x)))) (func (export "f64.no_distribute_exact") (param $x f64) (result f64) - (f64.add (f64.mul (f64.const -8.0) (get_local $x)) (f64.mul (f64.const 8.0) (get_local $x)))) + (f64.add (f64.mul (f64.const -8.0) (local.get $x)) (f64.mul (f64.const 8.0) (local.get $x)))) ) (assert_return (invoke "f32.no_distribute_exact" (f32.const -0.0)) (f32.const 0.0)) @@ -1728,34 +1728,34 @@ ;; https://xkcd.com/1047/ (module (func (export "f32.sqrt") (param f32) (result f32) - (f32.sqrt (get_local 0))) + (f32.sqrt (local.get 0))) (func (export "f32.xkcd_sqrt_2") (param f32) (param f32) (param f32) (param f32) (result f32) - (f32.add (f32.div (get_local 0) (get_local 1)) (f32.div (get_local 2) (f32.sub (get_local 3) (get_local 2))))) + (f32.add (f32.div (local.get 0) (local.get 1)) (f32.div (local.get 2) (f32.sub (local.get 3) (local.get 2))))) (func (export "f32.xkcd_sqrt_3") (param f32) (param f32) (param f32) (result f32) - (f32.div (f32.mul (get_local 0) (get_local 1)) (get_local 2))) + (f32.div (f32.mul (local.get 0) (local.get 1)) (local.get 2))) (func (export "f32.xkcd_sqrt_5") (param f32) (param f32) (param f32) (result f32) - (f32.add (f32.div (get_local 0) (get_local 1)) (f32.div (get_local 2) (get_local 0)))) + (f32.add (f32.div (local.get 0) (local.get 1)) (f32.div (local.get 2) (local.get 0)))) (func (export "f32.xkcd_better_sqrt_5") (param f32) (param f32) (param f32) (param f32) (result f32) - (f32.div (f32.add (get_local 0) (f32.mul (get_local 1) (get_local 2))) (f32.sub (get_local 3) (f32.mul (get_local 1) (get_local 2))))) + (f32.div (f32.add (local.get 0) (f32.mul (local.get 1) (local.get 2))) (f32.sub (local.get 3) (f32.mul (local.get 1) (local.get 2))))) (func (export "f64.sqrt") (param f64) (result f64) - (f64.sqrt (get_local 0))) + (f64.sqrt (local.get 0))) (func (export "f64.xkcd_sqrt_2") (param f64) (param f64) (param f64) (param f64) (result f64) - (f64.add (f64.div (get_local 0) (get_local 1)) (f64.div (get_local 2) (f64.sub (get_local 3) (get_local 2))))) + (f64.add (f64.div (local.get 0) (local.get 1)) (f64.div (local.get 2) (f64.sub (local.get 3) (local.get 2))))) (func (export "f64.xkcd_sqrt_3") (param f64) (param f64) (param f64) (result f64) - (f64.div (f64.mul (get_local 0) (get_local 1)) (get_local 2))) + (f64.div (f64.mul (local.get 0) (local.get 1)) (local.get 2))) (func (export "f64.xkcd_sqrt_5") (param f64) (param f64) (param f64) (result f64) - (f64.add (f64.div (get_local 0) (get_local 1)) (f64.div (get_local 2) (get_local 0)))) + (f64.add (f64.div (local.get 0) (local.get 1)) (f64.div (local.get 2) (local.get 0)))) (func (export "f64.xkcd_better_sqrt_5") (param f64) (param f64) (param f64) (param f64) (result f64) - (f64.div (f64.add (get_local 0) (f64.mul (get_local 1) (get_local 2))) (f64.sub (get_local 3) (f64.mul (get_local 1) (get_local 2))))) + (f64.div (f64.add (local.get 0) (f64.mul (local.get 1) (local.get 2))) (f64.sub (local.get 3) (f64.mul (local.get 1) (local.get 2))))) ) (assert_return (invoke "f32.sqrt" (f32.const 2.0)) (f32.const 0x1.6a09e6p+0)) @@ -1785,10 +1785,10 @@ (f32.add (f32.sub (f32.add - (tee_local $0 (f32.add (get_local $0) (get_local $0))) + (local.tee $0 (f32.add (local.get $0) (local.get $0))) (f32.const 1) ) - (get_local $0) + (local.get $0) ) (f32.const -1) ) @@ -1802,18 +1802,18 @@ (f32.sub (f32.sub (f32.add - (get_local $0) - (tee_local $1 (f32.add (get_local $1) (f32.const 1))) + (local.get $0) + (local.tee $1 (f32.add (local.get $1) (f32.const 1))) ) - (get_local $0) + (local.get $0) ) - (get_local $1) + (local.get $1) ) (f32.const 0) ) ) ) - (get_local $1) + (local.get $1) ) (func (export "f64.compute_radix") (param $0 f64) (param $1 f64) (result f64) @@ -1823,10 +1823,10 @@ (f64.add (f64.sub (f64.add - (tee_local $0 (f64.add (get_local $0) (get_local $0))) + (local.tee $0 (f64.add (local.get $0) (local.get $0))) (f64.const 1) ) - (get_local $0) + (local.get $0) ) (f64.const -1) ) @@ -1840,18 +1840,18 @@ (f64.sub (f64.sub (f64.add - (get_local $0) - (tee_local $1 (f64.add (get_local $1) (f64.const 1))) + (local.get $0) + (local.tee $1 (f64.add (local.get $1) (f64.const 1))) ) - (get_local $0) + (local.get $0) ) - (get_local $1) + (local.get $1) ) (f64.const 0) ) ) ) - (get_local $1) + (local.get $1) ) ) @@ -1863,10 +1863,10 @@ (module (func (export "f32.no_fold_sub1_mul_add") (param $x f32) (param $y f32) (result f32) - (f32.add (f32.mul (f32.sub (get_local $x) (f32.const 1.0)) (get_local $y)) (get_local $y))) + (f32.add (f32.mul (f32.sub (local.get $x) (f32.const 1.0)) (local.get $y)) (local.get $y))) (func (export "f64.no_fold_sub1_mul_add") (param $x f64) (param $y f64) (result f64) - (f64.add (f64.mul (f64.sub (get_local $x) (f64.const 1.0)) (get_local $y)) (get_local $y))) + (f64.add (f64.mul (f64.sub (local.get $x) (f64.const 1.0)) (local.get $y)) (local.get $y))) ) (assert_return (invoke "f32.no_fold_sub1_mul_add" (f32.const 0x1p-32) (f32.const 1.0)) (f32.const 0x0p+0)) @@ -1877,16 +1877,16 @@ (module (func (export "f32.no_fold_add_le_monotonicity") (param $x f32) (param $y f32) (param $z f32) (result i32) - (f32.le (f32.add (get_local $x) (get_local $z)) (f32.add (get_local $y) (get_local $z)))) + (f32.le (f32.add (local.get $x) (local.get $z)) (f32.add (local.get $y) (local.get $z)))) (func (export "f32.no_fold_add_ge_monotonicity") (param $x f32) (param $y f32) (param $z f32) (result i32) - (f32.ge (f32.add (get_local $x) (get_local $z)) (f32.add (get_local $y) (get_local $z)))) + (f32.ge (f32.add (local.get $x) (local.get $z)) (f32.add (local.get $y) (local.get $z)))) (func (export "f64.no_fold_add_le_monotonicity") (param $x f64) (param $y f64) (param $z f64) (result i32) - (f64.le (f64.add (get_local $x) (get_local $z)) (f64.add (get_local $y) (get_local $z)))) + (f64.le (f64.add (local.get $x) (local.get $z)) (f64.add (local.get $y) (local.get $z)))) (func (export "f64.no_fold_add_ge_monotonicity") (param $x f64) (param $y f64) (param $z f64) (result i32) - (f64.ge (f64.add (get_local $x) (get_local $z)) (f64.add (get_local $y) (get_local $z)))) + (f64.ge (f64.add (local.get $x) (local.get $z)) (f64.add (local.get $y) (local.get $z)))) ) (assert_return (invoke "f32.no_fold_add_le_monotonicity" (f32.const 0.0) (f32.const 0.0) (f32.const nan)) (i32.const 0)) @@ -1898,28 +1898,28 @@ (module (func (export "f32.not_lt") (param $x f32) (param $y f32) (result i32) - (i32.eqz (f32.lt (get_local $x) (get_local $y)))) + (i32.eqz (f32.lt (local.get $x) (local.get $y)))) (func (export "f32.not_le") (param $x f32) (param $y f32) (result i32) - (i32.eqz (f32.le (get_local $x) (get_local $y)))) + (i32.eqz (f32.le (local.get $x) (local.get $y)))) (func (export "f32.not_gt") (param $x f32) (param $y f32) (result i32) - (i32.eqz (f32.gt (get_local $x) (get_local $y)))) + (i32.eqz (f32.gt (local.get $x) (local.get $y)))) (func (export "f32.not_ge") (param $x f32) (param $y f32) (result i32) - (i32.eqz (f32.ge (get_local $x) (get_local $y)))) + (i32.eqz (f32.ge (local.get $x) (local.get $y)))) (func (export "f64.not_lt") (param $x f64) (param $y f64) (result i32) - (i32.eqz (f64.lt (get_local $x) (get_local $y)))) + (i32.eqz (f64.lt (local.get $x) (local.get $y)))) (func (export "f64.not_le") (param $x f64) (param $y f64) (result i32) - (i32.eqz (f64.le (get_local $x) (get_local $y)))) + (i32.eqz (f64.le (local.get $x) (local.get $y)))) (func (export "f64.not_gt") (param $x f64) (param $y f64) (result i32) - (i32.eqz (f64.gt (get_local $x) (get_local $y)))) + (i32.eqz (f64.gt (local.get $x) (local.get $y)))) (func (export "f64.not_ge") (param $x f64) (param $y f64) (result i32) - (i32.eqz (f64.ge (get_local $x) (get_local $y)))) + (i32.eqz (f64.ge (local.get $x) (local.get $y)))) ) (assert_return (invoke "f32.not_lt" (f32.const nan) (f32.const 0.0)) (i32.const 1)) @@ -1951,22 +1951,22 @@ (module (func (export "f32.no_trichotomy_lt") (param $x f32) (param $y f32) (result i32) - (i32.or (f32.lt (get_local $x) (get_local $y)) (f32.ge (get_local $x) (get_local $y)))) + (i32.or (f32.lt (local.get $x) (local.get $y)) (f32.ge (local.get $x) (local.get $y)))) (func (export "f32.no_trichotomy_le") (param $x f32) (param $y f32) (result i32) - (i32.or (f32.le (get_local $x) (get_local $y)) (f32.gt (get_local $x) (get_local $y)))) + (i32.or (f32.le (local.get $x) (local.get $y)) (f32.gt (local.get $x) (local.get $y)))) (func (export "f32.no_trichotomy_gt") (param $x f32) (param $y f32) (result i32) - (i32.or (f32.gt (get_local $x) (get_local $y)) (f32.le (get_local $x) (get_local $y)))) + (i32.or (f32.gt (local.get $x) (local.get $y)) (f32.le (local.get $x) (local.get $y)))) (func (export "f32.no_trichotomy_ge") (param $x f32) (param $y f32) (result i32) - (i32.or (f32.ge (get_local $x) (get_local $y)) (f32.lt (get_local $x) (get_local $y)))) + (i32.or (f32.ge (local.get $x) (local.get $y)) (f32.lt (local.get $x) (local.get $y)))) (func (export "f64.no_trichotomy_lt") (param $x f64) (param $y f64) (result i32) - (i32.or (f64.lt (get_local $x) (get_local $y)) (f64.ge (get_local $x) (get_local $y)))) + (i32.or (f64.lt (local.get $x) (local.get $y)) (f64.ge (local.get $x) (local.get $y)))) (func (export "f64.no_trichotomy_le") (param $x f64) (param $y f64) (result i32) - (i32.or (f64.le (get_local $x) (get_local $y)) (f64.gt (get_local $x) (get_local $y)))) + (i32.or (f64.le (local.get $x) (local.get $y)) (f64.gt (local.get $x) (local.get $y)))) (func (export "f64.no_trichotomy_gt") (param $x f64) (param $y f64) (result i32) - (i32.or (f64.gt (get_local $x) (get_local $y)) (f64.le (get_local $x) (get_local $y)))) + (i32.or (f64.gt (local.get $x) (local.get $y)) (f64.le (local.get $x) (local.get $y)))) (func (export "f64.no_trichotomy_ge") (param $x f64) (param $y f64) (result i32) - (i32.or (f64.ge (get_local $x) (get_local $y)) (f64.lt (get_local $x) (get_local $y)))) + (i32.or (f64.ge (local.get $x) (local.get $y)) (f64.lt (local.get $x) (local.get $y)))) ) (assert_return (invoke "f32.no_trichotomy_lt" (f32.const 0.0) (f32.const nan)) (i32.const 0)) |