Add test case extracted from lencod. Spiller was infinite looping in GetRegForReload().
[oota-llvm.git] / test / CodeGen / ARM / 2007-01-19-InfiniteLoop.ll
1 ; RUN: llvm-as < %s | llc -march=arm -mattr=+v6,+vfp2
2
3 %quant_coef = external global [6 x [4 x [4 x i32]]]             ; <[6 x [4 x [4 x i32]]]*> [#uses=1]
4 %dequant_coef = external global [6 x [4 x [4 x i32]]]           ; <[6 x [4 x [4 x i32]]]*> [#uses=1]
5 %A = external global [4 x [4 x i32]]            ; <[4 x [4 x i32]]*> [#uses=1]
6
7 define fastcc i32 %dct_luma_sp(i32 %block_x, i32 %block_y, i32* %coeff_cost) {
8 entry:
9         %predicted_block = alloca [4 x [4 x i32]], align 4              ; <[4 x [4 x i32]]*> [#uses=1]
10         br label %cond_next489
11
12 cond_next489:           ; preds = %cond_false, %bb471
13         %j.7.in = load i8* null         ; <i8> [#uses=1]
14         %i.8.in = load i8* null         ; <i8> [#uses=1]
15         %i.8 = zext i8 %i.8.in to i32           ; <i32> [#uses=4]
16         %j.7 = zext i8 %j.7.in to i32           ; <i32> [#uses=4]
17         %tmp495 = getelementptr [4 x [4 x i32]]* %predicted_block, i32 0, i32 %i.8, i32 %j.7            ; <i32*> [#uses=2]
18         %tmp496 = load i32* %tmp495             ; <i32> [#uses=2]
19         %tmp502 = load i32* null                ; <i32> [#uses=1]
20         %tmp542 = getelementptr [6 x [4 x [4 x i32]]]* %quant_coef, i32 0, i32 0, i32 %i.8, i32 %j.7            ; <i32*> [#uses=1]
21         %tmp543 = load i32* %tmp542             ; <i32> [#uses=1]
22         %tmp548 = ashr i32 0, i8 0              ; <i32> [#uses=3]
23         %tmp561 = sub i32 0, %tmp496            ; <i32> [#uses=3]
24         %abscond563 = icmp sgt i32 %tmp561, -1          ; <i1> [#uses=1]
25         %abs564 = select i1 %abscond563, i32 %tmp561, i32 0             ; <i32> [#uses=1]
26         %tmp572 = mul i32 %abs564, %tmp543              ; <i32> [#uses=1]
27         %tmp574 = add i32 %tmp572, 0            ; <i32> [#uses=1]
28         %tmp576 = ashr i32 %tmp574, i8 0                ; <i32> [#uses=7]
29         %tmp579 = icmp eq i32 %tmp548, %tmp576          ; <i1> [#uses=1]
30         br i1 %tmp579, label %bb712, label %cond_next589
31
32 cond_next589:           ; preds = %cond_next489
33         %tmp605 = getelementptr [6 x [4 x [4 x i32]]]* %dequant_coef, i32 0, i32 0, i32 %i.8, i32 %j.7          ; <i32*> [#uses=1]
34         %tmp606 = load i32* %tmp605             ; <i32> [#uses=1]
35         %tmp612 = load i32* null                ; <i32> [#uses=1]
36         %tmp629 = load i32* null                ; <i32> [#uses=1]
37         %tmp629 = sitofp i32 %tmp629 to double          ; <double> [#uses=1]
38         %tmp631 = mul double %tmp629, 0.000000e+00              ; <double> [#uses=1]
39         %tmp632 = add double 0.000000e+00, %tmp631              ; <double> [#uses=1]
40         %tmp642 = call fastcc i32 %sign( i32 %tmp576, i32 %tmp561 )             ; <i32> [#uses=1]
41         %tmp650 = mul i32 %tmp606, %tmp642              ; <i32> [#uses=1]
42         %tmp656 = mul i32 %tmp650, %tmp612              ; <i32> [#uses=1]
43         %tmp658 = shl i32 %tmp656, i8 0         ; <i32> [#uses=1]
44         %tmp659 = ashr i32 %tmp658, i8 6                ; <i32> [#uses=1]
45         %tmp660 = sub i32 0, %tmp659            ; <i32> [#uses=1]
46         %tmp666 = sub i32 %tmp660, %tmp496              ; <i32> [#uses=1]
47         %tmp666 = sitofp i32 %tmp666 to double          ; <double> [#uses=2]
48         call void %levrun_linfo_inter( i32 %tmp576, i32 0, i32* null, i32* null )
49         %tmp671 = mul double %tmp666, %tmp666           ; <double> [#uses=1]
50         %tmp675 = add double %tmp671, 0.000000e+00              ; <double> [#uses=1]
51         %tmp678 = fcmp oeq double %tmp632, %tmp675              ; <i1> [#uses=1]
52         br i1 %tmp678, label %cond_true679, label %cond_false693
53
54 cond_true679:           ; preds = %cond_next589
55         %abscond681 = icmp sgt i32 %tmp548, -1          ; <i1> [#uses=1]
56         %abs682 = select i1 %abscond681, i32 %tmp548, i32 0             ; <i32> [#uses=1]
57         %abscond684 = icmp sgt i32 %tmp576, -1          ; <i1> [#uses=1]
58         %abs685 = select i1 %abscond684, i32 %tmp576, i32 0             ; <i32> [#uses=1]
59         %tmp686 = icmp slt i32 %abs682, %abs685         ; <i1> [#uses=1]
60         br i1 %tmp686, label %cond_next702, label %cond_false689
61
62 cond_false689:          ; preds = %cond_true679
63         %tmp739 = icmp eq i32 %tmp576, 0                ; <i1> [#uses=1]
64         br i1 %tmp579, label %bb737, label %cond_false708
65
66 cond_false693:          ; preds = %cond_next589
67         ret i32 0
68
69 cond_next702:           ; preds = %cond_true679
70         ret i32 0
71
72 cond_false708:          ; preds = %cond_false689
73         ret i32 0
74
75 bb712:          ; preds = %cond_next489
76         ret i32 0
77
78 bb737:          ; preds = %cond_false689
79         br i1 %tmp739, label %cond_next791, label %cond_true740
80
81 cond_true740:           ; preds = %bb737
82         %tmp761 = call fastcc i32 %sign( i32 %tmp576, i32 0 )           ; <i32> [#uses=1]
83         %tmp780 = load i32* null                ; <i32> [#uses=1]
84         %tmp785 = getelementptr [4 x [4 x i32]]* %A, i32 0, i32 %i.8, i32 %j.7          ; <i32*> [#uses=1]
85         %tmp786 = load i32* %tmp785             ; <i32> [#uses=1]
86         %tmp781 = mul i32 %tmp780, %tmp761              ; <i32> [#uses=1]
87         %tmp787 = mul i32 %tmp781, %tmp786              ; <i32> [#uses=1]
88         %tmp789 = shl i32 %tmp787, i8 0         ; <i32> [#uses=1]
89         %tmp790 = ashr i32 %tmp789, i8 6                ; <i32> [#uses=1]
90         br label %cond_next791
91
92 cond_next791:           ; preds = %cond_true740, %bb737
93         %ilev.1 = phi i32 [ %tmp790, %cond_true740 ], [ 0, %bb737 ]             ; <i32> [#uses=1]
94         %tmp796 = load i32* %tmp495             ; <i32> [#uses=1]
95         %tmp798 = add i32 %tmp796, %ilev.1              ; <i32> [#uses=1]
96         %tmp812 = mul i32 0, %tmp502            ; <i32> [#uses=0]
97         %tmp818 = call fastcc i32 %sign( i32 0, i32 %tmp798 )           ; <i32> [#uses=0]
98         unreachable
99 }
100
101 declare i32 %sign(i32, i32)
102
103 declare void %levrun_linfo_inter(i32, i32, i32*, i32*)