1; RUN: opt %loadNPMPolly -passes=polly-codegen -S < %s | FileCheck %s 2; 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 %next 6; 7; CHECK: next: 8; CHECK: %result = phi float [ %result.ph.merge, %polly.merge_new_and_old ] 9; CHECK: ret float %result 10 11define float @foo(ptr %A, i64 %param) { 12entry: 13 br label %entry.split 14 15entry.split: 16 %branchcond = icmp slt i64 %param, 64 17 br i1 %branchcond, label %loopA, label %loopB 18 19loopA: 20 %indvarA = phi i64 [0, %entry.split], [%indvar.nextA, %loopA] 21 %indvar.nextA = add i64 %indvarA, 1 22 %valA = load float, ptr %A 23 %sumA = fadd float %valA, %valA 24 store float %valA, ptr %A 25 %cndA = icmp eq i64 %indvar.nextA, 100 26 br i1 %cndA, label %next, label %loopA 27 28loopB: 29 %indvarB = phi i64 [0, %entry.split], [%indvar.nextB, %loopB] 30 %indvar.nextB = add i64 %indvarB, 1 31 %valB = load float, ptr %A 32 %sumB = fadd float %valB, %valB 33 store float %valB, ptr %A 34 %cndB = icmp eq i64 %indvar.nextB, 100 35 br i1 %cndB, label %next, label %loopB 36 37next: 38 %result = phi float [%sumA, %loopA], [%sumB, %loopB] 39 ret float %result 40 41} 42