; 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