48 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -disable-output < %s3;4; void or(float *A, long n, long m) {5; for (long i = 0; i < 100; i++) {6; if (i < n || i < m || i > p)7; A[i] += i;8; }9; }10;11; CHECK: Function: or12; CHECK: Stmt_if_then13; CHECK: Domain :=14; CHECK: [n, m, p] -> { Stmt_if_then[i0] : 0 <= i0 <= 99 and (i0 > p or i0 < m or i0 < n) };15;16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17 18; Function Attrs: nounwind uwtable19define void @or(ptr nocapture %A, i64 %n, i64 %m, i64 %p) #0 {20entry:21 br label %for.body22 23for.body: ; preds = %for.inc, %entry24 %i.03 = phi i64 [ 0, %entry ], [ %inc, %for.inc ]25 %cmp1 = icmp slt i64 %i.03, %n26 %cmp2 = icmp slt i64 %i.03, %m27 %cmp3 = icmp sgt i64 %i.03, %p28 %or.tmp = or i1 %cmp1, %cmp229 %or.cond = or i1 %or.tmp, %cmp330 br i1 %or.cond, label %if.then, label %for.inc31 32if.then: ; preds = %for.body33 %conv = sitofp i64 %i.03 to float34 %arrayidx = getelementptr inbounds float, ptr %A, i64 %i.0335 %0 = load float, ptr %arrayidx, align 436 %add = fadd float %conv, %037 store float %add, ptr %arrayidx, align 438 br label %for.inc39 40for.inc: ; preds = %if.then, %for.body41 %inc = add nuw nsw i64 %i.03, 142 %exitcond = icmp eq i64 %inc, 10043 br i1 %exitcond, label %for.end, label %for.body44 45for.end: ; preds = %for.inc46 ret void47}48