OSDN Git Service

[SCEV] Add nuw/nsw to mul ops in StrengthenNoWrapFlags where safe.
authorJustin Lebar <jlebar@google.com>
Mon, 11 Jun 2018 18:57:42 +0000 (18:57 +0000)
committerJustin Lebar <jlebar@google.com>
Mon, 11 Jun 2018 18:57:42 +0000 (18:57 +0000)
commit109b3a6dbdeb08a1355299e7eb691fa75e060440
treea67f2fd6b34bd9c21e19834844b0b0e76374996b
parentf17b95446ce5abdbaad9a33b2ae3ef4be2ea8c0f
[SCEV] Add nuw/nsw to mul ops in StrengthenNoWrapFlags where safe.

Summary:
Previously we would add them for adds, but not multiplies.

Reviewers: sanjoy

Subscribers: llvm-commits, hiraditya

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@334428 91177308-0d34-0410-b5e6-96231b3b80d8
15 files changed:
lib/Analysis/ScalarEvolution.cpp
test/Analysis/Delinearization/a.ll
test/Analysis/Delinearization/iv_times_constant_in_subscript.ll
test/Analysis/IVUsers/quadradic-exit-value.ll
test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll
test/Analysis/ScalarEvolution/different-loops-recs.ll
test/Analysis/ScalarEvolution/mul-nuw.ll [new file with mode: 0644]
test/Analysis/ScalarEvolution/nsw-offset-assume.ll
test/Analysis/ScalarEvolution/nsw-offset.ll
test/Analysis/ScalarEvolution/nsw.ll
test/Analysis/ScalarEvolution/sext-mul.ll
test/Analysis/ScalarEvolution/sext-zero.ll
test/Analysis/ScalarEvolution/trip-count-pow2.ll
test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll