[llvm] [LAA] Fix off-by-EltSize in negative-step deref bounds check (PR #211964)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 24 05:27:59 PDT 2026
================
@@ -90,10 +90,10 @@ define void @reverse_top_spills(ptr dereferenceable(16) %A, ptr dereferenceable(
; CHECK-NEXT: %gep.A = getelementptr inbounds i8, ptr %A, i64 %iv
; CHECK-NEXT: Grouped accesses:
; CHECK-NEXT: Group GRP0:
-; CHECK-NEXT: (Low: (5 + %B)<nuw> High: (17 + %B))
+; CHECK-NEXT: (Low: (-4 + inttoptr (i64 -1 to ptr))<nsw> High: (17 + %B))
----------------
fhahn wrote:
I think this is running into an independent bug, where we use the incorrect lower bound: https://github.com/llvm/llvm-project/pull/218388
https://github.com/llvm/llvm-project/pull/211964
More information about the llvm-commits
mailing list