[llvm-branch-commits] [llvm] [SeparateConstOffsetFromGEP] Preserve inbounds flag based on ValueTracking (PR #130617)

[Matt Arsenault via llvm-branch-commits]

================
@@ -24,3 +24,26 @@ entry:
   store float %3, ptr %arrayidx.dst, align 4
   ret void
 }
+
+; All offsets must be positive, so inbounds can be preserved.
----------------
arsenm wrote:

Did I port this correctly? https://alive2.llvm.org/ce/z/AdYDtt 

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