From 26a8043c8fee2fa3b48143efa7d7abca9e98d14d Mon Sep 17 00:00:00 2001 From: lkcl Date: Thu, 20 Apr 2023 16:51:49 +0100 Subject: [PATCH] --- openpower/sv/rfc/ls013.mdwn | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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