diff options
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))) +) |