bug 1034: add crbinlog and crternlogi, rename crbinlog to crfbinlog

[openpower-isa.git] / src / openpower / sv / sv_analysis.py

diff --git a/src/openpower/sv/sv_analysis.py b/src/openpower/sv/sv_analysis.py
index b0e2ae4aae3aebc0906798a8a380aa34102dc24a..cc011e0a2d13ec302a28771d2167ee34f0585126 100644 (file)
--- a/src/openpower/sv/sv_analysis.py
+++ b/src/openpower/sv/sv_analysis.py
@@ -546,10 +546,14 @@ def extra_classifier(insn_name, value, name, res, regs):
 
     elif value == 'RM-1P-2S1D':
         res['Etype'] = 'EXTRA3'  # RM EXTRA3 type
-        if insn_name in ['crbinlog', 'crternlogi']:
+        if insn_name in ['crfbinlog', 'crfternlogi']:
             res['0'] = 'd:BF'  # BF: Rdest1_EXTRA3
             res['1'] = 's:BFA'  # BFA: Rsrc1_EXTRA3
             res['2'] = 's:BFB'  # BFB: Rsrc2_EXTRA3
+        elif insn_name == 'crbinlog':
+            res['0'] = 'd:BT'  # BT: Rdest1_EXTRA3
+            res['1'] = 's:BA'  # BA: Rsrc1_EXTRA3
+            res['2'] = 's:BFB'  # BFB: Rsrc2_EXTRA3
         elif insn_name.startswith('cr'):
             res['0'] = 'd:BT'  # BT: Rdest1_EXTRA3
             res['1'] = 's:BA'  # BA: Rsrc1_EXTRA3