Start processing function blocks in Subzero.

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.
 //
 //===----------------------------------------------------------------------===//
 
 #include "IceDefs.h"
 #include "IceTypes.h"
 
 namespace Ice {
 
 namespace {
 
 const struct {
   size_t TypeWidthInBytes;
   size_t TypeAlignInBytes;
   size_t TypeNumElements;
   Type TypeElementType;
   const char *DisplayString;
+  uint32_t TypeFlags;
 } TypeAttributes[] = {
-#define X(tag, size, align, elts, elty, str)                                   \
-  { size, align, elts, elty, str }                                             \
+#define X(tag, size, align, elts, elty, str, flags)                            \
+  { size, align, elts, elty, str, flags }                                      \
   ,
     ICETYPE_TABLE
 #undef X
   };
 
 const size_t TypeAttributesSize =
     sizeof(TypeAttributes) / sizeof(*TypeAttributes);
 
 } // end anonymous namespace
 
@@ skipping 34 matching lines @@
   Type ElementType = IceType_void;
   size_t Index = static_cast<size_t>(Ty);
   if (Index < TypeAttributesSize) {
     ElementType = TypeAttributes[Index].TypeElementType;
   } else {
     llvm_unreachable("Invalid type for typeElementType()");
   }
   return ElementType;
 }
 
+bool isIntegerType(Type Ty) {
+  bool IsInteger = false;
+  size_t Index = static_cast<size_t>(Ty);
+  if (Index < TypeAttributesSize) {
+    IsInteger =
+        static_cast<bool>(TypeAttributes[Index].TypeFlags & TypeFlagIsInteger);

[jvoung (off chromium), 2014/07/23 16:10:17]

Does this need to be a bitset (w/ Flag & Bit), or could each of the variants
just be mutually exclusive? At least the two cases right now are mutually
exclusive. I guess if you wanted the vector type-ness to be a flag, then it
could be here, but isVectorType() currently just checks the typeNumElements().

[Karl, 2014/07/23 20:22:20]

I would actually like to convert checks like "isValidIntOrIntVectorArithOp",
"isValidIntOrIntVectorLogicalOp", and "isValidFloatOrFloatVectorArithOp" to be
flag checks. That is why I defined them as bit sets rather than exclusive
values.

However, since that hasn't been done yet, I will wait to change it to a bitset
when the change occurs.

+  } else {
+    llvm_unreachable("Invalid type for typeIsInteger()");
+  }
+  return IsInteger;
+}
+
+bool isFloatingType(Type Ty) {
+  bool IsFloating = false;
+  size_t Index = static_cast<size_t>(Ty);
+  if (Index < TypeAttributesSize) {
+    IsFloating =
+        static_cast<bool>(TypeAttributes[Index].TypeFlags & TypeFlagIsFloating);
+  } else {
+    llvm_unreachable("Invalid type for typeIsFloating()");
+  }
+  return IsFloating;
+}
+
 // ======================== Dump routines ======================== //
 
 template <> Ostream &operator<<(Ostream &Str, const Type &Ty) {
   size_t Index = static_cast<size_t>(Ty);
   if (Index < TypeAttributesSize) {
     Str << TypeAttributes[Index].DisplayString;
   } else {
     Str << "???";
     llvm_unreachable("Invalid type for printing");
   }
 
   return Str;
 }
 
 } // end of namespace Ice