maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Let isGuaranteedNotToBeUndefOrPoison consider PHINode with constant values

This commit is contained in:
Juneyoung Lee 2020-02-04 16:46:54 +09:00
parent cd14b4a62b
commit 36272d5f00
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
llvm/lib/Analysis/ValueTracking.cpp
View File

@ -4522,6 +4522,13 @@ bool llvm::isGuaranteedNotToBeUndefOrPoison(const Value *V) {
if (isa<ConstantInt>(V) || isa<GlobalVariable>(V)) if (isa<ConstantInt>(V) || isa<GlobalVariable>(V))
return true; return true;
if (auto PN = dyn_cast<PHINode>(V)) {
if (llvm::all_of(PN->incoming_values(), [](const Use &U) {
return isa<ConstantInt>(U.get());
}))
return true;
}
return false; return false;
} }