Go to file
Sanjay Patel efd8885772 [InstSimplify] fold negation of sign-bit
0 - X --> X, if X is 0 or the minimum signed value
0 - X --> 0, if X is 0 or the minimum signed value and the sub is NSW

I noticed this pattern might be created in the backend after the change from D25485, 
so we'll want to add a similar fold for the DAG.

The use of computeKnownBits in InstSimplify may be something to investigate if the
compile time of InstSimplify is noticeable. We could replace computeKnownBits with 
specific pattern matchers or limit the recursion.

Differential Revision: https://reviews.llvm.org/D25785

llvm-svn: 284649
2016-10-19 21:23:45 +00:00
clang [CMake] Add clang-bootstrap-deps target 2016-10-19 21:18:48 +00:00
clang-tools-extra [clang-tidy] Add cert-err09-cpp check alias. 2016-10-19 14:28:19 +00:00
compiler-rt [asan] Update test for D25715 2016-10-18 23:30:07 +00:00
debuginfo-tests New round of fixes for "Always compile debuginfo-tests for the host triple" 2014-10-18 23:47:59 +00:00
libclc Provide vstore_half helper to workaround clc restrictions 2016-09-21 20:15:55 +00:00
libcxx Implement constexpr support for reverse_iterator. Reviewed as https://reviews.llvm.org/D25534 2016-10-19 15:12:50 +00:00
libcxxabi Fix typo in comment 2016-10-15 00:02:20 +00:00
libunwind [libunwind] Add missing <stdint.h> include. NFC. 2016-10-13 14:32:24 +00:00
lld Avoid using grep command in a test. 2016-10-19 21:07:29 +00:00
lldb Simplify GetGlobalProperties functions of Thread/Process/Target 2016-10-19 15:12:45 +00:00
llgo [llgo] add llgo source path to LLVM_GO_PACKAGES 2016-07-27 03:01:00 +00:00
llvm [InstSimplify] fold negation of sign-bit 2016-10-19 21:23:45 +00:00
openmp Fix OpenMP 4.0 library build 2016-10-18 17:39:06 +00:00
parallel-libs [SE] Change CoreTests target name 2016-09-27 15:32:52 +00:00
polly [polly] Fix non-determinism in polly BlockGenerators 2016-10-19 17:56:49 +00:00