[llvm] r355400 - [X86] Add test cases for D58874

[Simon Pilgrim via llvm-commits]

Author: rksimon
Date: Tue Mar  5 05:52:09 2019
New Revision: 355400

URL: http://llvm.org/viewvc/llvm-project?rev=355400&view=rev
Log:
[X86] Add test cases for D58874

Add scalar and vector test cases for missing (add (add (xor a, -1), b), 1) -> (sub b, a) fold

Modified:
    llvm/trunk/test/CodeGen/X86/combine-add.ll

Modified: llvm/trunk/test/CodeGen/X86/combine-add.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/combine-add.ll?rev=355400&r1=355399&r2=355400&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/combine-add.ll (original)
+++ llvm/trunk/test/CodeGen/X86/combine-add.ll Tue Mar  5 05:52:09 2019
@@ -349,3 +349,48 @@ define <4 x i32> @combine_vec_add_sextin
   %3 = add <4 x i32> %2, %a1
   ret <4 x i32> %3
 }
+
+; TODO: (add (add (xor a, -1), b), 1) -> (sub b, a)
+define i32 @combine_add_add_not(i32 %a, i32 %b) {
+; SSE-LABEL: combine_add_add_not:
+; SSE:       # %bb.0:
+; SSE-NEXT:    # kill: def $esi killed $esi def $rsi
+; SSE-NEXT:    # kill: def $edi killed $edi def $rdi
+; SSE-NEXT:    notl %edi
+; SSE-NEXT:    leal 1(%rdi,%rsi), %eax
+; SSE-NEXT:    retq
+;
+; AVX-LABEL: combine_add_add_not:
+; AVX:       # %bb.0:
+; AVX-NEXT:    # kill: def $esi killed $esi def $rsi
+; AVX-NEXT:    # kill: def $edi killed $edi def $rdi
+; AVX-NEXT:    notl %edi
+; AVX-NEXT:    leal 1(%rdi,%rsi), %eax
+; AVX-NEXT:    retq
+  %nota = xor i32 %a, -1
+  %add = add i32 %nota, %b
+  %r = add i32 %add, 1
+  ret i32 %r
+}
+
+define <4 x i32> @combine_vec_add_add_not(<4 x i32> %a, <4 x i32> %b) {
+; SSE-LABEL: combine_vec_add_add_not:
+; SSE:       # %bb.0:
+; SSE-NEXT:    pcmpeqd %xmm2, %xmm2
+; SSE-NEXT:    pxor %xmm2, %xmm0
+; SSE-NEXT:    paddd %xmm1, %xmm0
+; SSE-NEXT:    paddd {{.*}}(%rip), %xmm0
+; SSE-NEXT:    retq
+;
+; AVX-LABEL: combine_vec_add_add_not:
+; AVX:       # %bb.0:
+; AVX-NEXT:    vpcmpeqd %xmm2, %xmm2, %xmm2
+; AVX-NEXT:    vpxor %xmm2, %xmm0, %xmm0
+; AVX-NEXT:    vpaddd %xmm1, %xmm0, %xmm0
+; AVX-NEXT:    vpaddd {{.*}}(%rip), %xmm0, %xmm0
+; AVX-NEXT:    retq
+  %nota = xor <4 x i32> %a, <i32 -1, i32 -1, i32 -1, i32 -1>
+  %add = add <4 x i32> %nota, %b
+  %r = add <4 x i32> %add, <i32 1, i32 1, i32 1, i32 -1>
+  ret <4 x i32> %r
+}