[all-commits] [llvm/llvm-project] 46c59a: [SCEV][NFC] Refactor range computation for AddRec ...

[Joshua Cao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 46c59a55e747ed7c0c68e64b13621a5b5e243c83
      https://github.com/llvm/llvm-project/commit/46c59a55e747ed7c0c68e64b13621a5b5e243c83
  Author: Joshua Cao <cao.joshua at yahoo.com>
  Date:   2023-05-31 (Wed, 31 May 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [SCEV][NFC] Refactor range computation for AddRec to pass around APInt


  Commit: 6ed152aff4aab6307ecaab64a544d0524ea5f50e
      https://github.com/llvm/llvm-project/commit/6ed152aff4aab6307ecaab64a544d0524ea5f50e
  Author: Joshua Cao <cao.joshua at yahoo.com>
  Date:   2023-05-31 (Wed, 31 May 2023)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll
    M llvm/test/Analysis/ScalarEvolution/increasing-or-decreasing-iv.ll
    M llvm/test/Analysis/ScalarEvolution/limit-depth.ll
    M llvm/test/Analysis/ScalarEvolution/nsw.ll
    M llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll
    M polly/test/CodeGen/switch-in-non-affine-region.ll
    M polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll

  Log Message:
  -----------
  [SCEV] Compute AddRec range computations using different type BECount

Before this patch, we can only use the MaxBECount for an AddRec's range
computation if the MaxBECount has <= bit width of the AddRec. This patch
reasons that if a MaxBECount has > bit width, and is <= the max value of
AddRec's bit width, we can still use the MaxBECount.

Reviewed By: nikic

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


Compare: https://github.com/llvm/llvm-project/compare/ff471dcf7669...6ed152aff4aa