diff options
author | Robin Dapp <rdapp@ventanamicro.com> | 2024-11-21 14:49:53 +0100 |
---|---|---|
committer | Robin Dapp <rdapp@ventanamicro.com> | 2024-11-25 16:01:48 +0100 |
commit | b82a5810e7bcc82b933e16f9067879b9d22b85c7 (patch) | |
tree | b993dd2397f6f4834f70f25fd79f925851f581dc /gcc/config.gcc | |
parent | 2e6b3308af6ddf87925321ddd2d387bfd352e410 (diff) | |
download | gcc-b82a5810e7bcc82b933e16f9067879b9d22b85c7.zip gcc-b82a5810e7bcc82b933e16f9067879b9d22b85c7.tar.gz gcc-b82a5810e7bcc82b933e16f9067879b9d22b85c7.tar.bz2 |
RISC-V: Ensure vtype for full-register moves [PR117544].
As discussed in PR117544 the VTYPE register is not preserved across
function calls. Even though vmv1r-like instructions operate
independently of the actual vtype they still require a valid vtype. As
we cannot guarantee that the vtype is valid we must make sure to emit a
vsetvl between a function call and a vmv1r.v.
This patch makes the necessary changes by splitting the full-reg-move
insns into patterns that use the vtype register and adding vmov to the
types of instructions requiring a vset.
PR target/117544
gcc/ChangeLog:
* config/riscv/vector.md (*mov<mode>_whole): Split.
(*mov<mode>_fract): Ditto.
(*mov<mode>): Ditto.
(*mov<mode>_vls): Ditto.
(*mov<mode>_reg_whole_vtype): New pattern with vtype use.
(*mov<mode>_fract_vtype): Ditto.
(*mov<mode>_vtype): Ditto.
(*mov<mode>_vls_vtype): Ditto.
gcc/testsuite/ChangeLog:
* gcc.target/riscv/rvv/base/abi-call-args-4.c: Expect vsetvl.
* gcc.target/riscv/rvv/base/pr117544.c: New test.
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions