72 lines · plain
1; RUN: opt %loadNPMPolly '-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; CHECK: Statements {10; CHECK-NEXT: Stmt_for_body_outer11; CHECK-NEXT: Domain :=12; CHECK-NEXT: { Stmt_for_body_outer[i0] : 0 <= i0 <= 257 };13; CHECK-NEXT: Schedule :=14; CHECK-NEXT: { Stmt_for_body_outer[i0] -> [i0, 0, 0, 0] };15; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]16; CHECK-NEXT: { Stmt_for_body_outer[i0] -> MemRef_A[i0] };17; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]18; CHECK-NEXT: { Stmt_for_body_outer[i0] -> MemRef_A[i0] };19; CHECK-NEXT: Stmt_for_body20; CHECK-NEXT: Domain :=21; CHECK-NEXT: { Stmt_for_body[257, i1] : 0 <= i1 <= 1025; Stmt_for_body[i0, 0] : 0 <= i0 <= 256 };22; CHECK-NEXT: Schedule :=23; CHECK-NEXT: { Stmt_for_body[257, i1] -> [257, 1, i1, 0]; Stmt_for_body[i0, 0] -> [i0, 1, 0, 0] : i0 <= 256 };24; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]25; CHECK-NEXT: { Stmt_for_body[i0, i1] -> MemRef_A[i1] };26; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]27; CHECK-NEXT: { Stmt_for_body[i0, i1] -> MemRef_A[i1] };28; CHECK-NEXT: Stmt_for_inc29; CHECK-NEXT: Domain :=30; CHECK-NEXT: { Stmt_for_inc[257, i1] : 0 <= i1 <= 1025 };31; CHECK-NEXT: Schedule :=32; CHECK-NEXT: { Stmt_for_inc[i0, i1] -> [257, 1, i1, 1] };33; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]34; CHECK-NEXT: { Stmt_for_inc[i0, i1] -> MemRef_A[i1] };35; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]36; CHECK-NEXT: { Stmt_for_inc[i0, i1] -> MemRef_A[i1] };37; CHECK-NEXT: }38 39target datalayout = "e-m:e-i64:64-i128:128-n8:16:32:64-S128"40 41define void @foo(ptr %A) {42entry:43 br label %for.body.outer44 45for.body.outer: ; preds = %for.body, %entry46 %indvar = phi i32 [0, %entry], [%indvar.next, %for.body]47 %addr = getelementptr i32, ptr %A, i32 %indvar48 %val = load i32, ptr %addr49 %indvar.next = add i32 %indvar, 150 store i32 %val, ptr %addr51 br label %for.body52 53for.body: ; preds = %for.inc, %for.body.outer54 %indvar.2 = phi i32 [0, %for.body.outer], [%indvar.2.next, %for.inc]55 %addr.2 = getelementptr i32, ptr %A, i32 %indvar.256 %val.2 = load i32, ptr %addr.257 %indvar.2.next = add i32 %indvar.2, 158 store i32 %val.2, ptr %addr.259 %cond.1 = icmp sle i32 %indvar, 25660 br i1 %cond.1, label %for.body.outer, label %for.inc61 62for.inc: ; preds = %for.body63 %addr.3 = getelementptr i32, ptr %A, i32 %indvar.264 %val.3 = load i32, ptr %addr.365 store i32 %val.3, ptr %addr.366 %cond = icmp sle i32 %indvar.2, 102467 br i1 %cond, label %for.body, label %for.end68 69for.end: ; preds = %for.inc70 ret void71}72