[WASM SIMD] Implement horizontal add for float and integer types.

src/compiler/machine-operator.cc

Index: src/compiler/machine-operator.cc
diff --git a/src/compiler/machine-operator.cc b/src/compiler/machine-operator.cc
index 95b37651ad5816f43d741ced1742e5d36a1d27d2..fbdc8c4200dd17a0b9569700259b947be1fb480b 100644
--- a/src/compiler/machine-operator.cc
+++ b/src/compiler/machine-operator.cc
@@ -233,6 +233,7 @@ MachineType AtomicOpRepresentationOf(Operator const* op) {
   V(F32x4RecipApprox, Operator::kNoProperties, 1, 0, 1)                   \
   V(F32x4RecipSqrtApprox, Operator::kNoProperties, 1, 0, 1)               \
   V(F32x4Add, Operator::kCommutative, 2, 0, 1)                            \
+  V(F32x4AddHoriz, Operator::kCommutative, 2, 0, 1)                       \

[georgia.kouveli, 2017/04/20 14:53:06]

These nodes as implemented should not be marked commutative - if you try
changing the order of the operands in RunF32x4HorizOpTest, for example, the test
fails.

[bbudge, 2017/04/21 20:18:58]

Good catch, done.

   V(F32x4Sub, Operator::kNoProperties, 2, 0, 1)                           \
   V(F32x4Mul, Operator::kCommutative, 2, 0, 1)                            \
   V(F32x4Div, Operator::kNoProperties, 2, 0, 1)                           \
@@ -252,6 +253,7 @@ MachineType AtomicOpRepresentationOf(Operator const* op) {
   V(I32x4SConvertI16x8High, Operator::kNoProperties, 1, 0, 1)             \
   V(I32x4Neg, Operator::kNoProperties, 1, 0, 1)                           \
   V(I32x4Add, Operator::kCommutative, 2, 0, 1)                            \
+  V(I32x4AddHoriz, Operator::kCommutative, 2, 0, 1)                       \
   V(I32x4Sub, Operator::kNoProperties, 2, 0, 1)                           \
   V(I32x4Mul, Operator::kCommutative, 2, 0, 1)                            \
   V(I32x4MinS, Operator::kCommutative, 2, 0, 1)                           \
@@ -274,6 +276,7 @@ MachineType AtomicOpRepresentationOf(Operator const* op) {
   V(I16x8SConvertI32x4, Operator::kNoProperties, 2, 0, 1)                 \
   V(I16x8Add, Operator::kCommutative, 2, 0, 1)                            \
   V(I16x8AddSaturateS, Operator::kCommutative, 2, 0, 1)                   \
+  V(I16x8AddHoriz, Operator::kCommutative, 2, 0, 1)                       \
   V(I16x8Sub, Operator::kNoProperties, 2, 0, 1)                           \
   V(I16x8SubSaturateS, Operator::kNoProperties, 2, 0, 1)                  \
   V(I16x8Mul, Operator::kCommutative, 2, 0, 1)                            \
@@ -297,6 +300,7 @@ MachineType AtomicOpRepresentationOf(Operator const* op) {
   V(I8x16SConvertI16x8, Operator::kNoProperties, 2, 0, 1)                 \
   V(I8x16Add, Operator::kCommutative, 2, 0, 1)                            \
   V(I8x16AddSaturateS, Operator::kCommutative, 2, 0, 1)                   \
+  V(I8x16AddHoriz, Operator::kCommutative, 2, 0, 1)                       \
   V(I8x16Sub, Operator::kNoProperties, 2, 0, 1)                           \
   V(I8x16SubSaturateS, Operator::kNoProperties, 2, 0, 1)                  \
   V(I8x16Mul, Operator::kCommutative, 2, 0, 1)                            \