| ; 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, %cl | |
| ; CHECK-NEXT: xorl %esi, %esi | |
| ; CHECK-NEXT: subb %al, %cl | |
| ; CHECK-NEXT: testb $1, %cl | |
| ; CHECK-NEXT: movl $1204476887, %edi ## imm = 0x47CADBD7 | |
| ; CHECK-NEXT: cmovnel %edi, %esi | |
| ; CHECK-NEXT: movl %esi, %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 | |
| } | |