RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 18:54:02 +01:00
Code Issues Projects Releases Wiki Activity

[ValueTracking] Let isGuaranteedToBeUndefOrPoison look into operands of icmp

Browse Source
This commit is contained in:
Juneyoung Lee 2020-02-04 17:16:32 +09:00
parent fe51389b82
commit d3ab7b3c38
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Analysis/ValueTracking.cpp
View File

@ -4529,6 +4529,13 @@ bool llvm::isGuaranteedNotToBeUndefOrPoison(const Value *V) {
return true;
}
if (auto II = dyn_cast<ICmpInst>(V)) {
if (llvm::all_of(II->operands(), [](const Value *V) {
return isGuaranteedNotToBeUndefOrPoison(V);
}))
return true;
}
return false;
}