[llvm] [SCEV] Fix exit condition for recursive loop guard collection (PR #120442)

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,35 @@
+; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-max-iterations=0  -scalar-evolution-classify-expressions=0  2>&1 | FileCheck %s
+
+declare void @llvm.assume(i1)
+
+define void @pr120442() {
+; CHECK-LABEL: 'pr120442'
+; CHECK-NEXT:  Determining loop execution counts for: @pr120442
+; CHECK-NEXT:  Loop %bb2: backedge-taken count is i32 0
+; CHECK-NEXT:  Loop %bb2: constant max backedge-taken count is i32 0
+; CHECK-NEXT:  Loop %bb2: symbolic max backedge-taken count is i32 0
+; CHECK-NEXT:  Loop %bb2: Trip multiple is 1
+; CHECK-NEXT:  Loop %bb1: <multiple exits> Unpredictable backedge-taken count.
+; CHECK-NEXT:  Loop %bb1: Unpredictable constant max backedge-taken count.
+; CHECK-NEXT:  Loop %bb1: Unpredictable symbolic max backedge-taken count.
+bb:
+  call void @llvm.assume(i1 false)
+  call void @llvm.assume(i1 false)
+  br label %bb6
+
+bb1:
+  br label %bb2
+
+bb2:
----------------
fhahn wrote:

```suggestion
inner.header:
```

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