Add support for vector types and vector constants.

src/IceTypes.def

 //===- subzero/src/IceTypes.def - X-macros for 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 defines properties of ICE primitive types in the form of
 // x-macros.
 //
 //===----------------------------------------------------------------------===//
 
 #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