39 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; TODO: FIXME: Investigate why we need a InvalidContext here.4;5; void f(int *A, int *B) {6; while (A != B) {7; *A = *A + 1;8; A++;9; }10; }11;12; CHECK: Invalid Context:13; 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) }14;15; CHECK: Domain :=16; CHECK-NEXT: [A, B] -> { Stmt_while_body[i0] : (-A + B) mod 4 = 0 and i0 >= 0 and 4i0 <= -4 - A + B };17;18target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"19 20define void @f(ptr %A, ptr %B) {21entry:22 br label %while.cond23 24while.cond: ; preds = %while.body, %entry25 %A.addr.0 = phi ptr [ %A, %entry ], [ %incdec.ptr, %while.body ]26 %cmp = icmp eq ptr %A.addr.0, %B27 br i1 %cmp, label %while.end, label %while.body28 29while.body: ; preds = %while.cond30 %tmp = load i32, ptr %A.addr.0, align 431 %add = add nsw i32 %tmp, 132 store i32 %add, ptr %A.addr.0, align 433 %incdec.ptr = getelementptr inbounds i32, ptr %A.addr.0, i64 134 br label %while.cond35 36while.end: ; preds = %while.cond37 ret void38}39