andodeki/makepad
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
makepad/libs/stitch/tests/testsuite/proposals/relaxed-simd/relaxed_min_max.wast
Eddy Bruel ff9048cc37 Initial commit
2025-05-06 10:11:37 +02:00

184 lines
8.4 KiB
WebAssembly Text Format
Raw Permalink Blame History

;; Tests for f32x4.min, f32x4.max, f64x2.min, and f64x2.max.
;; `either` comes from https://github.com/WebAssembly/threads.
(module
(func (export "f32x4.relaxed_min") (param v128 v128) (result v128) (f32x4.relaxed_min (local.get 0) (local.get 1)))
(func (export "f32x4.relaxed_max") (param v128 v128) (result v128) (f32x4.relaxed_max (local.get 0) (local.get 1)))
(func (export "f64x2.relaxed_min") (param v128 v128) (result v128) (f64x2.relaxed_min (local.get 0) (local.get 1)))
(func (export "f64x2.relaxed_max") (param v128 v128) (result v128) (f64x2.relaxed_max (local.get 0) (local.get 1)))
(func (export "f32x4.relaxed_min_cmp") (param v128 v128) (result v128)
(i32x4.eq
(f32x4.relaxed_min (local.get 0) (local.get 1))
(f32x4.relaxed_min (local.get 0) (local.get 1))))
(func (export "f32x4.relaxed_max_cmp") (param v128 v128) (result v128)
(i32x4.eq
(f32x4.relaxed_max (local.get 0) (local.get 1))
(f32x4.relaxed_max (local.get 0) (local.get 1))))
(func (export "f64x2.relaxed_min_cmp") (param v128 v128) (result v128)
(i64x2.eq
(f64x2.relaxed_min (local.get 0) (local.get 1))
(f64x2.relaxed_min (local.get 0) (local.get 1))))
(func (export "f64x2.relaxed_max_cmp") (param v128 v128) (result v128)
(i64x2.eq
(f64x2.relaxed_max (local.get 0) (local.get 1))
(f64x2.relaxed_max (local.get 0) (local.get 1))))
)
(assert_return (invoke "f32x4.relaxed_min"
(v128.const f32x4 -nan nan 0 0)
(v128.const f32x4 0 0 -nan nan))
(either (v128.const f32x4 nan:canonical nan:canonical nan:canonical nan:canonical)
(v128.const f32x4 nan:canonical nan:canonical 0 0)
(v128.const f32x4 0 0 nan:canonical nan:canonical)
(v128.const f32x4 0 0 0 0)))
(assert_return (invoke "f32x4.relaxed_min"
(v128.const f32x4 +0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 +0.0 +0.0 -0.0))
(either (v128.const f32x4 -0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 +0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 +0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 -0.0 +0.0 -0.0)))
(assert_return (invoke "f32x4.relaxed_max"
(v128.const f32x4 -nan nan 0 0)
(v128.const f32x4 0 0 -nan nan))
(either (v128.const f32x4 nan:canonical nan:canonical nan:canonical nan:canonical)
(v128.const f32x4 nan:canonical nan:canonical 0 0)
(v128.const f32x4 0 0 nan:canonical nan:canonical)
(v128.const f32x4 0 0 0 0)))
(assert_return (invoke "f32x4.relaxed_max"
(v128.const f32x4 +0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 +0.0 +0.0 -0.0))
(either (v128.const f32x4 +0.0 +0.0 +0.0 -0.0)
(v128.const f32x4 +0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 +0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 -0.0 +0.0 -0.0)))
(assert_return (invoke "f64x2.relaxed_min"
(v128.const f64x2 -nan nan)
(v128.const f64x2 0 0))
(either (v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 0 0)
(v128.const f64x2 0 0)))
(assert_return (invoke "f64x2.relaxed_min"
(v128.const f64x2 0 0)
(v128.const f64x2 -nan nan))
(either (v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 0 0)
(v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 0 0)))
(assert_return (invoke "f64x2.relaxed_min"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 -0.0 +0.0))
(either (v128.const f64x2 -0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 -0.0 +0.0)
(v128.const f64x2 -0.0 -0.0)))
(assert_return (invoke "f64x2.relaxed_min"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0))
(either (v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)))
(assert_return (invoke "f64x2.relaxed_max"
(v128.const f64x2 -nan nan)
(v128.const f64x2 0 0))
(either (v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 0 0)
(v128.const f64x2 0 0)))
(assert_return (invoke "f64x2.relaxed_max"
(v128.const f64x2 0 0)
(v128.const f64x2 -nan nan))
(either (v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 0 0)
(v128.const f64x2 nan:canonical nan:canonical)
(v128.const f64x2 0 0)))
(assert_return (invoke "f64x2.relaxed_max"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 -0.0 +0.0))
(either (v128.const f64x2 +0.0 +0.0)
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 -0.0 +0.0)
(v128.const f64x2 -0.0 -0.0)))
(assert_return (invoke "f64x2.relaxed_max"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0))
(either (v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0)))
;; Check that multiple calls to the relaxed instruction with same inputs returns same results.
(assert_return (invoke "f32x4.relaxed_min_cmp"
(v128.const f32x4 -nan nan 0 0)
(v128.const f32x4 0 0 -nan nan))
(v128.const i32x4 -1 -1 -1 -1))
(assert_return (invoke "f32x4.relaxed_min_cmp"
(v128.const f32x4 +0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 +0.0 +0.0 -0.0))
(v128.const i32x4 -1 -1 -1 -1))
(assert_return (invoke "f32x4.relaxed_max_cmp"
(v128.const f32x4 -nan nan 0 0)
(v128.const f32x4 0 0 -nan nan))
(v128.const i32x4 -1 -1 -1 -1))
(assert_return (invoke "f32x4.relaxed_max_cmp"
(v128.const f32x4 +0.0 -0.0 +0.0 -0.0)
(v128.const f32x4 -0.0 +0.0 +0.0 -0.0))
(v128.const i32x4 -1 -1 -1 -1))
(assert_return (invoke "f64x2.relaxed_min_cmp"
(v128.const f64x2 -nan nan)
(v128.const f64x2 0 0))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_min_cmp"
(v128.const f64x2 0 0)
(v128.const f64x2 -nan nan))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_min_cmp"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 -0.0 +0.0))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_min_cmp"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_max_cmp"
(v128.const f64x2 -nan nan)
(v128.const f64x2 0 0))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_max_cmp"
(v128.const f64x2 0 0)
(v128.const f64x2 -nan nan))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_max_cmp"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 -0.0 +0.0))
(v128.const i64x2 -1 -1))
(assert_return (invoke "f64x2.relaxed_max_cmp"
(v128.const f64x2 +0.0 -0.0)
(v128.const f64x2 +0.0 -0.0))
(v128.const i64x2 -1 -1))
Reference in a new issue View git blame Copy permalink