Add support for vector types and vector constants.

src/IceTypes.def

Index: src/IceTypes.def
diff --git a/src/IceTypes.def b/src/IceTypes.def
index 3faa5f524cf4bd03ee146ab086fd4d3adf7dffce..9f989b566d4d2c1c4f3eea26366fb9542c9b6246 100644
--- a/src/IceTypes.def
+++ b/src/IceTypes.def
@@ -15,17 +15,24 @@
 #ifndef SUBZERO_SRC_ICETYPES_DEF
 #define SUBZERO_SRC_ICETYPES_DEF
 
-#define ICETYPE_TABLE                              \
-  /* enum value,  size, align, printable string */ \
-  /*   (size and alignment in bytes) */            \
-  X(IceType_void, 0,    0,     "void")             \
-  X(IceType_i1,   1,    1,     "i1")               \
-  X(IceType_i8,   1,    1,     "i8")               \
-  X(IceType_i16,  2,    1,     "i16")              \
-  X(IceType_i32,  4,    1,     "i32")              \
-  X(IceType_i64,  8,    1,     "i64")              \
-  X(IceType_f32,  4,    4,     "float")            \
-  X(IceType_f64,  8,    8,     "double")           \
-//#define X(tag, size, align, str)
+#define ICETYPE_TABLE                                                    \
+  /* enum value,  size, align, # elts, element type, printable string */ \
+  /*   (size and alignment in bytes) */                                  \
+  X(IceType_void,   0,  0,     1,      IceType_void, "void")             \
+  X(IceType_i1,     1,  1,     1,      IceType_i1,   "i1")               \
+  X(IceType_i8,     1,  1,     1,      IceType_i8,   "i8")               \
+  X(IceType_i16,    2,  1,     1,      IceType_i16,  "i16")              \
+  X(IceType_i32,    4,  1,     1,      IceType_i32,  "i32")              \
+  X(IceType_i64,    8,  1,     1,      IceType_i64,  "i64")              \
+  X(IceType_f32,    4,  4,     1,      IceType_f32,  "float")            \
+  X(IceType_f64,    8,  8,     1,      IceType_f64,  "double")           \
+  X(IceType_v4i1,  16, 16,     4,      IceType_i1,   "<4 x i1>")         \

[jvoung (off chromium), 2014/06/26 00:45:41]

I think technically, PNaCl only requires that vectors be aligned up to the
element size for the sake of loads and stores. Even if the LLVM IR originally
says that the load/store for a pointer aligned to 16, our stabilization passes
downgrade it to 4. That is to avoid some undefined behavior if the programmer
made a mistake and didn't fully align the vector.

That would mean that you'd have to use the movdqu or movups instead of the
aligned variants to load/store them. On the other hand, when you generate the
constant pools it's fine to align those 16 bytes.

For i1, the alignment is ???(1?), but you can't load/store them for PNaCl
anyway.

[wala, 2014/06/26 17:32:42]

Okay, I'll change the entries.

+  X(IceType_v8i1,  16, 16,     8,      IceType_i1,   "<8 x i1>")         \
+  X(IceType_v16i1, 16, 16,    16,      IceType_i1,   "<16 x i1>")        \
+  X(IceType_v16i8, 16, 16,    16,      IceType_i8,   "<16 x i8>")        \
+  X(IceType_v8i16, 16, 16,     8,      IceType_i16,  "<8 x i16>")        \
+  X(IceType_v4i32, 16, 16,     4,      IceType_i32,  "<4 x i32>")        \
+  X(IceType_v4f32, 16, 16,     4,      IceType_f32,  "<4 x float>")      \
+//#define X(tag, size, align, elts, elty, str)
 
 #endif // SUBZERO_SRC_ICETYPES_DEF