1; RUN: llc -filetype=obj %s -o %t1.o
2; RUN: llc -filetype=obj %S/Inputs/import-attributes.ll -o %t2.o
3; RUN: not wasm-ld --export call_foo --allow-undefined -o %t.wasm %t1.o %t2.o 2>&1 | FileCheck %s
4
5target triple = "wasm32-unknown-unknown-wasm"
6
7define void @_start() {
8  call void @foo();
9  ret void
10}
11
12declare void @foo() #0
13
14attributes #0 = { "wasm-import-module"="bar" }
15
16; CHECK: wasm-ld: error: import module mismatch for symbol: foo
17; CHECK: >>> defined as bar in {{.*}}1.o
18; CHECK: >>> defined as baz in {{.*}}2.o
19