[llvm] [LV] Use SCEV to check if minimum iteration check is known. (PR #111310)

[Florian Hahn via llvm-commits]

================
@@ -423,8 +423,7 @@ define void @zext_of_i1_stride(i1 %g, ptr %dst) mustprogress {
 ; CHECK-NEXT:    [[G_64:%.*]] = zext i1 [[G]] to i64
 ; CHECK-NEXT:    [[TMP0:%.*]] = udiv i64 15, [[G_64]]
----------------
fhahn wrote:

Yep would probably be better for this particular check. There are other SCEV checks that are much more expensive (like wrapping checks), so we would probably need to distinguish between them.

https://github.com/llvm/llvm-project/pull/111310