Serguei Katkov 5f0ee1d59d [LICM] Extend the MustExecute scope ...

CanProveNotTakenFirstIteration utility does not handle the case when
condition of the branch is a constant. Add its handling.

Reviewers: reames, anna, mkazantsev
Reviewed By: reames
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D46996



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@332695 91177308-0d34-0410-b5e6-96231b3b80d8

2018-05-18 04:56:28 +00:00

..

const-cond.ll

[LICM] Extend the MustExecute scope

2018-05-18 04:56:28 +00:00

loop-header.ll

[MustExecute] Shwo the effect of using full loop info variant

2018-03-20 23:00:54 +00:00