[PATCH] D29016: [LoopUnswitch] Do not freeze condition if hoisted branch is guaranteed to be reachable

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: lib/Transforms/Scalar/LoopUnswitch.cpp:699
+    }
+  }
+
----------------
reames wrote:
> Please see Analysis/MustExecute.h.  We already have a tested implementation of this, please use it.  It looks like you probably want ICFLoopSafetyInfo
You can also use `MustBeExecutedContextExplorer` (with or without LI, DT, PDT).


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D29016/new/

https://reviews.llvm.org/D29016