[all-commits] [llvm/llvm-project] a6342c: [SCEV] accurate range for addrecexpr with nuw flag

[Chen Zheng via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: a6342c247a17fb270e0385bd1deb463b7309a43b
      https://github.com/llvm/llvm-project/commit/a6342c247a17fb270e0385bd1deb463b7309a43b
  Author: Zheng Chen <czhengsz at cn.ibm.com>
  Date:   2020-01-12 (Sun, 12 Jan 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/range_nw_flag.ll

  Log Message:
  -----------
  [SCEV] accurate range for addrecexpr with nuw flag

If addrecexpr has nuw flag, the value should never be less than its
start value and start value does not required to be SCEVConstant.

Reviewed By: nikic, sanjoy

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