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