; RUN: llc -mcpu=corei7 -mtriple=x86_64-linux -force-precise-rotation-cost < %s | FileCheck %s

define void @bar()  {
; Test that all edges in the loop chain are fall through with profile data.
;
; CHECK-LABEL: bar:
; CHECK: latch
; CHECK: header
; CHECK: if.then
; CHECK: end

entry:
  br label %header

header:
  call void @e()
  %call = call zeroext i1 @a()
  br i1 %call, label %if.then, label %latch, !prof !1

if.then:
  call void @f()
  %call3 = call zeroext i1 @a()
  br i1 %call3, label %latch, label %end, !prof !2

latch:
  call void @h()
  %call2 = call zeroext i1 @a()
  br i1 %call2, label %header, label %end, !prof !3

end:
  ret void
}

declare zeroext i1 @a()
declare void @e()
declare void @f()
declare void @g()
declare void @h()

!1 = !{!"branch_weights", i32 16, i32 16}
!2 = !{!"branch_weights", i32 97, i32 3}
!3 = !{!"branch_weights", i32 97, i32 3}