| ;; Check that using different inputs for the instrumentation and splitting steps | |
| ;; results in an error. | |
| ;; Instrument the module | |
| ;; RUN: wasm-split --instrument %s -o %t.instrumented.wasm | |
| ;; Generate a profile | |
| ;; RUN: node %S/call_exports.mjs %t.instrumented.wasm %t.prof | |
| ;; Attempt to split the instrumented module | |
| ;; RUN: not wasm-split %t.instrumented.wasm --profile=%t.prof -o1 %t.1.wasm -o2 %t.2.wasm \ | |
| ;; RUN: 2>&1 | filecheck %s | |
| ;; CHECK: error: checksum in profile does not match module checksum. The module to split must be the original, uninstrumented module, not the module used to generate the profile. | |
| ;; Check that the matching module succeeds | |
| ;; RUN: wasm-split %s --profile=%t.prof -o1 %t.1.wasm -o2 %t.2.wasm | |
| (module | |
| (memory $m 0 0) | |
| (export "memory" (memory $m)) | |
| ) |