[PATCH] D65276: [SCEV] Disable canonical expansion for nested recurrences.

[Evgeniy via Phabricator via llvm-commits]

ebrevnov created this revision.
Herald added subscribers: llvm-commits, sanjoy.
Herald added a project: LLVM.
ebrevnov added reviewers: apilipenko, reames.

This is a continuation of https://reviews.llvm.org/D62563. Essentially I took latest change proposed by Artur and tried to address Philip's concern "Does this mean that evaluateAtIteration may return an incorrect result? If so, I'd very much like to see an assert which trips on that usage."


Repository:
  rL LLVM

https://reviews.llvm.org/D65276

Files:
  include/llvm/Analysis/ScalarEvolutionExpander.h
  include/llvm/Analysis/ScalarEvolutionExpressions.h
  lib/Analysis/ScalarEvolution.cpp
  lib/Analysis/ScalarEvolutionExpander.cpp
  test/Transforms/IndVarSimplify/exit_value_tests.ll
  unittests/Analysis/ScalarEvolutionTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65276.211728.patch
Type: text/x-patch
Size: 13455 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190725/3fe404b4/attachment-0001.bin>