diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-01-19 19:32:10 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-19 16:32:10 -0800 |
| commit | a4d1b53ff3374a5d7843b0a879a7908334d5bb46 (patch) | |
| tree | 6bc7c3fd1ca8850f5fbba27ee850b98343306656 /src/wasm/wasm-validator.cpp | |
| parent | 0f212dfc69306688afa5057e3179aed5af3edc85 (diff) | |
| download | binaryen-a4d1b53ff3374a5d7843b0a879a7908334d5bb46.tar.gz binaryen-a4d1b53ff3374a5d7843b0a879a7908334d5bb46.tar.bz2 binaryen-a4d1b53ff3374a5d7843b0a879a7908334d5bb46.zip | |
Prototype additional f64x2 conversions (#3501)
As proposed in https://github.com/WebAssembly/simd/pull/383, with opcodes
coordinated with the WIP V8 prototype.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 064a151c3..e7055a8b0 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -1890,6 +1890,12 @@ void FunctionValidator::visitUnary(Unary* curr) { case WidenHighSVecI32x4ToVecI64x2: case WidenLowUVecI32x4ToVecI64x2: case WidenHighUVecI32x4ToVecI64x2: + case ConvertLowSVecI32x4ToVecF64x2: + case ConvertLowUVecI32x4ToVecF64x2: + case TruncSatZeroSVecF64x2ToVecI32x4: + case TruncSatZeroUVecF64x2ToVecI32x4: + case DemoteZeroVecF64x2ToVecF32x4: + case PromoteLowVecF32x4ToVecF64x2: shouldBeEqual(curr->type, Type(Type::v128), curr, "expected v128 type"); shouldBeEqual( curr->value->type, Type(Type::v128), curr, "expected v128 operand"); |