;; 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.
;; CHECK-SAME: The split module must be the original module that was instrumented
;; CHECK-SAME: 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))
)