42 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s | FileCheck %s2;3; CHECK: polly.merge_new_and_old:4; CHECK: %result.ph.merge = phi float [ %result.ph.final_reload, %polly.exiting ], [ %result.ph, %next.region_exiting ]5; CHECK: br label %next6;7; CHECK: next:8; CHECK: %result = phi float [ %result.ph.merge, %polly.merge_new_and_old ]9; CHECK: ret float %result10 11define float @foo(ptr %A, i64 %param) {12entry:13 br label %entry.split14 15entry.split:16 %branchcond = icmp slt i64 %param, 6417 br i1 %branchcond, label %loopA, label %loopB18 19loopA:20 %indvarA = phi i64 [0, %entry.split], [%indvar.nextA, %loopA]21 %indvar.nextA = add i64 %indvarA, 122 %valA = load float, ptr %A23 %sumA = fadd float %valA, %valA24 store float %valA, ptr %A25 %cndA = icmp eq i64 %indvar.nextA, 10026 br i1 %cndA, label %next, label %loopA27 28loopB:29 %indvarB = phi i64 [0, %entry.split], [%indvar.nextB, %loopB]30 %indvar.nextB = add i64 %indvarB, 131 %valB = load float, ptr %A32 %sumB = fadd float %valB, %valB33 store float %valB, ptr %A34 %cndB = icmp eq i64 %indvar.nextB, 10035 br i1 %cndB, label %next, label %loopB36 37next:38 %result = phi float [%sumA, %loopA], [%sumB, %loopB]39 ret float %result40 41}42