target-arm: A64: Add assertion that FP access was checked
authorPeter Maydell <peter.maydell@linaro.org>
Tue, 15 Apr 2014 18:18:40 +0000 (19:18 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 17 Apr 2014 20:34:03 +0000 (21:34 +0100)
commit90e496386fe7fd32c189561f846b7913f95b8cf4
tree7b16f13b257464c0c19bd6de4fc73d152551be54
parent8c6afa6ab158467d1938cc92022135bc7a872006
target-arm: A64: Add assertion that FP access was checked

Because unallocated encodings generate different exception syndrome
information from traps due to FP being disabled, we can't do a single
"is fp access disabled" check at a high level in the decode tree.
To help in catching bugs where the access check was forgotten in some
code path, we set this flag when the access check is done, and assert
that it is set at the point where we actually touch the FP regs.

This requires us to pass the DisasContext to the vec_reg_offset
and fp_reg_offset functions.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Peter Crosthwaite <peter.crosthwaite@xilinx.com>
target-arm/translate-a64.c
target-arm/translate.h