Start processing function blocks in Subzero.

src/IceTypes.h

 //===- subzero/src/IceTypes.h - Primitive ICE types -------------*- C++ -*-===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 // This file declares a few properties of the primitive types allowed
 // in Subzero.  Every Subzero source file is expected to include
 // IceTypes.h.
 //
 //===----------------------------------------------------------------------===//
 
 #ifndef SUBZERO_SRC_ICETYPES_H
 #define SUBZERO_SRC_ICETYPES_H
 
 #include "IceTypes.def"
 
 namespace Ice {
 
+enum TypeFlag {
+  TypeFlagIsInteger = 0x1,

[Jim Stichnoth, 2014/07/24 19:55:22]

Why these specific choices of enum value?

If these are intended to be or-able bit flags, I suggest something like enum
VerboseItem in IceDefs.h.

If they are just supposed to be distinct nonzero values, add something like
"TypeFlagInvalid = 0" and then don't assign values to the others, like in
IceIntrinsics.h.

Thinking ahead, we may also want to encode scalar versus vector into these
flags.

[Karl, 2014/07/25 21:49:03]

After talking to Jim, refactoring IceTypes.defs to be a sequence of bit values,
and encode as appropriate when defining the check function. Hence, these
enumerated values are not needed. Removing them.

+  TypeFlagIsFloating = 0x2
+};
+
 enum Type {
-#define X(tag, size, align, elts, elty, str) tag,
+#define X(tag, size, align, elts, elty, str, flags) tag,
   ICETYPE_TABLE
 #undef X
       IceType_NUM
 };
 
 enum TargetArch {
   Target_X8632,
   Target_X8664,
   Target_ARM32,
   Target_ARM64
 };
 
 enum OptLevel {
   Opt_m1,
   Opt_0,
   Opt_1,
   Opt_2
 };
 
 size_t typeWidthInBytes(Type Ty);
 size_t typeAlignInBytes(Type Ty);
 size_t typeNumElements(Type Ty);
 Type typeElementType(Type Ty);
 
+bool isIntegerType(Type Ty);
+bool isFloatingType(Type Ty);
 inline bool isVectorType(Type Ty) { return typeNumElements(Ty) > 1; }
 
-template <> Ostream &operator<<(class Ostream &Str, const Type &Ty);
+Ostream &operator<<(class Ostream &Str, const Type &Ty);
 
 } // end of namespace Ice
 
 #endif // SUBZERO_SRC_ICETYPES_H