bug 1034: clarify CR field encoding (extra/value)

[openpower-isa.git] / src / openpower / test / bitmanip / bitmanip_cases.py

diff --git a/src/openpower/test/bitmanip/bitmanip_cases.py b/src/openpower/test/bitmanip/bitmanip_cases.py
index becdad286339210009421a44eaa51ad485cfb0f5..76b7d603980c1d3b17cd43d84837e115cf2fd3ed 100644 (file)
--- a/src/openpower/test/bitmanip/bitmanip_cases.py
+++ b/src/openpower/test/bitmanip/bitmanip_cases.py
@@ -391,7 +391,7 @@ class BitManipTestCase(TestAccumulatorBase):
                 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]
+        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()