| ;; array.init_data refers to a data segment and therefore requires the datacount |
| ;; section be emitted (so it can be validated, per the spec, using only previous |
| ;; sections), which means bulk memory must be enabled. |
| |
| ;; RUN: not wasm-opt --enable-reference-types --enable-gc %s 2>&1 | filecheck %s |
| |
| ;; CHECK: Data segment operations require bulk memory |
| |
| (module |
| (type $0 (array i8)) |
| |
| (memory $0 16 17) |
| |
| (data $0 (i32.const 0) "") |
| |
| (func $0 |
| (array.init_data $0 $0 |
| (ref.null $0) |
| (i32.const 0) |
| (i32.const 0) |
| (i32.const 0) |
| ) |
| ) |
| ) |
| |
| ;; But it passes with the feature enabled. |
| ;; RUN: wasm-opt --enable-reference-types --enable-gc --enable-bulk-memory %s |
