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  fence seq_cst
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  fence seq_cst
46  ret void
47}
48
49define i32 @main() nounwind {
50; <label>:0
51  call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @A to i8*), i8 0, i64 4096, i32 1, i1 false)
52  call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @B to i8*), i8 0, i64 4096, i32 1, i1 false)
53  call void @loop_with_condition()
54  br label %1
55
56; <label>:1                                       ; preds = %8, %0
57  %indvar1 = phi i64 [ %indvar.next2, %8 ], [ 0, %0 ] ; <i64> [#uses=3]
58  %scevgep3 = getelementptr [1024 x i32]* @B, i64 0, i64 %indvar1 ; <i32*> [#uses=1]
59  %i.0 = trunc i64 %indvar1 to i32                ; <i32> [#uses=1]
60  %2 = icmp slt i32 %i.0, 1024                    ; <i1> [#uses=1]
61  br i1 %2, label %3, label %9
62
63; <label>:3                                       ; preds = %1
64  %4 = load i32* %scevgep3                        ; <i32> [#uses=1]
65  %5 = icmp ne i32 %4, 3                          ; <i1> [#uses=1]
66  br i1 %5, label %6, label %7
67
68; <label>:6                                       ; preds = %3
69  br label %28
70
71; <label>:7                                       ; preds = %3
72  br label %8
73
74; <label>:8                                       ; preds = %7
75  %indvar.next2 = add i64 %indvar1, 1             ; <i64> [#uses=1]
76  br label %1
77
78; <label>:9                                       ; preds = %1
79  br label %10
80
81; <label>:10                                      ; preds = %26, %9
82  %indvar = phi i64 [ %indvar.next, %26 ], [ 0, %9 ] ; <i64> [#uses=3]
83  %scevgep = getelementptr [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
84  %i.1 = trunc i64 %indvar to i32                 ; <i32> [#uses=3]
85  %11 = icmp slt i32 %i.1, 1024                   ; <i1> [#uses=1]
86  br i1 %11, label %12, label %27
87
88; <label>:12                                      ; preds = %10
89  %13 = icmp sle i32 %i.1, 512                    ; <i1> [#uses=1]
90  br i1 %13, label %14, label %18
91
92; <label>:14                                      ; preds = %12
93  %15 = load i32* %scevgep                        ; <i32> [#uses=1]
94  %16 = icmp ne i32 %15, 1                        ; <i1> [#uses=1]
95  br i1 %16, label %17, label %18
96
97; <label>:17                                      ; preds = %14
98  br label %28
99
100; <label>:18                                      ; preds = %14, %12
101  %19 = icmp sgt i32 %i.1, 512                    ; <i1> [#uses=1]
102  br i1 %19, label %20, label %24
103
104; <label>:20                                      ; preds = %18
105  %21 = load i32* %scevgep                        ; <i32> [#uses=1]
106  %22 = icmp ne i32 %21, 2                        ; <i1> [#uses=1]
107  br i1 %22, label %23, label %24
108
109; <label>:23                                      ; preds = %20
110  br label %28
111
112; <label>:24                                      ; preds = %20, %18
113  br label %25
114
115; <label>:25                                      ; preds = %24
116  br label %26
117
118; <label>:26                                      ; preds = %25
119  %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=1]
120  br label %10
121
122; <label>:27                                      ; preds = %10
123  br label %28
124
125; <label>:28                                      ; preds = %27, %23, %17, %6
126  %.0 = phi i32 [ 1, %6 ], [ 1, %17 ], [ 1, %23 ], [ 0, %27 ] ; <i32> [#uses=1]
127  ret i32 %.0
128}
129
130declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
131
132; CHECK: for (c2=0;c2<=512;c2++) {
133; CHECK:     Stmt_4(c2);
134; CHECK:       Stmt_6(c2);
135; CHECK: }
136; CHECK: for (c2=513;c2<=1023;c2++) {
137; CHECK:     Stmt_5(c2);
138; CHECK:       Stmt_6(c2);
139; CHECK: }
140
141