We also need negative tests to check constant bus limitations and VGPR bank conflicts. These tests should be added separately.
Details
Diff Detail
Event Timeline
We also need negative tests to check constant bus limitations and VGPR bank conflicts. These tests should be added separately.
It would be good to have such tests, but the actual functionality to verify the constraints in the assembler would need to be added. We currently do not check those properties in the assembly, only during CodeGen.
Thanks, I know that VOPD validation is missing in the assembler. I'm planning to add it.
Is there any way that we can use the same validation code for both the assembler and SIInstrInfo::verifyInstruction?
IMO, this is hardly feasible because MC layer uses a different representation of instructions and operands than Codegen does. But we may be able to reuse some snippets of SIInstrInfo::verifyInstruction code.