1; RUN: opt %loadPolly -polly-delicm -analyze -pass-remarks-missed=polly-delicm < %s 2>&1 | FileCheck %s 2; 3; void func(double *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; if (phi > 42.0) 9; (void)A[j]; 10; else 11; A[j] = 0.0; 12; A[j] = phi; 13; } 14; } 15; 16define void @func(double* noalias nonnull %A) { 17entry: 18 br label %outer.preheader 19 20outer.preheader: 21 br label %outer.for 22 23outer.for: 24 %j = phi i32 [0, %outer.preheader], [%j.inc, %outer.inc] 25 %j.cmp = icmp slt i32 %j, 2 26 br i1 %j.cmp, label %reduction.preheader, label %outer.exit 27 28 29 reduction.preheader: 30 br label %reduction.for 31 32 reduction.for: 33 %i = phi i32 [0, %reduction.preheader], [%i.inc, %reduction.inc] 34 %phi = phi double [0.0, %reduction.preheader], [%add, %reduction.inc] 35 %i.cmp = icmp slt i32 %i, 4 36 br i1 %i.cmp, label %body, label %reduction.exit 37 38 39 40 body: 41 %add = fadd double %phi, 4.2 42 %A_idxp = getelementptr inbounds double, double* %A, i32 %j 43 %add.cmp = fcmp ogt double %add, 42.0 44 br i1 %add.cmp , label %body_true, label %body_false 45 46 body_true: 47 %dummy = load double, double* %A_idxp 48 br label %reduction.inc 49 50 body_false: 51 store double 0.0, double* %A_idxp 52 br label %reduction.inc 53 54 55 56 reduction.inc: 57 %i.inc = add nuw nsw i32 %i, 1 58 br label %reduction.for 59 60 reduction.exit: 61 %A_idx = getelementptr inbounds double, double* %A, i32 %j 62 store double %phi, double* %A_idx 63 br label %outer.inc 64 65 66 67outer.inc: 68 %j.inc = add nuw nsw i32 %j, 1 69 br label %outer.for 70 71outer.exit: 72 br label %return 73 74return: 75 ret void 76} 77 78 79; CHECK: store is in a non-affine subregion 80