1 ; Test that the inliner doesn't leave around dead allocas, and that it folds
2 ; uncond branches away after it is done specializing.
4 ; RUN: llvm-upgrade < %s | llvm-as | opt -inline -disable-output &&
5 ; RUN: llvm-upgrade < %s | llvm-as | opt -inline | llvm-dis | not grep 'alloca.*uses=0' &&
6 ; RUN: llvm-upgrade < %s | llvm-as | opt -inline | llvm-dis | not grep 'br label'
8 %A = weak global int 0 ; <int*> [#uses=1]
9 %B = weak global int 0 ; <int*> [#uses=1]
10 %C = weak global int 0 ; <int*> [#uses=1]
12 implementation ; Functions:
14 internal fastcc void %foo(int %X) {
16 %ALL = alloca int, align 4 ; <int*> [#uses=1]
17 %tmp1 = and int %X, 1 ; <int> [#uses=1]
18 %tmp1 = seteq int %tmp1, 0 ; <bool> [#uses=1]
19 br bool %tmp1, label %cond_next, label %cond_true
21 cond_true: ; preds = %entry
25 cond_next: ; preds = %entry, %cond_true
26 %tmp4 = and int %X, 2 ; <int> [#uses=1]
27 %tmp4 = seteq int %tmp4, 0 ; <bool> [#uses=1]
28 br bool %tmp4, label %cond_next7, label %cond_true5
30 cond_true5: ; preds = %cond_next
34 cond_next7: ; preds = %cond_next, %cond_true5
35 %tmp10 = and int %X, 4 ; <int> [#uses=1]
36 %tmp10 = seteq int %tmp10, 0 ; <bool> [#uses=1]
37 br bool %tmp10, label %cond_next13, label %cond_true11
39 cond_true11: ; preds = %cond_next7
43 cond_next13: ; preds = %cond_next7, %cond_true11
44 %tmp16 = and int %X, 8 ; <int> [#uses=1]
45 %tmp16 = seteq int %tmp16, 0 ; <bool> [#uses=1]
46 br bool %tmp16, label %UnifiedReturnBlock, label %cond_true17
48 cond_true17: ; preds = %cond_next13
49 call void %ext( int* %ALL )
52 UnifiedReturnBlock: ; preds = %cond_next13
56 declare void %ext(int*)
60 tail call fastcc void %foo( int 1 )
61 tail call fastcc void %foo( int 2 )
62 tail call fastcc void %foo( int 3 )
63 tail call fastcc void %foo( int 8 )