[PATCH] D122835: [SCEV] Fix a bug that caused an invalid assertion.

Mon May 2 13:27:48 PDT 2022

Yangguang added a comment.

@aqjune Could you help review this patch? The original assertion is wrong because it won't fire when `ExitCond` is in select form, the exit limit for the first operand is zero, and the backedge taken count is **NOT** zero. This patch fix the assertion and make it cover the case for AND/OR form as well.

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

https://reviews.llvm.org/D122835