tree 0bc446ee91b8d04c84feb3b2ef6a916e5d5bbd62
parent a356dacf647506bccdf8ecd23574246a8bf615ac
author Peter Maydell <peter.maydell@linaro.org> 1556555762 +0100
committer Peter Maydell <peter.maydell@linaro.org> 1556555762 +0100

target/arm: Implement M-profile lazy FP state preservation

The M-profile architecture floating point system supports
lazy FP state preservation, where FP registers are not
pushed to the stack when an exception occurs but are instead
only saved if and when the first FP instruction in the exception
handler is executed. Implement this in QEMU, corresponding
to the check of LSPACT in the pseudocode ExecuteFPCheck().

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20190416125744.27770-24-peter.maydell@linaro.org