Initial skeleton of 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 {
+
+const struct {
+  IceType Type;
+  size_t TypeWidthInBytes;
+  IceString DisplayString;
+} TypeAttributes[] = { { IceType_void, 0, "void" },
+                       { IceType_i1, 1, "i1" },
+                       { IceType_i8, 1, "i8" },
+                       { IceType_i16, 2, "i16" },
+                       { IceType_i32, 4, "i32" },
+                       { IceType_i64, 8, "i64" },
+                       { IceType_f32, 4, "float" },
+                       { IceType_f64, 8, "double" }, };

[JF, 2014/04/16 01:27:32]

I would still use xmacros here, since it prevents this from going out of sync
with the enum in the .h, and it's pretty regular. That would also make
iceTypeWidthInBytes simpler.

[Jim Stichnoth, 2014/04/21 20:26:40]

Done.

+const uint32_t TypeAttributesSize =
+    sizeof(TypeAttributes) / sizeof(*TypeAttributes);
+
+} // end anonymous namespace
+
+size_t iceTypeWidthInBytes(IceType Type) {
+  size_t Width = 0;
+  uint32_t Index = static_cast<uint32_t>(Type);
+  if (Index < TypeAttributesSize) {
+    assert(TypeAttributes[Index].Type == Type);
+    Width = TypeAttributes[Index].TypeWidthInBytes;
+  }
+  assert(Width && "Invalid type for iceTypeWidthInBytes()");

[JF, 2014/04/16 01:27:32]

Is it expected that IceType_void asserts here?

[Jim Stichnoth, 2014/04/21 20:26:40]

Yes, at least originally.  This function is meant to be called with respect to a
concrete operand which will never have a void type.

But I changed my mind - it's better to make this general and let the caller deal
with a 0 result.  We can still assert here that a valid type has been passed in.

+  return Width;
+}
+
+// ======================== Dump routines ======================== //
+
+template <> IceOstream &operator<<(IceOstream &Str, const IceType &Type) {
+  uint32_t Index = static_cast<uint32_t>(Type);
+  if (Index < TypeAttributesSize) {
+    assert(TypeAttributes[Index].Type == Type);
+    Str << TypeAttributes[Index].DisplayString;
+  } else {
+    Str << "???";
+    assert(0 && "Invalid type for printing");
+  }
+
+  return Str;
+}