; RUN: llvm-as < %s | llvm-c-test --module-list-functions | FileCheck %s

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