RISC-V: fix stack access before allocation.
commitf7a41b5cfd7406da1f2e5a0f1f813521d3dc2bb2
authorFei Gao <gaofei@eswincomputing.com>
Mon, 28 Nov 2022 16:31:09 +0000 (28 11:31 -0500)
committerJeff Law <jeffreyalaw@gmail.com>
Mon, 28 Nov 2022 16:33:23 +0000 (28 11:33 -0500)
tree15b4936dd55301ab82979d6a9dee701784d20ca7
parentd30e98b54d6a5124bb48b10b593e264f048d38aa
RISC-V: fix stack access before allocation.

In current riscv stack frame allocation, 2 steps are used. The first step allocates memories at least for callee saved GPRs and FPRs, and the second step allocates the rest if stack size is greater than signed 12-bit range. But it's observed in some cases, like gcc.target/riscv/stack_frame.c in my patch, callee saved FPRs fail to be included in the first step allocation, so we get generated instructions like this:

li t0,-16384
addi sp,sp,-48
addi t0,t0,752
...
fsw fs4,-4(sp) #issue here of accessing before allocation
...
add sp,sp,t0

"fsw fs4,-4(sp)" has issue here of accessing stack before allocation. Although "add sp,sp,t0" reserves later the memory for fs4, it exposes a risk when an interrupt comes in between "fsw fs4,-4(sp)" and "add sp,sp,t0", resulting in a corruption in the stack storing fs4 after interrupt context saving and a failure to get the correct value of fs4 later.

This patch fixes issue above, adapts testcases identified in regression tests, and add a new testcase for the change.

gcc/ChangeLog:

* config/riscv/riscv.cc (riscv_first_stack_step): Fix computation
of MIN_FIRST_STEP to cover FP save area too.

gcc/testsuite/ChangeLog:

* gcc.target/riscv/pr93304.c: Adapt testcase for the change, constrain
match to assembly instructions only.
* gcc.target/riscv/rvv/base/spill-11.c: Adapt testcase for the change.
* gcc.target/riscv/stack_frame.c: New test.
gcc/config/riscv/riscv.cc
gcc/testsuite/gcc.target/riscv/pr93304.c
gcc/testsuite/gcc.target/riscv/rvv/base/spill-11.c
gcc/testsuite/gcc.target/riscv/stack_frame.c [new file with mode: 0644]