[llvm] r330819 - [X86][AArch64][NFC] Finish adding 'bad' tests for masked merge unfolding with constants.
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Wed Apr 25 05:48:23 PDT 2018
Author: lebedevri
Date: Wed Apr 25 05:48:23 2018
New Revision: 330819
URL: http://llvm.org/viewvc/llvm-project?rev=330819&view=rev
Log:
[X86][AArch64][NFC] Finish adding 'bad' tests for masked merge unfolding with constants.
I have initially committed basic tests in, rL330771,
but then quickly discovered that there are a few more
interesting patterns.
Modified:
llvm/trunk/test/CodeGen/AArch64/unfold-masked-merge-scalar-variablemask.ll
llvm/trunk/test/CodeGen/X86/unfold-masked-merge-scalar-variablemask.ll
Modified: llvm/trunk/test/CodeGen/AArch64/unfold-masked-merge-scalar-variablemask.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/unfold-masked-merge-scalar-variablemask.ll?rev=330819&r1=330818&r2=330819&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/unfold-masked-merge-scalar-variablemask.ll (original)
+++ llvm/trunk/test/CodeGen/AArch64/unfold-masked-merge-scalar-variablemask.ll Wed Apr 25 05:48:23 2018
@@ -330,58 +330,210 @@ define i32 @in_complex_y1_m1(i32 %x, i32
ret i32 %r
}
; ============================================================================ ;
-; Both xor's have the same constant operand
+; Various cases with %x and/or %y being a constant
; ============================================================================ ;
-define i32 @out_constant_y_mone(i32 %x, i32 %mask) {
-; CHECK-LABEL: out_constant_y_mone:
+define i32 @out_constant_varx_mone(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_varx_mone:
; CHECK: // %bb.0:
-; CHECK-NEXT: and w8, w0, w1
-; CHECK-NEXT: orn w0, w8, w1
+; CHECK-NEXT: and w8, w2, w0
+; CHECK-NEXT: orn w0, w8, w2
; CHECK-NEXT: ret
- %mx = and i32 %x, %mask
%notmask = xor i32 %mask, -1
- %my = and i32 %notmask, -1 ; %y
+ %mx = and i32 %mask, %x
+ %my = and i32 %notmask, -1
%r = or i32 %mx, %my
ret i32 %r
}
-; FIXME: should be bic+mvn
-define i32 @in_constant_y_mone(i32 %x, i32 %mask) {
-; CHECK-LABEL: in_constant_y_mone:
+define i32 @in_constant_varx_mone(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_varx_mone:
; CHECK: // %bb.0:
-; CHECK-NEXT: and w8, w0, w1
-; CHECK-NEXT: orn w0, w8, w1
+; CHECK-NEXT: and w8, w0, w2
+; CHECK-NEXT: orn w0, w8, w2
; CHECK-NEXT: ret
- %n0 = xor i32 %x, -1 ; %y
+ %n0 = xor i32 %x, -1 ; %x
%n1 = and i32 %n0, %mask
- %r = xor i32 %n1, -1 ; %y
+ %r = xor i32 %n1, -1
ret i32 %r
}
-define i32 @out_constant_y_one(i32 %x, i32 %mask) {
-; CHECK-LABEL: out_constant_y_one:
+define i32 @out_constant_varx_mone_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_varx_mone_invmask:
; CHECK: // %bb.0:
-; CHECK-NEXT: mvn w9, w1
-; CHECK-NEXT: and w8, w0, w1
-; CHECK-NEXT: and w9, w9, #0x1
+; CHECK-NEXT: bic w8, w0, w2
+; CHECK-NEXT: orr w0, w8, w2
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %notmask, %x
+ %my = and i32 %mask, -1
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_varx_mone_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_varx_mone_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: bic w8, w0, w2
+; CHECK-NEXT: orr w0, w8, w2
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 %x, -1 ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, -1
+ ret i32 %r
+}
+define i32 @out_constant_varx_42(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_varx_42:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w9, #42
+; CHECK-NEXT: and w8, w2, w0
+; CHECK-NEXT: bic w9, w9, w2
+; CHECK-NEXT: orr w0, w8, w9
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %mask, %x
+ %my = and i32 %notmask, 42
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_varx_42(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_varx_42:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w8, #42
+; CHECK-NEXT: bic w8, w8, w2
+; CHECK-NEXT: and w9, w0, w2
+; CHECK-NEXT: orr w0, w9, w8
+; CHECK-NEXT: ret
+ %n0 = xor i32 %x, 42 ; %x
+ %n1 = and i32 %n0, %mask
+ %r = xor i32 %n1, 42
+ ret i32 %r
+}
+define i32 @out_constant_varx_42_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_varx_42_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w9, #42
+; CHECK-NEXT: bic w8, w0, w2
+; CHECK-NEXT: and w9, w2, w9
; CHECK-NEXT: orr w0, w8, w9
; CHECK-NEXT: ret
- %mx = and i32 %x, %mask
%notmask = xor i32 %mask, -1
- %my = and i32 %notmask, 1 ; %y
+ %mx = and i32 %notmask, %x
+ %my = and i32 %mask, 42
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_varx_42_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_varx_42_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w8, #42
+; CHECK-NEXT: and w8, w2, w8
+; CHECK-NEXT: bic w9, w0, w2
+; CHECK-NEXT: orr w0, w9, w8
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 %x, 42 ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, 42
+ ret i32 %r
+}
+define i32 @out_constant_mone_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_mone_vary:
+; CHECK: // %bb.0:
+; CHECK-NEXT: bic w8, w1, w2
+; CHECK-NEXT: orr w0, w2, w8
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %mask, -1
+ %my = and i32 %notmask, %y
%r = or i32 %mx, %my
ret i32 %r
}
-; FIXME: should be eor+and+eor
-define i32 @in_constant_y_one(i32 %x, i32 %mask) {
-; CHECK-LABEL: in_constant_y_one:
+define i32 @in_constant_mone_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_mone_vary:
; CHECK: // %bb.0:
-; CHECK-NEXT: mvn w9, w1
-; CHECK-NEXT: and w8, w0, w1
-; CHECK-NEXT: and w9, w9, #0x1
+; CHECK-NEXT: bic w8, w1, w2
+; CHECK-NEXT: orr w0, w2, w8
+; CHECK-NEXT: ret
+ %n0 = xor i32 -1, %y ; %x
+ %n1 = and i32 %n0, %mask
+ %r = xor i32 %n1, %y
+ ret i32 %r
+}
+define i32 @out_constant_mone_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_mone_vary_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: and w8, w2, w1
+; CHECK-NEXT: orn w0, w8, w2
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %notmask, -1
+ %my = and i32 %mask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_mone_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_mone_vary_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: and w8, w1, w2
+; CHECK-NEXT: orn w0, w8, w2
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 -1, %y ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, %y
+ ret i32 %r
+}
+define i32 @out_constant_42_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_42_vary:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w8, #42
+; CHECK-NEXT: and w8, w2, w8
+; CHECK-NEXT: bic w9, w1, w2
; CHECK-NEXT: orr w0, w8, w9
; CHECK-NEXT: ret
- %n0 = xor i32 %x, 1 ; %y
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %mask, 42
+ %my = and i32 %notmask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_42_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_42_vary:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w9, #42
+; CHECK-NEXT: bic w8, w1, w2
+; CHECK-NEXT: and w9, w2, w9
+; CHECK-NEXT: orr w0, w9, w8
+; CHECK-NEXT: ret
+ %n0 = xor i32 42, %y ; %x
%n1 = and i32 %n0, %mask
- %r = xor i32 %n1, 1 ; %y
+ %r = xor i32 %n1, %y
+ ret i32 %r
+}
+define i32 @out_constant_42_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: out_constant_42_vary_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w8, #42
+; CHECK-NEXT: bic w8, w8, w2
+; CHECK-NEXT: and w9, w2, w1
+; CHECK-NEXT: orr w0, w8, w9
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %notmask, 42
+ %my = and i32 %mask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_42_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-LABEL: in_constant_42_vary_invmask:
+; CHECK: // %bb.0:
+; CHECK-NEXT: mov w9, #42
+; CHECK-NEXT: and w8, w1, w2
+; CHECK-NEXT: bic w9, w9, w2
+; CHECK-NEXT: orr w0, w9, w8
+; CHECK-NEXT: ret
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 42, %y ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, %y
ret i32 %r
}
; ============================================================================ ;
Modified: llvm/trunk/test/CodeGen/X86/unfold-masked-merge-scalar-variablemask.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/unfold-masked-merge-scalar-variablemask.ll?rev=330819&r1=330818&r2=330819&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/unfold-masked-merge-scalar-variablemask.ll (original)
+++ llvm/trunk/test/CodeGen/X86/unfold-masked-merge-scalar-variablemask.ll Wed Apr 25 05:48:23 2018
@@ -535,97 +535,355 @@ define i32 @in_complex_y1_m1(i32 %x, i32
ret i32 %r
}
; ============================================================================ ;
-; Both xor's have the same constant operand
+; Various cases with %x and/or %y being a constant
; ============================================================================ ;
-define i32 @out_constant_y_mone(i32 %x, i32 %mask) {
-; CHECK-NOBMI-LABEL: out_constant_y_mone:
+define i32 @out_constant_varx_mone(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_varx_mone:
; CHECK-NOBMI: # %bb.0:
-; CHECK-NOBMI-NEXT: andl %esi, %edi
-; CHECK-NOBMI-NEXT: notl %esi
-; CHECK-NOBMI-NEXT: orl %edi, %esi
-; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: andl %edx, %edi
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: orl %edx, %edi
+; CHECK-NOBMI-NEXT: movl %edi, %eax
; CHECK-NOBMI-NEXT: retq
;
-; CHECK-BMI-LABEL: out_constant_y_mone:
+; CHECK-BMI-LABEL: out_constant_varx_mone:
; CHECK-BMI: # %bb.0:
-; CHECK-BMI-NEXT: andl %esi, %edi
-; CHECK-BMI-NEXT: notl %esi
-; CHECK-BMI-NEXT: orl %edi, %esi
-; CHECK-BMI-NEXT: movl %esi, %eax
+; CHECK-BMI-NEXT: andl %edx, %edi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: orl %edx, %edi
+; CHECK-BMI-NEXT: movl %edi, %eax
; CHECK-BMI-NEXT: retq
- %mx = and i32 %x, %mask
%notmask = xor i32 %mask, -1
- %my = and i32 %notmask, -1 ; %y
+ %mx = and i32 %mask, %x
+ %my = and i32 %notmask, -1
%r = or i32 %mx, %my
ret i32 %r
}
-; FIXME: should be andnl+notl if BMI
-define i32 @in_constant_y_mone(i32 %x, i32 %mask) {
-; CHECK-NOBMI-LABEL: in_constant_y_mone:
+define i32 @in_constant_varx_mone(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_varx_mone:
; CHECK-NOBMI: # %bb.0:
; CHECK-NOBMI-NEXT: notl %edi
-; CHECK-NOBMI-NEXT: andl %esi, %edi
+; CHECK-NOBMI-NEXT: andl %edx, %edi
; CHECK-NOBMI-NEXT: notl %edi
; CHECK-NOBMI-NEXT: movl %edi, %eax
; CHECK-NOBMI-NEXT: retq
;
-; CHECK-BMI-LABEL: in_constant_y_mone:
+; CHECK-BMI-LABEL: in_constant_varx_mone:
; CHECK-BMI: # %bb.0:
-; CHECK-BMI-NEXT: andl %esi, %edi
-; CHECK-BMI-NEXT: notl %esi
-; CHECK-BMI-NEXT: orl %edi, %esi
-; CHECK-BMI-NEXT: movl %esi, %eax
+; CHECK-BMI-NEXT: andl %edx, %edi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: orl %edi, %edx
+; CHECK-BMI-NEXT: movl %edx, %eax
; CHECK-BMI-NEXT: retq
- %n0 = xor i32 %x, -1 ; %y
+ %n0 = xor i32 %x, -1 ; %x
%n1 = and i32 %n0, %mask
- %r = xor i32 %n1, -1 ; %y
+ %r = xor i32 %n1, -1
ret i32 %r
}
-define i32 @out_constant_y_one(i32 %x, i32 %mask) {
-; CHECK-NOBMI-LABEL: out_constant_y_one:
+define i32 @out_constant_varx_mone_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_varx_mone_invmask:
; CHECK-NOBMI: # %bb.0:
-; CHECK-NOBMI-NEXT: andl %esi, %edi
-; CHECK-NOBMI-NEXT: notl %esi
-; CHECK-NOBMI-NEXT: andl $1, %esi
-; CHECK-NOBMI-NEXT: orl %edi, %esi
-; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: movl %edx, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl %edi, %eax
+; CHECK-NOBMI-NEXT: orl %edx, %eax
; CHECK-NOBMI-NEXT: retq
;
-; CHECK-BMI-LABEL: out_constant_y_one:
+; CHECK-BMI-LABEL: out_constant_varx_mone_invmask:
; CHECK-BMI: # %bb.0:
-; CHECK-BMI-NEXT: andl %esi, %edi
-; CHECK-BMI-NEXT: notl %esi
-; CHECK-BMI-NEXT: andl $1, %esi
-; CHECK-BMI-NEXT: orl %edi, %esi
-; CHECK-BMI-NEXT: movl %esi, %eax
+; CHECK-BMI-NEXT: andnl %edi, %edx, %eax
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %notmask, %x
+ %my = and i32 %mask, -1
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_varx_mone_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_varx_mone_invmask:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: notl %edi
+; CHECK-NOBMI-NEXT: andl %edx, %edi
+; CHECK-NOBMI-NEXT: notl %edi
+; CHECK-NOBMI-NEXT: movl %edi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: in_constant_varx_mone_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andnl %edi, %edx, %eax
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 %x, -1 ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, -1
+ ret i32 %r
+}
+define i32 @out_constant_varx_42(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_varx_42:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: andl %edx, %edi
+; CHECK-NOBMI-NEXT: movl %edx, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl $42, %eax
+; CHECK-NOBMI-NEXT: orl %edi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: out_constant_varx_42:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andl %edx, %edi
+; CHECK-BMI-NEXT: movl %edx, %eax
+; CHECK-BMI-NEXT: notl %eax
+; CHECK-BMI-NEXT: andl $42, %eax
+; CHECK-BMI-NEXT: orl %edi, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %mask, %x
+ %my = and i32 %notmask, 42
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_varx_42(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_varx_42:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: xorl $42, %edi
+; CHECK-NOBMI-NEXT: andl %edx, %edi
+; CHECK-NOBMI-NEXT: xorl $42, %edi
+; CHECK-NOBMI-NEXT: movl %edi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: in_constant_varx_42:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andl %edx, %edi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %edi, %edx
+; CHECK-BMI-NEXT: movl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %n0 = xor i32 %x, 42 ; %x
+ %n1 = and i32 %n0, %mask
+ %r = xor i32 %n1, 42
+ ret i32 %r
+}
+define i32 @out_constant_varx_42_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_varx_42_invmask:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: movl %edx, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl %edi, %eax
+; CHECK-NOBMI-NEXT: andl $42, %edx
+; CHECK-NOBMI-NEXT: orl %eax, %edx
+; CHECK-NOBMI-NEXT: movl %edx, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: out_constant_varx_42_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andnl %edi, %edx, %eax
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %edx, %eax
; CHECK-BMI-NEXT: retq
- %mx = and i32 %x, %mask
%notmask = xor i32 %mask, -1
- %my = and i32 %notmask, 1 ; %y
+ %mx = and i32 %notmask, %x
+ %my = and i32 %mask, 42
%r = or i32 %mx, %my
ret i32 %r
}
-; FIXME: NOBMI and BMI should match, or BMI should be better.
-define i32 @in_constant_y_one(i32 %x, i32 %mask) {
-; CHECK-NOBMI-LABEL: in_constant_y_one:
+define i32 @in_constant_varx_42_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_varx_42_invmask:
; CHECK-NOBMI: # %bb.0:
-; CHECK-NOBMI-NEXT: xorl $1, %edi
-; CHECK-NOBMI-NEXT: andl %esi, %edi
-; CHECK-NOBMI-NEXT: xorl $1, %edi
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: xorl $42, %edi
+; CHECK-NOBMI-NEXT: andl %edx, %edi
+; CHECK-NOBMI-NEXT: xorl $42, %edi
; CHECK-NOBMI-NEXT: movl %edi, %eax
; CHECK-NOBMI-NEXT: retq
;
-; CHECK-BMI-LABEL: in_constant_y_one:
+; CHECK-BMI-LABEL: in_constant_varx_42_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andnl %edi, %edx, %eax
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 %x, 42 ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, 42
+ ret i32 %r
+}
+define i32 @out_constant_mone_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_mone_vary:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: movl %edx, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl %esi, %eax
+; CHECK-NOBMI-NEXT: orl %edx, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: out_constant_mone_vary:
; CHECK-BMI: # %bb.0:
-; CHECK-BMI-NEXT: andl %esi, %edi
-; CHECK-BMI-NEXT: notl %esi
-; CHECK-BMI-NEXT: andl $1, %esi
-; CHECK-BMI-NEXT: orl %edi, %esi
+; CHECK-BMI-NEXT: andnl %esi, %edx, %eax
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %mask, -1
+ %my = and i32 %notmask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_mone_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_mone_vary:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl %edx, %eax
+; CHECK-NOBMI-NEXT: xorl %esi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: in_constant_mone_vary:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andnl %esi, %edx, %eax
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %n0 = xor i32 -1, %y ; %x
+ %n1 = and i32 %n0, %mask
+ %r = xor i32 %n1, %y
+ ret i32 %r
+}
+define i32 @out_constant_mone_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_mone_vary_invmask:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: andl %edx, %esi
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: orl %edx, %esi
+; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: out_constant_mone_vary_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andl %edx, %esi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: orl %edx, %esi
; CHECK-BMI-NEXT: movl %esi, %eax
; CHECK-BMI-NEXT: retq
- %n0 = xor i32 %x, 1 ; %y
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %notmask, -1
+ %my = and i32 %mask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_mone_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_mone_vary_invmask:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl %edx, %eax
+; CHECK-NOBMI-NEXT: xorl %esi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: in_constant_mone_vary_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andl %edx, %esi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: orl %esi, %edx
+; CHECK-BMI-NEXT: movl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 -1, %y ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, %y
+ ret i32 %r
+}
+define i32 @out_constant_42_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_42_vary:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: movl %edx, %eax
+; CHECK-NOBMI-NEXT: notl %eax
+; CHECK-NOBMI-NEXT: andl $42, %edx
+; CHECK-NOBMI-NEXT: andl %esi, %eax
+; CHECK-NOBMI-NEXT: orl %edx, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: out_constant_42_vary:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andnl %esi, %edx, %eax
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %mask, 42
+ %my = and i32 %notmask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_42_vary(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_42_vary:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: xorl $42, %eax
+; CHECK-NOBMI-NEXT: andl %edx, %eax
+; CHECK-NOBMI-NEXT: xorl %esi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: in_constant_42_vary:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andnl %esi, %edx, %eax
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %n0 = xor i32 42, %y ; %x
%n1 = and i32 %n0, %mask
- %r = xor i32 %n1, 1 ; %y
+ %r = xor i32 %n1, %y
+ ret i32 %r
+}
+define i32 @out_constant_42_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: out_constant_42_vary_invmask:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: andl %edx, %esi
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: andl $42, %edx
+; CHECK-NOBMI-NEXT: orl %edx, %esi
+; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: out_constant_42_vary_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andl %edx, %esi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %edx, %esi
+; CHECK-BMI-NEXT: movl %esi, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %mx = and i32 %notmask, 42
+ %my = and i32 %mask, %y
+ %r = or i32 %mx, %my
+ ret i32 %r
+}
+define i32 @in_constant_42_vary_invmask(i32 %x, i32 %y, i32 %mask) {
+; CHECK-NOBMI-LABEL: in_constant_42_vary_invmask:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: notl %edx
+; CHECK-NOBMI-NEXT: movl %esi, %eax
+; CHECK-NOBMI-NEXT: xorl $42, %eax
+; CHECK-NOBMI-NEXT: andl %edx, %eax
+; CHECK-NOBMI-NEXT: xorl %esi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: in_constant_42_vary_invmask:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: andl %edx, %esi
+; CHECK-BMI-NEXT: notl %edx
+; CHECK-BMI-NEXT: andl $42, %edx
+; CHECK-BMI-NEXT: orl %esi, %edx
+; CHECK-BMI-NEXT: movl %edx, %eax
+; CHECK-BMI-NEXT: retq
+ %notmask = xor i32 %mask, -1
+ %n0 = xor i32 42, %y ; %x
+ %n1 = and i32 %n0, %notmask
+ %r = xor i32 %n1, %y
ret i32 %r
}
; ============================================================================ ;
More information about the llvm-commits
mailing list