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

[Fabian Ritter 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.
----------------
ritter-x2a wrote:

The test is now simplified.

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