Commit 8a954faf authored by Peter Maydell's avatar Peter Maydell
Browse files

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: default avatarPeter Maydell <peter.maydell@linaro.org>
Reviewed-by: default avatarPhilippe Mathieu-Daudé <philmd@redhat.com>
Reviewed-by: default avatarRichard Henderson <richard.henderson@linaro.org>
Message-id: 20181002163556.10279-13-peter.maydell@linaro.org
parent aa369e5c

target/arm/translate.c

+12 −0
Original line number Diff line number Diff line
@@ -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