73 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<delicm>' -polly-print-delicm -disable-output < %s | FileCheck %s2;3; void func(float *A) {4; for (int j = 0; j < 2; j += 1) { /* outer */5; double phi = 0.0;6; for (int i = 0; i < 4; i += 1) /* reduction */7; phi += 4.2;8; A[j] = fsomeval;9; }10; }11;12; Check that %fphi is not mapped to A[j] because it is double-sized,13; but A[j] stores only floats.14;15define void @func(ptr noalias nonnull %A) {16entry:17 br label %outer.preheader18 19outer.preheader:20 br label %outer.for21 22outer.for:23 %j = phi i32 [0, %outer.preheader], [%j.inc, %outer.inc]24 %j.cmp = icmp slt i32 %j, 225 br i1 %j.cmp, label %reduction.preheader, label %outer.exit26 27 28 reduction.preheader:29 br label %reduction.for30 31 reduction.for:32 %i = phi i32 [0, %reduction.preheader], [%i.inc, %reduction.inc]33 %phi = phi double [0.0, %reduction.preheader], [%add, %reduction.inc]34 %i.cmp = icmp slt i32 %i, 435 br i1 %i.cmp, label %body, label %reduction.exit36 37 38 39 body:40 %add = fadd double %phi, 4.241 br label %reduction.inc42 43 44 45 reduction.inc:46 %i.inc = add nuw nsw i32 %i, 147 br label %reduction.for48 49 reduction.exit:50 %A_idx = getelementptr inbounds float, ptr %A, i32 %j51 %fphi = fptrunc double %phi to float52 store float %fphi, ptr %A_idx53 br label %outer.inc54 55 56 57outer.inc:58 %j.inc = add nuw nsw i32 %j, 159 br label %outer.for60 61outer.exit:62 br label %return63 64return:65 ret void66}67 68 69; CHECK: Statistics {70; CHECK: Compatible overwrites: 171; CHECK: }72; CHECK: No modification has been made73