33 lines · plain
1; RUN: opt %loadNPMPolly -aa-pipeline=basic-aa '-passes=polly<no-default-opts>' -verify-loop-info -S < %s | FileCheck %s2 3target 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] zeroinitializer6 7; This test case used to fail, because we did not add the newly generated basic8; block %polly.start as a basic block to the surrounding loop.9define void @foo() nounwind {10entry:11 br i1 undef, label %while.cond14.preheader, label %for.body7.single_entry.single_entry12 13while.cond14.preheader: ; preds = %for.inc02, %for.body7.single_entry.single_entry, %entry14 ret void15 16for.body7.single_entry.single_entry: ; preds = %for.inc02, %entry17 br i1 undef, label %while.cond14.preheader, label %while.body18 19while.body: ; preds = %while.body, %for.body7.single_entry.single_entry20 %indvar35 = phi i32 [ %0, %while.body ], [ 0, %for.body7.single_entry.single_entry ]21 %ptr = getelementptr [1536 x float], ptr @A, i64 0, i32 %indvar3522 store float undef, ptr %ptr23 %0 = add i32 %indvar35, 124 %exitcond2 = icmp eq i32 %0, 4225 br i1 %exitcond2, label %for.inc02, label %while.body26 27for.inc02: ; preds = %while.body28 br i1 undef, label %while.cond14.preheader, label %for.body7.single_entry.single_entry29}30 31; CHECK: polly.split_new_and_old32; CHECK: br i1 true, label %polly.start, label %while.body33