diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2024-08-06 14:15:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-06 14:15:58 -0700 |
| commit | 0c269482097ae9da62a690b0ace406e2d2109c48 (patch) | |
| tree | d7fa2f2f5b9e7e703dce9805f9dbd1bb16f65cfb /test/spec | |
| parent | d5a5425c0c76cfc08711b81d6ec70c3a2879e405 (diff) | |
| download | binaryen-0c269482097ae9da62a690b0ace406e2d2109c48.tar.gz binaryen-0c269482097ae9da62a690b0ace406e2d2109c48.tar.bz2 binaryen-0c269482097ae9da62a690b0ace406e2d2109c48.zip | |
[FP16] Implement load and store instructions. (#6796)
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 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/spec/f16.wast b/test/spec/f16.wast new file mode 100644 index 000000000..19bad1756 --- /dev/null +++ b/test/spec/f16.wast @@ -0,0 +1,15 @@ +;; Test float 16 operations. + +(module + (memory (data "\40\51\AD\DE")) + + (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))) +) + +(assert_return (invoke "f32.load_f16") (f32.const 42.0)) +(invoke "f32.store_f16") +(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)) |