| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2 |
| ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s |
| |
| define i64 @foo(i1 %0) { |
| ; CHECK-LABEL: foo: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: movl $1, %eax |
| ; CHECK-NEXT: testb $1, %dil |
| ; CHECK-NEXT: je .LBB0_2 |
| ; CHECK-NEXT: # %bb.1: |
| ; CHECK-NEXT: xorl %eax, %eax |
| ; CHECK-NEXT: .LBB0_2: |
| ; CHECK-NEXT: retq |
| br label %2 |
| |
| 2: |
| %3 = select i1 %0, i1 %0, i1 false |
| %4 = freeze i1 %3 |
| br i1 %4, label %5, label %6 |
| |
| 5: |
| br label %6 |
| |
| 6: |
| %7 = phi i64 [ 0, %5 ], [ 1, %2 ] |
| ret i64 %7 |
| } |