projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 772fb1e) | patch
[ValueTracking] De-pessimize isImpliedCondition around unsigned compares
authorSanjoy Das <sanjoy@playingwithpointers.com>
Fri, 6 Nov 2015 19:01:03 +0000 (19:01 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Fri, 6 Nov 2015 19:01:03 +0000 (19:01 +0000)
commit18e290023d9be76e117ce4f030306bad3fa9cfea
tree3d131baada670c2c7655c84225690842414e3a8dtree | snapshot
parent772fb1e0b6b35124311f875f12689bb6ca71a29fcommit | diff
[ValueTracking] De-pessimize isImpliedCondition around unsigned compares

Summary:
Currently `isImpliedCondition` will optimize "I +_nuw C < L ==> I < L"
only if C is positive.  This is an unnecessary restriction -- the
implication holds even if `C` is negative.

Reviewers: reames, majnemer

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D14369

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@252332 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp diff | blob | history
test/Transforms/InstSimplify/implies.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors