50 lines · plain
1; RUN: opt %loadNPMPolly -polly-optree-normalize-phi=true '-passes=polly-custom<optree>' -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines2;3; Contains a self-referencing PHINode that would require a4; transitive closure to handle.5;6; for (int j = 0; j < n; j += 1) {7; double phi = 0.0;8; for (int i = 0; i < m; i += 1)9; phi = phi;10; A[j] = phi;11; }12;13define void @func(i32 %n, i32 %m, ptr noalias nonnull %A) {14entry:15 br label %for16 17for:18 %j = phi i32 [0, %entry], [%j.inc, %inc]19 %j.cmp = icmp slt i32 %j, %n20 br i1 %j.cmp, label %for.preheader, label %exit21 22 for.preheader:23 br label %for.inner24 25 for.inner:26 %i = phi i32 [0, %for.preheader], [%i.inc, %for.inner]27 %phi = phi double [0.0, %for.preheader], [%phi, %for.inner]28 %i.inc = add nuw nsw i32 %i, 129 %i.cmp = icmp slt i32 %i.inc, %m30 br i1 %i.cmp, label %for.inner, label %for.exit31 32 for.exit:33 %A_idx = getelementptr inbounds double, ptr %A, i32 %j34 store double %phi, ptr %A_idx35 br label %inc36 37inc:38 %j.inc = add nuw nsw i32 %j, 139 br label %for40 41exit:42 br label %return43 44return:45 ret void46}47 48 49; CHECK: ForwardOpTree executed, but did not modify anything50