polly/test/CodeGen/create-conditional-scop.ll

   1 ; RUN: opt %loadPolly -basic-aa -polly-codegen -verify-loop-info < %s -S | FileCheck %s
   2
   3 target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-a0:0-n32"
   4
   5 @A = common global [1536 x float] zeroinitializer
   6
   7 ; This test case used to fail, because we did not add the newly generated basic
   8 ; block %polly.start as a basic block to the surrounding loop.
   9 define void @foo() nounwind {
  10 entry:
  11   br i1 undef, label %while.cond14.preheader, label %for.body7.single_entry.single_entry
  12
  13 while.cond14.preheader:                           ; preds = %for.inc02, %for.body7.single_entry.single_entry, %entry
  14   ret void
  15
  16 for.body7.single_entry.single_entry:              ; preds = %for.inc02, %entry
  17   br i1 undef, label %while.cond14.preheader, label %while.body
  18
  19 while.body:                                       ; preds = %while.body, %for.body7.single_entry.single_entry
  20   %indvar35 = phi i32 [ %0, %while.body ], [ 0, %for.body7.single_entry.single_entry ]
  21   %ptr = getelementptr [1536 x float], ptr @A, i64 0, i32 %indvar35
  22   store float undef, ptr %ptr
  23   %0 = add i32 %indvar35, 1
  24   %exitcond2 = icmp eq i32 %0, 42
  25   br i1 %exitcond2, label %for.inc02, label %while.body
  26
  27 for.inc02:                                        ; preds = %while.body
  28   br i1 undef, label %while.cond14.preheader, label %for.body7.single_entry.single_entry
  29 }
  30
  31 ; CHECK: polly.split_new_and_old
  32 ; CHECK: br i1 true, label %polly.start, label %while.body