From: lkcl Date: Thu, 20 Apr 2023 15:51:49 +0000 (+0100) Subject: (no commit message) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=26a8043c8fee2fa3b48143efa7d7abca9e98d14d;p=libreriscv.git --- diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn index 8145cd18c..4682b3434 100644 --- a/openpower/sv/rfc/ls013.mdwn +++ b/openpower/sv/rfc/ls013.mdwn @@ -250,10 +250,9 @@ semantics therefore Saturated variants of these instructions need not be propose t <- a a <- b b <- t - if a