1; RUN: opt %loadNPMPolly '-passes=print<polly-detect>,print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s 2; 3; void f(int *A, int N) { 4; for (int i = 0; i < N; i++) 5; A[i / 0]++; 6; } 7; 8; CHECK-NOT: Statement 9; 10target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 11 12define void @f(ptr %A, i32 %N) { 13entry: 14 br label %for.cond 15 16for.cond: ; preds = %for.inc, %entry 17 %i.0 = phi i32 [ 0, %entry ], [ %inc1, %for.inc ] 18 %cmp = icmp slt i32 %i.0, %N 19 br i1 %cmp, label %for.body, label %for.end 20 21for.body: ; preds = %for.cond 22 %div = sdiv i32 %i.0, 0 23 %idxprom = sext i32 %div to i64 24 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %idxprom 25 %tmp = load i32, ptr %arrayidx, align 4 26 %inc = add nsw i32 %tmp, 1 27 store i32 %inc, ptr %arrayidx, align 4 28 br label %for.inc 29 30for.inc: ; preds = %for.body 31 %inc1 = add nuw nsw i32 %i.0, 1 32 br label %for.cond 33 34for.end: ; preds = %for.cond 35 ret void 36} 37