| ; RUN: llvm-as %s -o %t.bc | |
| ; RUN: llvm-c-test --module-list-functions < %t.bc| FileCheck %s | |
| ; RUN: llvm-c-test --module-dump < %t.bc| FileCheck --check-prefix=MOD %s | |
| ; RUN: llvm-c-test --lazy-module-dump < %t.bc| FileCheck --check-prefix=LMOD %s | |
| ; MOD: define i32 @X() { | |
| ; MOD-NEXT: entry: | |
| ; LMOD: ; Materializable | |
| ; LMOD-NEXT: define i32 @X() {} | |
| define i32 @X() { | |
| entry: | |
| br label %l1 | |
| l1: | |
| br label %l2 | |
| l2: | |
| br label %l3 | |
| l3: | |
| ret i32 1234 | |
| } | |
| ;CHECK: FunctionDefinition: X [#bb=4] | |
| define i32 @Z(i32 %a) { | |
| entry: | |
| %0 = tail call i32 @Y(i32 %a) | |
| ret i32 %0 | |
| } | |
| ;CHECK: FunctionDefinition: Z [#bb=1] | |
| ;CHECK: calls: Y | |
| ;CHECK: #isn: 2 | |
| declare i32 @Y(i32) | |
| ;CHECK: FunctionDeclaration: Y | |