RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-01-08 04:51:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Revert "Do not verify dominator tree if it has no roots"

Browse Source 
This reverts commit r293033, per Danny's comment.  In short, we require
domtrees to have roots at all times.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@293075 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chad Rosier 2017-01-25 17:15:48 +00:00
parent 7fa7cb1d54
commit 43cbae2946
3 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/CodeGen/MachineDominators.cpp
View File

@ -143,10 +143,6 @@ void MachineDominatorTree::applySplitCriticalEdges() const {
}
void MachineDominatorTree::verifyDomTree() const {
if (getRoots().empty())
// If dominator tree is unavailable, skip verification.
return;
MachineFunction &F = *getRoot()->getParent();
MachineDominatorTree OtherDT;

4
lib/IR/Dominators.cpp
View File

@ -291,10 +291,6 @@ bool DominatorTree::isReachableFromEntry(const Use &U) const {
}
void DominatorTree::verifyDomTree() const {
if (getRoots().empty())
// If dominator tree is unavailable, skip verification.
return;
Function &F = *getRoot()->getParent();
DominatorTree OtherDT;

2
test/CodeGen/Generic/externally_available.ll
View File

@ -1,4 +1,4 @@
; RUN: llc -verify-machine-dom-info < %s | not grep test_
; RUN: llc < %s | not grep test_
; test_function should not be emitted to the .s file.
define available_externally i32 @test_function() {