75 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S -verify-dom-info < %s | FileCheck %s2;3; Check that we do not reuse the B[i-1] GEP created in block S again in4; block Q. Hence, we create two GEPs for B[i-1]:5;6; CHECK: %scevgep{{.}} = getelementptr i8, ptr %B, i64 -47; CHECK: %scevgep{{.}} = getelementptr i8, ptr %B, i64 -48;9; void f(int *A, int *B) {10; int x = 0;11; for (int i = 0; i < 1024; i++) {12; if (A[i]) {13; if (i > 512)14; S: A[i] = B[i - 1];15; Q: A[i] += B[i - 1];16; }17; }18; }19;20target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"21 22define void @f(ptr %A, ptr %B) {23bb:24 br label %bb125 26bb1: ; preds = %bb22, %bb27 %indvars.iv = phi i64 [ %indvars.iv.next, %bb22 ], [ 0, %bb ]28 %exitcond = icmp ne i64 %indvars.iv, 102429 br i1 %exitcond, label %bb2, label %bb2330 31bb2: ; preds = %bb132 %tmp = getelementptr inbounds i32, ptr %A, i64 %indvars.iv33 %tmp3 = load i32, ptr %tmp, align 434 %tmp4 = icmp eq i32 %tmp3, 035 br i1 %tmp4, label %bb21, label %bb536 37bb5: ; preds = %bb238 %tmp6 = icmp sgt i64 %indvars.iv, 51239 br i1 %tmp6, label %bb7, label %bb1340 41bb7: ; preds = %bb542 br label %bb843 44bb8: ; preds = %bb745 %tmp9 = add nsw i64 %indvars.iv, -146 %tmp10 = getelementptr inbounds i32, ptr %B, i64 %tmp947 %tmp11 = load i32, ptr %tmp10, align 448 %tmp12 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv49 store i32 %tmp11, ptr %tmp12, align 450 br label %bb1351 52bb13: ; preds = %bb8, %bb553 br label %bb1454 55bb14: ; preds = %bb1356 %tmp15 = add nsw i64 %indvars.iv, -157 %tmp16 = getelementptr inbounds i32, ptr %B, i64 %tmp1558 %tmp17 = load i32, ptr %tmp16, align 459 %tmp18 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv60 %tmp19 = load i32, ptr %tmp18, align 461 %tmp20 = add nsw i32 %tmp19, %tmp1762 store i32 %tmp20, ptr %tmp18, align 463 br label %bb2164 65bb21: ; preds = %bb2, %bb1466 br label %bb2267 68bb22: ; preds = %bb2169 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 170 br label %bb171 72bb23: ; preds = %bb173 ret void74}75