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