[PATCH] D33650: MachineVerifier: Verify liveins list

[Matthias Braun via Phabricator via llvm-commits]

MatzeB added a comment.

Turns out it isn't even possible to have ARM pass this verifier rule: We currently assume that all CSRs need to be alive at the end of a return block, however LR is modeled as a CSR register, but it does not need to be alive at the end of a return block because it gets copied to PC in the very last instruction.

This was already discovered as part of https://reviews.llvm.org/D33003, I am running into the same problem here.


Repository:
  rL LLVM

https://reviews.llvm.org/D33650