70 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<import-jscop;codegen>' -S < %s | FileCheck %s2;3; void non-affine-update(double A[], double C[], double B[]) {4; for (int i = 0; i < 10; i++) {5; if (A[i] >= 6)6; B[i] += 42;7; else8; C[i] += 3;9; }10; }11 12; Verify that all changed memory access functions are correctly code generated.13; At some point this did not work due to memory access identifiers not being14; unique within non-affine scop statements.15 16; CHECK: polly.stmt.bb2:17; CHECK: %[[offset:.*]] = shl nuw nsw i64 %polly.indvar, 318; CHECK: %scevgep = getelementptr i8, ptr %A, i64 %[[offset]]19 20; CHECK: polly.stmt.bb9:21; CHECK: %polly.access.C{{.*}} = getelementptr double, ptr %C, i64 4222; CHECK: %polly.access.C{{.*}} = getelementptr double, ptr %C, i64 4223 24; CHECK: polly.stmt.bb5:25; CHECK: %polly.access.B{{.*}} = getelementptr double, ptr %B, i64 11326; CHECK: %polly.access.B{{.*}} = getelementptr double, ptr %B, i64 11327 28 29target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"30 31define void @non-affine-update(ptr %A, ptr %C, ptr %B) {32bb:33 br label %bb134 35bb1: ; preds = %bb14, %bb36 %indvars.iv = phi i64 [ %indvars.iv.next, %bb14 ], [ 0, %bb ]37 %exitcond = icmp ne i64 %indvars.iv, 1038 br i1 %exitcond, label %bb2, label %bb1539 40bb2: ; preds = %bb141 %tmp = getelementptr inbounds double, ptr %A, i64 %indvars.iv42 %tmp3 = load double, ptr %tmp, align 843 %tmp4 = fcmp ult double %tmp3, 6.000000e+0044 br i1 %tmp4, label %bb9, label %bb545 46bb5: ; preds = %bb247 %tmp6 = getelementptr inbounds double, ptr %B, i64 %indvars.iv48 %tmp7 = load double, ptr %tmp6, align 849 %tmp8 = fadd double %tmp7, 4.200000e+0150 store double %tmp8, ptr %tmp6, align 851 br label %bb1352 53bb9: ; preds = %bb254 %tmp10 = getelementptr inbounds double, ptr %C, i64 %indvars.iv55 %tmp11 = load double, ptr %tmp10, align 856 %tmp12 = fadd double %tmp11, 3.000000e+0057 store double %tmp12, ptr %tmp10, align 858 br label %bb1359 60bb13: ; preds = %bb9, %bb561 br label %bb1462 63bb14: ; preds = %bb1364 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 165 br label %bb166 67bb15: ; preds = %bb168 ret void69}70