From a4d1b53ff3374a5d7843b0a879a7908334d5bb46 Mon Sep 17 00:00:00 2001
From: Thomas Lively <7121787+tlively@users.noreply.github.com>
Date: Tue, 19 Jan 2021 19:32:10 -0500
Subject: Prototype additional f64x2 conversions (#3501)

As proposed in https://github.com/WebAssembly/simd/pull/383, with opcodes
coordinated with the WIP V8 prototype.
---
 src/wasm/wasm-validator.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/wasm/wasm-validator.cpp')

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");
-- 
cgit v1.2.3