Implement PR3495: local spiller optimization. The local spiller can now keep availabi...
[oota-llvm.git] / test / CodeGen / X86 / pr3495.ll
1 ; RUN: llvm-as < %s | llc -march=x86 -stats |& grep {Number of reloads omited}
2 ; RUN: llvm-as < %s | llc -march=x86 -stats |& grep {Number of available reloads turned into copies}
3 ; PR3495
4
5 target triple = "i386-pc-linux-gnu"
6 @x = external global [8 x i32], align 32                ; <[8 x i32]*> [#uses=1]
7 @rows = external global [8 x i32], align 32             ; <[8 x i32]*> [#uses=2]
8 @up = external global [15 x i32], align 32              ; <[15 x i32]*> [#uses=2]
9 @down = external global [15 x i32], align 32            ; <[15 x i32]*> [#uses=1]
10
11 define i32 @queens(i32 %c) nounwind {
12 entry:
13         %tmp91 = add i32 %c, 1          ; <i32> [#uses=3]
14         %tmp135 = getelementptr [8 x i32]* @x, i32 0, i32 %tmp91                ; <i32*> [#uses=1]
15         br label %bb
16
17 bb:             ; preds = %bb569, %entry
18         %r25.0.reg2mem.0 = phi i32 [ 0, %entry ], [ %indvar.next715, %bb569 ]           ; <i32> [#uses=4]
19         %tmp27 = getelementptr [8 x i32]* @rows, i32 0, i32 %r25.0.reg2mem.0            ; <i32*> [#uses=1]
20         %tmp28 = load i32* %tmp27, align 4              ; <i32> [#uses=1]
21         %tmp29 = icmp eq i32 %tmp28, 0          ; <i1> [#uses=1]
22         br i1 %tmp29, label %bb569, label %bb31
23
24 bb31:           ; preds = %bb
25         %tmp35 = sub i32 %r25.0.reg2mem.0, 0            ; <i32> [#uses=1]
26         %tmp36 = getelementptr [15 x i32]* @up, i32 0, i32 %tmp35               ; <i32*> [#uses=1]
27         %tmp37 = load i32* %tmp36, align 4              ; <i32> [#uses=1]
28         %tmp38 = icmp eq i32 %tmp37, 0          ; <i1> [#uses=1]
29         br i1 %tmp38, label %bb569, label %bb41
30
31 bb41:           ; preds = %bb31
32         %tmp54 = sub i32 %r25.0.reg2mem.0, %c           ; <i32> [#uses=1]
33         %tmp55 = add i32 %tmp54, 7              ; <i32> [#uses=1]
34         %tmp62 = getelementptr [15 x i32]* @up, i32 0, i32 %tmp55               ; <i32*> [#uses=2]
35         store i32 0, i32* %tmp62, align 4
36         br label %bb92
37
38 bb92:           ; preds = %bb545, %bb41
39         %r20.0.reg2mem.0 = phi i32 [ 0, %bb41 ], [ %indvar.next711, %bb545 ]            ; <i32> [#uses=5]
40         %tmp94 = getelementptr [8 x i32]* @rows, i32 0, i32 %r20.0.reg2mem.0            ; <i32*> [#uses=1]
41         %tmp95 = load i32* %tmp94, align 4              ; <i32> [#uses=0]
42         %tmp112 = add i32 %r20.0.reg2mem.0, %tmp91              ; <i32> [#uses=1]
43         %tmp113 = getelementptr [15 x i32]* @down, i32 0, i32 %tmp112           ; <i32*> [#uses=2]
44         %tmp114 = load i32* %tmp113, align 4            ; <i32> [#uses=1]
45         %tmp115 = icmp eq i32 %tmp114, 0                ; <i1> [#uses=1]
46         br i1 %tmp115, label %bb545, label %bb118
47
48 bb118:          ; preds = %bb92
49         %tmp122 = sub i32 %r20.0.reg2mem.0, %tmp91              ; <i32> [#uses=0]
50         store i32 0, i32* %tmp113, align 4
51         store i32 %r20.0.reg2mem.0, i32* %tmp135, align 4
52         br label %bb142
53
54 bb142:          ; preds = %bb142, %bb118
55         %k18.0.reg2mem.0 = phi i32 [ 0, %bb118 ], [ %indvar.next709, %bb142 ]           ; <i32> [#uses=1]
56         %indvar.next709 = add i32 %k18.0.reg2mem.0, 1           ; <i32> [#uses=2]
57         %exitcond710 = icmp eq i32 %indvar.next709, 8           ; <i1> [#uses=1]
58         br i1 %exitcond710, label %bb155, label %bb142
59
60 bb155:          ; preds = %bb142
61         %tmp156 = tail call i32 @putchar(i32 10) nounwind               ; <i32> [#uses=0]
62         br label %bb545
63
64 bb545:          ; preds = %bb155, %bb92
65         %indvar.next711 = add i32 %r20.0.reg2mem.0, 1           ; <i32> [#uses=2]
66         %exitcond712 = icmp eq i32 %indvar.next711, 8           ; <i1> [#uses=1]
67         br i1 %exitcond712, label %bb553, label %bb92
68
69 bb553:          ; preds = %bb545
70         store i32 1, i32* %tmp62, align 4
71         br label %bb569
72
73 bb569:          ; preds = %bb553, %bb31, %bb
74         %indvar.next715 = add i32 %r25.0.reg2mem.0, 1           ; <i32> [#uses=1]
75         br label %bb
76 }
77
78 declare i32 @putchar(i32)