[PATCH] D28743: [PM] Teach the LoopPassManager to automatically canonicalize loops by runnig LCSSA over them prior to running the loop pipeline.

[Chandler Carruth via Phabricator via llvm-commits]

chandlerc created this revision.
chandlerc added a subscriber: llvm-commits.
Herald added subscribers: mcrosier, mehdi_amini.

This also teaches the loop PM to verify that LCSSA form is preserved
throughout the pipeline's run across the loop nest.

Most of the test updates just leverage this new functionality. One has to be
relaxed with the new PM as IVUsers is less powerful when it sees LCSSA input.


https://reviews.llvm.org/D28743

Files:
  include/llvm/Transforms/Scalar/LoopPassManager.h
  test/Analysis/IVUsers/quadradic-exit-value.ll
  test/Other/new-pass-manager.ll
  test/Transforms/LICM/atomics.ll
  test/Transforms/LICM/constexpr.ll
  test/Transforms/LICM/hoist-nounwind.ll
  test/Transforms/LICM/hoisting.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D28743.84486.patch
Type: text/x-patch
Size: 7458 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170115/234d38de/attachment.bin>