From: Luke Kenneth Casson Leighton Date: Thu, 4 May 2023 14:16:06 +0000 (+0100) Subject: maddsubrs no longer has CR0 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad47399d4a19c9c89134783bfaf567c4362c00d5;p=openpower-isa.git maddsubrs no longer has CR0 --- diff --git a/src/openpower/sv/sv_analysis.py b/src/openpower/sv/sv_analysis.py index d0c6128b..499e2892 100644 --- a/src/openpower/sv/sv_analysis.py +++ b/src/openpower/sv/sv_analysis.py @@ -617,6 +617,11 @@ def extra_classifier(insn_name, value, name, res, regs): res['1'] = 's:RA' # RA: Rsrc1_EXTRA2 res['2'] = 's:RB' # RT: Rsrc2_EXTRA2 res['3'] = 's:RT' # RT: Rsrc3_EXTRA2 + elif regs == ['RA', 'RB', 'RT', 'RT', '', '']: # maddsubrs + res['0'] = 'd:RT' # RT: Rdest1_EXTRA2 + res['1'] = 's:RA' # RA: Rsrc1_EXTRA2 + res['2'] = 's:RB' # RT: Rsrc2_EXTRA2 + res['3'] = 's:RT' # RT: Rsrc3_EXTRA2 elif insn_name == 'isel': res['0'] = 'd:RT' # RT: Rdest1_EXTRA2 res['1'] = 's:RA' # RA: Rsrc1_EXTRA2