| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc < %s -mtriple=x86_64-apple-darwin -O0 | FileCheck %s | |
| ; Make sure we only use the less significant bit of the value that feeds the | |
| ; select. Otherwise, we may account for a non-zero value whereas the | |
| ; lsb is zero. | |
| ; <rdar://problem/15651765> | |
| define i32 @fastisel_select(i1 %exchSub2211_, i1 %trunc_8766) { | |
| ; CHECK-LABEL: fastisel_select: | |
| ; CHECK: ## %bb.0: | |
| ; CHECK-NEXT: movb %sil, %al | |
| ; CHECK-NEXT: movb %dil, %dl | |
| ; CHECK-NEXT: xorb %al, %dl | |
| ; CHECK-NEXT: xorl %eax, %eax | |
| ; CHECK-NEXT: movl $1204476887, %ecx ## imm = 0x47CADBD7 | |
| ; CHECK-NEXT: testb $1, %dl | |
| ; CHECK-NEXT: cmovnel %ecx, %eax | |
| ; CHECK-NEXT: retq | |
| %shuffleInternal15257_8932 = sub i1 %exchSub2211_, %trunc_8766 | |
| %counter_diff1345 = select i1 %shuffleInternal15257_8932, i32 1204476887, i32 0 | |
| ret i32 %counter_diff1345 | |
| } | |