Fuse icmp/fcmp with select

crosstest/test_fcmp_main.cpp

 //===- subzero/crosstest/test_fcmp_main.cpp - Driver for tests ------------===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 // Driver for cross testing the fcmp bitcode instruction
 //
 //===----------------------------------------------------------------------===//
 
 /* crosstest.py --test=test_fcmp.pnacl.ll --driver=test_fcmp_main.cpp \
    --prefix=Subzero_ --output=test_fcmp */
 
 #include <cassert>
 #include <cfloat>
 #include <cmath>
 #include <cstring>
 #include <iostream>
 
 #include "vectors.h"
 #include "test_arith.def"
 #include "test_fcmp.def"
 
 #define X(cmp)                                                                 \
   extern "C" bool fcmp##cmp##Float(float a, float b);                          \
   extern "C" bool fcmp##cmp##Double(double a, double b);                       \
+  extern "C" int fcmpSelect##cmp##Float(float a, float b, int c, int d);       \
+  extern "C" int fcmpSelect##cmp##Double(double a, double b, int c, int d);    \
   extern "C" v4si32 fcmp##cmp##Vector(v4f32 a, v4f32 b);                       \
   extern "C" bool Subzero_fcmp##cmp##Float(float a, float b);                  \
   extern "C" bool Subzero_fcmp##cmp##Double(double a, double b);               \
+  extern "C" int Subzero_fcmpSelect##cmp##Float(float a, float b, int c,       \
+                                                int d);                        \
+  extern "C" int Subzero_fcmpSelect##cmp##Double(double a, double b, int c,    \
+                                                 int d);                       \
   extern "C" v4si32 Subzero_fcmp##cmp##Vector(v4f32 a, v4f32 b);
 FCMP_TABLE;
 #undef X
 
 volatile double *Values;
 size_t NumValues;
 
 void initializeValues() {
   static const double NegInf = -1.0 / 0.0;
   static const double Zero = 0.0;
   static const double PosInf = 1.0 / 0.0;
   static const double Nan = 0.0 / 0.0;
   static const double NegNan = -0.0 / 0.0;
   assert(std::fpclassify(NegInf) == FP_INFINITE);
   assert(std::fpclassify(PosInf) == FP_INFINITE);
   assert(std::fpclassify(Nan) == FP_NAN);
   assert(std::fpclassify(NegNan) == FP_NAN);
   assert(NegInf < Zero);
   assert(NegInf < PosInf);
   assert(Zero < PosInf);
   static volatile double InitValues[] =
       FP_VALUE_ARRAY(NegInf, PosInf, NegNan, Nan);
   NumValues = sizeof(InitValues) / sizeof(*InitValues);
   Values = InitValues;
 }
 
 void testsScalar(size_t &TotalTests, size_t &Passes, size_t &Failures) {
   typedef bool (*FuncTypeFloat)(float, float);
   typedef bool (*FuncTypeDouble)(double, double);
+  typedef int (*FuncTypeFloatSelect)(float, float, int, int);
+  typedef int (*FuncTypeDoubleSelect)(double, double, int, int);
   static struct {
     const char *Name;
     FuncTypeFloat FuncFloatSz;
     FuncTypeFloat FuncFloatLlc;
     FuncTypeDouble FuncDoubleSz;
     FuncTypeDouble FuncDoubleLlc;
+    FuncTypeFloatSelect FuncFloatSelectSz;
+    FuncTypeFloatSelect FuncFloatSelectLlc;
+    FuncTypeDoubleSelect FuncDoubleSelectSz;
+    FuncTypeDoubleSelect FuncDoubleSelectLlc;
   } Funcs[] = {
 #define X(cmp)                                                                 \
   {                                                                            \
     "fcmp" STR(cmp), Subzero_fcmp##cmp##Float, fcmp##cmp##Float,               \
-        Subzero_fcmp##cmp##Double, fcmp##cmp##Double                           \
+        Subzero_fcmp##cmp##Double, fcmp##cmp##Double,                          \
+        Subzero_fcmpSelect##cmp##Float, fcmpSelect##cmp##Float,                \
+        Subzero_fcmpSelect##cmp##Double, fcmpSelect##cmp##Double               \
   }                                                                            \
   ,
       FCMP_TABLE
 #undef X
   };
   const static size_t NumFuncs = sizeof(Funcs) / sizeof(*Funcs);
 
   bool ResultSz, ResultLlc;
 
   assert(Values && NumValues);
@@ skipping 20 matching lines @@
         ResultSz = Funcs[f].FuncDoubleSz(Value1Double, Value2Double);
         ResultLlc = Funcs[f].FuncDoubleLlc(Value1Double, Value2Double);
         if (ResultSz == ResultLlc) {
           ++Passes;
         } else {
           ++Failures;
           std::cout << Funcs[f].Name << "Double(" << Value1Double << ", "
                     << Value2Double << "): sz=" << ResultSz
                     << " llc=" << ResultLlc << "\n";
         }
+        ++TotalTests;
+        float Value1SelectFloat = Values[i];
+        float Value2SelectFloat = Values[j];
+        ResultSz = Funcs[f].FuncFloatSelectSz(Value1Float, Value2Float, 1, 2);
+        ResultLlc = Funcs[f].FuncFloatSelectLlc(Value1Float, Value2Float, 1, 2);
+        if (ResultSz == ResultLlc) {
+          ++Passes;
+        } else {
+          ++Failures;
+          std::cout << Funcs[f].Name << "SelectFloat(" << Value1Float << ", "
+                    << Value2Float << "): sz=" << ResultSz
+                    << " llc=" << ResultLlc << "\n";
+        }
+        ++TotalTests;
+        double Value1SelectDouble = Values[i];
+        double Value2SelectDouble = Values[j];
+        ResultSz =
+            Funcs[f].FuncDoubleSelectSz(Value1Double, Value2Double, 1, 2);
+        ResultLlc =
+            Funcs[f].FuncDoubleSelectLlc(Value1Double, Value2Double, 1, 2);
+        if (ResultSz == ResultLlc) {
+          ++Passes;
+        } else {
+          ++Failures;
+          std::cout << Funcs[f].Name << "SelectDouble(" << Value1Double << ", "
+                    << Value2Double << "): sz=" << ResultSz
+                    << " llc=" << ResultLlc << "\n";
+        }
       }
     }
   }
 }
 
 void testsVector(size_t &TotalTests, size_t &Passes, size_t &Failures) {
 #ifndef ARM32
   // TODO(jpp): remove this once vector support is implemented.
   typedef v4si32 (*FuncTypeVector)(v4f32, v4f32);
   static struct {
@@ skipping 50 matching lines @@
 
   initializeValues();
 
   testsScalar(TotalTests, Passes, Failures);
   testsVector(TotalTests, Passes, Failures);
 
   std::cout << "TotalTests=" << TotalTests << " Passes=" << Passes
             << " Failures=" << Failures << "\n";
   return Failures;
 }