; RUN: llc -mtriple=hexagon -mcpu=hexagonv5 -enable-pipeliner \
; RUN:     -pipeliner-max-stages=2 < %s -pipeliner-experimental-cg=true | FileCheck %s

@A = global [8 x i32] [i32 4, i32 -3, i32 5, i32 -2, i32 -1, i32 2, i32 6, i32 -2], align 8

define i32 @test(i32 %Left, i32 %Right) {
entry:
  %add = add nsw i32 %Right, %Left
  %div = sdiv i32 %add, 2
  %cmp9 = icmp slt i32 %div, %Left
  br i1 %cmp9, label %for.end, label %for.body.preheader

for.body.preheader:
  br label %for.body

; CHECK: loop0(.LBB0_[[LOOP:.]],
; CHECK: .LBB0_[[LOOP]]:
; CHECK: [[REG1:(r[0-9]+)]] = max(r{{[0-9]+}},[[REG1]])
; CHECK: [[REG0:(r[0-9]+)]] = add([[REG2:(r[0-9]+)]],[[REG0]])
; CHECK: [[REG2]] = memw
; CHECK: endloop0

for.body:
  %MaxLeftBorderSum.012 = phi i32 [ %MaxLeftBorderSum.1, %for.body ], [ 0, %for.body.preheader ]
  %i.011 = phi i32 [ %dec, %for.body ], [ %div, %for.body.preheader ]
  %LeftBorderSum.010 = phi i32 [ %add1, %for.body ], [ 0, %for.body.preheader ]
  %arrayidx = getelementptr inbounds [8 x i32], ptr @A, i32 0, i32 %i.011
  %0 = load i32, ptr %arrayidx, align 4
  %add1 = add nsw i32 %0, %LeftBorderSum.010
  %cmp2 = icmp sgt i32 %add1, %MaxLeftBorderSum.012
  %MaxLeftBorderSum.1 = select i1 %cmp2, i32 %add1, i32 %MaxLeftBorderSum.012
  %dec = add nsw i32 %i.011, -1
  %cmp = icmp slt i32 %dec, %Left
  br i1 %cmp, label %for.end.loopexit, label %for.body

for.end.loopexit:
  br label %for.end

for.end:
  %MaxLeftBorderSum.0.lcssa = phi i32 [ 0, %entry ], [ %MaxLeftBorderSum.1, %for.end.loopexit ]
  ret i32 %MaxLeftBorderSum.0.lcssa
}