polly/test/ScopDetect/invalid-latch-conditions.ll

   1 ; RUN: opt %loadNPMPolly                              -polly-process-unprofitable=false '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s
   2 ; RUN: opt %loadNPMPolly -polly-allow-nonaffine-loops                                   '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=NALOOPS
   3 ; RUN: opt %loadNPMPolly -polly-allow-nonaffine-loops -polly-process-unprofitable=false '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s --check-prefix=PROFIT
   4
   5 ; The latch conditions of the outer loop are not affine, thus the loop cannot
   6 ; handled by the domain generation and needs to be overapproximated.
   7
   8 ; CHECK-NOT:  Valid
   9 ; NALOOPS:    Valid Region for Scop: for.body.6 => for.end.45
  10 ; PROFIT-NOT: Valid
  11
  12 ; ModuleID = '/home/johannes/Downloads/bug.ll'
  13 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  14
  15 ; Function Attrs: nounwind uwtable
  16 define void @kernel_reg_detect(ptr %path) #0 {
  17 entry:
  18   br label %for.body.6
  19
  20 for.body.6:                                       ; preds = %for.inc.43, %for.body.6, %entry
  21   %indvars.iv9 = phi i64 [ %indvars.iv.next10, %for.body.6 ], [ 0, %for.inc.43 ], [ 0, %entry ]
  22   %indvars.iv.next10 = add nuw nsw i64 %indvars.iv9, 1
  23   %lftr.wideiv = trunc i64 %indvars.iv.next10 to i32
  24   %exitcond = icmp ne i32 %lftr.wideiv, 6
  25   br i1 %exitcond, label %for.body.6, label %for.inc.40
  26
  27 for.inc.40:                                       ; preds = %for.inc.40, %for.body.6
  28   %tmp = load i32, ptr %path, align 4
  29   store i32 0, ptr %path, align 4
  30   %exitcond22 = icmp ne i64 0, 6
  31   br i1 %exitcond22, label %for.inc.40, label %for.inc.43
  32
  33 for.inc.43:                                       ; preds = %for.inc.40
  34   %exitcond23 = icmp ne i32 0, 10000
  35   br i1 %exitcond23, label %for.body.6, label %for.end.45
  36
  37 for.end.45:                                       ; preds = %for.inc.43
  38   ret void
  39 }