From df7f96e084eaae4f1b17734562494ba4866bcc77 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Tue, 15 Nov 2016 22:42:20 +0000
Subject: [PATCH] [x86] auto-generate better checks; NFC

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@287048 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/CodeGen/X86/fp-select-cmp-and.ll | 202 ++++++++++++++++----------
 1 file changed, 125 insertions(+), 77 deletions(-)

diff --git a/test/CodeGen/X86/fp-select-cmp-and.ll b/test/CodeGen/X86/fp-select-cmp-and.ll
index cc76b43e876..e012809cf48 100644
--- a/test/CodeGen/X86/fp-select-cmp-and.ll
+++ b/test/CodeGen/X86/fp-select-cmp-and.ll
@@ -1,185 +1,233 @@
-; RUN: llc < %s -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=nehalem | FileCheck %s
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=sse4.2 | FileCheck %s
 
 define double @test1(double %a, double %b, double %eps) {
+; CHECK-LABEL: test1:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltsd %xmm2, %xmm0
+; CHECK-NEXT:    andpd %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp olt double %a, %eps
   %cond = select i1 %cmp, double %b, double 0.000000e+00
   ret double %cond
-
-; CHECK-LABEL: @test1
-; CHECK:	cmpltsd	%xmm2, %xmm0
-; CHECK-NEXT:	andpd	%xmm1, %xmm0
 }
 
 define double @test2(double %a, double %b, double %eps) {
+; CHECK-LABEL: test2:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmplesd %xmm2, %xmm0
+; CHECK-NEXT:    andpd %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ole double %a, %eps
   %cond = select i1 %cmp, double %b, double 0.000000e+00
   ret double %cond
-
-; CHECK-LABEL: @test2
-; CHECK:	cmplesd	%xmm2, %xmm0
-; CHECK-NEXT:	andpd	%xmm1, %xmm0
 }
 
 define double @test3(double %a, double %b, double %eps) {
+; CHECK-LABEL: test3:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltsd %xmm0, %xmm2
+; CHECK-NEXT:    andpd %xmm1, %xmm2
+; CHECK-NEXT:    movapd %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ogt double %a, %eps
   %cond = select i1 %cmp, double %b, double 0.000000e+00
   ret double %cond
-
-; CHECK-LABEL: @test3
-; CHECK:	cmpltsd	%xmm0, %xmm2
-; CHECK-NEXT:	andpd	%xmm1, %xmm2
 }
 
 define double @test4(double %a, double %b, double %eps) {
+; CHECK-LABEL: test4:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmplesd %xmm0, %xmm2
+; CHECK-NEXT:    andpd %xmm1, %xmm2
+; CHECK-NEXT:    movapd %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp oge double %a, %eps
   %cond = select i1 %cmp, double %b, double 0.000000e+00
   ret double %cond
-
-; CHECK-LABEL: @test4
-; CHECK:	cmplesd	%xmm0, %xmm2
-; CHECK-NEXT:	andpd	%xmm1, %xmm2
 }
 
 define double @test5(double %a, double %b, double %eps) {
+; CHECK-LABEL: test5:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltsd %xmm2, %xmm0
+; CHECK-NEXT:    andnpd %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp olt double %a, %eps
   %cond = select i1 %cmp, double 0.000000e+00, double %b
   ret double %cond
-
-; CHECK-LABEL: @test5
-; CHECK:	cmpltsd	%xmm2, %xmm0
-; CHECK-NEXT:	andnpd	%xmm1, %xmm0
 }
 
 define double @test6(double %a, double %b, double %eps) {
+; CHECK-LABEL: test6:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmplesd %xmm2, %xmm0
+; CHECK-NEXT:    andnpd %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ole double %a, %eps
   %cond = select i1 %cmp, double 0.000000e+00, double %b
   ret double %cond
-
-; CHECK-LABEL: @test6
-; CHECK:	cmplesd	%xmm2, %xmm0
-; CHECK-NEXT:	andnpd	%xmm1, %xmm0
 }
 
 define double @test7(double %a, double %b, double %eps) {
+; CHECK-LABEL: test7:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltsd %xmm0, %xmm2
+; CHECK-NEXT:    andnpd %xmm1, %xmm2
+; CHECK-NEXT:    movapd %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ogt double %a, %eps
   %cond = select i1 %cmp, double 0.000000e+00, double %b
   ret double %cond
-
-; CHECK-LABEL: @test7
-; CHECK:	cmpltsd	%xmm0, %xmm2
-; CHECK-NEXT:	andnpd	%xmm1, %xmm2
 }
 
 define double @test8(double %a, double %b, double %eps) {
+; CHECK-LABEL: test8:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmplesd %xmm0, %xmm2
+; CHECK-NEXT:    andnpd %xmm1, %xmm2
+; CHECK-NEXT:    movapd %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp oge double %a, %eps
   %cond = select i1 %cmp, double 0.000000e+00, double %b
   ret double %cond
-
-; CHECK-LABEL: @test8
-; CHECK:	cmplesd	%xmm0, %xmm2
-; CHECK-NEXT:	andnpd	%xmm1, %xmm2
 }
 
 define float @test9(float %a, float %b, float %eps) {
+; CHECK-LABEL: test9:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltss %xmm2, %xmm0
+; CHECK-NEXT:    andps %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp olt float %a, %eps
   %cond = select i1 %cmp, float %b, float 0.000000e+00
   ret float %cond
-
-; CHECK-LABEL: @test9
-; CHECK:	cmpltss	%xmm2, %xmm0
-; CHECK-NEXT:	andps	%xmm1, %xmm0
 }
 
 define float @test10(float %a, float %b, float %eps) {
+; CHECK-LABEL: test10:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpless %xmm2, %xmm0
+; CHECK-NEXT:    andps %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ole float %a, %eps
   %cond = select i1 %cmp, float %b, float 0.000000e+00
   ret float %cond
-
-; CHECK-LABEL: @test10
-; CHECK:	cmpless	%xmm2, %xmm0
-; CHECK-NEXT:	andps	%xmm1, %xmm0
 }
 
 define float @test11(float %a, float %b, float %eps) {
+; CHECK-LABEL: test11:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltss %xmm0, %xmm2
+; CHECK-NEXT:    andps %xmm1, %xmm2
+; CHECK-NEXT:    movaps %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ogt float %a, %eps
   %cond = select i1 %cmp, float %b, float 0.000000e+00
   ret float %cond
-
-; CHECK-LABEL: @test11
-; CHECK:	cmpltss	%xmm0, %xmm2
-; CHECK-NEXT:	andps	%xmm1, %xmm2
 }
 
 define float @test12(float %a, float %b, float %eps) {
+; CHECK-LABEL: test12:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpless %xmm0, %xmm2
+; CHECK-NEXT:    andps %xmm1, %xmm2
+; CHECK-NEXT:    movaps %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp oge float %a, %eps
   %cond = select i1 %cmp, float %b, float 0.000000e+00
   ret float %cond
-
-; CHECK-LABEL: @test12
-; CHECK:	cmpless	%xmm0, %xmm2
-; CHECK-NEXT:	andps	%xmm1, %xmm2
 }
 
 define float @test13(float %a, float %b, float %eps) {
+; CHECK-LABEL: test13:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltss %xmm2, %xmm0
+; CHECK-NEXT:    andnps %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp olt float %a, %eps
   %cond = select i1 %cmp, float 0.000000e+00, float %b
   ret float %cond
-
-; CHECK-LABEL: @test13
-; CHECK:	cmpltss	%xmm2, %xmm0
-; CHECK-NEXT:	andnps	%xmm1, %xmm0
 }
 
 define float @test14(float %a, float %b, float %eps) {
+; CHECK-LABEL: test14:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpless %xmm2, %xmm0
+; CHECK-NEXT:    andnps %xmm1, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ole float %a, %eps
   %cond = select i1 %cmp, float 0.000000e+00, float %b
   ret float %cond
-
-; CHECK-LABEL: @test14
-; CHECK:	cmpless	%xmm2, %xmm0
-; CHECK-NEXT:	andnps	%xmm1, %xmm0
 }
 
 define float @test15(float %a, float %b, float %eps) {
+; CHECK-LABEL: test15:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpltss %xmm0, %xmm2
+; CHECK-NEXT:    andnps %xmm1, %xmm2
+; CHECK-NEXT:    movaps %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp ogt float %a, %eps
   %cond = select i1 %cmp, float 0.000000e+00, float %b
   ret float %cond
-
-; CHECK-LABEL: @test15
-; CHECK:	cmpltss	%xmm0, %xmm2
-; CHECK-NEXT:	andnps	%xmm1, %xmm2
 }
 
 define float @test16(float %a, float %b, float %eps) {
+; CHECK-LABEL: test16:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpless %xmm0, %xmm2
+; CHECK-NEXT:    andnps %xmm1, %xmm2
+; CHECK-NEXT:    movaps %xmm2, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp oge float %a, %eps
   %cond = select i1 %cmp, float 0.000000e+00, float %b
   ret float %cond
-
-; CHECK-LABEL: @test16
-; CHECK:	cmpless	%xmm0, %xmm2
-; CHECK-NEXT:	andnps	%xmm1, %xmm2
 }
 
 define float @test17(float %a, float %b, float %c, float %eps) {
+; CHECK-LABEL: test17:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmpless %xmm0, %xmm3
+; CHECK-NEXT:    andps %xmm3, %xmm2
+; CHECK-NEXT:    andnps %xmm1, %xmm3
+; CHECK-NEXT:    orps %xmm2, %xmm3
+; CHECK-NEXT:    movaps %xmm3, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp oge float %a, %eps
   %cond = select i1 %cmp, float %c, float %b
   ret float %cond
-
-; CHECK-LABEL: @test17
-; CHECK: cmpless	%xmm0, %xmm3
-; CHECK-NEXT: andps	%xmm3, %xmm2
-; CHECK-NEXT: andnps	%xmm1, %xmm3
-; CHECK-NEXT: orps	%xmm2, %xmm3
 }
 
 define double @test18(double %a, double %b, double %c, double %eps) {
+; CHECK-LABEL: test18:
+; CHECK:       # BB#0:
+; CHECK-NEXT:    cmplesd %xmm0, %xmm3
+; CHECK-NEXT:    andpd %xmm3, %xmm2
+; CHECK-NEXT:    andnpd %xmm1, %xmm3
+; CHECK-NEXT:    orpd %xmm2, %xmm3
+; CHECK-NEXT:    movapd %xmm3, %xmm0
+; CHECK-NEXT:    retq
+;
   %cmp = fcmp oge double %a, %eps
   %cond = select i1 %cmp, double %c, double %b
   ret double %cond
-
-; CHECK-LABEL: @test18
-; CHECK: cmplesd	%xmm0, %xmm3
-; CHECK-NEXT: andpd	%xmm3, %xmm2
-; CHECK-NEXT: andnpd	%xmm1, %xmm3
-; CHECK-NEXT: orpd	%xmm2, %xmm3
 }
+
-- 
2.40.0