[PATCH] D64650: Add a TargetMachineVerifier that runs along with the existing MachineVerifier

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

The current target verification problems I have are:

- Verifying legal register bank mappings, so I don't have to defend against them in InstructionSelect
- Verifying G_INTRINSIC operand types and numbers. There's missing API to do this.
- Verifying some target IR constraints, in an IR verifier
- Verifying some special block level properties for exec masking, which is the only category I would probably want to put in this pass


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D64650/new/

https://reviews.llvm.org/D64650