update sv_analysis

diff --git a/openpower/isatables/RM-2P-1S1D.csv b/openpower/isatables/RM-2P-1S1D.csv
index 8d27dd75f1bca23e73750394d5cf7e46d30cf2b0..634d3fb0b51927deb80a905032c144b82ea5dd9c 100644 (file)
--- a/openpower/isatables/RM-2P-1S1D.csv
+++ b/openpower/isatables/RM-2P-1S1D.csv
@@ -3,7 +3,7 @@ mcrf,2P,EXTRA3,d:BF,s:BFA,0,0,0,0,0,0,BFA,BF
 mfcr/mfocrf,2P,EXTRA3,d:RT,s:CR,0,0,0,0,0,RT,WHOLE_REG,0
 setb,2P,EXTRA3,d:RT,s:BFA,0,0,0,0,0,RT,BFA,0
 5/0=ftsqrt,2P,EXTRA3,d:BF,s:FRB,0,0,0,FRB,0,0,0,BF
-22/7=mtfsf,2P,EXTRA3,TODO,0,0,0,0,FRB,0,0,0,CR1
+22/7=mtfsf,2P,EXTRA3,d:CR1,s:FRB,0,0,0,FRB,0,0,0,CR1
 cmpli,2P,EXTRA3,d:BF,s:RA,0,0,RA,0,0,0,0,BF
 cmpi,2P,EXTRA3,d:BF,s:RA,0,0,RA,0,0,0,0,BF
 neg,2P,EXTRA3,d:RT,s:RA,0,0,RA,0,0,RT,0,0

diff --git a/openpower/sv_analysis.py b/openpower/sv_analysis.py
index 62c83de9e0c08d08bd69cae8a21ef544360c9dc5..b354bb3fceb3b0ab0b26eaa0f584767f9d47b7ec 100644 (file)
--- a/openpower/sv_analysis.py
+++ b/openpower/sv_analysis.py
@@ -452,6 +452,9 @@ def process_csvs():
                 elif regs == ['','FRB','','FRT','0','CR1']:
                     res['0'] = 'd:FRT,d:CR1' # FRT,CR1: Rdest1_EXTRA3
                     res['1'] = 's:FRA' # FRA: Rsrc1_EXTRA3
+                elif regs == ['','FRB','','','','CR1']:
+                    res['0'] = 'd:CR1' # CR1: Rdest1_EXTRA3
+                    res['1'] = 's:FRB' # FRA: Rsrc1_EXTRA3
                 elif regs == ['','FRB','','','','BF']:
                     res['0'] = 'd:BF' # BF: Rdest1_EXTRA3
                     res['1'] = 's:FRB' # FRA: Rsrc1_EXTRA3