diff options
| author | Gabor Buella <gabor.buella@intel.com> | 2019-01-27 06:15:39 +0000 |
|---|---|---|
| committer | Gabor Buella <gabor.buella@intel.com> | 2019-01-27 06:15:39 +0000 |
| commit | a0f743b77a9e7ee061ed052537a2a7df7b9475bc (patch) | |
| tree | fd3eafa013f96e47d0d80828954708949e40ce14 /llvm/test/CodeGen/X86/bmi.ll | |
| parent | 23b04798ad6b0319282ba23106e84c557c0ad535 (diff) | |
| download | bcm5719-llvm-a0f743b77a9e7ee061ed052537a2a7df7b9475bc.tar.gz bcm5719-llvm-a0f743b77a9e7ee061ed052537a2a7df7b9475bc.zip | |
[X86] Add some missing blsr patterns
The add+and sequence followed by a branch can
happen e.g. when looping over the set bits of an integer:
```
while (x != 0) {
func(x & ~x);
x &= x - 1;
}
```
Reviewed By: ctopper
Differential Revision: https://reviews.llvm.org/D57296
llvm-svn: 352306
Diffstat (limited to 'llvm/test/CodeGen/X86/bmi.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/bmi.ll | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/llvm/test/CodeGen/X86/bmi.ll b/llvm/test/CodeGen/X86/bmi.ll index eb771a62690..ab159c95066 100644 --- a/llvm/test/CodeGen/X86/bmi.ll +++ b/llvm/test/CodeGen/X86/bmi.ll @@ -1059,9 +1059,7 @@ define i32 @blsr32_branch(i32 %x) { ; X86-NEXT: pushl %esi ; X86-NEXT: .cfi_def_cfa_offset 8 ; X86-NEXT: .cfi_offset %esi, -8 -; X86-NEXT: movl {{[0-9]+}}(%esp), %eax -; X86-NEXT: leal -1(%eax), %esi -; X86-NEXT: andl %eax, %esi +; X86-NEXT: blsrl {{[0-9]+}}(%esp), %esi ; X86-NEXT: jne .LBB46_2 ; X86-NEXT: # %bb.1: ; X86-NEXT: calll bar @@ -1076,9 +1074,7 @@ define i32 @blsr32_branch(i32 %x) { ; X64-NEXT: pushq %rbx ; X64-NEXT: .cfi_def_cfa_offset 16 ; X64-NEXT: .cfi_offset %rbx, -16 -; X64-NEXT: # kill: def $edi killed $edi def $rdi -; X64-NEXT: leal -1(%rdi), %ebx -; X64-NEXT: andl %edi, %ebx +; X64-NEXT: blsrl %edi, %ebx ; X64-NEXT: jne .LBB46_2 ; X64-NEXT: # %bb.1: ; X64-NEXT: callq bar @@ -1133,8 +1129,7 @@ define i64 @blsr64_branch(i64 %x) { ; X64-NEXT: pushq %rbx ; X64-NEXT: .cfi_def_cfa_offset 16 ; X64-NEXT: .cfi_offset %rbx, -16 -; X64-NEXT: leaq -1(%rdi), %rbx -; X64-NEXT: andq %rdi, %rbx +; X64-NEXT: blsrq %rdi, %rbx ; X64-NEXT: jne .LBB47_2 ; X64-NEXT: # %bb.1: ; X64-NEXT: callq bar |
