From: Peter Maydell Date: Mon, 8 Oct 2018 13:55:05 +0000 (+0100) Subject: target/arm: Add v8M stack checks for VLDM/VSTM X-Git-Tag: qemu-xen-4.13.0-rc1~631^2~2 X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=8a954faf5412d5073d585d85a1da63a09bb5d84e;p=qemu-xen.git target/arm: Add v8M stack checks for VLDM/VSTM Add the v8M stack checks for the VLDM/VSTM (aka VPUSH/VPOP) instructions. This code is currently unreachable because we haven't yet implemented M profile floating point support, but since the change is simple, we add it now because otherwise we're likely to forget to do it later. Signed-off-by: Peter Maydell Reviewed-by: Philippe Mathieu-Daudé Reviewed-by: Richard Henderson Message-id: 20181002163556.10279-13-peter.maydell@linaro.org --- diff --git a/target/arm/translate.c b/target/arm/translate.c index ef64d2559d..1b4bacb522 100644 --- a/target/arm/translate.c +++ b/target/arm/translate.c @@ -4229,6 +4229,18 @@ static int disas_vfp_insn(DisasContext *s, uint32_t insn) if (insn & (1 << 24)) /* pre-decrement */ tcg_gen_addi_i32(addr, addr, -((insn & 0xff) << 2)); + if (s->v8m_stackcheck && rn == 13 && w) { + /* + * Here 'addr' is the lowest address we will store to, + * and is either the old SP (if post-increment) or + * the new SP (if pre-decrement). For post-increment + * where the old value is below the limit and the new + * value is above, it is UNKNOWN whether the limit check + * triggers; we choose to trigger. + */ + gen_helper_v8m_stackcheck(cpu_env, addr); + } + if (dp) offset = 8; else