Expose SIMD.Float32x4 type to Javascript.

src/runtime/runtime-simd.cc

+// Copyright 2015 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#include "src/v8.h"
+
+#include "src/arguments.h"
+#include "src/base/macros.h"
+#include "src/conversions.h"
+#include "src/runtime/runtime-utils.h"
+
+// Implement Single Instruction Multiple Data (SIMD) operations as defined in
+// the SIMD.js draft spec:
+// http://littledan.github.io/simd.html
+
+#define NumberToFloat32x4Component NumberToFloat
+
+#define CONVERT_SIMD_LANE_ARG_CHECKED(name, index, lanes) \
+  RUNTIME_ASSERT(args[index]->IsSmi());                   \
+  int name = args.smi_at(index);                          \
+  RUNTIME_ASSERT(name >= 0 && name < lanes);
+
+#define SIMD4_CREATE_FUNCTION(type)                                    \
+  RUNTIME_FUNCTION(Runtime_Create##type) {                             \
+    HandleScope scope(isolate);                                        \
+    DCHECK(args.length() == 4);                                        \
+    CONVERT_NUMBER_ARG_HANDLE_CHECKED(w, 0);                           \
+    CONVERT_NUMBER_ARG_HANDLE_CHECKED(x, 1);                           \
+    CONVERT_NUMBER_ARG_HANDLE_CHECKED(y, 2);                           \
+    CONVERT_NUMBER_ARG_HANDLE_CHECKED(z, 3);                           \
+    return *isolate->factory()->NewFloat32x4(                          \
+        NumberTo##type##Component(*w), NumberTo##type##Component(*x),  \
+        NumberTo##type##Component(*y), NumberTo##type##Component(*z)); \
+  }
+
+#define SIMD_CREATE_WRAPPER_FUNCTION(type)                      \
+  RUNTIME_FUNCTION(Runtime_New##type##Wrapper) {                \
+    HandleScope scope(isolate);                                 \
+    DCHECK(args.length() == 1);                                 \
+    CONVERT_ARG_HANDLE_CHECKED(type, value, 0);                 \
+    return *Object::ToObject(isolate, value).ToHandleChecked(); \
+  }
+
+#define SIMD_CHECK_FUNCTION(type)           \
+  RUNTIME_FUNCTION(Runtime_##type##Check) { \
+    HandleScope scope(isolate);             \
+    CONVERT_ARG_HANDLE_CHECKED(type, a, 0); \
+    return *a;                              \
+  }
+
+#define SIMD_EXTRACT_LANE_FUNCTION(type, lanes)               \
+  RUNTIME_FUNCTION(Runtime_##type##ExtractLane) {             \
+    HandleScope scope(isolate);                               \
+    DCHECK(args.length() == 2);                               \
+    CONVERT_ARG_HANDLE_CHECKED(type, a, 0);                   \
+    CONVERT_SIMD_LANE_ARG_CHECKED(lane, 1, lanes);            \
+    return *isolate->factory()->NewNumber(a->get_lane(lane)); \
+  }
+
+#define SIMD4_EQUALS_FUNCTION(type)                          \
+  RUNTIME_FUNCTION(Runtime_##type##Equals) {                 \
+    HandleScope scope(isolate);                              \
+    DCHECK(args.length() == 2);                              \
+    CONVERT_ARG_HANDLE_CHECKED(type, a, 0);                  \
+    CONVERT_ARG_HANDLE_CHECKED(type, b, 1);                  \
+    return Equals(a->get_lane(0), b->get_lane(0)) &&         \
+                   Equals(a->get_lane(1), b->get_lane(1)) && \
+                   Equals(a->get_lane(2), b->get_lane(2)) && \
+                   Equals(a->get_lane(3), b->get_lane(3))    \
+               ? Smi::FromInt(EQUAL)                         \
+               : Smi::FromInt(NOT_EQUAL);                    \
+  }
+
+#define SIMD4_SAME_VALUE_FUNCTION(type)              \
+  RUNTIME_FUNCTION(Runtime_##type##SameValue) {      \
+    HandleScope scope(isolate);                      \
+    DCHECK(args.length() == 2);                      \
+    CONVERT_ARG_HANDLE_CHECKED(type, a, 0);          \
+    CONVERT_ARG_HANDLE_CHECKED(type, b, 1);          \
+    return isolate->heap()->ToBoolean(               \
+        SameValue(a->get_lane(0), b->get_lane(0)) && \
+        SameValue(a->get_lane(1), b->get_lane(1)) && \
+        SameValue(a->get_lane(2), b->get_lane(2)) && \
+        SameValue(a->get_lane(3), b->get_lane(3)));  \
+  }
+
+#define SIMD4_SAME_VALUE_ZERO_FUNCTION(type)             \
+  RUNTIME_FUNCTION(Runtime_##type##SameValueZero) {      \
+    HandleScope scope(isolate);                          \
+    DCHECK(args.length() == 2);                          \
+    CONVERT_ARG_HANDLE_CHECKED(type, a, 0);              \
+    CONVERT_ARG_HANDLE_CHECKED(type, b, 1);              \
+    return isolate->heap()->ToBoolean(                   \
+        SameValueZero(a->get_lane(0), b->get_lane(0)) && \
+        SameValueZero(a->get_lane(1), b->get_lane(1)) && \
+        SameValueZero(a->get_lane(2), b->get_lane(2)) && \
+        SameValueZero(a->get_lane(3), b->get_lane(3)));  \
+  }
+
+#define SIMD4_EXTRACT_LANE_FUNCTION(type) SIMD_EXTRACT_LANE_FUNCTION(type, 4)
+
+#define SIMD4_FUNCTIONS(type)        \
+  SIMD4_CREATE_FUNCTION(type)        \
+  SIMD_CREATE_WRAPPER_FUNCTION(type) \
+  SIMD_CHECK_FUNCTION(type)          \
+  SIMD4_EXTRACT_LANE_FUNCTION(type)  \
+  SIMD4_EQUALS_FUNCTION(type)        \
+  SIMD4_SAME_VALUE_FUNCTION(type)    \
+  SIMD4_SAME_VALUE_ZERO_FUNCTION(type)
+
+
+namespace v8 {
+namespace internal {
+
+namespace {
+
+// Convert from Number object to float.
+inline float NumberToFloat(Object* number) {
+  return DoubleToFloat32(number->Number());
+}
+
+
+inline bool Equals(float x, float y) { return x == y; }
+
+
+inline bool SameValue(float x, float y) {
+  if (std::isnan(x) && std::isnan(y)) return true;
+  if (x != 0 || y != 0) return x == y;
+  if (std::signbit(x) == std::signbit(y)) return true;
+  return false;
+}
+
+
+inline bool SameValueZero(float x, float y) {
+  if (std::isnan(x) && std::isnan(y)) return true;
+  return x == y;
+}
+
+}  // namespace
+
+SIMD4_FUNCTIONS(Float32x4)
+}
+}  // namespace v8::internal