[all-commits] [llvm/llvm-project] b927aa: [SCEV] Turn check in createSimpleAffineAddRec to a...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b927aa69bf2fd50ecf33e3f5ec853eb3c70312c5
      https://github.com/llvm/llvm-project/commit/b927aa69bf2fd50ecf33e3f5ec853eb3c70312c5
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-11-26 (Fri, 26 Nov 2021)

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

  Log Message:
  -----------
  [SCEV] Turn check in createSimpleAffineAddRec to assertion. (NFC)

Accum is guaranteed to be defined outside L (via Loop::isLoopInvariant
checks above). I think that should guarantee that the more powerful
ScalarEvolution::isLoopInvariant also determines that the value is loop
invariant.

Reviewed By: nikic

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