diff options
author | Craig Topper <craig.topper@gmail.com> | 2017-05-03 23:22:46 +0000 |
---|---|---|
committer | Craig Topper <craig.topper@gmail.com> | 2017-05-03 23:22:46 +0000 |
commit | cff357c322c3fcfdbf8749143956556a3161cefa (patch) | |
tree | 2d890aa30ca650d6ee06c37c759a9b7a370fd7f6 /clang/lib/Frontend/Rewrite/RewriteObjC.cpp | |
parent | 5c0bdef5aa25e67daf5804cf3b8bbc16c09bb97c (diff) | |
download | bcm5719-llvm-cff357c322c3fcfdbf8749143956556a3161cefa.tar.gz bcm5719-llvm-cff357c322c3fcfdbf8749143956556a3161cefa.zip |
[InstCombine][KnownBits] Use KnownBits better to detect nsw adds
Change checkRippleForAdd from a heuristic to a full check -
if it is provable that the add does not overflow return true, otherwise false.
Patch by Yoav Ben-Shalom
Differential Revision: https://reviews.llvm.org/D32686
llvm-svn: 302093
Diffstat (limited to 'clang/lib/Frontend/Rewrite/RewriteObjC.cpp')
0 files changed, 0 insertions, 0 deletions