diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2024-08-08 10:22:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-08 10:22:51 -0700 |
| commit | d945aa489a1ad62c130e04ceea8492c7a728ab57 (patch) | |
| tree | 04e529f11ed8b2dfe9d98f84d25f7bef05f158b0 /test/spec | |
| parent | c9fd92c25a74a70c9730f1b39b49ef3d91a1a7f1 (diff) | |
| download | binaryen-d945aa489a1ad62c130e04ceea8492c7a728ab57.tar.gz binaryen-d945aa489a1ad62c130e04ceea8492c7a728ab57.tar.bz2 binaryen-d945aa489a1ad62c130e04ceea8492c7a728ab57.zip | |
[FP16] Implement lane access instructions. (#6821)
Specified at
https://github.com/WebAssembly/half-precision/blob/main/proposals/half-precision/Overview.md
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/f16.wast | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/spec/f16.wast b/test/spec/f16.wast index 19bad1756..ef32b2ab5 100644 --- a/test/spec/f16.wast +++ b/test/spec/f16.wast @@ -6,6 +6,11 @@ (func (export "f32.load_f16") (result f32) (f32.load_f16 (i32.const 0))) (func (export "f32.store_f16") (f32.store_f16 (i32.const 0) (f32.const 100.5))) (func (export "i32.load16_u") (result i32) (i32.load16_u (i32.const 2))) + (func (export "f16x8.splat") (param $0 f32) (result v128) (f16x8.splat (local.get $0))) + (func (export "f16x8.extract_lane_first") (param $0 v128) (result f32) (f16x8.extract_lane 0 (local.get $0))) + (func (export "f16x8.extract_lane_last") (param $0 v128) (result f32) (f16x8.extract_lane 7 (local.get $0))) + (func (export "f16x8.replace_lane_first") (param $0 v128) (param $1 f32) (result v128) (f16x8.replace_lane 0 (local.get $0) (local.get $1))) + (func (export "f16x8.replace_lane_last") (param $0 v128) (param $1 f32) (result v128) (f16x8.replace_lane 7 (local.get $0) (local.get $1))) ) (assert_return (invoke "f32.load_f16") (f32.const 42.0)) @@ -13,3 +18,10 @@ (assert_return (invoke "f32.load_f16") (f32.const 100.5)) ;; Ensure that the above operations didn't write to memory they shouldn't have. (assert_return (invoke "i32.load16_u") (i32.const 0xDEAD)) + +;; lane accesses +(assert_return (invoke "f16x8.splat" (f32.const 100.5)) (v128.const i16x8 0x5648 0x5648 0x5648 0x5648 0x5648 0x5648 0x5648 0x5648)) +(assert_return (invoke "f16x8.extract_lane_first" (v128.const i16x8 0x5648 0 0 0 0 0 0 0)) (f32.const 100.5)) +(assert_return (invoke "f16x8.extract_lane_last" (v128.const i16x8 0 0 0 0 0 0 0 0xc500)) (f32.const -5)) +(assert_return (invoke "f16x8.replace_lane_first" (v128.const i64x2 0 0) (f32.const 100.5)) (v128.const i16x8 0x5648 0 0 0 0 0 0 0)) +(assert_return (invoke "f16x8.replace_lane_last" (v128.const i64x2 0 0) (f32.const 100.5)) (v128.const i16x8 0 0 0 0 0 0 0 0x5648)) |