HomePhabricator

MachineVerifier: Improve PHI operand checking

Description

MachineVerifier: Improve PHI operand checking

Additional checks for phi operands:

  • first operand should be a virtual register def. It should not be tied, implicit, internalread, earlyclobber or a read.
  • The other operands should be register/mbb operands next to each other
  • The register operands should not be implicit, internalread, earlyclobber, debug or tied.
  • We can perform most of the PHI checks even for unreachable blocks.

Details

Committed
matzeNov 27 2017, 7:54 PM
Parents
rL319139: lit: Bring back -Dtool=xxx feature lost in r313928
Branches
Unknown
Tags
Unknown