[PATCH] D44288: [WIP][LICM] Extend must execute to path taken on first iteration

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: anna, mkazantsev, skatkov.
Herald added subscribers: bollu, mcrosier.

This is a work in progress similar in goal to https://reviews.llvm.org/D44287, but taking a different approach.  The idea herein is to identify a path which is provably taken on the fist iteration.  At the moment, this covers many of the same test cases as https://reviews.llvm.org/D44287, but in theory, the cases handled are partially non-overlapping.  (Note: The tests posted are just the same ones from https://reviews.llvm.org/D44287 at the moment.)

If I decide to pursue this for real, I figured having a proof of concept to motivate the refactoring changes to support efficient implicit control flow reasoning would be worthwhile, thus the WIP patch.


https://reviews.llvm.org/D44288

Files:
  lib/Transforms/Utils/LoopUtils.cpp
  test/Transforms/LICM/hoist-mustexec.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D44288.137697.patch
Type: text/x-patch
Size: 10976 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180309/48dc1980/attachment.bin>