From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 5 Aug 2022 23:56:47 +0000 (+0100)
Subject: Revert "comment out mfcr in sv_analysis.py for now"
X-Git-Tag: sv_maxu_works-initial~181
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ce85c3ec9e9b07dfbdc605a39792ebddeeb7189f;p=openpower-isa.git

Revert "comment out mfcr in sv_analysis.py for now"

This reverts commit 241092bc55fbab8e1eb15fd6954fc6a7c4699ccf.
---

diff --git a/src/openpower/sv/sv_analysis.py b/src/openpower/sv/sv_analysis.py
index 06b4d8eb..0f00dd74 100644
--- a/src/openpower/sv/sv_analysis.py
+++ b/src/openpower/sv/sv_analysis.py
@@ -600,10 +600,9 @@ def process_csvs(format):
                 elif name == 'CRio' and insn_name == 'mcrf':
                     res['0'] = 'd:BF'  # BFA: Rdest1_EXTRA3
                     res['1'] = 's:BFA'  # BFA: Rsrc1_EXTRA3
-                # bodged: need to define what "CR" is
-                # XXX elif 'mfcr' in insn_name or 'mfocrf' in insn_name:
-                # XXX    res['0'] = 'd:RT'  # RT: Rdest1_EXTRA3
-                # XXX    res['1'] = 's:CR'  # CR: Rsrc1_EXTRA3
+                elif 'mfcr' in insn_name or 'mfocrf' in insn_name:
+                    res['0'] = 'd:RT'  # RT: Rdest1_EXTRA3
+                    res['1'] = 's:CR'  # CR: Rsrc1_EXTRA3
                 elif insn_name == 'setb':
                     res['0'] = 'd:RT'  # RT: Rdest1_EXTRA3
                     res['1'] = 's:BFA'  # BFA: Rsrc1_EXTRA3