test/Isl/CodeGen/loop_with_condition_nested.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-no-early-exit -basicaa -polly-ast -analyze < %s | FileCheck %s
   2 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-no-early-exit -basicaa -polly-codegen-isl -loops -analyze < %s | FileCheck %s -check-prefix=LOOPS
   3
   4
   5 ;#include <string.h>
   6 ;#define N 1024
   7 ;int A[N];
   8 ;int B[N];
   9 ;
  10 ;void loop_with_condition() {
  11 ;  int i;
  12 ;
  13 ;  __sync_synchronize();
  14 ;  for (i = 0; i < N; i++) {
  15 ;    if (i <= N / 2) {
  16 ;      if (i > 20)
  17 ;        A[i] = 1;
  18 ;      else
  19 ;        A[i] = 2;
  20 ;    }
  21 ;    B[i] = 3;
  22 ;  }
  23 ;  __sync_synchronize();
  24 ;}
  25 ;
  26 ;int main () {
  27 ;  int i;
  28 ;
  29 ;  memset(A, 0, sizeof(int) * N);
  30 ;  memset(B, 0, sizeof(int) * N);
  31 ;
  32 ;  loop_with_condition();
  33 ;
  34 ;  for (i = 0; i < N; i++)
  35 ;    if (B[i] != 3)
  36 ;      return 1;
  37 ;
  38 ;  for (i = 0; i < N; i++)
  39 ;    if (i <= N / 2  && i > 20 && A[i] != 1)
  40 ;      return 1;
  41 ;    else if (i > N / 2) {
  42 ;      if (i <= 20 && A[i] != 2)
  43 ;        return 1;
  44 ;      if (i > 20 && A[i] != 0)
  45 ;        return 1;
  46 ;    }
  47 ;  return 0;
  48 ;}
  49
  50 target 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"
  51 target triple = "x86_64-pc-linux-gnu"
  52
  53 @A = common global [1024 x i32] zeroinitializer, align 16 ; <[1024 x i32]*> [#uses=4]
  54 @B = common global [1024 x i32] zeroinitializer, align 16 ; <[1024 x i32]*> [#uses=4]
  55
  56 define void @loop_with_condition() nounwind {
  57 ; <label>:0
  58   fence seq_cst
  59   br label %1
  60
  61 ; <label>:1                                       ; preds = %10, %0
  62   %indvar = phi i64 [ %indvar.next, %10 ], [ 0, %0 ] ; <i64> [#uses=5]
  63   %scevgep = getelementptr [1024 x i32], [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
  64   %scevgep1 = getelementptr [1024 x i32], [1024 x i32]* @B, i64 0, i64 %indvar ; <i32*> [#uses=1]
  65   %i.0 = trunc i64 %indvar to i32                 ; <i32> [#uses=2]
  66   %exitcond = icmp ne i64 %indvar, 1024           ; <i1> [#uses=1]
  67   br i1 %exitcond, label %2, label %11
  68
  69 ; <label>:2                                       ; preds = %1
  70   %3 = icmp sle i32 %i.0, 512                     ; <i1> [#uses=1]
  71   br i1 %3, label %4, label %9
  72
  73 ; <label>:4                                       ; preds = %2
  74   %5 = icmp sgt i32 %i.0, 20                      ; <i1> [#uses=1]
  75   br i1 %5, label %6, label %7
  76
  77 ; <label>:6                                       ; preds = %4
  78   store i32 1, i32* %scevgep
  79   br label %8
  80
  81 ; <label>:7                                       ; preds = %4
  82   store i32 2, i32* %scevgep
  83   br label %8
  84
  85 ; <label>:8                                       ; preds = %7, %6
  86   br label %9
  87
  88 ; <label>:9                                       ; preds = %8, %2
  89   store i32 3, i32* %scevgep1
  90   br label %10
  91
  92 ; <label>:10                                      ; preds = %9
  93   %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=1]
  94   br label %1
  95
  96 ; <label>:11                                      ; preds = %1
  97   fence seq_cst
  98   ret void
  99 }
 100
 101 define i32 @main() nounwind {
 102 ; <label>:0
 103   call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @A to i8*), i8 0, i64 4096, i32 1, i1 false)
 104   call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @B to i8*), i8 0, i64 4096, i32 1, i1 false)
 105   call void @loop_with_condition()
 106   br label %1
 107
 108 ; <label>:1                                       ; preds = %8, %0
 109   %indvar1 = phi i64 [ %indvar.next2, %8 ], [ 0, %0 ] ; <i64> [#uses=3]
 110   %scevgep3 = getelementptr [1024 x i32], [1024 x i32]* @B, i64 0, i64 %indvar1 ; <i32*> [#uses=1]
 111   %i.0 = trunc i64 %indvar1 to i32                ; <i32> [#uses=1]
 112   %2 = icmp slt i32 %i.0, 1024                    ; <i1> [#uses=1]
 113   br i1 %2, label %3, label %9
 114
 115 ; <label>:3                                       ; preds = %1
 116   %4 = load i32* %scevgep3                        ; <i32> [#uses=1]
 117   %5 = icmp ne i32 %4, 3                          ; <i1> [#uses=1]
 118   br i1 %5, label %6, label %7
 119
 120 ; <label>:6                                       ; preds = %3
 121   br label %39
 122
 123 ; <label>:7                                       ; preds = %3
 124   br label %8
 125
 126 ; <label>:8                                       ; preds = %7
 127   %indvar.next2 = add i64 %indvar1, 1             ; <i64> [#uses=1]
 128   br label %1
 129
 130 ; <label>:9                                       ; preds = %1
 131   br label %10
 132
 133 ; <label>:10                                      ; preds = %37, %9
 134   %indvar = phi i64 [ %indvar.next, %37 ], [ 0, %9 ] ; <i64> [#uses=3]
 135   %scevgep = getelementptr [1024 x i32], [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=3]
 136   %i.1 = trunc i64 %indvar to i32                 ; <i32> [#uses=6]
 137   %11 = icmp slt i32 %i.1, 1024                   ; <i1> [#uses=1]
 138   br i1 %11, label %12, label %38
 139
 140 ; <label>:12                                      ; preds = %10
 141   %13 = icmp sle i32 %i.1, 512                    ; <i1> [#uses=1]
 142   br i1 %13, label %14, label %20
 143
 144 ; <label>:14                                      ; preds = %12
 145   %15 = icmp sgt i32 %i.1, 20                     ; <i1> [#uses=1]
 146   br i1 %15, label %16, label %20
 147
 148 ; <label>:16                                      ; preds = %14
 149   %17 = load i32* %scevgep                        ; <i32> [#uses=1]
 150   %18 = icmp ne i32 %17, 1                        ; <i1> [#uses=1]
 151   br i1 %18, label %19, label %20
 152
 153 ; <label>:19                                      ; preds = %16
 154   br label %39
 155
 156 ; <label>:20                                      ; preds = %16, %14, %12
 157   %21 = icmp sgt i32 %i.1, 512                    ; <i1> [#uses=1]
 158   br i1 %21, label %22, label %35
 159
 160 ; <label>:22                                      ; preds = %20
 161   %23 = icmp sle i32 %i.1, 20                     ; <i1> [#uses=1]
 162   br i1 %23, label %24, label %28
 163
 164 ; <label>:24                                      ; preds = %22
 165   %25 = load i32* %scevgep                        ; <i32> [#uses=1]
 166   %26 = icmp ne i32 %25, 2                        ; <i1> [#uses=1]
 167   br i1 %26, label %27, label %28
 168
 169 ; <label>:27                                      ; preds = %24
 170   br label %39
 171
 172 ; <label>:28                                      ; preds = %24, %22
 173   %29 = icmp sgt i32 %i.1, 20                     ; <i1> [#uses=1]
 174   br i1 %29, label %30, label %34
 175
 176 ; <label>:30                                      ; preds = %28
 177   %31 = load i32* %scevgep                        ; <i32> [#uses=1]
 178   %32 = icmp ne i32 %31, 0                        ; <i1> [#uses=1]
 179   br i1 %32, label %33, label %34
 180
 181 ; <label>:33                                      ; preds = %30
 182   br label %39
 183
 184 ; <label>:34                                      ; preds = %30, %28
 185   br label %35
 186
 187 ; <label>:35                                      ; preds = %34, %20
 188   br label %36
 189
 190 ; <label>:36                                      ; preds = %35
 191   br label %37
 192
 193 ; <label>:37                                      ; preds = %36
 194   %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=1]
 195   br label %10
 196
 197 ; <label>:38                                      ; preds = %10
 198   br label %39
 199
 200 ; <label>:39                                      ; preds = %38, %33, %27, %19, %6
 201   %.0 = phi i32 [ 1, %6 ], [ 1, %19 ], [ 1, %27 ], [ 1, %33 ], [ 0, %38 ] ; <i32> [#uses=1]
 202   ret i32 %.0
 203 }
 204
 205 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
 206
 207 ; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 1) {
 208 ; CHECK:   if (c0 <= 20) {
 209 ; CHECK:     Stmt_7(c0);
 210 ; CHECK:   } else if (c0 <= 512)
 211 ; CHECK:     Stmt_6(c0);
 212 ; CHECK:   Stmt_9(c0);
 213 ; CHECK: }
 214
 215 ; LOOPS: Printing analysis 'Natural Loop Information' for function 'loop_with_condition':
 216 ; LOOPS: Loop at depth 1 containing: %1<header><exiting>,%2,%4,%7,%6,%8,%9,%10<latch>
 217 ; LOOPS: Loop at depth 1 containing:
 218 ; LOOPS: %polly.loop_header<header>,%polly.cond,%polly.merge,%polly.then,%polly.else,%polly.stmt.,%polly.cond3,%polly.merge4,%polly.then5,%polly.else6,%polly.stmt.7,%polly.stmt{{.*}}<latch><exiting>