[PATCH] D50558: [MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Max, let's discuss offline.  The approach taken here would work, but I'm worried about the change in algorithmic complexity.  I think we can probably find a narrower fix here.

Separately from the bug fix, using an approach like this might be interesting for better opt quality.


https://reviews.llvm.org/D50558