projects / libreriscv.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 73fd8da)
updating sv_analys.py svp64 table
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 24 Dec 2020 00:21:07 +0000 (00:21 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 24 Dec 2020 00:21:15 +0000 (00:21 +0000)
openpower/opcode_regs_deduped.mdwn patch | blob | history
openpower/sv_analysis.py patch | blob | history

diff --git a/openpower/opcode_regs_deduped.mdwn b/openpower/opcode_regs_deduped.mdwn
index 9fc9336afb54c23b3ce71c2bab5b9d0d15e252f7..16716967171e5115cdecd3ff878c7cb40c9a35de 100644 (file)
--- a/openpower/opcode_regs_deduped.mdwn
+++ b/openpower/opcode_regs_deduped.mdwn
@@ -912,63 +912,63 @@ modsw | 1P | EXTRA3 | d:RT | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | NONE
 
 [[!table  data="""
 insn | Ptype | Etype | 0 | 1 | 2 | 3 |
-rlwnm | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-rldcl | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-rldcr | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-subfc | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhdu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-addc | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhwu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-slw | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-sld | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
+rlwnm | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+rldcl | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+rldcr | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+subfc | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhdu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+addc | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhwu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+slw | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+sld | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
 and | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-subf | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+subf | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 andc | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-mulhd | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhw | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhd | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhw | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 nor | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-subfe | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-adde | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulld | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mullw | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-add | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+subfe | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+adde | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulld | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mullw | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+add | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 eqv | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
 xor | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-divdeu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divweu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+divdeu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divweu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 orc | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-divde | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divwe | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+divde | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divwe | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 or | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-divdu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divwu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+divdu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divwu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 nand | 1P | EXTRA3 | TODO |  |  |  | RS | RB | NONE | RA | NONE | CR0 |
-divd | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divw | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-subfco | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhdu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-addco | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhwu | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-srw | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-srd | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-subfo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhd | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulhw | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-subfeo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-addeo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mulldo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-mullwo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-addo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-sraw | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-srad | 1P | EXTRA3 | TODO |  |  |  | NONE | RB | RS | RA | NONE | CR0 |
-divdeuo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divweuo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divdeo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divweo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divduo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divwuo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divdo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
-divwo | 1P | EXTRA3 | TODO |  |  |  | RA | RB | NONE | RT | NONE | CR0 |
+divd | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divw | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+subfco | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhdu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+addco | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhwu | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+srw | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+srd | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+subfo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhd | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulhw | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+subfeo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+addeo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mulldo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+mullwo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+addo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+sraw | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+srad | 1P | EXTRA3 | d:RA,d:CR0 | s:RB | s:RS |  | NONE | RB | RS | RA | NONE | CR0 |
+divdeuo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divweuo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divdeo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divweo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divduo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divwuo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divdo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
+divwo | 1P | EXTRA3 | d:RT,d:CR0 | s:RA | s:RB |  | RA | RB | NONE | RT | NONE | CR0 |
 """]]
 
 ## 2R-1W-CRo (RM-1P-2S1D)
diff --git a/openpower/sv_analysis.py b/openpower/sv_analysis.py
index 2531f2252bde6c5d33e59bd22a473d3dc23a8c82..82ea368472195d0cbd0b76648173149290e412bb 100644 (file)
--- a/openpower/sv_analysis.py
+++ b/openpower/sv_analysis.py
@@ -455,6 +455,14 @@ def process_csvs():
                     res['0'] = 'd:BF' # BF: Rdest1_EXTRA3
                     res['1'] = 's:RA' # RA: Rsrc1_EXTRA3
                     res['2'] = 's:RB' # RB: Rsrc1_EXTRA3
+                elif regs == ['','RB','RS','RA','','CR0']:
+                    res['0'] = 'd:RA,d:CR0' # RA,CR0: Rdest1_EXTRA3
+                    res['1'] = 's:RB' # RB: Rsrc1_EXTRA3
+                    res['2'] = 's:RS' # RS: Rsrc1_EXTRA3
+                elif regs == ['RA','RB','','RT','','CR0']:
+                    res['0'] = 'd:RT,d:CR0' # RT,CR0: Rdest1_EXTRA3
+                    res['1'] = 's:RA' # RA: Rsrc1_EXTRA3
+                    res['2'] = 's:RB' # RB: Rsrc1_EXTRA3
                 else:
                     res['0'] = 'TODO'
 
http://libre-riscv.org ikiwiki