115 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;3; Check that we do not consolidate the invariant loads to smp[order - 1] and4; smp[order - 2] in the blocks %0 and %16. While they have the same pointer5; operand (SCEV) they do not have the same access relation due to the6; instantiation of "order" from their domain.7;8; CHECK: Invariant Accesses: {9; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]10; CHECK-NEXT: [order, n] -> { Stmt_bb1[] -> MemRef_smp[1] };11; CHECK-NEXT: Execution Context: [order, n] -> { : order = 2 }12; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]13; CHECK-NEXT: [order, n] -> { Stmt_bb1[] -> MemRef_smp[0] };14; CHECK-NEXT: Execution Context: [order, n] -> { : order = 2 }15; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]16; CHECK-NEXT: [order, n] -> { Stmt_bb16[] -> MemRef_smp[2] };17; CHECK-NEXT: Execution Context: [order, n] -> { : order = 3 }18; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]19; CHECK-NEXT: [order, n] -> { Stmt_bb16[] -> MemRef_smp[1] };20; CHECK-NEXT: Execution Context: [order, n] -> { : order = 3 }21; CHECK-NEXT: }22;23; ModuleID = '/home/johannes/Downloads/test_case.ll'24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"25 26; Function Attrs: nounwind uwtable27define void @encode_residual_fixed(ptr %res, ptr %smp, i32 %n, i32 %order) {28bb:29 br label %.split30 31.split: ; preds = %bb32 switch i32 %order, label %bb32 [33 i32 2, label %bb134 i32 3, label %bb1635 ]36 37bb1: ; preds = %.split38 %tmp = add nsw i32 %order, -139 %tmp2 = sext i32 %tmp to i6440 %tmp3 = getelementptr inbounds i32, ptr %smp, i64 %tmp241 %tmp4 = load i32, ptr %tmp3, align 442 %tmp5 = add nsw i32 %order, -243 %tmp6 = sext i32 %tmp5 to i6444 %tmp7 = getelementptr inbounds i32, ptr %smp, i64 %tmp645 %tmp8 = load i32, ptr %tmp7, align 446 %tmp9 = sub nsw i32 %tmp4, %tmp847 %tmp10 = icmp slt i32 %order, %n48 br i1 %tmp10, label %.lr.ph, label %.loopexit49 50.lr.ph: ; preds = %bb151 %tmp11 = sext i32 %order to i6452 br label %bb1253 54bb12: ; preds = %bb12, %.lr.ph55 %indvars.iv = phi i64 [ %tmp11, %.lr.ph ], [ %indvars.iv.next, %bb12 ]56 %i.03 = phi i32 [ %order, %.lr.ph ], [ %tmp14, %bb12 ]57 %tmp13 = getelementptr inbounds i32, ptr %res, i64 %indvars.iv58 store i32 %tmp9, ptr %tmp13, align 459 %tmp14 = add nsw i32 %i.03, 260 %tmp15 = icmp slt i32 %tmp14, %n61 %indvars.iv.next = add nsw i64 %indvars.iv, 262 br i1 %tmp15, label %bb12, label %..loopexit_crit_edge63 64bb16: ; preds = %.split65 %tmp17 = add nsw i32 %order, -166 %tmp18 = sext i32 %tmp17 to i6467 %tmp19 = getelementptr inbounds i32, ptr %smp, i64 %tmp1868 %tmp20 = load i32, ptr %tmp19, align 469 %tmp21 = add nsw i32 %order, -270 %tmp22 = sext i32 %tmp21 to i6471 %tmp23 = getelementptr inbounds i32, ptr %smp, i64 %tmp2272 %tmp24 = load i32, ptr %tmp23, align 473 %tmp25 = sub nsw i32 %tmp20, %tmp2474 %tmp26 = icmp slt i32 %order, %n75 br i1 %tmp26, label %.lr.ph5, label %.loopexit276 77.lr.ph5: ; preds = %bb1678 %tmp27 = sext i32 %order to i6479 br label %bb2880 81bb28: ; preds = %bb28, %.lr.ph582 %indvars.iv6 = phi i64 [ %tmp27, %.lr.ph5 ], [ %indvars.iv.next7, %bb28 ]83 %i.14 = phi i32 [ %order, %.lr.ph5 ], [ %tmp30, %bb28 ]84 %tmp29 = getelementptr inbounds i32, ptr %res, i64 %indvars.iv685 store i32 %tmp25, ptr %tmp29, align 486 %tmp30 = add nsw i32 %i.14, 287 %tmp31 = icmp slt i32 %tmp30, %n88 %indvars.iv.next7 = add nsw i64 %indvars.iv6, 289 br i1 %tmp31, label %bb28, label %..loopexit2_crit_edge90 91..loopexit_crit_edge: ; preds = %bb1292 br label %.loopexit93 94.loopexit: ; preds = %..loopexit_crit_edge, %bb195 br label %bb3296 97..loopexit2_crit_edge: ; preds = %bb2898 br label %.loopexit299 100.loopexit2: ; preds = %..loopexit2_crit_edge, %bb16101 br label %bb32102 103bb32: ; preds = %.loopexit2, %.loopexit, %.split104 %tmp33 = getelementptr inbounds i32, ptr %res, i64 2105 %tmp34 = load i32, ptr %tmp33, align 4106 %tmp35 = icmp eq i32 %tmp34, 5107 br i1 %tmp35, label %bb37, label %bb36108 109bb36: ; preds = %bb32110 ret void111 112bb37: ; preds = %bb32113 ret void114}115