[llvm] [LAA] Be more careful when evaluating AddRecs at symbolic max BTC. (PR #128061)

[David Sherwood via llvm-commits]

================
@@ -130,10 +130,10 @@ define i32 @all_exits_dominate_latch_countable_exits_at_most_1000_iterations_kno
 ; CHECK-NEXT:          %gep.A = getelementptr inbounds i32, ptr %A, i64 %iv
 ; CHECK-NEXT:      Grouped accesses:
 ; CHECK-NEXT:        Group GRP0:
-; CHECK-NEXT:          (Low: %B High: (4004 + %B))
+; CHECK-NEXT:          (Low: %B High: inttoptr (i64 -1 to ptr))
----------------
david-arm wrote:

Ah ok, that's great. I think the name of the test did confuse me and made me quite worried. However, I think there's still work to do here in the long term once we support using first-faulting loads to vectorise loops with arbitrary points. CC @huntergr-arm. We can revisit this later.

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