39 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<simplify>' -polly-print-simplify -disable-output -aa-pipeline=basic-aa < %s | FileCheck %s -match-full-lines2;3; Don't remove store where there is another store to the same target4; in-between them.5;6; for (int j = 0; j < n; j += 1)7; A[0] = A[0];8;9define void @func(i32 %n, ptr noalias nonnull %A) {10entry:11 br label %for12 13for:14 %j = phi i32 [0, %entry], [%j.inc, %inc]15 %j.cmp = icmp slt i32 %j, %n16 br i1 %j.cmp, label %body, label %exit17 18 body:19 %A_idx = getelementptr inbounds double, ptr %A, i32 %j20 %val = load double, ptr %A_idx21 store double 0.0, ptr %A22 store double %val, ptr %A_idx23 br label %inc24 25inc:26 %j.inc = add nuw nsw i32 %j, 127 br label %for28 29exit:30 br label %return31 32return:33 ret void34}35 36 37; CHECK: SCoP could not be simplified38 39