63 lines · plain
1; RUN: opt %loadNPMPolly -polly-allow-nonaffine-loops -polly-detect '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3; The SCoP contains a loop with multiple exit blocks (BBs after leaving4; the loop). The current implementation of deriving their domain derives5; only a common domain for all of the exit blocks. We disabled loops with6; multiple exit blocks until this is fixed.7; XFAIL: *8 9; The BasicBlock "guaranteed" is always executed inside the non-affine subregion10; region_entry->region_exit. As such, writes accesses in blocks that always11; execute are MustWriteAccesses. Before Polly commit r255473, we only assumed12; that the subregion's entry block is guaranteed to execute.13 14; CHECK-NOT: MayWriteAccess15; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]16; CHECK-NEXT: { Stmt_region_entry__TO__region_exit[i0] -> MemRef_A[0] };17; CHECK-NOT: MayWriteAccess18 19define void @f(ptr %A, ptr %B, ptr %C, float %b) {20entry:21 br label %for.cond22 23for.cond:24 %indvar = phi i32 [ %indvar.next, %for.inc ], [ 0, %entry ]25 %exitcond = icmp ne i32 %indvar, 102426 br i1 %exitcond, label %region_entry, label %return27 28region_entry:29 br label %bb230 31bb2:32 br label %guaranteed33 34bb3:35 br label %bb336 37guaranteed:38 %ptr = getelementptr i32, ptr %B, i32 %indvar39 %val = load i32, ptr %ptr40 %cmp = icmp eq i32 %val, 041 store i32 0, ptr %A42 br i1 %cmp, label %bb5, label %bb643 44bb5:45 br label %region_exit46 47bb6:48 %ptr2 = getelementptr i32, ptr %C, i32 %indvar49 %val2 = load i32, ptr %ptr250 %cmp2 = icmp eq i32 %val2, 051 br i1 %cmp2, label %region_exit, label %region_entry52 53region_exit:54 br label %for.inc55 56for.inc:57 %indvar.next = add i32 %indvar, 158 br label %for.cond59 60return:61 ret void62}63