[RISCV] Add a test showing overlapping stack offsets with RVV
This test (and its forthcoming fix) was split off from D125787. It shows that the logic we use to determine when we need to add extra RVV padding is insufficient. In this example, we may have a situation involving dynamic stack alignment -- but no variable-sized objects -- where we have no FP but must still use SP to index objects. In this case we also need the extra RVV padding, otherwise objects may overlap. Specifically, the test shows that the RVV vector object may clobber the lowest callee-save. |------------------------------| -- <-- Incoming SP | 4-byte callee-save (ra) | |------------------------------| -- <-- SP + VLENB*2 + 60 | 4-byte callee-save (s0) | |------------------------------| -- <-- SP + VLENB*2 + 56 -- | 4-byte callee-save (s9) | | |------------------------------| -- <-- SP + VLENB*2 + 52 | RVV object(!!) | VLENB*2 RVV object | | |------------------------------| -- <-- SP + 56 -- | 4-byte local object | |------------------------------| -- <-- SP + 32 | Dead area | |------------------------------| -- <-- InSP - 2*VLENB - 64 | Possibly-zero realignment | |------------------------------| -- <-- SP (realigned to 32) This diagram should help show that when SP==InSP -- e.g., when the incoming SP is 32-byte aligned, subtracting 2*VLENB+64 may keep it that way -- the RVV object clobbers the spill of s9. Reviewed By: reames Differential Revision: https://reviews.llvm.org/D125962
Loading
Please sign in to comment