;; RUN: foreach %s %t not wasm-opt 2>&1 | filecheck %s
;; RUN: foreach %s %t wasm-opt --enable-fp16 -o /dev/null

;; CHECK: FP16 operations require FP16 [--enable-fp16]
(module
  (memory 1)
  (func (result f32) (f32.load_f16 (i32.const 0))))

;; CHECK: FP16 operations require FP16 [--enable-fp16]
(module
  (memory 1)
  (func (param f32) (f32.store_f16 (i32.const 0) (local.get 0))))