david-arm wrote: We already replace the symbolic strides for loads, so it seems reasonable to do the same for stores. Any problems we see for stores are surely also problems for loads, right? https://github.com/llvm/llvm-project/pull/124567