diff options
author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-03-09 23:41:44 +0000 |
---|---|---|
committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-03-09 23:41:44 +0000 |
commit | 9ab3dbe617af06627fed2455c93ab9dc6b459951 (patch) | |
tree | 15d272d3f13c6798f4eeeaf4d6348206dfef94bd | |
parent | 6e1beea6bfb668b48c1aca7185a75bf207bcc16c (diff) | |
download | external_llvm-9ab3dbe617af06627fed2455c93ab9dc6b459951.zip external_llvm-9ab3dbe617af06627fed2455c93ab9dc6b459951.tar.gz external_llvm-9ab3dbe617af06627fed2455c93ab9dc6b459951.tar.bz2 |
Assert on SSA errors in LiveVariables.
All uses of a virtual register must be dominated by its def.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152449 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/CodeGen/LiveVariables.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/CodeGen/LiveVariables.cpp b/lib/CodeGen/LiveVariables.cpp index 9c3d255..48e1e4c 100644 --- a/lib/CodeGen/LiveVariables.cpp +++ b/lib/CodeGen/LiveVariables.cpp @@ -109,6 +109,7 @@ void LiveVariables::MarkVirtRegAliveInBlock(VarInfo& VRInfo, // Mark the variable known alive in this bb VRInfo.AliveBlocks.set(BBNum); + assert(MBB != &MF->front() && "Can't find reaching def for virtreg"); WorkList.insert(WorkList.end(), MBB->pred_rbegin(), MBB->pred_rend()); } |