45 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3; void f(int a[], int N, unsigned P) {4; int i;5; for (i = 0; i < N; ++i)6; if (P > 42)7; a[i] = i;8; }9 10; The assumed context is the universe because the "signed-unsigned assumption"11; [P, N] -> { : N > 0 and P >= 0 }12; is implied by the execution domain. Thus if something is executed this13; assumption will hold.14 15; CHECK: Assumed Context:16; CHECK-NEXT: [P, N] -> { : }17;18; CHECK: Domain :=19; CHECK-NEXT: [P, N] -> { Stmt_store[i0] : P >= 42 and 0 <= i0 < N };20 21target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"22 23define void @f(ptr nocapture %a, i64 %N, i64 %P) nounwind {24entry:25 br label %bb26 27bb:28 %i = phi i64 [ 0, %entry ], [ %i.inc, %bb.backedge ]29 %brcond = icmp uge i64 %P, 4230 br i1 %brcond, label %store, label %bb.backedge31 32store:33 %scevgep = getelementptr inbounds i64, ptr %a, i64 %i34 store i64 %i, ptr %scevgep35 br label %bb.backedge36 37bb.backedge:38 %i.inc = add nsw i64 %i, 139 %exitcond = icmp eq i64 %i.inc, %N40 br i1 %exitcond, label %return, label %bb41 42return:43 ret void44}45