Kevin Moore
26fa4add14
DRY'd up some helpers and logic Deleted validate_wasm_test.sh Added `--run` and `--write-temp` flags to compile_benchmark Change-Id: I666b25d13d0837a2b9f9fc40488882f1cfc6aff5 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/478703 Reviewed-by: Nate Biggs <natebiggs@google.com> Commit-Queue: Kevin Moore <kevmoo@google.com>
678 lines
23 KiB
Dart
678 lines
23 KiB
Dart
// Copyright (c) 2026, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
|
|
// dart2wasmOptions=--extra-compiler-option=--enable-experimental-wasm-interop
|
|
|
|
import 'package:expect/expect.dart';
|
|
// ignore: import_internal_library
|
|
import 'dart:_wasm';
|
|
|
|
void main() {
|
|
final failures = <(String, Object, StackTrace)>[];
|
|
|
|
void runTest(String name, void Function() testFn) {
|
|
print('Running $name...');
|
|
try {
|
|
testFn();
|
|
} catch (e, st) {
|
|
print(' Failed: $e');
|
|
failures.add((name, e, st));
|
|
}
|
|
}
|
|
|
|
runTest('testI64x2', _testI64x2);
|
|
runTest('testI8x16', _testI8x16);
|
|
runTest('testI32x4', _testI32x4);
|
|
runTest('testI16x8', _testI16x8);
|
|
runTest('testF32x4', _testF32x4);
|
|
runTest('testF64x2', _testF64x2);
|
|
runTest('testV128', _testV128);
|
|
|
|
if (failures.isNotEmpty) {
|
|
print('\n${failures.length} tests failed:');
|
|
for (var (name, e, st) in failures) {
|
|
print(' $name: $e');
|
|
print(st);
|
|
print('');
|
|
}
|
|
throw 'Tests failed';
|
|
} else {
|
|
print('\nAll tests passed!');
|
|
}
|
|
}
|
|
|
|
void _testI8x16() {
|
|
// splat
|
|
var v1 = WasmI8x16.splat(WasmI32.fromInt(10));
|
|
var v2 = WasmI8x16.splat(WasmI32.fromInt(20));
|
|
|
|
Expect.equals(v1.extractLaneSigned(0).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLaneUnsigned(0).toIntUnsigned(), 10);
|
|
Expect.equals(v1.extractLaneSigned(15).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLaneUnsigned(15).toIntUnsigned(), 10);
|
|
|
|
// replaceLane
|
|
var v3 = v1.replaceLane(0, WasmI32.fromInt(5));
|
|
Expect.equals(v3.extractLaneSigned(0).toIntSigned(), 5);
|
|
Expect.equals(v3.extractLaneSigned(1).toIntSigned(), 10);
|
|
|
|
// +
|
|
var vAdd = v1 + v2;
|
|
Expect.equals(vAdd.extractLaneSigned(0).toIntSigned(), 30);
|
|
Expect.equals(vAdd.extractLaneSigned(15).toIntSigned(), 30);
|
|
|
|
// -
|
|
var vSub = v2 - v1;
|
|
Expect.equals(vSub.extractLaneSigned(0).toIntSigned(), 10);
|
|
Expect.equals(vSub.extractLaneSigned(15).toIntSigned(), 10);
|
|
|
|
// unary -
|
|
var vNeg = -v1;
|
|
Expect.equals(vNeg.extractLaneSigned(0).toIntSigned(), -10);
|
|
Expect.equals(vNeg.extractLaneSigned(15).toIntSigned(), -10);
|
|
|
|
// eq
|
|
var vEq = v1.eq(WasmI8x16.splat(WasmI32.fromInt(10))); // 10 == 10
|
|
_expectCmpTrue(vEq.extractLaneSigned(0).toIntSigned()); // True is -1 (all 1s)
|
|
vEq = v1.eq(WasmI8x16.splat(WasmI32.fromInt(11))); // 10 != 11
|
|
_expectCmpFalse(vEq.extractLaneSigned(0).toIntSigned()); // False is 0
|
|
}
|
|
|
|
void _testI16x8() {
|
|
// splat
|
|
var v1 = WasmI16x8.splat(WasmI32.fromInt(10));
|
|
var v2 = WasmI16x8.splat(WasmI32.fromInt(20));
|
|
|
|
Expect.equals(v1.extractLaneSigned(0).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLaneUnsigned(0).toIntUnsigned(), 10);
|
|
Expect.equals(v1.extractLaneSigned(7).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLaneUnsigned(7).toIntUnsigned(), 10);
|
|
|
|
// replaceLane
|
|
var v3 = v1.replaceLane(0, WasmI32.fromInt(5));
|
|
Expect.equals(v3.extractLaneSigned(0).toIntSigned(), 5);
|
|
Expect.equals(v3.extractLaneSigned(1).toIntSigned(), 10);
|
|
|
|
// +
|
|
var vAdd = v1 + v2;
|
|
Expect.equals(vAdd.extractLaneSigned(0).toIntSigned(), 30);
|
|
Expect.equals(vAdd.extractLaneSigned(7).toIntSigned(), 30);
|
|
|
|
// -
|
|
var vSub = v2 - v1;
|
|
Expect.equals(vSub.extractLaneSigned(0).toIntSigned(), 10);
|
|
Expect.equals(vSub.extractLaneSigned(7).toIntSigned(), 10);
|
|
|
|
// *
|
|
var vMul = v1 * v2;
|
|
Expect.equals(vMul.extractLaneSigned(0).toIntSigned(), 200);
|
|
Expect.equals(vMul.extractLaneSigned(7).toIntSigned(), 200);
|
|
|
|
// unary -
|
|
var vNeg = -v1;
|
|
Expect.equals(vNeg.extractLaneSigned(0).toIntSigned(), -10);
|
|
Expect.equals(vNeg.extractLaneSigned(7).toIntSigned(), -10);
|
|
|
|
// dotProduct
|
|
var vDot = v1.dotProduct(v2);
|
|
Expect.equals(vDot.extractLane(0).toIntSigned(), 400); // 10*20 + 10*20
|
|
Expect.equals(vDot.extractLane(3).toIntSigned(), 400);
|
|
|
|
// eq
|
|
var vEq = v1.eq(WasmI16x8.splat(WasmI32.fromInt(10)));
|
|
_expectCmpTrue(vEq.extractLaneSigned(0).toIntSigned());
|
|
vEq = v1.eq(WasmI16x8.splat(WasmI32.fromInt(11)));
|
|
_expectCmpFalse(vEq.extractLaneSigned(0).toIntSigned());
|
|
}
|
|
|
|
void _testI32x4() {
|
|
// splat
|
|
var v1 = WasmI32x4.splat(WasmI32.fromInt(10));
|
|
var v2 = WasmI32x4.splat(WasmI32.fromInt(20));
|
|
|
|
Expect.equals(v1.extractLane(0).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLane(1).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLane(2).toIntSigned(), 10);
|
|
Expect.equals(v1.extractLane(3).toIntSigned(), 10);
|
|
|
|
// replaceLane
|
|
var v3 = v1.replaceLane(0, WasmI32.fromInt(5));
|
|
Expect.equals(v3.extractLane(0).toIntSigned(), 5);
|
|
Expect.equals(v3.extractLane(1).toIntSigned(), 10);
|
|
|
|
// +
|
|
var vAdd = v1 + v2;
|
|
Expect.equals(vAdd.extractLane(0).toIntSigned(), 30);
|
|
Expect.equals(vAdd.extractLane(3).toIntSigned(), 30);
|
|
|
|
// -
|
|
var vSub = v2 - v1;
|
|
Expect.equals(vSub.extractLane(0).toIntSigned(), 10);
|
|
Expect.equals(vSub.extractLane(3).toIntSigned(), 10);
|
|
|
|
// *
|
|
var vMul = v1 * v2;
|
|
Expect.equals(vMul.extractLane(0).toIntSigned(), 200);
|
|
Expect.equals(vMul.extractLane(3).toIntSigned(), 200);
|
|
|
|
// unary -
|
|
var vNeg = -v1;
|
|
Expect.equals(vNeg.extractLane(0).toIntSigned(), -10);
|
|
Expect.equals(vNeg.extractLane(3).toIntSigned(), -10);
|
|
|
|
// eq
|
|
var vEq = v1.eq(WasmI32x4.splat(WasmI32.fromInt(10)));
|
|
_expectCmpTrue(vEq.extractLane(0).toIntSigned());
|
|
var s11 = WasmI32x4.splat(WasmI32.fromInt(11));
|
|
vEq = v1.eq(s11);
|
|
_expectCmpFalse(vEq.extractLane(0).toIntSigned());
|
|
}
|
|
|
|
void _testI64x2() {
|
|
// splat
|
|
var v1 = WasmI64x2.splat(WasmI64.fromInt(10));
|
|
var v2 = WasmI64x2.splat(WasmI64.fromInt(20));
|
|
|
|
Expect.equals(v1.extractLane(0).toInt(), 10);
|
|
Expect.equals(v1.extractLane(1).toInt(), 10);
|
|
|
|
// replaceLane
|
|
var v3 = v1.replaceLane(0, WasmI64.fromInt(5));
|
|
Expect.equals(v3.extractLane(0).toInt(), 5);
|
|
Expect.equals(v3.extractLane(1).toInt(), 10);
|
|
|
|
// +
|
|
var vAdd = v1 + v2;
|
|
Expect.equals(vAdd.extractLane(0).toInt(), 30);
|
|
Expect.equals(vAdd.extractLane(1).toInt(), 30);
|
|
|
|
// -
|
|
var vSub = v2 - v1;
|
|
Expect.equals(vSub.extractLane(0).toInt(), 10);
|
|
Expect.equals(vSub.extractLane(1).toInt(), 10);
|
|
|
|
// *
|
|
var vMul = v1 * v2;
|
|
Expect.equals(vMul.extractLane(0).toInt(), 200);
|
|
Expect.equals(vMul.extractLane(1).toInt(), 200);
|
|
|
|
// unary -
|
|
var vNeg = -v1;
|
|
Expect.equals(vNeg.extractLane(0).toInt(), -10);
|
|
Expect.equals(vNeg.extractLane(1).toInt(), -10);
|
|
|
|
// eq
|
|
var vEq = v1.eq(WasmI64x2.splat(WasmI64.fromInt(10)));
|
|
_expectCmpTrue(vEq.extractLane(0).toInt());
|
|
vEq = v1.eq(WasmI64x2.splat(WasmI64.fromInt(11)));
|
|
_expectCmpFalse(vEq.extractLane(0).toInt());
|
|
|
|
// allTrue
|
|
var vAllTrue = WasmI64x2.splat(WasmI64.fromInt(1)); // All non-zero
|
|
Expect.isTrue(vAllTrue.allTrue);
|
|
var vNotAllTrue = vAllTrue.replaceLane(0, WasmI64.fromInt(0));
|
|
Expect.isFalse(vNotAllTrue.allTrue);
|
|
vNotAllTrue = vAllTrue.replaceLane(1, WasmI64.fromInt(0));
|
|
Expect.isFalse(vNotAllTrue.allTrue);
|
|
var vZero = WasmI64x2.splat(WasmI64.fromInt(0));
|
|
Expect.isFalse(vZero.allTrue);
|
|
}
|
|
|
|
void _testF32x4() {
|
|
// splat
|
|
var v1 = WasmF32x4.splat(WasmF32.fromDouble(10.5));
|
|
var v2 = WasmF32x4.splat(WasmF32.fromDouble(2.0));
|
|
|
|
Expect.equals(v1.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(v1.extractLane(1).toDouble(), 10.5);
|
|
Expect.equals(v1.extractLane(2).toDouble(), 10.5);
|
|
Expect.equals(v1.extractLane(3).toDouble(), 10.5);
|
|
Expect.equals(v2.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(v2.extractLane(1).toDouble(), 2.0);
|
|
Expect.equals(v2.extractLane(2).toDouble(), 2.0);
|
|
Expect.equals(v2.extractLane(3).toDouble(), 2.0);
|
|
|
|
// replaceLane
|
|
var v3 = v1.replaceLane(0, WasmF32.fromDouble(5.5));
|
|
Expect.equals(v3.extractLane(0).toDouble(), 5.5);
|
|
Expect.equals(v3.extractLane(1).toDouble(), 10.5);
|
|
Expect.equals(v3.extractLane(2).toDouble(), 10.5);
|
|
Expect.equals(v3.extractLane(3).toDouble(), 10.5);
|
|
|
|
// +
|
|
var vAdd = v1 + v2;
|
|
Expect.equals(vAdd.extractLane(0).toDouble(), 12.5);
|
|
Expect.equals(vAdd.extractLane(1).toDouble(), 12.5);
|
|
Expect.equals(vAdd.extractLane(2).toDouble(), 12.5);
|
|
Expect.equals(vAdd.extractLane(3).toDouble(), 12.5);
|
|
|
|
// -
|
|
var vSub = v1 - v2;
|
|
Expect.equals(vSub.extractLane(0).toDouble(), 8.5);
|
|
Expect.equals(vSub.extractLane(1).toDouble(), 8.5);
|
|
Expect.equals(vSub.extractLane(2).toDouble(), 8.5);
|
|
Expect.equals(vSub.extractLane(3).toDouble(), 8.5);
|
|
|
|
// *
|
|
var vMul = v1 * v2;
|
|
Expect.equals(vMul.extractLane(0).toDouble(), 21.0);
|
|
Expect.equals(vMul.extractLane(1).toDouble(), 21.0);
|
|
Expect.equals(vMul.extractLane(2).toDouble(), 21.0);
|
|
Expect.equals(vMul.extractLane(3).toDouble(), 21.0);
|
|
|
|
// /
|
|
var vDiv = v1 / v2;
|
|
Expect.equals(vDiv.extractLane(0).toDouble(), 5.25);
|
|
Expect.equals(vDiv.extractLane(1).toDouble(), 5.25);
|
|
Expect.equals(vDiv.extractLane(2).toDouble(), 5.25);
|
|
Expect.equals(vDiv.extractLane(3).toDouble(), 5.25);
|
|
|
|
// unary -
|
|
var vNeg = -v1;
|
|
Expect.equals(vNeg.extractLane(0).toDouble(), -10.5);
|
|
Expect.equals(vNeg.extractLane(1).toDouble(), -10.5);
|
|
Expect.equals(vNeg.extractLane(2).toDouble(), -10.5);
|
|
Expect.equals(vNeg.extractLane(3).toDouble(), -10.5);
|
|
|
|
// abs
|
|
var vAbs = vNeg.abs(); // abs(-10.5) -> 10.5
|
|
Expect.equals(vAbs.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(vAbs.extractLane(1).toDouble(), 10.5);
|
|
Expect.equals(vAbs.extractLane(2).toDouble(), 10.5);
|
|
Expect.equals(vAbs.extractLane(3).toDouble(), 10.5);
|
|
|
|
// sqrt
|
|
var vSqrt = WasmF32x4.splat(WasmF32.fromDouble(4.0)).sqrt();
|
|
Expect.equals(vSqrt.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vSqrt.extractLane(1).toDouble(), 2.0);
|
|
Expect.equals(vSqrt.extractLane(2).toDouble(), 2.0);
|
|
Expect.equals(vSqrt.extractLane(3).toDouble(), 2.0);
|
|
|
|
// min
|
|
var vMin = v1.min(v2); // min(10.5, 2.0) -> 2.0
|
|
Expect.equals(vMin.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vMin.extractLane(1).toDouble(), 2.0);
|
|
Expect.equals(vMin.extractLane(2).toDouble(), 2.0);
|
|
Expect.equals(vMin.extractLane(3).toDouble(), 2.0);
|
|
|
|
// max
|
|
var vMax = v1.max(v2); // max(10.5, 2.0) -> 10.5
|
|
Expect.equals(vMax.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(vMax.extractLane(1).toDouble(), 10.5);
|
|
Expect.equals(vMax.extractLane(2).toDouble(), 10.5);
|
|
Expect.equals(vMax.extractLane(3).toDouble(), 10.5);
|
|
|
|
// ceil
|
|
var vCeil = WasmF32x4.splat(WasmF32.fromDouble(1.1)).ceil();
|
|
Expect.equals(vCeil.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vCeil.extractLane(1).toDouble(), 2.0);
|
|
Expect.equals(vCeil.extractLane(2).toDouble(), 2.0);
|
|
Expect.equals(vCeil.extractLane(3).toDouble(), 2.0);
|
|
|
|
vCeil = WasmF32x4.splat(WasmF32.fromDouble(-1.1)).ceil();
|
|
Expect.equals(vCeil.extractLane(0).toDouble(), -1.0);
|
|
|
|
// floor
|
|
var vFloor = WasmF32x4.splat(WasmF32.fromDouble(1.9)).floor();
|
|
Expect.equals(vFloor.extractLane(0).toDouble(), 1.0);
|
|
|
|
vFloor = WasmF32x4.splat(WasmF32.fromDouble(-1.9)).floor();
|
|
Expect.equals(vFloor.extractLane(0).toDouble(), -2.0);
|
|
|
|
// trunc
|
|
var vTrunc = WasmF32x4.splat(WasmF32.fromDouble(1.9)).trunc();
|
|
Expect.equals(vTrunc.extractLane(0).toDouble(), 1.0);
|
|
|
|
vTrunc = WasmF32x4.splat(WasmF32.fromDouble(-1.9)).trunc();
|
|
Expect.equals(vTrunc.extractLane(0).toDouble(), -1.0);
|
|
|
|
// nearest
|
|
var vNearest = WasmF32x4.splat(WasmF32.fromDouble(1.6)).nearest();
|
|
Expect.equals(vNearest.extractLane(0).toDouble(), 2.0);
|
|
|
|
vNearest = WasmF32x4.splat(WasmF32.fromDouble(1.4)).nearest();
|
|
Expect.equals(vNearest.extractLane(0).toDouble(), 1.0);
|
|
|
|
// Comparisons
|
|
// eq
|
|
var vEq = v1.eq(WasmF32x4.splat(WasmF32.fromDouble(10.5)));
|
|
_expectCmpTrue(vEq.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vEq.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vEq.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vEq.extractLane(3).toIntSigned());
|
|
|
|
vEq = v1.eq(WasmF32x4.splat(WasmF32.fromDouble(11.5)));
|
|
_expectCmpFalse(vEq.extractLane(0).toIntSigned());
|
|
_expectCmpFalse(vEq.extractLane(1).toIntSigned());
|
|
_expectCmpFalse(vEq.extractLane(2).toIntSigned());
|
|
_expectCmpFalse(vEq.extractLane(3).toIntSigned());
|
|
|
|
// lt
|
|
var vLt = v2.lt(v1); // 2.0 < 10.5 -> true
|
|
_expectCmpTrue(vLt.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vLt.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vLt.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vLt.extractLane(3).toIntSigned());
|
|
vLt = v1.lt(v2); // 10.5 < 2.0 -> false
|
|
_expectCmpFalse(vLt.extractLane(0).toIntSigned());
|
|
_expectCmpFalse(vLt.extractLane(1).toIntSigned());
|
|
_expectCmpFalse(vLt.extractLane(2).toIntSigned());
|
|
_expectCmpFalse(vLt.extractLane(3).toIntSigned());
|
|
|
|
// le
|
|
var vLe = v2.le(v1); // 2.0 <= 10.5 -> true
|
|
_expectCmpTrue(vLe.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vLe.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vLe.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vLe.extractLane(3).toIntSigned());
|
|
vLe = v1.le(v1); // 10.5 <= 10.5 -> true
|
|
_expectCmpTrue(vLe.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vLe.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vLe.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vLe.extractLane(3).toIntSigned());
|
|
|
|
// gt
|
|
var vGt = v1.gt(v2); // 10.5 > 2.0 -> true
|
|
_expectCmpTrue(vGt.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vGt.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vGt.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vGt.extractLane(3).toIntSigned());
|
|
|
|
// ge
|
|
var vGe = v1.ge(v2); // 10.5 >= 2.0 -> true
|
|
_expectCmpTrue(vGe.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vGe.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vGe.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vGe.extractLane(3).toIntSigned());
|
|
vGe = v1.ge(v1); // 10.5 >= 10.5 -> true
|
|
_expectCmpTrue(vGe.extractLane(0).toIntSigned());
|
|
_expectCmpTrue(vGe.extractLane(1).toIntSigned());
|
|
_expectCmpTrue(vGe.extractLane(2).toIntSigned());
|
|
_expectCmpTrue(vGe.extractLane(3).toIntSigned());
|
|
}
|
|
|
|
void _testF64x2() {
|
|
// splat
|
|
var v1 = WasmF64x2.splat(WasmF64.fromDouble(10.5));
|
|
var v2 = WasmF64x2.splat(WasmF64.fromDouble(2.0));
|
|
|
|
// constructor
|
|
var vFromDoubles = WasmF64x2.fromLaneValues(
|
|
10.5.toWasmF64(),
|
|
2.0.toWasmF64(),
|
|
);
|
|
Expect.equals(vFromDoubles.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(vFromDoubles.extractLane(1).toDouble(), 2.0);
|
|
|
|
Expect.equals(v1.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(v2.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(v1.extractLane(1).toDouble(), 10.5);
|
|
Expect.equals(v2.extractLane(1).toDouble(), 2.0);
|
|
|
|
// replaceLane
|
|
var v3 = v1.replaceLane(0, WasmF64.fromDouble(5.5));
|
|
Expect.equals(v3.extractLane(0).toDouble(), 5.5);
|
|
Expect.equals(v3.extractLane(1).toDouble(), 10.5);
|
|
|
|
// +
|
|
var vAdd = v1 + v2;
|
|
Expect.equals(vAdd.extractLane(0).toDouble(), 12.5);
|
|
Expect.equals(vAdd.extractLane(1).toDouble(), 12.5);
|
|
|
|
// -
|
|
var vSub = v1 - v2;
|
|
Expect.equals(vSub.extractLane(0).toDouble(), 8.5);
|
|
Expect.equals(vSub.extractLane(1).toDouble(), 8.5);
|
|
|
|
// *
|
|
var vMul = v1 * v2;
|
|
Expect.equals(vMul.extractLane(0).toDouble(), 21.0);
|
|
Expect.equals(vMul.extractLane(1).toDouble(), 21.0);
|
|
|
|
// /
|
|
var vDiv = v1 / v2;
|
|
Expect.equals(vDiv.extractLane(0).toDouble(), 5.25);
|
|
Expect.equals(vDiv.extractLane(1).toDouble(), 5.25);
|
|
|
|
// unary -
|
|
var vNeg = -v1;
|
|
Expect.equals(vNeg.extractLane(0).toDouble(), -10.5);
|
|
Expect.equals(vNeg.extractLane(1).toDouble(), -10.5);
|
|
|
|
// abs
|
|
var vAbs = vNeg.abs();
|
|
Expect.equals(vAbs.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(vAbs.extractLane(1).toDouble(), 10.5);
|
|
|
|
// sqrt
|
|
var vSqrt = WasmF64x2.splat(WasmF64.fromDouble(4.0)).sqrt();
|
|
Expect.equals(vSqrt.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vSqrt.extractLane(1).toDouble(), 2.0);
|
|
|
|
// min
|
|
var vMin = v1.min(v2); // 2.0
|
|
Expect.equals(vMin.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vMin.extractLane(1).toDouble(), 2.0);
|
|
|
|
// max
|
|
var vMax = v1.max(v2); // 10.5
|
|
Expect.equals(vMax.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(vMax.extractLane(1).toDouble(), 10.5);
|
|
|
|
// ceil
|
|
var vCeil = WasmF64x2.splat(WasmF64.fromDouble(1.1)).ceil();
|
|
Expect.equals(vCeil.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vCeil.extractLane(1).toDouble(), 2.0);
|
|
|
|
// floor
|
|
var vFloor = WasmF64x2.splat(WasmF64.fromDouble(1.9)).floor();
|
|
Expect.equals(vFloor.extractLane(0).toDouble(), 1.0);
|
|
Expect.equals(vFloor.extractLane(1).toDouble(), 1.0);
|
|
|
|
// trunc
|
|
var vTrunc = WasmF64x2.splat(WasmF64.fromDouble(1.9)).trunc();
|
|
Expect.equals(vTrunc.extractLane(0).toDouble(), 1.0);
|
|
Expect.equals(vTrunc.extractLane(1).toDouble(), 1.0);
|
|
|
|
// nearest
|
|
var vNearest = WasmF64x2.splat(WasmF64.fromDouble(1.6)).nearest();
|
|
Expect.equals(vNearest.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vNearest.extractLane(1).toDouble(), 2.0);
|
|
|
|
// Comparisons
|
|
// eq
|
|
var vEq = v1.eq(WasmF64x2.splat(WasmF64.fromDouble(10.5)));
|
|
_expectCmpTrue(vEq.extractLane(0).toInt());
|
|
_expectCmpTrue(vEq.extractLane(1).toInt());
|
|
vEq = v1.eq(WasmF64x2.splat(WasmF64.fromDouble(11.5)));
|
|
_expectCmpFalse(vEq.extractLane(0).toInt());
|
|
_expectCmpFalse(vEq.extractLane(1).toInt());
|
|
|
|
// lt
|
|
var vLt = v2.lt(v1); // 2.0 < 10.5
|
|
_expectCmpTrue(vLt.extractLane(0).toInt());
|
|
_expectCmpTrue(vLt.extractLane(1).toInt());
|
|
|
|
// le
|
|
var vLe = v2.le(v1);
|
|
_expectCmpTrue(vLe.extractLane(0).toInt());
|
|
_expectCmpTrue(vLe.extractLane(1).toInt());
|
|
|
|
// gt
|
|
var vGt = v1.gt(v2);
|
|
_expectCmpTrue(vGt.extractLane(0).toInt());
|
|
_expectCmpTrue(vGt.extractLane(1).toInt());
|
|
|
|
// ge
|
|
var vGe = v1.ge(v2);
|
|
_expectCmpTrue(vGe.extractLane(0).toInt());
|
|
_expectCmpTrue(vGe.extractLane(1).toInt());
|
|
vGe = v1.ge(v1); // 10.5 >= 10.5 -> true
|
|
_expectCmpTrue(vGe.extractLane(0).toInt());
|
|
_expectCmpTrue(vGe.extractLane(1).toInt());
|
|
|
|
// pmin
|
|
var vPmin = v1.pmin(v2); // pmin(10.5, 2.0) -> 2.0
|
|
Expect.equals(vPmin.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vPmin.extractLane(1).toDouble(), 2.0);
|
|
// NaN handling
|
|
var vNaN = WasmF64x2.splat(WasmF64.fromDouble(double.nan));
|
|
vPmin = v1.pmin(vNaN);
|
|
Expect.equals(
|
|
vPmin.extractLane(0).toDouble(),
|
|
10.5,
|
|
); // pmin(10.5, NaN) -> 10.5
|
|
vPmin = vNaN.pmin(v1);
|
|
Expect.isTrue(
|
|
vPmin.extractLane(0).toDouble().isNaN,
|
|
); // pmin(NaN, 10.5) -> NaN
|
|
|
|
// pmax
|
|
var vPmax = v1.pmax(v2); // pmax(10.5, 2.0) -> 10.5
|
|
Expect.equals(vPmax.extractLane(0).toDouble(), 10.5);
|
|
Expect.equals(vPmax.extractLane(1).toDouble(), 10.5);
|
|
|
|
// NaN handling
|
|
vPmax = v1.pmax(vNaN);
|
|
Expect.equals(
|
|
vPmax.extractLane(0).toDouble(),
|
|
10.5,
|
|
); // pmax(10.5, NaN) -> 10.5
|
|
vPmax = vNaN.pmax(v1);
|
|
Expect.isTrue(
|
|
vPmax.extractLane(0).toDouble().isNaN,
|
|
); // pmax(NaN, 10.5) -> NaN
|
|
|
|
// shuffle
|
|
var vMixed = WasmF64x2.fromLaneValues(1.0.toWasmF64(), 2.0.toWasmF64());
|
|
var vSwapped = vMixed.shuffle(vMixed, const [1, 0]);
|
|
Expect.equals(vSwapped.extractLane(0).toDouble(), 2.0);
|
|
Expect.equals(vSwapped.extractLane(1).toDouble(), 1.0);
|
|
var vDup = vMixed.shuffle(vMixed, const [0, 0]);
|
|
Expect.equals(vDup.extractLane(0).toDouble(), 1.0);
|
|
Expect.equals(vDup.extractLane(1).toDouble(), 1.0);
|
|
}
|
|
|
|
void _testV128() {
|
|
// Use WasmI32x4 as a concrete WasmV128
|
|
var v1 = WasmI32x4.splat(WasmI32.fromInt(0xAAAAAAAA));
|
|
var v2 = WasmI32x4.splat(WasmI32.fromInt(0x55555555));
|
|
// & with heterogeneous lanes
|
|
var v3 = WasmI32x4.splat(WasmI32.fromInt(0x12345678))
|
|
.replaceLane(1, WasmI32.fromInt(0x9ABCDEF0))
|
|
.replaceLane(2, WasmI32.fromInt(0x0FEDCBA9))
|
|
.replaceLane(3, WasmI32.fromInt(0x87654321));
|
|
var v4 = WasmI32x4.splat(WasmI32.fromInt(0x87654321))
|
|
.replaceLane(1, WasmI32.fromInt(0x0FEDCBA9))
|
|
.replaceLane(2, WasmI32.fromInt(0x9ABCDEF0))
|
|
.replaceLane(3, WasmI32.fromInt(0x12345678));
|
|
|
|
// ~
|
|
var vNot = WasmI32x4(~v1);
|
|
Expect.equals(vNot.extractLane(0).toIntUnsigned(), 0x55555555);
|
|
|
|
// &
|
|
var vAnd = WasmI32x4(v1 & v2);
|
|
_expectCmpFalse(vAnd.extractLane(0).toIntSigned());
|
|
|
|
var vAnd2 = WasmI32x4(v3 & v4);
|
|
Expect.equals(vAnd2.extractLane(0).toIntUnsigned(), 0x12345678 & 0x87654321);
|
|
Expect.equals(vAnd2.extractLane(1).toIntUnsigned(), 0x9ABCDEF0 & 0x0FEDCBA9);
|
|
Expect.equals(vAnd2.extractLane(2).toIntUnsigned(), 0x0FEDCBA9 & 0x9ABCDEF0);
|
|
Expect.equals(vAnd2.extractLane(3).toIntUnsigned(), 0x87654321 & 0x12345678);
|
|
|
|
// |
|
|
var vOr = WasmI32x4(v1 | v2);
|
|
_expectCmpTrue(vOr.extractLane(0).toIntSigned());
|
|
|
|
// | with heterogeneous lanes
|
|
var vOr2 = WasmI32x4(v3 | v4);
|
|
Expect.equals(vOr2.extractLane(0).toIntUnsigned(), 0x12345678 | 0x87654321);
|
|
Expect.equals(vOr2.extractLane(1).toIntUnsigned(), 0x9ABCDEF0 | 0x0FEDCBA9);
|
|
Expect.equals(vOr2.extractLane(2).toIntUnsigned(), 0x0FEDCBA9 | 0x9ABCDEF0);
|
|
Expect.equals(vOr2.extractLane(3).toIntUnsigned(), 0x87654321 | 0x12345678);
|
|
|
|
// xor
|
|
var vXor = WasmI32x4(v1 ^ v1);
|
|
_expectCmpFalse(vXor.extractLane(0).toIntSigned());
|
|
|
|
// ^ with heterogeneous lanes
|
|
var vXor2 = WasmI32x4(v3 ^ v4);
|
|
Expect.equals(vXor2.extractLane(0).toIntUnsigned(), 0x12345678 ^ 0x87654321);
|
|
Expect.equals(vXor2.extractLane(1).toIntUnsigned(), 0x9ABCDEF0 ^ 0x0FEDCBA9);
|
|
Expect.equals(vXor2.extractLane(2).toIntUnsigned(), 0x0FEDCBA9 ^ 0x9ABCDEF0);
|
|
Expect.equals(vXor2.extractLane(3).toIntUnsigned(), 0x87654321 ^ 0x12345678);
|
|
|
|
// andNot
|
|
var vAndNot = WasmI32x4(v1.andNot(v1));
|
|
_expectCmpFalse(vAndNot.extractLane(0).toIntSigned());
|
|
|
|
// andNot with heterogeneous lanes
|
|
var vAndNot2 = WasmI32x4(v3.andNot(v4));
|
|
Expect.equals(
|
|
vAndNot2.extractLane(0).toIntUnsigned(),
|
|
0x12345678 & ~0x87654321,
|
|
);
|
|
Expect.equals(
|
|
vAndNot2.extractLane(1).toIntUnsigned(),
|
|
0x9ABCDEF0 & ~0x0FEDCBA9,
|
|
);
|
|
Expect.equals(
|
|
vAndNot2.extractLane(2).toIntUnsigned(),
|
|
0x0FEDCBA9 & ~0x9ABCDEF0,
|
|
);
|
|
Expect.equals(
|
|
vAndNot2.extractLane(3).toIntUnsigned(),
|
|
0x87654321 & ~0x12345678,
|
|
);
|
|
|
|
// bitSelect
|
|
var mask = WasmI32x4.splat(WasmI32.fromInt(0xFFFFFFFF));
|
|
var vSel = WasmI32x4(mask.bitSelect(v1, v2));
|
|
Expect.equals(vSel.extractLane(0).toIntUnsigned(), 0xAAAAAAAA);
|
|
|
|
mask = WasmI32x4.splat(WasmI32.fromInt(0));
|
|
vSel = WasmI32x4(mask.bitSelect(v1, v2));
|
|
Expect.equals(vSel.extractLane(0).toIntUnsigned(), 0x55555555);
|
|
|
|
// bitSelect with heterogeneous mask and lanes
|
|
var mask2 = WasmI32x4.splat(WasmI32.fromInt(0xF0F0F0F0))
|
|
.replaceLane(1, WasmI32.fromInt(0x0F0F0F0F))
|
|
.replaceLane(2, WasmI32.fromInt(0x0AAAAAAA))
|
|
.replaceLane(3, WasmI32.fromInt(0x05555555));
|
|
var vSel2 = WasmI32x4(mask2.bitSelect(v3, v4));
|
|
|
|
int bitSelect(int m, int a, int b) => (a & m) | (b & ~m);
|
|
|
|
Expect.equals(
|
|
vSel2.extractLane(0).toIntUnsigned(),
|
|
bitSelect(0xF0F0F0F0, 0x12345678, 0x87654321),
|
|
);
|
|
Expect.equals(
|
|
vSel2.extractLane(1).toIntUnsigned(),
|
|
bitSelect(0x0F0F0F0F, 0x9ABCDEF0, 0x0FEDCBA9),
|
|
);
|
|
Expect.equals(
|
|
vSel2.extractLane(2).toIntUnsigned(),
|
|
bitSelect(0x0AAAAAAA, 0x0FEDCBA9, 0x9ABCDEF0),
|
|
);
|
|
Expect.equals(
|
|
vSel2.extractLane(3).toIntUnsigned(),
|
|
bitSelect(0x05555555, 0x87654321, 0x12345678),
|
|
);
|
|
|
|
// anyTrue
|
|
var vZero = WasmI32x4.splat(WasmI32.fromInt(0));
|
|
Expect.isFalse(vZero.anyTrue);
|
|
var vNonZero = WasmI32x4.splat(WasmI32.fromInt(1));
|
|
Expect.isTrue(vNonZero.anyTrue);
|
|
var vOneBit = WasmI32x4.splat(
|
|
WasmI32.fromInt(0),
|
|
).replaceLane(0, WasmI32.fromInt(1));
|
|
Expect.isTrue(vOneBit.anyTrue);
|
|
}
|
|
|
|
void _expectCmpTrue(int v) => Expect.equals(v, -1);
|
|
void _expectCmpFalse(int v) => Expect.equals(v, 0);
|