From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 21 Apr 2023 01:05:38 +0000 (-0700)
Subject: switch to ¬ for bitwise not
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9acca4e28d9068f992c184bec20105601590653;p=libreriscv.git

switch to ¬ for bitwise not
---

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