From: Luke Kenneth Casson Leighton Date: Thu, 24 Dec 2020 00:21:07 +0000 (+0000) Subject: updating sv_analys.py svp64 table X-Git-Tag: convert-csv-opcode-to-binary~990 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=56bc6e2dfb698228fa6c912ab6c9844b5b15231b;p=libreriscv.git updating sv_analys.py svp64 table --- diff --git a/openpower/opcode_regs_deduped.mdwn b/openpower/opcode_regs_deduped.mdwn index 9fc9336af..167169671 100644 --- 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 2531f2252..82ea36847 100644 --- 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'