MachineVerifier: Improve PHI operand checking
authorMatthias Braun <matze@braunis.de>
Tue, 28 Nov 2017 03:54:19 +0000 (03:54 +0000)
committerMatthias Braun <matze@braunis.de>
Tue, 28 Nov 2017 03:54:19 +0000 (03:54 +0000)
commita6d5374ee685b43770ea2ac4ffc88cf4fe854906
tree8d3ff4193de10d3064ac59f52dc9b41221a5bf77
parentadf7582d14236c30c2849fed91a35a930eb3b896
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.

llvm-svn: 319140
llvm/lib/CodeGen/MachineVerifier.cpp