diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-10-04 16:11:49 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-10-04 16:11:49 +0000 |
| commit | d12e82e5239c63cb04e27533b34f376713847f95 (patch) | |
| tree | 161e983fe30355882a45574555e9770d4167d608 /llvm/lib/Transforms | |
| parent | 5ea246cf137c6545ca9f1f77376121914b059615 (diff) | |
| download | bcm5719-llvm-d12e82e5239c63cb04e27533b34f376713847f95.tar.gz bcm5719-llvm-d12e82e5239c63cb04e27533b34f376713847f95.zip | |
SimplifyCFG: Enhance the "remove CFG edge that leads to null pointer dereference" optimization to also handle instructions with multiple uses.
We conservatively only check the first use to avoid walking long use chains.
This catches the common case of having both a load and a store to a pointer
supplied by a PHI node.
llvm-svn: 165232
Diffstat (limited to 'llvm/lib/Transforms')
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyCFG.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp index 6da791bb1cb..0edf7cadc8d 100644 --- a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp @@ -3786,11 +3786,12 @@ static bool passingValueIsAlwaysUndefined(Value *V, Instruction *I) { if (!C) return false; - if (!I->hasOneUse()) // Only look at single-use instructions, for compile time + if (I->use_empty()) return false; if (C->isNullValue()) { - Instruction *Use = I->use_back(); + // Only look at the first use, avoid hurting compile time with long uselists + User *Use = *I->use_begin(); // Now make sure that there are no instructions in between that can alter // control flow (eg. calls) |
