aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-model.c
diff options
context:
space:
mode:
authorGiuseppe Musacchio <thatlemon@gmail.com>2020-11-13 00:01:30 +0100
committerDavid Gibson <david@gibson.dropbear.id.au>2020-12-14 15:53:59 +1100
commit91699dbf30a94dea2575ae193412c364c7f3a5fd (patch)
tree0075a2ec21ddc2c204d465255b18f6044ea2f773 /scripts/coverity-model.c
parentbc92c260f6f0da73d3bdee5e1c2bf38d6f22e20a (diff)
ppc/translate: Raise exceptions after setting the cc
The PowerISA reference states that the comparison operators update the FPCC, CR and FPSCR and, if VE=1, jump to the exception handler. Moving the exception-triggering code after the CC update sequence solves the problem. Signed-off-by: Giuseppe Musacchio <thatlemon@gmail.com> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-Id: <20201112230130.65262-5-thatlemon@gmail.com> Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Diffstat (limited to 'scripts/coverity-model.c')
0 files changed, 0 insertions, 0 deletions