| ; RUN: llc < %s -mtriple=x86_64-pc-linux | FileCheck %s |
| ; RUN: llc < %s -mtriple=x86_64-pc-linux -check-bfi-unknown-block-queries=true | FileCheck %s |
| |
| ; Checks if movl $1 is sinked to critical edge. |
| ; CHECK-NOT: movl $1 |
| ; CHECK: jbe |
| ; CHECK: movl $1 |
| define i32 @test(i32 %n, i32 %k) nounwind { |
| entry: |
| %cmp = icmp ugt i32 %k, %n |
| br i1 %cmp, label %ifthen, label %ifend, !prof !1 |
| |
| ifthen: |
| %y = add i32 %k, 2 |
| br label %ifend |
| |
| ifend: |
| %ret = phi i32 [ 1, %entry ] , [ %y, %ifthen] |
| ret i32 %ret |
| } |
| |
| !1 = !{!"branch_weights", i32 100, i32 1} |