40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=X863; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=X644 5; Ensure that the (pre-extended) shift amount type is wide enough to take any mask.6define void @PR56859() {7; X86-LABEL: PR56859:8; X86: # %bb.0: # %entry9; X86-NEXT: movl (%eax), %ecx10; X86-NEXT: testl %ecx, %ecx11; X86-NEXT: setne %al12; X86-NEXT: movl $1, %edx13; X86-NEXT: # kill: def $cl killed $cl killed $ecx14; X86-NEXT: shrl %cl, %edx15; X86-NEXT: btsl %eax, %edx16; X86-NEXT: movl %edx, (%eax)17; X86-NEXT: retl18;19; X64-LABEL: PR56859:20; X64: # %bb.0: # %entry21; X64-NEXT: movl (%rax), %ecx22; X64-NEXT: testl %ecx, %ecx23; X64-NEXT: setne %al24; X64-NEXT: movl $1, %edx25; X64-NEXT: # kill: def $cl killed $cl killed $ecx26; X64-NEXT: shrl %cl, %edx27; X64-NEXT: btsl %eax, %edx28; X64-NEXT: movl %edx, (%rax)29; X64-NEXT: retq30entry:31 %0 = load i32, ptr undef, align 432 %tobool = icmp ne i32 %0, 033 %lor.ext = zext i1 %tobool to i3234 %shr = lshr i32 1, %035 %shl = shl i32 1, %lor.ext36 %or = or i32 %shl, %shr37 store i32 %or, ptr undef, align 438 ret void39}40