Index: test/mjsunit/harmony/simd.js |
diff --git a/test/mjsunit/harmony/simd.js b/test/mjsunit/harmony/simd.js |
deleted file mode 100644 |
index 51a04c7fdc9e39f535f76ccf39b2afeac5f0d56b..0000000000000000000000000000000000000000 |
--- a/test/mjsunit/harmony/simd.js |
+++ /dev/null |
@@ -1,408 +0,0 @@ |
-// 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. |
- |
-// Flags: --harmony-simd --harmony-tostring --harmony-reflect |
-// Flags: --allow-natives-syntax --expose-natives-as natives --noalways-opt |
- |
-function lanesForType(typeName) { |
- // The lane count follows the first 'x' in the type name, which begins with |
- // 'float', 'int', or 'bool'. |
- return Number.parseInt(typeName[typeName.indexOf('x') + 1]); |
-} |
- |
- |
-function isValidSimdString(string, value, type, lanes) { |
- var simdFn = SIMD[type], |
- parseFn = |
- type.indexOf('float') === 0 ? Number.parseFloat : Number.parseInt, |
- indexOfOpenParen = string.indexOf('('); |
- // Check prefix for correct type name. |
- if (string.substr(0, indexOfOpenParen).toUpperCase() !== type.toUpperCase()) |
- return false; |
- // Remove type name and open parenthesis. |
- string = string.substr(indexOfOpenParen + 1); |
- var laneStrings = string.split(','); |
- if (laneStrings.length !== lanes) |
- return false; |
- for (var i = 0; i < lanes; i++) { |
- var fromString = parseFn(laneStrings[i]), |
- fromValue = simdFn.extractLane(value, i); |
- if (Math.abs(fromString - fromValue) > Number.EPSILON) |
- return false; |
- } |
- return true; |
-} |
- |
- |
-// Test for structural equivalence. |
-function areEquivalent(type, lanes, a, b) { |
- var simdFn = SIMD[type]; |
- for (var i = 0; i < lanes; i++) { |
- if (simdFn.extractLane(a, i) !== simdFn.extractLane(b, i)) |
- return false; |
- } |
- return true; |
-} |
- |
- |
-var sameValue = natives.$sameValue; |
-var sameValueZero = natives.$sameValueZero; |
- |
-// Calls SameValue and SameValueZero and checks that their results match. Also |
-// checks the internal SameValue checks using Object freeze and defineProperty. |
-function sameValueBoth(a, b) { |
- var result = sameValue(a, b); |
- assertTrue(result === sameValueZero(a, b)); |
- return result; |
-} |
- |
- |
-// Calls SameValue and SameValueZero and checks that their results don't match. |
-function sameValueZeroOnly(a, b) { |
- var result = sameValueZero(a, b); |
- assertTrue(result && !sameValue(a, b)); |
- return result; |
-} |
- |
- |
-// Tests for the global SIMD object. |
-function TestSIMDObject() { |
- assertSame(typeof SIMD, 'object'); |
- assertSame(SIMD.constructor, Object); |
- assertSame(Object.getPrototypeOf(SIMD), Object.prototype); |
- assertSame(SIMD + "", "[object SIMD]"); |
-} |
-TestSIMDObject() |
- |
-// TestConstructor populates this with interesting values for the other tests. |
-var values; |
- |
-// Test different forms of constructor calls. This test populates 'values' with |
-// a variety of SIMD values as a side effect, which are used by other tests. |
-function TestConstructor(type, lanes) { |
- var simdFn = SIMD[type]; |
- assertFalse(Object === simdFn.prototype.constructor) |
- assertFalse(simdFn === Object.prototype.constructor) |
- assertSame(simdFn, simdFn.prototype.constructor) |
- |
- values = [] |
- |
- // The constructor expects values for all lanes. |
- switch (type) { |
- case 'float32x4': |
- // The constructor expects values for all lanes. |
- assertThrows(function () { simdFn() }, TypeError) |
- assertThrows(function () { simdFn(0) }, TypeError) |
- assertThrows(function () { simdFn(0, 1) }, TypeError) |
- assertThrows(function () { simdFn(0, 1, 2) }, TypeError) |
- |
- values.push(simdFn(1, 2, 3, 4)) |
- values.push(simdFn(1, 2, 3, 4)) // test structural equivalence |
- values.push(simdFn(-0, NaN, 0, 0.5)) |
- values.push(simdFn(-0, NaN, 0, 0.5)) // test structural equivalence |
- values.push(simdFn(3, 2, 1, 0)) |
- values.push(simdFn(0, 0, 0, 0)) |
- break |
- } |
- for (var i in values) { |
- assertSame(simdFn, values[i].__proto__.constructor) |
- assertSame(simdFn, Object(values[i]).__proto__.constructor) |
- assertSame(simdFn.prototype, values[i].__proto__) |
- assertSame(simdFn.prototype, Object(values[i]).__proto__) |
- } |
-} |
- |
- |
-function TestType(type, lanes) { |
- for (var i in values) { |
- assertEquals(type, typeof values[i]) |
- assertTrue(typeof values[i] === type) |
- assertTrue(typeof Object(values[i]) === 'object') |
- assertEquals(null, %_ClassOf(values[i])) |
- assertEquals("Float32x4", %_ClassOf(Object(values[i]))) |
- } |
-} |
- |
- |
-function TestPrototype(type, lanes) { |
- var simdFn = SIMD[type]; |
- assertSame(Object.prototype, simdFn.prototype.__proto__) |
- for (var i in values) { |
- assertSame(simdFn.prototype, values[i].__proto__) |
- assertSame(simdFn.prototype, Object(values[i]).__proto__) |
- } |
-} |
- |
- |
-function TestValueOf(type, lanes) { |
- var simdFn = SIMD[type]; |
- for (var i in values) { |
- assertTrue(values[i] === Object(values[i]).valueOf()) |
- assertTrue(values[i] === values[i].valueOf()) |
- assertTrue(simdFn.prototype.valueOf.call(Object(values[i])) === values[i]) |
- assertTrue(simdFn.prototype.valueOf.call(values[i]) === values[i]) |
- } |
-} |
- |
- |
-function TestGet(type, lanes) { |
- var simdFn = SIMD[type]; |
- for (var i in values) { |
- assertEquals(undefined, values[i].a) |
- assertEquals(undefined, values[i]["a" + "b"]) |
- assertEquals(undefined, values[i]["" + "1"]) |
- assertEquals(undefined, values[i][42]) |
- } |
-} |
- |
- |
-function TestToBoolean(type, lanes) { |
- for (var i in values) { |
- assertTrue(Boolean(Object(values[i]))) |
- assertFalse(!Object(values[i])) |
- assertTrue(Boolean(values[i]).valueOf()) |
- assertFalse(!values[i]) |
- assertTrue(!!values[i]) |
- assertTrue(values[i] && true) |
- assertFalse(!values[i] && false) |
- assertTrue(!values[i] || true) |
- assertEquals(1, values[i] ? 1 : 2) |
- assertEquals(2, !values[i] ? 1 : 2) |
- if (!values[i]) assertUnreachable(); |
- if (values[i]) {} else assertUnreachable(); |
- } |
-} |
- |
- |
-function TestToString(type, lanes) { |
- var simdFn = SIMD[type]; |
- for (var i in values) { |
- assertEquals(values[i].toString(), String(values[i])) |
- assertTrue(isValidSimdString(values[i].toString(), values[i], type, lanes)) |
- assertTrue( |
- isValidSimdString(Object(values[i]).toString(), values[i], type, lanes)) |
- assertTrue(isValidSimdString( |
- simdFn.prototype.toString.call(values[i]), values[i], type, lanes)) |
- } |
-} |
- |
- |
-function TestToNumber(type, lanes) { |
- for (var i in values) { |
- assertThrows(function() { Number(Object(values[i])) }, TypeError) |
- assertThrows(function() { +Object(values[i]) }, TypeError) |
- assertThrows(function() { Number(values[i]) }, TypeError) |
- assertThrows(function() { values[i] + 0 }, TypeError) |
- } |
-} |
- |
- |
-function TestEquality(type, lanes) { |
- // Every SIMD value should equal itself, and non-strictly equal its wrapper. |
- for (var i in values) { |
- assertSame(values[i], values[i]) |
- assertEquals(values[i], values[i]) |
- assertTrue(Object.is(values[i], values[i])) |
- assertTrue(values[i] === values[i]) |
- assertTrue(values[i] == values[i]) |
- assertFalse(values[i] === Object(values[i])) |
- assertFalse(Object(values[i]) === values[i]) |
- assertFalse(values[i] == Object(values[i])) |
- assertFalse(Object(values[i]) == values[i]) |
- assertTrue(values[i] === values[i].valueOf()) |
- assertTrue(values[i].valueOf() === values[i]) |
- assertTrue(values[i] == values[i].valueOf()) |
- assertTrue(values[i].valueOf() == values[i]) |
- assertFalse(Object(values[i]) === Object(values[i])) |
- assertEquals(Object(values[i]).valueOf(), Object(values[i]).valueOf()) |
- } |
- |
- // Test structural equivalence. |
- for (var i = 0; i < values.length; i++) { |
- for (var j = i + 1; j < values.length; j++) { |
- var a = values[i], b = values[j], |
- equivalent = areEquivalent(type, lanes, a, b); |
- assertSame(equivalent, a == b); |
- assertSame(equivalent, a === b); |
- } |
- } |
- |
- // SIMD values should not be equal to any other kind of object. |
- var others = [347, 1.275, NaN, "string", null, undefined, {}, function() {}] |
- for (var i in values) { |
- for (var j in others) { |
- assertFalse(values[i] === others[j]) |
- assertFalse(others[j] === values[i]) |
- assertFalse(values[i] == others[j]) |
- assertFalse(others[j] == values[i]) |
- } |
- } |
-} |
- |
- |
-function TestSameValue(type, lanes) { |
- // SIMD value types. |
- // All lanes checked. |
- // TODO(bbudge): use loops to test lanes when replaceLane is defined. |
- assertTrue(sameValueBoth(SIMD.float32x4(1, 2, 3, 4), |
- SIMD.float32x4(1, 2, 3, 4))); |
- assertFalse(sameValueBoth(SIMD.float32x4(1, 2, 3, 4), |
- SIMD.float32x4(NaN, 2, 3, 4))); |
- assertFalse(sameValueBoth(SIMD.float32x4(1, 2, 3, 4), |
- SIMD.float32x4(1, NaN, 3, 4))); |
- assertFalse(sameValueBoth(SIMD.float32x4(1, 2, 3, 4), |
- SIMD.float32x4(1, 2, NaN, 4))); |
- assertFalse(sameValueBoth(SIMD.float32x4(1, 2, 3, 4), |
- SIMD.float32x4(1, 2, 3, NaN))); |
- // Special values. |
- // TODO(bbudge): use loops to test lanes when replaceLane is defined. |
- assertTrue(sameValueBoth(SIMD.float32x4(NaN, 2, 3, 4), |
- SIMD.float32x4(NaN, 2, 3, 4))); |
- assertTrue(sameValueBoth(SIMD.float32x4(+0, 2, 3, 4), |
- SIMD.float32x4(+0, 2, 3, 4))); |
- assertTrue(sameValueBoth(SIMD.float32x4(-0, 2, 3, 4), |
- SIMD.float32x4(-0, 2, 3, 4))); |
- assertTrue(sameValueZeroOnly(SIMD.float32x4(+0, 2, 3, 4), |
- SIMD.float32x4(-0, 2, 3, 4))); |
- assertTrue(sameValueZeroOnly(SIMD.float32x4(-0, 2, 3, 4), |
- SIMD.float32x4(+0, 2, 3, 4))); |
-} |
- |
- |
-function TestComparison(type, lanes) { |
- var a = values[0], b = values[1]; |
- |
- function lt() { a < b; } |
- function gt() { a > b; } |
- function le() { a <= b; } |
- function ge() { a >= b; } |
- function lt_same() { a < a; } |
- function gt_same() { a > a; } |
- function le_same() { a <= a; } |
- function ge_same() { a >= a; } |
- |
- var throwFuncs = [lt, gt, le, ge, lt_same, gt_same, le_same, ge_same]; |
- |
- for (var f of throwFuncs) { |
- assertThrows(f, TypeError); |
- %OptimizeFunctionOnNextCall(f); |
- assertThrows(f, TypeError); |
- assertThrows(f, TypeError); |
- } |
-} |
- |
- |
-// Test SIMD value wrapping/boxing over non-builtins. |
-function TestCall(type, lanes) { |
- var simdFn = SIMD[type]; |
- simdFn.prototype.getThisProto = function () { |
- return Object.getPrototypeOf(this); |
- } |
- for (var i in values) { |
- assertTrue(values[i].getThisProto() === simdFn.prototype) |
- } |
-} |
- |
- |
-function TestAsSetKey(type, lanes, set) { |
- function test(set, key) { |
- assertFalse(set.has(key)); |
- assertFalse(set.delete(key)); |
- if (!(set instanceof WeakSet)) { |
- assertSame(set, set.add(key)); |
- assertTrue(set.has(key)); |
- assertTrue(set.delete(key)); |
- } else { |
- // SIMD values can't be used as keys in WeakSets. |
- assertThrows(function() { set.add(key) }); |
- } |
- assertFalse(set.has(key)); |
- assertFalse(set.delete(key)); |
- assertFalse(set.has(key)); |
- } |
- |
- for (var i in values) { |
- test(set, values[i]); |
- } |
-} |
- |
- |
-function TestAsMapKey(type, lanes, map) { |
- function test(map, key, value) { |
- assertFalse(map.has(key)); |
- assertSame(undefined, map.get(key)); |
- assertFalse(map.delete(key)); |
- if (!(map instanceof WeakMap)) { |
- assertSame(map, map.set(key, value)); |
- assertSame(value, map.get(key)); |
- assertTrue(map.has(key)); |
- assertTrue(map.delete(key)); |
- } else { |
- // SIMD values can't be used as keys in WeakMaps. |
- assertThrows(function() { map.set(key, value) }); |
- } |
- assertFalse(map.has(key)); |
- assertSame(undefined, map.get(key)); |
- assertFalse(map.delete(key)); |
- assertFalse(map.has(key)); |
- assertSame(undefined, map.get(key)); |
- } |
- |
- for (var i in values) { |
- test(map, values[i], {}); |
- } |
-} |
- |
- |
-// Test SIMD type with Harmony reflect-apply. |
-function TestReflectApply(type) { |
- function returnThis() { return this; } |
- function returnThisStrict() { 'use strict'; return this; } |
- function noop() {} |
- function noopStrict() { 'use strict'; } |
- var R = void 0; |
- |
- for (var i in values) { |
- assertSame(SIMD[type].prototype, |
- Object.getPrototypeOf( |
- Reflect.apply(returnThis, values[i], []))); |
- assertSame(values[i], Reflect.apply(returnThisStrict, values[i], [])); |
- |
- assertThrows( |
- function() { 'use strict'; Reflect.apply(values[i]); }, TypeError); |
- assertThrows( |
- function() { Reflect.apply(values[i]); }, TypeError); |
- assertThrows( |
- function() { Reflect.apply(noopStrict, R, values[i]); }, TypeError); |
- assertThrows( |
- function() { Reflect.apply(noop, R, values[i]); }, TypeError); |
- } |
-} |
- |
- |
-function TestSIMDTypes() { |
- var types = [ 'float32x4' ]; |
- for (var i = 0; i < types.length; ++i) { |
- var type = types[i], |
- lanes = lanesForType(type); |
- TestConstructor(type, lanes); |
- TestType(type, lanes); |
- TestPrototype(type, lanes); |
- TestValueOf(type, lanes); |
- TestGet(type, lanes); |
- TestToBoolean(type, lanes); |
- TestToString(type, lanes); |
- TestToNumber(type, lanes); |
- TestEquality(type, lanes); |
- TestSameValue(type, lanes); |
- TestComparison(type, lanes); |
- TestCall(type, lanes); |
- TestAsSetKey(type, lanes, new Set); |
- TestAsSetKey(type, lanes, new WeakSet); |
- TestAsMapKey(type, lanes, new Map); |
- TestAsMapKey(type, lanes, new WeakMap); |
- TestReflectApply(type); |
- } |
-} |
-TestSIMDTypes(); |