summaryrefslogtreecommitdiffstats
path: root/clang/lib/Frontend/CompilerInvocation.cpp
diff options
context:
space:
mode:
authorCraig Topper <craig.topper@intel.com>2017-06-23 01:08:16 +0000
committerCraig Topper <craig.topper@intel.com>2017-06-23 01:08:16 +0000
commitb60f866a8b05283a60989767f113c24498a0db52 (patch)
tree7a5afd5d5a39af9aa912614995d4093e7c248986 /clang/lib/Frontend/CompilerInvocation.cpp
parent90dc5254725e32c0fab65213c554b689a2a0bbbf (diff)
downloadbcm5719-llvm-b60f866a8b05283a60989767f113c24498a0db52.tar.gz
bcm5719-llvm-b60f866a8b05283a60989767f113c24498a0db52.zip
[LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ANDs of icmps
Summary: LVI can reason about an AND of icmps on the true dest of a branch. I believe we can do similar for the false dest of ORs. This allows us to get the same answer for the demorganed versions of some of the AND test cases as you can see. Reviewers: anna, reames Reviewed By: reames Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D34431 llvm-svn: 306076
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions
OpenPOWER on IntegriCloud