diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2024-08-22 11:21:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-22 11:21:53 -0700 |
| commit | 95a280f70ef529c3c506d628648a96f2d267f4c1 (patch) | |
| tree | e77cf0b2337418fb7034c5c0e5b21de172b4bc30 /test/lit/validation | |
| parent | 2d99e10c03e619b01688268319c1cd43f7539e33 (diff) | |
| download | binaryen-95a280f70ef529c3c506d628648a96f2d267f4c1.tar.gz binaryen-95a280f70ef529c3c506d628648a96f2d267f4c1.tar.bz2 binaryen-95a280f70ef529c3c506d628648a96f2d267f4c1.zip | |
[FP16] Add a feature flag for FP16. (#6864)
Ensure the "fp16" feature is enabled for FP16 instructions.
Diffstat (limited to 'test/lit/validation')
| -rw-r--r-- | test/lit/validation/fp16.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/lit/validation/fp16.wast b/test/lit/validation/fp16.wast new file mode 100644 index 000000000..b1c8ce9c2 --- /dev/null +++ b/test/lit/validation/fp16.wast @@ -0,0 +1,11 @@ +;; Test that fp16 operations require the fp16 feature. + +;; RUN: not wasm-opt %s --enable-simd 2>&1 | filecheck %s --check-prefix NO-FP16 +;; RUN: wasm-opt %s --enable-simd --enable-fp16 -o - -S | filecheck %s --check-prefix FP16 + +;; NO-FP16: FP16 operations require FP16 [--enable-fp16] +;; FP16: (type $0 (func (param v128 v128) (result v128))) + +(module + (func (export "f16x8.add") (param $0 v128) (param $1 v128) (result v128) (f16x8.add (local.get $0) (local.get $1))) +) |