1; RUN: llvm-as %s -o %t1.o
2; RUN: wasm-ld %t1.o -r -o %t
3; RUN: llvm-readobj --symbols %t | FileCheck %s
4
5; CHECK:      Symbols [
6; CHECK-NEXT:   Symbol {
7; CHECK-NEXT:     Name: foo
8; CHECK-NEXT:     Type: FUNCTION (0x0)
9; CHECK-NEXT:     Flags [ (0x0)
10; CHECK-NEXT:     ]
11; CHECK-NEXT:     ElementIndex: 0x0
12; CHECK-NEXT:   }
13; CHECK-NEXT: ]
14
15target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
16target triple = "wasm32-unknown-unknown"
17
18define void @foo() {
19  call void @bar()
20  ret void
21}
22
23define internal void @bar() {
24  ret void
25}
26
27declare i32 @baz(...)
28