llvm-project
[MachineVerifier] Improve G_EXTRACT_SUBVECTOR checking
#109202
Merged

[MachineVerifier] Improve G_EXTRACT_SUBVECTOR checking #109202

topperc merged 3 commits into llvm:main from topperc:pr/verify-extract
topperc
topperc [MachineVerifier] Check that the destination of G_EXTRACT_SUBVECTOR i…
1b0dd2b2
topperc topperc requested a review from arsenm arsenm 1 year ago
topperc topperc requested a review from michaelmaitland michaelmaitland 1 year ago
topperc topperc requested a review from tschuett tschuett 1 year ago
michaelmaitland
michaelmaitland commented on 2024-09-18
topperc fixup! address comment. fix bad test case. fix diagnostic message.
70fedddb
topperc topperc changed the title [MachineVerifier] Check that the destination of G_EXTRACT_SUBVECTOR is smaller than the source. [MachineVerifier] Improve G_EXTRACT_SUBVECTOR checking 1 year ago
topperc fixup! Add check for a generic error that's also being emitted
27cd76e1
michaelmaitland
michaelmaitland commented on 2024-09-18
michaelmaitland
michaelmaitland approved these changes on 2024-09-18
topperc topperc merged e494e2a2 into main 1 year ago
topperc topperc deleted the pr/verify-extract branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone