Verify kill flags conservatively.
authorJakob Stoklund Olesen <stoklund@2pi.dk>
Fri, 4 Feb 2011 00:39:18 +0000 (00:39 +0000)
committerJakob Stoklund Olesen <stoklund@2pi.dk>
Fri, 4 Feb 2011 00:39:18 +0000 (00:39 +0000)
commita7b586ba7410dd2dddbfa82a6a57485985747f2c
treec92d5503a3df1756d29737afc919fa909cbd95f3
parent0ed92f2de3b424416b140eec3df9c9342848bfad
Verify kill flags conservatively.

Allow a live range to end with a kill flag, but don't allow a kill flag that
doesn't end the live range.

This makes the machine code verifier more useful during register allocation when
kill flag computation is deferred.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124838 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/MachineVerifier.cpp