[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Bindings / llvm-c / functions.ll
blob27c05464502e5093cc4090b7194f79ba5b824b9f
1 ; RUN: llvm-as %s -o %t.bc
2 ; RUN: llvm-c-test --module-list-functions < %t.bc| FileCheck %s
3 ; RUN: llvm-c-test --module-dump < %t.bc| FileCheck --check-prefix=MOD %s
4 ; RUN: llvm-c-test --lazy-module-dump < %t.bc| FileCheck --check-prefix=LMOD %s
6 ; MOD:      define i32 @X() {
7 ; MOD-NEXT:   entry:
9 ; LMOD:      ; Materializable
10 ; LMOD-NEXT: define i32 @X() {}
12 define i32 @X() {
13 entry:
14   br label %l1
16 l1:
17   br label %l2
19 l2:
20   br label %l3
22 l3:
23   ret i32 1234
25 ;CHECK: FunctionDefinition: X [#bb=4]
28 define i32 @Z(i32 %a) {
29 entry:
30   %0 = tail call i32 @Y(i32 %a)
31   ret i32 %0
34 ;CHECK: FunctionDefinition: Z [#bb=1]
35 ;CHECK:  calls: Y
36 ;CHECK:  #isn: 2
38 declare i32 @Y(i32)
39 ;CHECK: FunctionDeclaration: Y