]> granicus.if.org Git - llvm/commit
CodeGen: Assert that liveness is up to date when reading block live-ins.
authorMatthias Braun <matze@braunis.de>
Thu, 5 Jan 2017 20:01:19 +0000 (20:01 +0000)
committerMatthias Braun <matze@braunis.de>
Thu, 5 Jan 2017 20:01:19 +0000 (20:01 +0000)
commit4700463eb14e91dd8c370fa354ac315b77a9bb6a
tree706ebbd3c904a9d139caaa536cba15759c08fad6
parent795e15e39884fcf17cfd1ddd078dd05cb6fe2cef
CodeGen: Assert that liveness is up to date when reading block live-ins.

Add an assert that checks whether liveins are up to date before they are
used.

- Do not print liveins into .mir files anymore in situations where they
  are out of date anyway.
- The assert in the RegisterScavenger is superseded by the new one in
  livein_begin().
- Skip parts of the liveness updating logic in IfConversion.cpp when
  liveness isn't tracked anymore (just enough to avoid hitting the new
  assert()).

Differential Revision: https://reviews.llvm.org/D27562

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@291169 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/CodeGen/MachineBasicBlock.h
lib/CodeGen/IfConversion.cpp
lib/CodeGen/MIRPrinter.cpp
lib/CodeGen/MachineBasicBlock.cpp
lib/CodeGen/MachineVerifier.cpp
lib/CodeGen/RegisterScavenging.cpp
test/CodeGen/AArch64/machine-scheduler.mir
test/CodeGen/MIR/X86/basic-block-liveins.mir
test/CodeGen/MIR/X86/machine-verifier.mir
test/CodeGen/X86/tail-call-conditional.mir