[LIR] Start leveraging the fundamental guarantees of a loop in
authorChandler Carruth <chandlerc@gmail.com>
Thu, 13 Aug 2015 09:56:20 +0000 (09:56 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Thu, 13 Aug 2015 09:56:20 +0000 (09:56 +0000)
commit8ae7b81559125ba6e144dcc61c4c13ba0981e01f
treeee8c575d8eb297191d15990ce832bc37e85b31e1
parent18c2669acaad6f6f87fff86fca97d33e197e7564
[LIR] Start leveraging the fundamental guarantees of a loop in
simplified form to remove redundant checks and simplify the code for
popcount recognition. We don't actually need to handle all of these
cases.

I've left a FIXME for one in particular until I finish inspecting to
make sure we don't actually *rely* on the predicate in any way.

llvm-svn: 244879
llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp