| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=X86 |
| ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=X64 |
| |
| ; Ensure that the (pre-extended) shift amount type is wide enough to take any mask. |
| define void @PR56859() { |
| ; X86-LABEL: PR56859: |
| ; X86: # %bb.0: # %entry |
| ; X86-NEXT: movl (%eax), %ecx |
| ; X86-NEXT: testl %ecx, %ecx |
| ; X86-NEXT: setne %al |
| ; X86-NEXT: movl $1, %edx |
| ; X86-NEXT: # kill: def $cl killed $cl killed $ecx |
| ; X86-NEXT: shrl %cl, %edx |
| ; X86-NEXT: btsl %eax, %edx |
| ; X86-NEXT: movl %edx, (%eax) |
| ; X86-NEXT: retl |
| ; |
| ; X64-LABEL: PR56859: |
| ; X64: # %bb.0: # %entry |
| ; X64-NEXT: movl (%rax), %ecx |
| ; X64-NEXT: testl %ecx, %ecx |
| ; X64-NEXT: setne %al |
| ; X64-NEXT: movl $1, %edx |
| ; X64-NEXT: # kill: def $cl killed $cl killed $ecx |
| ; X64-NEXT: shrl %cl, %edx |
| ; X64-NEXT: btsl %eax, %edx |
| ; X64-NEXT: movl %edx, (%rax) |
| ; X64-NEXT: retq |
| entry: |
| %0 = load i32, ptr undef, align 4 |
| %tobool = icmp ne i32 %0, 0 |
| %lor.ext = zext i1 %tobool to i32 |
| %shr = lshr i32 1, %0 |
| %shl = shl i32 1, %lor.ext |
| %or = or i32 %shl, %shr |
| store i32 %or, ptr undef, align 4 |
| ret void |
| } |