1; ModuleID = 'loop_with_condition.s'
2; RUN: opt %loadPolly %defaultOpts -polly-cloog -analyze %s | FileCheck %s
3; RUN: opt %loadPolly %defaultOpts -polly-codegen %s | lli
4
5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
6target triple = "x86_64-pc-linux-gnu"
7
8@A = common global [1024 x i32] zeroinitializer, align 16 ; <[1024 x i32]*> [#uses=4]
9@B = common global [1024 x i32] zeroinitializer, align 16 ; <[1024 x i32]*> [#uses=4]
10
11define void @loop_with_condition() nounwind {
12; <label>:0
13  call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
14  br label %1
15
16; <label>:1                                       ; preds = %7, %0
17  %indvar = phi i64 [ %indvar.next, %7 ], [ 0, %0 ] ; <i64> [#uses=5]
18  %scevgep = getelementptr [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
19  %scevgep1 = getelementptr [1024 x i32]* @B, i64 0, i64 %indvar ; <i32*> [#uses=1]
20  %i.0 = trunc i64 %indvar to i32                 ; <i32> [#uses=1]
21  %exitcond = icmp ne i64 %indvar, 1024           ; <i1> [#uses=1]
22  br i1 %exitcond, label %2, label %8
23
24; <label>:2                                       ; preds = %1
25  %3 = icmp sle i32 %i.0, 512                     ; <i1> [#uses=1]
26  br i1 %3, label %4, label %5
27
28; <label>:4                                       ; preds = %2
29  store i32 1, i32* %scevgep
30  br label %6
31
32; <label>:5                                       ; preds = %2
33  store i32 2, i32* %scevgep
34  br label %6
35
36; <label>:6                                       ; preds = %5, %4
37  store i32 3, i32* %scevgep1
38  br label %7
39
40; <label>:7                                       ; preds = %6
41  %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=1]
42  br label %1
43
44; <label>:8                                       ; preds = %1
45  call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
46  ret void
47}
48
49declare void @llvm.memory.barrier(i1, i1, i1, i1, i1) nounwind
50
51define i32 @main() nounwind {
52; <label>:0
53  call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @A to i8*), i8 0, i64 4096, i32 1, i1 false)
54  call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @B to i8*), i8 0, i64 4096, i32 1, i1 false)
55  call void @loop_with_condition()
56  br label %1
57
58; <label>:1                                       ; preds = %8, %0
59  %indvar1 = phi i64 [ %indvar.next2, %8 ], [ 0, %0 ] ; <i64> [#uses=3]
60  %scevgep3 = getelementptr [1024 x i32]* @B, i64 0, i64 %indvar1 ; <i32*> [#uses=1]
61  %i.0 = trunc i64 %indvar1 to i32                ; <i32> [#uses=1]
62  %2 = icmp slt i32 %i.0, 1024                    ; <i1> [#uses=1]
63  br i1 %2, label %3, label %9
64
65; <label>:3                                       ; preds = %1
66  %4 = load i32* %scevgep3                        ; <i32> [#uses=1]
67  %5 = icmp ne i32 %4, 3                          ; <i1> [#uses=1]
68  br i1 %5, label %6, label %7
69
70; <label>:6                                       ; preds = %3
71  br label %28
72
73; <label>:7                                       ; preds = %3
74  br label %8
75
76; <label>:8                                       ; preds = %7
77  %indvar.next2 = add i64 %indvar1, 1             ; <i64> [#uses=1]
78  br label %1
79
80; <label>:9                                       ; preds = %1
81  br label %10
82
83; <label>:10                                      ; preds = %26, %9
84  %indvar = phi i64 [ %indvar.next, %26 ], [ 0, %9 ] ; <i64> [#uses=3]
85  %scevgep = getelementptr [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
86  %i.1 = trunc i64 %indvar to i32                 ; <i32> [#uses=3]
87  %11 = icmp slt i32 %i.1, 1024                   ; <i1> [#uses=1]
88  br i1 %11, label %12, label %27
89
90; <label>:12                                      ; preds = %10
91  %13 = icmp sle i32 %i.1, 512                    ; <i1> [#uses=1]
92  br i1 %13, label %14, label %18
93
94; <label>:14                                      ; preds = %12
95  %15 = load i32* %scevgep                        ; <i32> [#uses=1]
96  %16 = icmp ne i32 %15, 1                        ; <i1> [#uses=1]
97  br i1 %16, label %17, label %18
98
99; <label>:17                                      ; preds = %14
100  br label %28
101
102; <label>:18                                      ; preds = %14, %12
103  %19 = icmp sgt i32 %i.1, 512                    ; <i1> [#uses=1]
104  br i1 %19, label %20, label %24
105
106; <label>:20                                      ; preds = %18
107  %21 = load i32* %scevgep                        ; <i32> [#uses=1]
108  %22 = icmp ne i32 %21, 2                        ; <i1> [#uses=1]
109  br i1 %22, label %23, label %24
110
111; <label>:23                                      ; preds = %20
112  br label %28
113
114; <label>:24                                      ; preds = %20, %18
115  br label %25
116
117; <label>:25                                      ; preds = %24
118  br label %26
119
120; <label>:26                                      ; preds = %25
121  %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=1]
122  br label %10
123
124; <label>:27                                      ; preds = %10
125  br label %28
126
127; <label>:28                                      ; preds = %27, %23, %17, %6
128  %.0 = phi i32 [ 1, %6 ], [ 1, %17 ], [ 1, %23 ], [ 0, %27 ] ; <i32> [#uses=1]
129  ret i32 %.0
130}
131
132declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
133
134; CHECK: for (c2=0;c2<=512;c2++) {
135; CHECK:     Stmt_4(c2);
136; CHECK:       Stmt_6(c2);
137; CHECK: }
138; CHECK: for (c2=513;c2<=1023;c2++) {
139; CHECK:     Stmt_5(c2);
140; CHECK:       Stmt_6(c2);
141; CHECK: }
142
143