Add icmp and fcmp instructions to Subzero bitcode reader.

src/IceTypes.cpp

 //===- subzero/src/IceTypes.cpp - Primitive type properties ---------------===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 // This file defines a few attributes of Subzero primitive types.
@@ skipping 15 matching lines @@
 
   // Define a temporary set of enum values based on ICETYPE_TABLE
   enum {
 #define X(tag, size, align, elts, elty, str) _table_tag_##tag,
     ICETYPE_TABLE
 #undef X
         _enum_table_tag_Names
   };
   // Define a temporary set of enum values based on ICETYPE_PROPS_TABLE
   enum {
-#define X(tag, IsVec, IsInt, IsFloat, IsIntArith) _props_table_tag_##tag,
+#define X(tag, IsVec, IsInt, IsFloat, IsIntArith, CompareResult)               \
+    _props_table_tag_##tag,
     ICETYPE_PROPS_TABLE
 #undef X
         _enum_props_table_tag_Names
   };
 // Assert that tags in ICETYPE_TABLE are also in ICETYPE_PROPS_TABLE.
 #define X(tag, size, align, elts, elty, str)                                   \
   STATIC_ASSERT((unsigned)_table_tag_##tag == (unsigned)_props_table_tag_##tag);
   ICETYPE_TABLE;
 #undef X
 // Assert that tags in ICETYPE_PROPS_TABLE is in ICETYPE_TABLE.
-#define X(tag, IsVec, IsInt, IsFloat, IsIntArith)                              \
+#define X(tag, IsVec, IsInt, IsFloat, IsIntArith, ComareResult)                \

[jvoung (off chromium), 2014/09/04 21:14:39]

CompareResult

[Karl, 2014/09/05 15:31:10]

Done.

   STATIC_ASSERT((unsigned)_table_tag_##tag == (unsigned)_props_table_tag_##tag);
   ICETYPE_PROPS_TABLE;
 #undef X
 
   // Show vector definitions match in ICETYPE_TABLE and
   // ICETYPE_PROPS_TABLE.
 
   // Define constants for each element size in ICETYPE_TABLE.
   enum {
 #define X(tag, size, align, elts, elty, str) _table_elts_##tag = elts,
     ICETYPE_TABLE
 #undef X
         _enum_table_elts_Elements = 0
   };
   // Define constants for boolean flag if vector in ICETYPE_PROPS_TABLE.
   enum {
-#define X(tag, IsVec, IsInt, IsFloat, IsIntArith)                              \
-  _props_table_IsVec_##tag = IsVec,
+#define X(tag, IsVec, IsInt, IsFloat, IsIntArith, CompareResult)               \
+    _props_table_IsVec_##tag = IsVec,
     ICETYPE_PROPS_TABLE
 #undef X
   };
 // Verify that the number of vector elements is consistent with IsVec.
-#define X(tag, IsVec, IsInt, IsFloat, IsIntArith)                              \
+#define X(tag, IsVec, IsInt, IsFloat, IsIntArith, CompareResult)               \
   STATIC_ASSERT((_table_elts_##tag > 1) == _props_table_IsVec_##tag);
   ICETYPE_PROPS_TABLE;
 #undef X
 }
 
 struct TypeAttributeFields {
   size_t TypeWidthInBytes;
   size_t TypeAlignInBytes;
   size_t TypeNumElements;
   Type TypeElementType;
@@ skipping 10 matching lines @@
 
 struct TypePropertyFields {
   bool TypeIsVectorType;
   bool TypeIsIntegerType;
   bool TypeIsScalarIntegerType;
   bool TypeIsVectorIntegerType;
   bool TypeIsIntegerArithmeticType;
   bool TypeIsFloatingType;
   bool TypeIsScalarFloatingType;
   bool TypeIsVectorFloatingType;
+  Type CompareResultType;
 };
 
 const TypePropertyFields TypePropertiesTable[] = {
-#define X(tag, IsVec, IsInt, IsFloat, IsIntArith)                              \
+#define X(tag, IsVec, IsInt, IsFloat, IsIntArith, CompareResult)               \
   {                                                                            \
     IsVec, IsInt, IsInt && !IsVec, IsInt && IsVec, IsIntArith, IsFloat,        \
-        IsFloat && !IsVec, IsFloat && IsVec                                    \
+    IsFloat && !IsVec, IsFloat && IsVec, CompareResult                         \
   }                                                                            \
   ,
     ICETYPE_PROPS_TABLE
 #undef X
 };
 
 } // end anonymous namespace
 
 size_t typeWidthInBytes(Type Ty) {
   size_t Index = static_cast<size_t>(Ty);
@@ skipping 84 matching lines @@
 }
 
 bool isVectorFloatingType(Type Ty) {
   size_t Index = static_cast<size_t>(Ty);
   if (Index < IceType_NUM)
     return TypePropertiesTable[Index].TypeIsVectorFloatingType;
   llvm_unreachable("Invalid type for isVectorFloatingType()");
   return false;
 }
 
+Type getCompareResultType(Type Ty) {
+  size_t Index = static_cast<size_t>(Ty);
+  if (Index < IceType_NUM)
+    return TypePropertiesTable[Index].CompareResultType;
+  llvm_unreachable("Invalid type for getCompareResultType");
+  return IceType_void;
+}
+
 // ======================== Dump routines ======================== //
 
 const char *typeString(Type Ty) {
   size_t Index = static_cast<size_t>(Ty);
   if (Index < IceType_NUM)
     return TypeAttributes[Index].DisplayString;
   llvm_unreachable("Invalid type for typeString");
   return "???";
 }
 
 } // end of namespace Ice