maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[x86] show missed opportunities to use andn 

llvm-svn: 265850
This commit is contained in:
Sanjay Patel 2016-04-08 21:26:11 +00:00
parent f4d521836d
commit c0a627524d
1 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
llvm/test/CodeGen/X86/bmi.ll
View File

@ -136,6 +136,51 @@ define i64 @andn64(i64 %x, i64 %y) {
ret i64 %tmp2
}
; FIXME: Don't choose a 'test' if an 'andn' can be used.
define i1 @andn_cmp(i32 %x, i32 %y) {
; CHECK-LABEL: andn_cmp:
; CHECK: # BB#0:
; CHECK-NEXT: notl %edi
; CHECK-NEXT: testl %esi, %edi
; CHECK-NEXT: sete %al
; CHECK-NEXT: retq
;
%notx = xor i32 %x, -1
%and = and i32 %notx, %y
%cmp = icmp eq i32 %and, 0
ret i1 %cmp
}
; FIXME: Don't choose a 'test' if an 'andn' can be used.
define i1 @andn_cmp_swap_ops(i64 %x, i64 %y) {
; CHECK-LABEL: andn_cmp_swap_ops:
; CHECK: # BB#0:
; CHECK-NEXT: notq %rdi
; CHECK-NEXT: testq %rdi, %rsi
; CHECK-NEXT: sete %al
; CHECK-NEXT: retq
;
%notx = xor i64 %x, -1
%and = and i64 %y, %notx
%cmp = icmp eq i64 %and, 0
ret i1 %cmp
}
; Use a 'test' (not an 'and') because 'andn' only works for i32/i64.
define i1 @andn_cmp_i8(i8 %x, i8 %y) {
; CHECK-LABEL: andn_cmp_i8:
; CHECK: # BB#0:
; CHECK-NEXT: notb %sil
; CHECK-NEXT: testb %sil, %dil
; CHECK-NEXT: sete %al
; CHECK-NEXT: retq
;
%noty = xor i8 %y, -1
%and = and i8 %x, %noty
%cmp = icmp eq i8 %and, 0
ret i1 %cmp
}
define i32 @bextr32(i32 %x, i32 %y) {
; CHECK-LABEL: bextr32:
; CHECK: # BB#0: