projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ceb192) | patch
[SCEV] Look through single value PHIs.
authorFlorian Hahn <flo@fhahn.com>
Wed, 12 Aug 2020 07:46:07 +0000 (08:46 +0100)
committerFlorian Hahn <flo@fhahn.com>
Wed, 12 Aug 2020 09:03:42 +0000 (10:03 +0100)
commite441b7a7a0a72c28daf5a8e594559c667e5b4534
tree1b8b9f176321e2bf91ed65e3747fab4bc02830abtree | snapshot
parent9ceb192e14164ecf8a6f714a770c89765327c722commit | diff
[SCEV] Look through single value PHIs.

Now that SCEVExpander can preserve LCSSA form,
we do not have to worry about LCSSA form when
trying to look through PHIs. SCEVExpander will take
care of inserting LCSSA PHI nodes as required.

This increases precision of the analysis in some cases.

Reviewed By: mkazantsev, bmahjour

Differential Revision: https://reviews.llvm.org/D71539
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
llvm/test/Analysis/ScalarEvolution/solve-quadratic-i1.ll diff | blob | history
llvm/test/Analysis/ScalarEvolution/solve-quadratic-overflow.ll diff | blob | history
llvm/test/Transforms/LoopStrengthReduce/funclet.ll diff | blob | history
Domain: System / Toolchain;