64 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -S < %s | FileCheck %s2;3; CHECK-LABEL: polly.preload.begin:4; CHECK-NEXT: %0 = sext i32 %N to i645; CHECK-NEXT: %1 = icmp sge i64 %0, 5146; CHECK-NEXT: %polly.preload.cond.result = and i1 %1, true7; CHECK-NEXT: br label %polly.preload.cond8;9; CHECK-LABEL: polly.preload.cond:10; CHECK-NEXT: br i1 %polly.preload.cond.result, label %polly.preload.exec, label %polly.preload.merge11;12; CHECK-LABEL: polly.preload.merge:13; CHECK-NEXT: %polly.preload.tmp6.merge = phi ptr [ %polly.access.BPLoc.load, %polly.preload.exec ], [ null, %polly.preload.cond ]14;15; CHECK-LABEL: polly.stmt.bb5:16; CHECK-NEXT: %[[offset:.*]] = shl nuw nsw i64 %polly.indvar16, 217; CHECK-NEXT: %{{.*}} = getelementptr i8, ptr %polly.preload.tmp6.merge, i64 %[[offset]]18;19; void f(int **BPLoc, int *A, int N) {20; for (int i = 0; i < N; i++)21; if (i > 512)22; (*BPLoc)[i] = 0;23; else24; A[i] = 0;25; }26;27target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"28 29define void @f(ptr %BPLoc, ptr %A, i32 %N) {30bb:31 %tmp = sext i32 %N to i6432 br label %bb133 34bb1: ; preds = %bb11, %bb35 %indvars.iv = phi i64 [ %indvars.iv.next, %bb11 ], [ 0, %bb ]36 %tmp2 = icmp slt i64 %indvars.iv, %tmp37 br i1 %tmp2, label %bb3, label %bb1238 39bb3: ; preds = %bb140 %tmp4 = icmp sgt i64 %indvars.iv, 51241 br i1 %tmp4, label %bb5, label %bb842 43bb5: ; preds = %bb344 %tmp6 = load ptr, ptr %BPLoc, align 845 %tmp7 = getelementptr inbounds i32, ptr %tmp6, i64 %indvars.iv46 store i32 0, ptr %tmp7, align 447 br label %bb1048 49bb8: ; preds = %bb350 %tmp9 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv51 store i32 0, ptr %tmp9, align 452 br label %bb1053 54bb10: ; preds = %bb8, %bb555 br label %bb1156 57bb11: ; preds = %bb1058 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 159 br label %bb160 61bb12: ; preds = %bb162 ret void63}64