37 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; A store that has a different index than the load it is storing is4; not redundant.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 %val = load double, ptr %A20 %A_idx = getelementptr inbounds double, ptr %A, i32 %j21 store double %val, ptr %A_idx22 br label %inc23 24inc:25 %j.inc = add nuw nsw i32 %j, 126 br label %for27 28exit:29 br label %return30 31return:32 ret void33}34 35 36; CHECK: SCoP could not be simplified37