RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-30 23:20:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Do not verify dominator tree if it has no roots

Browse Source 
If dominator tree has no roots, the pass that calculates it is
likely to be skipped. It occures, for instance, in the case of
entities with linkage available_externally. Do not run tree
verification in such case.

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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@293033 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Serge Pavlov 2017-01-25 07:58:10 +00:00
parent 420c0701f8
commit 841259051a
3 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/CodeGen/MachineDominators.cpp
View File

@ -143,6 +143,10 @@ 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,6 +291,10 @@ 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 < %s | not grep test_
; RUN: llc -verify-machine-dom-info < %s | not grep test_
; test_function should not be emitted to the .s file.
define available_externally i32 @test_function() {