From f81eefa62f0e3475028f0daf5f8295844c300662 Mon Sep 17 00:00:00 2001 From: Wonho Date: Fri, 26 Jan 2024 14:15:24 +0900 Subject: [PATCH] Generalize vector ops --- spectec/spec/wasm-2.0/1-syntax.watsup | 6 ++++-- spectec/spec/wasm-3.0/1-syntax.watsup | 6 ++++-- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/spectec/spec/wasm-2.0/1-syntax.watsup b/spectec/spec/wasm-2.0/1-syntax.watsup index c2d25ebe4d..7d863f84cc 100644 --- a/spectec/spec/wasm-2.0/1-syntax.watsup +++ b/spectec/spec/wasm-2.0/1-syntax.watsup @@ -210,6 +210,8 @@ syntax shiftopVIXX = | SHL | SHR sx syntax unopVFXX = | ABS | NEG | SQRT | CEIL | FLOOR | TRUNC | NEAREST syntax binopVFXX = | ADD | SUB | MUL | DIV | MIN | MAX | PMIN | PMAX +syntax viunop = | unopVIXX | POPCNT +syntax vibinop = | binopVIXX | minmaxopVIXX | satbinopVIXX | MUL | AVGR_U | Q15MULR_SAT_S syntax unop_vvectype = | _VV unopVVXX syntax binop_vvectype = | _VV binopVVXX @@ -217,8 +219,8 @@ syntax ternop_vvectype = | _VV ternopVVXX syntax testop_vvectype = | _VV testopVVXX syntax shiftop_vectype = | _VI shiftopVIXX -syntax unop_vectype = | _VI unopVIXX | _VF unopVFXX | POPCNT -syntax binop_vectype = | _VI binopVIXX minmaxopVIXX satbinopVIXX | _VF binopVFXX | MUL | AVGR_U | Q15MULR_SAT_S +syntax unop_vectype = | _VI viunop | _VF unopVFXX +syntax binop_vectype = | _VI vibinop | _VF binopVFXX syntax testop_vectype = | _VI testopVIXX syntax relop_vectype = | _VI relopVIXX | _VF relopVFXX syntax cvtop_vectype = | EXTEND | TRUNC_SAT | CONVERT | DEMOTE | PROMOTE diff --git a/spectec/spec/wasm-3.0/1-syntax.watsup b/spectec/spec/wasm-3.0/1-syntax.watsup index b2a306a6de..83b6bf063f 100644 --- a/spectec/spec/wasm-3.0/1-syntax.watsup +++ b/spectec/spec/wasm-3.0/1-syntax.watsup @@ -271,6 +271,8 @@ syntax shiftopVIXX = | SHL | SHR sx syntax unopVFXX = | ABS | NEG | SQRT | CEIL | FLOOR | TRUNC | NEAREST syntax binopVFXX = | ADD | SUB | MUL | DIV | MIN | MAX | PMIN | PMAX +syntax viunop = | unopVIXX | POPCNT +syntax vibinop = | binopVIXX | minmaxopVIXX | satbinopVIXX | MUL | AVGR_U | Q15MULR_SAT_S syntax unop_vvectype = | _VV unopVVXX syntax binop_vvectype = | _VV binopVVXX @@ -278,8 +280,8 @@ syntax ternop_vvectype = | _VV ternopVVXX syntax testop_vvectype = | _VV testopVVXX syntax shiftop_vectype = | _VI shiftopVIXX -syntax unop_vectype = | _VI unopVIXX | _VF unopVFXX | POPCNT -syntax binop_vectype = | _VI binopVIXX minmaxopVIXX satbinopVIXX | _VF binopVFXX | MUL | AVGR_U | Q15MULR_SAT_S +syntax unop_vectype = | _VI viunop | _VF unopVFXX +syntax binop_vectype = | _VI vibinop | _VF binopVFXX syntax testop_vectype = | _VI testopVIXX syntax relop_vectype = | _VI relopVIXX | _VF relopVFXX syntax cvtop_vectype = | EXTEND | TRUNC_SAT | CONVERT | DEMOTE | PROMOTE