Expose SIMD.Float32x4 type to Javascript.

test/cctest/test-heap.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 221 matching lines @@
 }
 
 
 TEST(SimdObjects) {
   CcTest::InitializeVM();
   Isolate* isolate = CcTest::i_isolate();
   Factory* factory = isolate->factory();
 
   HandleScope sc(isolate);
 
-  Handle<Object> value = factory->NewFloat32x4(1, 2, 3, 4);
+  Handle<Float32x4> value = factory->NewFloat32x4(1, 2, 3, 4);
   CHECK(value->IsFloat32x4());
   CHECK(value->BooleanValue());  // SIMD values map to true.
+  CHECK_EQ(value->get_lane(0), 1);
+  CHECK_EQ(value->get_lane(1), 2);
+  CHECK_EQ(value->get_lane(2), 3);
+  CHECK_EQ(value->get_lane(3), 4);
 
-  Float32x4* float32x4 = *Handle<Float32x4>::cast(value);
-  CheckSimdLanes<Float32x4, float, 4>(float32x4);
+  CheckSimdLanes<Float32x4, float, 4>(*value);
 
-  // Check ToString for SIMD values.
-  // TODO(bbudge): Switch to Check* style function to test ToString().
-  value = factory->NewFloat32x4(1, 2, 3, 4);
-  float32x4 = *Handle<Float32x4>::cast(value);
-  std::ostringstream os;
-  float32x4->Float32x4Print(os);
-  CHECK_EQ("1, 2, 3, 4", os.str());
-
-  // Check unusual lane values.
-  float32x4->set_lane(0, 0);
-  CHECK_EQ(0, float32x4->get_lane(0));
-  float32x4->set_lane(1, -0.0);
-  CHECK_EQ(-0.0, float32x4->get_lane(1));
+  // Check all lanes, and special lane values.
+  value->set_lane(0, 0);
+  CHECK_EQ(0, value->get_lane(0));
+  value->set_lane(1, -0.0);
+  CHECK_EQ(-0.0, value->get_lane(1));
+  CHECK(std::signbit(value->get_lane(1)));  // Sign bit is preserved.
   float quiet_NaN = std::numeric_limits<float>::quiet_NaN();
   float signaling_NaN = std::numeric_limits<float>::signaling_NaN();
-  float32x4->set_lane(2, quiet_NaN);
-  CHECK(std::isnan(float32x4->get_lane(2)));
-  float32x4->set_lane(3, signaling_NaN);
-  CHECK(std::isnan(float32x4->get_lane(3)));
+  value->set_lane(2, quiet_NaN);
+  CHECK(std::isnan(value->get_lane(2)));
+  value->set_lane(3, signaling_NaN);
+  CHECK(std::isnan(value->get_lane(3)));
+
+  // Check SIMD value printing.
+  {
+    value = factory->NewFloat32x4(1, 2, 3, 4);
+    std::ostringstream os;
+    value->Float32x4Print(os);
+    CHECK_EQ("1, 2, 3, 4", os.str());
+  }
+  {
+    value = factory->NewFloat32x4(0, -0.0, quiet_NaN, signaling_NaN);
+    std::ostringstream os;
+    value->Float32x4Print(os);
+    // Value printing doesn't preserve signed zeroes.
+    CHECK_EQ("0, 0, NaN, NaN", os.str());
+  }
 }
 
 
 TEST(Tagging) {
   CcTest::InitializeVM();
   int request = 24;
   CHECK_EQ(request, static_cast<int>(OBJECT_POINTER_ALIGN(request)));
   CHECK(Smi::FromInt(42)->IsSmi());
   CHECK(Smi::FromInt(Smi::kMinValue)->IsSmi());
   CHECK(Smi::FromInt(Smi::kMaxValue)->IsSmi());
@@ skipping 5759 matching lines @@
                                  array->address(),
                                  array->address() + array->Size());
   DCHECK(reinterpret_cast<void*>(buffer->Get(1)) ==
          HeapObject::RawField(heap->empty_fixed_array(),
                               FixedArrayBase::kLengthOffset));
   DCHECK(reinterpret_cast<void*>(buffer->Get(2)) ==
          HeapObject::RawField(heap->empty_fixed_array(),
                               FixedArrayBase::kLengthOffset));
   delete buffer;
 }