| ; RUN: llc -mcpu=corei7 -mtriple=x86_64-linux < %s | FileCheck %s |
| |
| define void @foo() { |
| ; After moving the latch to the top of loop, there is no fall through from the |
| ; latch to outer loop. |
| ; |
| ; CHECK-LABEL: foo: |
| ; CHECK: callq b |
| ; CHECK: callq c |
| |
| entry: |
| %call = call zeroext i1 @a() |
| br i1 %call, label %if.then, label %if.else, !prof !1 |
| |
| if.then: |
| %call1 = call zeroext i1 @a() |
| br i1 %call1, label %while.body, label %if.end.1, !prof !1 |
| |
| while.body: |
| %call2 = call zeroext i1 @a() |
| br i1 %call2, label %if.then.1, label %while.cond |
| |
| if.then.1: |
| call void @d() |
| br label %while.cond |
| |
| while.cond: |
| %call3 = call zeroext i1 @a() |
| br i1 %call3, label %while.body, label %if.end |
| |
| if.end.1: |
| call void @d() |
| br label %if.end |
| |
| if.else: |
| call void @b() |
| br label %if.end |
| |
| if.end: |
| call void @c() |
| ret void |
| } |
| |
| define void @bar() { |
| ; Test that when determining the edge probability from a node in a loop to a |
| ; node in its peer loop, the weights on edges in the first loop should be |
| ; ignored. |
| ; |
| ; CHECK-LABEL: bar: |
| ; CHECK: callq c |
| ; CHECK: callq b |
| |
| entry: |
| %call = call zeroext i1 @a() |
| br i1 %call, label %if.then, label %if.else, !prof !1 |
| |
| if.then: |
| %call1 = call zeroext i1 @a() |
| br i1 %call1, label %if.then, label %while.body, !prof !2 |
| |
| while.body: |
| %call2 = call zeroext i1 @a() |
| br i1 %call2, label %while.body, label %if.end, !prof !2 |
| |
| if.else: |
| call void @b() |
| br label %if.end |
| |
| if.end: |
| call void @c() |
| ret void |
| } |
| |
| define void @par() { |
| ; Test that when determining the edge probability from a node in a loop to a |
| ; node in its outer loop, the weights on edges in the outer loop should be |
| ; ignored if we are building the chain for the inner loop. |
| ; |
| ; CHECK-LABEL: par: |
| ; CHECK: callq c |
| ; CHECK: callq d |
| ; CHECK: callq b |
| |
| entry: |
| br label %if.cond |
| |
| if.cond: |
| %call = call zeroext i1 @a() |
| br i1 %call, label %if.then, label %if.else, !prof !3 |
| |
| if.then: |
| call void @b() |
| br label %if.end |
| |
| if.else: |
| call void @c() |
| %call1 = call zeroext i1 @a() |
| br i1 %call1, label %if.end, label %exit, !prof !4 |
| |
| if.end: |
| call void @d() |
| %call2 = call zeroext i1 @a() |
| br i1 %call2, label %if.cond, label %if.end.2, !prof !2 |
| |
| if.end.2: |
| call void @e() |
| br label %if.cond |
| |
| exit: |
| ret void |
| } |
| |
| declare zeroext i1 @a() |
| declare void @b() |
| declare void @c() |
| declare void @d() |
| declare void @e() |
| |
| !1 = !{!"branch_weights", i32 10, i32 1} |
| !2 = !{!"branch_weights", i32 100, i32 1} |
| !3 = !{!"branch_weights", i32 1, i32 100} |
| !4 = !{!"branch_weights", i32 1, i32 1} |