[all-commits] [llvm/llvm-project] a836de: [SCEV] Compute ranges for ashr recurrences

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a836de0bdef2ed25e46bd304f3a53a1f08be51c4
      https://github.com/llvm/llvm-project/commit/a836de0bdef2ed25e46bd304f3a53a1f08be51c4
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-04-28 (Wed, 28 Apr 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/shift-recurrences.ll

  Log Message:
  -----------
  [SCEV] Compute ranges for ashr recurrences

Straight forward extension to the recently added infrastructure which was pioneered with shl. This was originally posted as part of D99687, but split off for ease of review.

(I also decided to exclude the unknown start sign case explicitly for simplicity of understanding.)

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