projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b62b21b) | patch
[SCEV] Turn check in createSimpleAffineAddRec to assertion. (NFC)
authorFlorian Hahn <flo@fhahn.com>
Fri, 26 Nov 2021 13:23:48 +0000 (13:23 +0000)
committerFlorian Hahn <flo@fhahn.com>
Fri, 26 Nov 2021 13:23:48 +0000 (13:23 +0000)
commitb927aa69bf2fd50ecf33e3f5ec853eb3c70312c5
tree38f3eb6181104f8c02108331749bc19d8abb8e02tree | snapshot
parentb62b21b98019b46af91365cb6415f8e740cab898commit | diff
[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
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
Domain: System / Toolchain;