40 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 *B) {4; while (A != B) {5; *A = *A + 1;6; A++;7; }8; }9;10; CHECK: Invalid Context:11; CHECK-NEXT: [A, B] -> { : (4*floor((A - B)/4) < A - B) or ((-A + B) mod 4 = 0 and B >= 9223372036854775808 + A) or ((-A + B) mod 4 = 0 and B <= -4 + A) }12;13; CHECK: Domain :=14; CHECK-NEXT: [A, B] -> { Stmt_while_body[i0] : (-A + B) mod 4 = 0 and i0 >= 0 and 4i0 <= -4 - A + B }15;16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17 18define void @f(ptr %A, ptr %B) {19entry:20 br label %entry.split21 22entry.split:23 br i1 true, label %while.cond, label %while.end24 25while.cond: ; preds = %while.body, %entry26 %A.addr.0 = phi ptr [ %A, %entry.split ], [ %incdec.ptr, %while.body ]27 %cmp = icmp eq ptr %A.addr.0, %B28 br i1 %cmp, label %while.end, label %while.body29 30while.body: ; preds = %while.cond31 %tmp = load i32, ptr %A.addr.0, align 432 %add = add i32 %tmp, 133 store i32 %add, ptr %A.addr.0, align 434 %incdec.ptr = getelementptr i32, ptr %A.addr.0, i64 135 br label %while.cond36 37while.end: ; preds = %while.cond38 ret void39}40