From 4aa5e38ad60cfb55c69a5f00e9fbed44b8e4b392 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 11 Dec 2021 15:19:48 +0000
Subject: [PATCH] remove ROTL64(1, idx), just use TLI[7-idx] it is shorter and
 readable

---
 openpower/isa/bitmanip.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpower/isa/bitmanip.mdwn b/openpower/isa/bitmanip.mdwn
index 46cddc44..f428bd1b 100644
--- a/openpower/isa/bitmanip.mdwn
+++ b/openpower/isa/bitmanip.mdwn
@@ -12,7 +12,7 @@ Pseudo-code:
     result <- [0] * XLEN
     do i = 0 to XLEN - 1
       idx <- (RT)[i] || (RA)[i] || (RB)[i]
-      result[i] <- (TLI & ROTL64(1, idx)) != 0
+      result[i] <- TLI[7-idx]
     RT <- result
 
 Special Registers Altered:
-- 
2.30.2