diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2024-08-08 10:22:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-08 10:22:51 -0700 |
| commit | d945aa489a1ad62c130e04ceea8492c7a728ab57 (patch) | |
| tree | 04e529f11ed8b2dfe9d98f84d25f7bef05f158b0 /src/wasm/wasm-validator.cpp | |
| parent | c9fd92c25a74a70c9730f1b39b49ef3d91a1a7f1 (diff) | |
| download | binaryen-d945aa489a1ad62c130e04ceea8492c7a728ab57.tar.gz binaryen-d945aa489a1ad62c130e04ceea8492c7a728ab57.tar.bz2 binaryen-d945aa489a1ad62c130e04ceea8492c7a728ab57.zip | |
[FP16] Implement lane access instructions. (#6821)
Specified at
https://github.com/WebAssembly/half-precision/blob/main/proposals/half-precision/Overview.md
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index b32917432..6e59ce8d8 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -1272,6 +1272,10 @@ void FunctionValidator::visitSIMDExtract(SIMDExtract* curr) { lane_t = Type::i64; lanes = 2; break; + case ExtractLaneVecF16x8: + lane_t = Type::f32; + lanes = 8; + break; case ExtractLaneVecF32x4: lane_t = Type::f32; lanes = 4; @@ -1318,6 +1322,10 @@ void FunctionValidator::visitSIMDReplace(SIMDReplace* curr) { lane_t = Type::i64; lanes = 2; break; + case ReplaceLaneVecF16x8: + lane_t = Type::f32; + lanes = 8; + break; case ReplaceLaneVecF32x4: lane_t = Type::f32; lanes = 4; @@ -2036,6 +2044,7 @@ void FunctionValidator::visitUnary(Unary* curr) { shouldBeEqual( curr->value->type, Type(Type::i64), curr, "expected i64 splat value"); break; + case SplatVecF16x8: case SplatVecF32x4: shouldBeEqual( curr->type, Type(Type::v128), curr, "expected splat to have v128 type"); |