From 06f576f2cf115f5f52e202a0faae62467d3e59dc Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 27 Jan 2024 20:18:07 +0000
Subject: [PATCH] bug 1034: add first version of sv.crternlogi unit test

---
 openpower/isatables/RM-1P-2S1D.csv            |  1 +
 src/openpower/test/bitmanip/bitmanip_cases.py | 44 +++++++++++++++++++
 2 files changed, 45 insertions(+)

diff --git a/openpower/isatables/RM-1P-2S1D.csv b/openpower/isatables/RM-1P-2S1D.csv
index bd27cc29..cf3d8493 100644
--- a/openpower/isatables/RM-1P-2S1D.csv
+++ b/openpower/isatables/RM-1P-2S1D.csv
@@ -9,6 +9,7 @@ crorc,CROP,,1P,EXTRA3,NO,d:BT,s:BA,s:BB,0,0,0,0,0,BA_BB,BT,0
 cror,CROP,,1P,EXTRA3,NO,d:BT,s:BA,s:BB,0,0,0,0,0,BA_BB,BT,0
 crfbinlog,CROP,,1P,EXTRA3,NO,d:BF,s:BFA,s:BFB,0,0,0,0,0,BFA_BFB_BF,BF,0
 crbinlog,CROP,,1P,EXTRA3,NO,d:BT,s:BA,s:BFB,0,0,0,0,0,BA_BFB,BT,0
+crternlogi,CROP,,1P,EXTRA3,NO,d:BT,s:BA,s:BB,0,0,0,0,0,BA_BB,BT,0
 crfternlogi,CROP,,1P,EXTRA3,NO,d:BF,s:BFA,s:BFB,0,0,0,0,0,BFA_BFB_BF,BF,0
 cmp,CROP,,1P,EXTRA3,NO,d:BF,s:RA,s:RB,0,RA,RB,0,0,0,BF,0
 cmpl,CROP,,1P,EXTRA3,NO,d:BF,s:RA,s:RB,0,RA,RB,0,0,0,BF,0
diff --git a/src/openpower/test/bitmanip/bitmanip_cases.py b/src/openpower/test/bitmanip/bitmanip_cases.py
index 931ba7fb..becdad28 100644
--- a/src/openpower/test/bitmanip/bitmanip_cases.py
+++ b/src/openpower/test/bitmanip/bitmanip_cases.py
@@ -389,3 +389,47 @@ class BitManipTestCase(TestAccumulatorBase):
             res =[hex(e.intregs[10 + i]) for i in range(VL)]
             with self.subTest(case_idx=idx, RS_in=RS, expected_RA=res):
                 self.add_case(prog, gprs, expected=e, initial_svstate=svstate)
+
+    def do_case_sv_crternlogi(self, idx, bt, ba, bb, imm):
+        lst = ["sv.crternlogi 0,8,16,%d" % imm]
+        # set up CR to match bt bit 0, ba bit 4, bb bit 8, in MSB0 order
+        # bearing in mind that CRFields.cr is a 64-bit SelectableInt. sigh.
+        cr = CRFields()
+        for i, (t, a, b) in enumerate(zip(bt, ba, bb)):
+            cr.cr[32+i+0] = t
+            cr.cr[32+i+8] = a
+            cr.cr[32+i+16] = b
+        initial_cr = cr.cr.asint()
+        print("initial cr", bin(initial_cr), bt, ba, bb,
+              "tli", bin(imm), lst)
+
+        lst = list(SVP64Asm(lst, bigendian))
+        e = ExpectedState(pc=8)
+        for i, (t, a, b) in enumerate(zip(bt, ba, bb)):
+            k,j = i >> 2, (3 - (i % 4))
+            expected = crternlogi(t, a, b, imm) << j
+            e.crregs[k+0] |= crternlogi(t, a, b, imm) << j
+            e.crregs[k+2] |= a << j
+            e.crregs[k+4] |= b << j
+        with self.subTest(case_idx=idx):
+            VL = len(bt)
+            svstate = SVP64State()
+            svstate.vl = VL
+            svstate.maxvl = VL
+            self.add_case(Program(lst, bigendian), initial_regs=None,
+                          expected=e,
+                          initial_cr=initial_cr,
+                          initial_svstate=svstate)
+
+    def case_sv_crternlogi(self):
+        for i in range(1):
+            bt, ba, bb = [], [], []
+            for j in range(2):
+                t = hash_256("crternlogi bt %d %d" % (i, j)) & 1
+                a = hash_256("crternlogi ba %d %d" % (i, j)) & 1
+                b = hash_256("crternlogi bb %d %d" % (i, j)) & 1
+                bt.append(t)
+                ba.append(a)
+                bb.append(b)
+            imm = hash_256("crternlogi imm %d" % (i)) & 0xFF
+            self.do_case_sv_crternlogi(i, bt, ba, bb, imm)
-- 
2.30.2