39 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; CHECK: [M, N] -> { Stmt_while_body[i0] : i0 > 0 and 4i0 <= -M + N; Stmt_while_body[0] };4;5; void f(int *A, int N, int M) {6; int i = 0;7; while (M <= N) {8; A[i++] = 1;9; M += 4;10; }11; }12;13target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"14 15define void @f(ptr nocapture %A, i32 %N, i32 %M) {16entry:17 %cmp3 = icmp sgt i32 %M, %N18 br i1 %cmp3, label %while.end, label %while.body.preheader19 20while.body.preheader:21 br label %while.body22 23while.body:24 %i.05 = phi i32 [ %inc, %while.body ], [ 0, %while.body.preheader ]25 %M.addr.04 = phi i32 [ %add, %while.body ], [ %M, %while.body.preheader ]26 %inc = add nuw nsw i32 %i.05, 127 %arrayidx = getelementptr inbounds i32, ptr %A, i32 %i.0528 store i32 1, ptr %arrayidx, align 429 %add = add nsw i32 %M.addr.04, 430 %cmp = icmp sgt i32 %add, %N31 br i1 %cmp, label %while.end.loopexit, label %while.body32 33while.end.loopexit:34 br label %while.end35 36while.end:37 ret void38}39