[PATCH] D90338: [SCEV] Infer addrec nowrap flags while calculating ranges (WIP)

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 301456.
nikic edited the summary of this revision.
nikic added a comment.

Rebase. It looks like this patch had some functional overlap with https://github.com/llvm/llvm-project/commit/160a453138429f5e389de877fd02db2bb7dc6765, in that it was able to prove 4 out of 5 conditions without the additional logic added there.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D90338/new/

https://reviews.llvm.org/D90338

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/Delinearization/multidim_only_ivs_3d_cast.ll
  llvm/test/Analysis/ScalarEvolution/different-loops-recs.ll
  llvm/test/Analysis/ScalarEvolution/increasing-or-decreasing-iv.ll
  llvm/test/Analysis/ScalarEvolution/infer-prestart-no-wrap.ll
  llvm/test/Analysis/ScalarEvolution/limit-depth.ll
  llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
  llvm/test/Analysis/ScalarEvolution/no-wrap-unknown-becount.ll
  llvm/test/Analysis/ScalarEvolution/overflow-intrinsics.ll
  llvm/test/Analysis/ScalarEvolution/pr22641.ll
  llvm/test/Analysis/ScalarEvolution/range-signedness.ll
  llvm/test/Analysis/ScalarEvolution/sext-iv-0.ll
  llvm/test/Analysis/ScalarEvolution/sext-iv-2.ll
  llvm/test/Analysis/ScalarEvolution/solve-quadratic-i1.ll
  llvm/test/Analysis/ScalarEvolution/solve-quadratic-overflow.ll
  llvm/test/Analysis/ScalarEvolution/trip-count15.ll
  llvm/test/Analysis/ScalarEvolution/trivial-phis.ll
  llvm/test/Analysis/ScalarEvolution/umin-umax-folds.ll
  llvm/test/Analysis/ScalarEvolution/widenable-condition.ll
  llvm/test/Analysis/ScalarEvolution/zext-wrap.ll
  llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll
  llvm/test/Transforms/LoopVectorize/ARM/tail-folding-not-allowed.ll
  llvm/test/Transforms/LoopVectorize/X86/vector_ptr_load_store.ll
  llvm/test/Transforms/LoopVectorize/interleaved-accesses-3.ll
  polly/test/ScopInfo/20111108-Parameter-not-detected.ll
  polly/test/ScopInfo/NonAffine/non_affine_conditional_surrounding_non_affine_loop.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D90338.301456.patch
Type: text/x-patch
Size: 70922 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201028/53c11d33/attachment-0001.bin>