From faa35b1dabc8b868d9c80af5852a56fbe99ca79a Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Mon, 4 Oct 2021 00:42:29 +0100
Subject: [PATCH]

---
 openpower/sv/svp64/extsxl.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpower/sv/svp64/extsxl.mdwn b/openpower/sv/svp64/extsxl.mdwn
index 4fd8df56d..96793d44d 100644
--- a/openpower/sv/svp64/extsxl.mdwn
+++ b/openpower/sv/svp64/extsxl.mdwn
@@ -5,7 +5,7 @@
             self.XLEN = XLEN
 
         def EXTSXL(self, value, bits):
-            bits = min(bits, self.XLEN)
+            bits = min(bits, self.XLEN) # strangely this is redundant
             return SelectableInt(exts(value.value, bits), self.XLEN)
 
 # Table
-- 
2.30.2