diff options
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"); |