tree feb59de05e044ca8e13efccbeded8d31043adf46
parent 8e00703be9ceb41d9b80c2bc8f024a9610b9aaa1
author Luke Lau <luke@igalia.com> 1715787451 +0800
committer GitHub <noreply@github.com> 1715787451 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmRNa7CRC1aQ7uu5UhlAAA0mQQACwT7ues8f9GgmpcPHrnY2on
 eEOYRZ/2Xz+iNTanyxBy7jsb0DyQZcjZj1c1dcc4G1gCXjuWq/vTCF84JFXLwvn5
 bHmFvr0PvmvBsS9TvRqzalyslpLSM9/ZLDri19yOTeKFtUYEv9yQoeFu6BYYKUX/
 6YftXEA/uRFEFROGSzLxsufdr6deiMG1EDBEEsoTcpIBwvGLB+4dny/62Bunek7w
 7u0hsN0j7jjeCrIOaeDRm6K5JSixRu3NRwwIg9UstiMPDix9sCTv9hfN9MAzWwQ/
 lcIxB+G/bORf3cHkKMNPdGwDb3Ab7wMHvj7pqQ09VpEcX10uPs0reI2vQeImrVqG
 EhX3QKu7KOGB7Ramrl6BWcDOvnIODzhKuRzERmJ/HDeY4Dx12naYy+UUVx7FJbWL
 Irej6EBQtjdGF+8aeLqe/RWuTsDCihGs4O2baQgiMcsHnaFKhVUVLUG+OsFf0wCA
 NPowWMAvVjWpmktorbbU8/sy3b8s21pz3lFbYUG7nMLorSpln8kQWrqP/nQ+lVeB
 +BTjWx3vM1eXEI54nWHtwF1KuCLPqsAovT+bji79zRc0q9nv1c1zXIkpPIAScId0
 Oz2LzDQkG0bMjoRHbBZTsZnp1qScxhOXYuy3A3WoRXjQj8TL75P5eTkJatls3QGA
 NnHl2uPuo8OvEHjXZ/3Z
 =v7oN
 -----END PGP SIGNATURE-----
 

[RISCV] Remove hasSideEffects=1 for vsetvli pseudos (#91319)

In a similar vein to #90049, we currently model all of the effects of a
vsetvli pseudo:

* VL and VTYPE are marked as defs
* VL preserving x0,x0 vsetvlis doesn't get emitted until
RISCVInsertVSETVLI, and when they are they have implicit uses on VL
* Regular vector pseudos are fully modelled too: Before
RISCVInsertVSETVLI they can be moved between vsetvli pseudos because we
will eventually insert vsetvlis to correct VL and VTYPE. Afterwards,
they will have implicit uses on VL and VTYPE.

Since we model everything we can remove hasSideEffects=1. This gives us
some improvements like sinking in vsetvli-insert-crossbb.ll.

We need to update RISCVDeadRegisterDefinitions to keep handling vsetvli
pseudos since it only operates on instructions with unmodelled side
effects.