This patch allow more conditional branches to be considered as loop guard, and so more loop nests can be considered perfect.
Unable to select update an existing revision, but this is a continuation of https://reviews.llvm.org/D94717.
The original author sidbav has delegated this work to me.