diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-05-14 20:16:28 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-05-14 20:16:28 +0000 |
| commit | 2d6c023576d78af7c74a3ecda5bb53a65ad682f0 (patch) | |
| tree | a51684eda4a13e98a350f8b6164d0fa64744f356 /clang/lib/Analysis/ThreadSafety.cpp | |
| parent | 1a3a07471fdd94d000f2c83c20acfcab55749a92 (diff) | |
| download | bcm5719-llvm-2d6c023576d78af7c74a3ecda5bb53a65ad682f0.tar.gz bcm5719-llvm-2d6c023576d78af7c74a3ecda5bb53a65ad682f0.zip | |
InstSimplify: Optimize signed icmp of -(zext V)
Summary:
We know that -(zext V) will always be <= zero, simplify signed icmps
that have these.
Uncovered using http://www.cs.utah.edu/~regehr/souper/
Reviewers: nicholas
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D3754
llvm-svn: 208809
Diffstat (limited to 'clang/lib/Analysis/ThreadSafety.cpp')
0 files changed, 0 insertions, 0 deletions
