From a9acca4e28d9068f992c184bec20105601590653 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Thu, 20 Apr 2023 18:05:38 -0700 Subject: [PATCH] =?utf8?q?switch=20to=20=C2=AC=20for=20bitwise=20not?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- openpower/sv/rfc/ls013.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn index 6a1c3ba08..551e4c3ab 100644 --- a/openpower/sv/rfc/ls013.mdwn +++ b/openpower/sv/rfc/ls013.mdwn @@ -241,8 +241,8 @@ semantics therefore Saturated variants of these instructions need not be propose if MMM[1] then # signed mode # invert sign bits to make the unsigned comparison # do signed comparison of the original inputs - a[0] <- !a[0] # convert - b[0] <- !b[0] + a[0] <- ¬a[0] + b[0] <- ¬b[0] if MMM[2] then # max mode # swap a and b to make the less than comparison do # greater than comparison of the original inputs -- 2.30.2