74 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-invariant-load-hoisting=true -S < %s 2>&1 | FileCheck %s --check-prefix=CODEGEN3;4; void f(int *I0, int *I1, int *V) {5; for (int i = 0; i < 1000; i++) {6; if ((long)(*I0) == 0)7; V[i] += *I1;8; }9; }10;11; CHECK: Assumed Context:12; CHECK-NEXT: [loadI0] -> { : }13; CHECK-NEXT: Invalid Context:14; CHECK-NEXT: [loadI0] -> { : loadI0 < 0 }15;16; CHECK: p0: %loadI017;18; CHECK: Stmt_if_then19; CHECK-NEXT: Domain :=20; CHECK-NEXT: [loadI0] -> { Stmt_if_then[i0] : loadI0 = 0 and 0 <= i0 <= 999 };21;22; CODEGEN: polly.preload.begin:23; CODEGEN-NEXT: %polly.access.I0 = getelementptr i32, ptr %I0, i64 024; CODEGEN-NEXT: %polly.access.I0.load = load i32, ptr %polly.access.I025; CODEGEN-NEXT: store i32 %polly.access.I0.load, ptr %loadI1a.preload.s2a26; CODEGEN-NEXT: %0 = sext i32 %polly.access.I0.load to i6427; CODEGEN-NEXT: %1 = icmp eq i64 %0, 028; CODEGEN-NEXT: %polly.preload.cond.result = and i1 %1, true29; CODEGEN-NEXT: br label %polly.preload.cond30;31; CODEGEN: polly.preload.cond:32; CODEGEN-NEXT: br i1 %polly.preload.cond.result, label %polly.preload.exec, label %polly.preload.merge33;34target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"35 36define void @f(ptr %I0, ptr %I1, ptr %V) {37entry:38 br label %for.cond39 40for.cond: ; preds = %for.inc, %entry41 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]42 %exitcond = icmp ne i64 %indvars.iv, 100043 br i1 %exitcond, label %for.body, label %for.end44 45for.body: ; preds = %for.cond46 %loadI1a = load i32, ptr %I0, align 447 %arrayidx = getelementptr inbounds i32, ptr %V, i64 %indvars.iv48 %loadI1a1 = load i32, ptr %arrayidx, align 449 %add = add nsw i32 %loadI1a1, %loadI1a50 store i32 %add, ptr %arrayidx, align 451 %loadI0 = load i32, ptr %I0, align 452 %loadI0ext = zext i32 %loadI0 to i6453 %cmp1 = icmp eq i64 %loadI0ext, 054 br i1 %cmp1, label %if.then, label %if.end55 56if.then: ; preds = %for.body57 %loadI1b = load i32, ptr %I1, align 458 %arrayidx4 = getelementptr inbounds i32, ptr %V, i64 %indvars.iv59 %loadI1a4 = load i32, ptr %arrayidx4, align 460 %add5 = add nsw i32 %loadI1a4, %loadI1b61 store i32 %add5, ptr %arrayidx4, align 462 br label %if.end63 64if.end: ; preds = %if.then, %for.body65 br label %for.inc66 67for.inc: ; preds = %if.end68 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 169 br label %for.cond70 71for.end: ; preds = %for.cond72 ret void73}74