]> granicus.if.org Git - llvm/commit
[PM] Port LoopSink to the new pass manager.
authorChandler Carruth <chandlerc@gmail.com>
Fri, 20 Jan 2017 08:42:19 +0000 (08:42 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Fri, 20 Jan 2017 08:42:19 +0000 (08:42 +0000)
commit017c62c41d4113b634f71edc81595c2383f8befb
treefed54c181e09b912a82ad0f6ab5bf2f85051db44
parent7dc10faea099efbc379a970badebb0f8245b42c7
[PM] Port LoopSink to the new pass manager.

Like several other loop passes (the vectorizer, etc) this pass doesn't
really fit the model of a loop pass. The critical distinction is that it
isn't intended to be pipelined together with other loop passes. I plan
to add some documentation to the loop pass manager to make this more
clear on that side.

LoopSink is also different because it doesn't really need a lot of the
infrastructure of our loop passes. For example, if there aren't loop
invariant instructions causing a preheader to exist, there is no need to
form a preheader. It also doesn't need LCSSA because this pass is
only involved in sinking invariant instructions from a preheader into
the loop, not reasoning about live-outs.

This allows some nice simplifications to the pass in the new PM where we
can directly walk the loops once without restructuring them.

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@292589 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Transforms/Scalar/LoopSink.h [new file with mode: 0644]
lib/Passes/PassBuilder.cpp
lib/Passes/PassRegistry.def
lib/Transforms/Scalar/LoopSink.cpp
test/Transforms/LICM/loopsink.ll
test/Transforms/LICM/sink.ll