1; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s 2; RUN: opt %loadNPMPolly -passes=polly-codegen -polly-invariant-load-hoisting=true -S < %s 2>&1 | FileCheck %s --check-prefix=CODEGEN 3; 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: %loadI0 17; 18; CHECK: Stmt_if_then 19; 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 0 24; CODEGEN-NEXT: %polly.access.I0.load = load i32, ptr %polly.access.I0 25; CODEGEN-NEXT: store i32 %polly.access.I0.load, ptr %loadI1a.preload.s2a 26; CODEGEN-NEXT: %0 = sext i32 %polly.access.I0.load to i64 27; CODEGEN-NEXT: %1 = icmp eq i64 %0, 0 28; CODEGEN-NEXT: %polly.preload.cond.result = and i1 %1, true 29; CODEGEN-NEXT: br label %polly.preload.cond 30; 31; CODEGEN: polly.preload.cond: 32; CODEGEN-NEXT: br i1 %polly.preload.cond.result, label %polly.preload.exec, label %polly.preload.merge 33; 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.cond 39 40for.cond: ; preds = %for.inc, %entry 41 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ] 42 %exitcond = icmp ne i64 %indvars.iv, 1000 43 br i1 %exitcond, label %for.body, label %for.end 44 45for.body: ; preds = %for.cond 46 %loadI1a = load i32, ptr %I0, align 4 47 %arrayidx = getelementptr inbounds i32, ptr %V, i64 %indvars.iv 48 %loadI1a1 = load i32, ptr %arrayidx, align 4 49 %add = add nsw i32 %loadI1a1, %loadI1a 50 store i32 %add, ptr %arrayidx, align 4 51 %loadI0 = load i32, ptr %I0, align 4 52 %loadI0ext = zext i32 %loadI0 to i64 53 %cmp1 = icmp eq i64 %loadI0ext, 0 54 br i1 %cmp1, label %if.then, label %if.end 55 56if.then: ; preds = %for.body 57 %loadI1b = load i32, ptr %I1, align 4 58 %arrayidx4 = getelementptr inbounds i32, ptr %V, i64 %indvars.iv 59 %loadI1a4 = load i32, ptr %arrayidx4, align 4 60 %add5 = add nsw i32 %loadI1a4, %loadI1b 61 store i32 %add5, ptr %arrayidx4, align 4 62 br label %if.end 63 64if.end: ; preds = %if.then, %for.body 65 br label %for.inc 66 67for.inc: ; preds = %if.end 68 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 69 br label %for.cond 70 71for.end: ; preds = %for.cond 72 ret void 73} 74