From d73ac324e6ace2a190bf9a1af4ebd1638dd26d48 Mon Sep 17 00:00:00 2001 From: Rao Xiaojia Date: Tue, 2 Jul 2024 11:08:14 +0100 Subject: [PATCH] [spec] Typo in rules for vector load/store_lane (#1763) --- document/core/valid/instructions.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst index 44bd241912..6a8a110a57 100644 --- 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 [] }