llvm-6502/lib/Transforms
Sanjoy Das 295be8492e [IndVarSimplify] use the "canonical" way to infer no-wrap.
Summary:
rL225282 introduced an ad-hoc way to promote some additions to nuw or
nsw.  Since then SCEV has become smarter in directly proving no-wrap;
and using the canonical "ext(A op B) == ext(A) op ext(B)" method of
proving no-wrap is just as powerful now.  Rip out the existing
complexity in favor of getting SCEV to do all the heaving lifting
internally.

This change does not add any unit tests because it is supposed to be a
non-functional change.  Tests added in rL225282 and rL226075 are valid
tests for this change.

Reviewers: atrick, majnemer

Subscribers: llvm-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@231306 91177308-0d34-0410-b5e6-96231b3b80d8
2015-03-04 22:24:23 +00:00
..
Hello
InstCombine Make DataLayout Non-Optional in the Module 2015-03-04 18:43:29 +00:00
Instrumentation Try to satisfy sanitizer lint check 2015-03-04 20:38:59 +00:00
IPO Make DataLayout Non-Optional in the Module 2015-03-04 18:43:29 +00:00
ObjCARC Make DataLayout Non-Optional in the Module 2015-03-04 18:43:29 +00:00
Scalar Make DataLayout Non-Optional in the Module 2015-03-04 18:43:29 +00:00
Utils [IndVarSimplify] use the "canonical" way to infer no-wrap. 2015-03-04 22:24:23 +00:00
Vectorize Make DataLayout Non-Optional in the Module 2015-03-04 18:43:29 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile