| ; 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} |