[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LICM / 2007-07-30-AliasSet.ll
blob3e4fbb0a06e091f55491c153fd5bf81715e2dc03
1 ; RUN: opt < %s -licm -loop-unswitch -disable-output
2         %struct.III_scalefac_t = type { [22 x i32], [13 x [3 x i32]] }
3         %struct.gr_info = type { i32, i32, i32, i32, i32, i32, i32, i32, [3 x i32], [3 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32*, [4 x i32] }
5 define i32 @scale_bitcount_lsf(%struct.III_scalefac_t* %scalefac, %struct.gr_info* %cod_info) {
6 entry:
7         br i1 false, label %bb28, label %bb133.preheader
9 bb133.preheader:                ; preds = %entry
10         ret i32 0
12 bb28:           ; preds = %entry
13         br i1 false, label %bb63.outer, label %bb79
15 bb63.outer:             ; preds = %bb73, %bb28
16         br i1 false, label %bb35, label %bb73
18 bb35:           ; preds = %cond_next60, %bb63.outer
19         %window.34 = phi i32 [ %tmp62, %cond_next60 ], [ 0, %bb63.outer ]               ; <i32> [#uses=1]
20         %tmp44 = getelementptr [4 x i32], [4 x i32]* null, i32 0, i32 0         ; <i32*> [#uses=1]
21         %tmp46 = load i32, i32* %tmp44, align 4         ; <i32> [#uses=0]
22         br i1 false, label %cond_true50, label %cond_next60
24 cond_true50:            ; preds = %bb35
25         %tmp59 = getelementptr [4 x i32], [4 x i32]* null, i32 0, i32 0         ; <i32*> [#uses=1]
26         store i32 0, i32* %tmp59, align 4
27         br label %cond_next60
29 cond_next60:            ; preds = %cond_true50, %bb35
30         %tmp62 = add i32 %window.34, 1          ; <i32> [#uses=1]
31         br i1 false, label %bb35, label %bb73
33 bb73:           ; preds = %cond_next60, %bb63.outer
34         %tmp76 = icmp slt i32 0, 0              ; <i1> [#uses=1]
35         br i1 %tmp76, label %bb63.outer, label %bb79
37 bb79:           ; preds = %bb73, %bb28
38         ret i32 0