55 lines · plain
1; RUN: opt %loadNPMPolly -polly-process-unprofitable '-passes=polly<no-default-opts>' -polly-invariant-load-hoisting=true -S < %s | FileCheck %s2;3; CHECK-LABEL: polly.preload.begin:4; CHECK-NEXT: %polly.access.C = getelementptr i32, ptr %C, i64 05; CHECK-NEXT: %polly.access.C.load = load i32, ptr %polly.access.C6; CHECK-NOT: %polly.access.C.load = load i32, ptr %polly.access.C7;8; CHECK-LABEL: polly.cond:9; CHECK-NEXT: %[[R0:[0-9]*]] = sext i32 %polly.access.C.load to i6410; CHECK-NEXT: %[[R1:[0-9]*]] = icmp sle i64 %[[R0]], -111; CHECK-NEXT: %[[R2:[0-9]*]] = sext i32 %polly.access.C.load to i6412; CHECK-NEXT: %[[R3:[0-9]*]] = icmp sge i64 %[[R2]], 113; CHECK-NEXT: %[[R4:[0-9]*]] = or i1 %[[R1]], %[[R3]]14; CHECK-NEXT: br i1 %[[R4]]15;16; CHECK-NOT: polly.stmt.bb217;18; void f(int *A, int *C) {19; for (int i = 0; i < 1024; i++)20; if (*C)21; A[i] = 0;22; }23;24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"25 26define void @f(ptr %A, ptr %C) {27bb:28 br label %bb129 30bb1: ; preds = %bb7, %bb31 %indvars.iv = phi i64 [ %indvars.iv.next, %bb7 ], [ 0, %bb ]32 %exitcond = icmp ne i64 %indvars.iv, 102433 br i1 %exitcond, label %bb2, label %bb834 35bb2: ; preds = %bb136 %tmp = load i32, ptr %C, align 437 %tmp3 = icmp eq i32 %tmp, 038 br i1 %tmp3, label %bb6, label %bb439 40bb4: ; preds = %bb241 %tmp5 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv42 store i32 0, ptr %tmp5, align 443 br label %bb644 45bb6: ; preds = %bb2, %bb446 br label %bb747 48bb7: ; preds = %bb649 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 150 br label %bb151 52bb8: ; preds = %bb153 ret void54}55