diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-30 19:41:19 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-30 19:41:19 +0000 |
| commit | 08989c7ecda18fc570299d6080868b6d3da921b0 (patch) | |
| tree | e4f819be05e3d19bb296db9b6d6078d2d72e20fc /llvm/lib/Analysis/ScalarEvolution.cpp | |
| parent | 8ac81f392424142a2a92e231afda1f637ac59041 (diff) | |
| download | bcm5719-llvm-08989c7ecda18fc570299d6080868b6d3da921b0.tar.gz bcm5719-llvm-08989c7ecda18fc570299d6080868b6d3da921b0.zip | |
Rename isKnownNotFullPoison to programUndefinedIfPoison; NFC
Summary:
programUndefinedIfPoison makes more sense, given what the function
does; and I'm about to add a function with a name similar to
isKnownNotFullPoison (so do the rename to avoid confusion).
Reviewers: broune, majnemer, bjarke.roune
Reviewed By: broune
Subscribers: mcrosier, llvm-commits, mzolotukhin
Differential Revision: https://reviews.llvm.org/D30444
llvm-svn: 301776
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolution.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 1aadac4771a..bd747f7c0b7 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -5029,7 +5029,8 @@ bool ScalarEvolution::isSCEVExprNeverPoison(const Instruction *I) { return false; // Only proceed if we can prove that I does not yield poison. - if (!isKnownNotFullPoison(I)) return false; + if (!programUndefinedIfFullPoison(I)) + return false; // At this point we know that if I is executed, then it does not wrap // according to at least one of NSW or NUW. If I is not executed, then we do |
