[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:

Best to leave the memory operations out of it: https://alive2.llvm.org/ce/z/UAMYs9

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