[llvm] [LAA] Keep pointer checks on partial analysis (PR #139719)

Ramkumar Ramachandra via llvm-commits llvm-commits at lists.llvm.org
Thu May 15 10:33:00 PDT 2025


================
@@ -287,6 +287,7 @@ define i32 @store_with_pointer_phi_incoming_phi(ptr %A, ptr %B, ptr %C, i1 %c.0,
 ; CHECK-NEXT:          (Low: %A High: (256000 + %A))
 ; CHECK-NEXT:            Member: {%A,+,8}<nuw><%loop.header>
 ; CHECK-NEXT:            Member: %A
+; CHECK-NEXT:      Generated run-time checks are incomplete
----------------
artagnon wrote:

Are they incomplete in this case?

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


More information about the llvm-commits mailing list