fhahn added a comment. Would it be worth adding a C++ unit test for those cases that just passes in suitable predicates + SCEV expression? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D87890/new/ https://reviews.llvm.org/D87890