[spec] Typo in rules for vector load/store_lane (#1763)

WebAssembly · Jul 2, 2024 · d73ac32 · d73ac32
1 parent 2e6b128
commit d73ac32
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -1098,7 +1098,7 @@ Memory Instructions
      \qquad
      C.\CMEMS[0] = \memtype
      \qquad
-     2^{\memarg.\ALIGN} < N/8
+     2^{\memarg.\ALIGN} \leq N/8
    }{
      C \vdashinstr \K{v128.}\LOAD{N}\K{\_lane}~\memarg~\laneidx : [\I32~\V128] \to [\V128]
    }
@@ -1122,7 +1122,7 @@ Memory Instructions
      \qquad
      C.\CMEMS[0] = \memtype
      \qquad
-     2^{\memarg.\ALIGN} < N/8
+     2^{\memarg.\ALIGN} \leq N/8
    }{
      C \vdashinstr \K{v128.}\STORE{N}\K{\_lane}~\memarg~\laneidx : [\I32~\V128] \to []
    }