The patch adds new member MaybeStride into InterestingMemoryOperand to represent
the stride value of experimental.vp.strided.load/store.
@craig.topper Thanks, does this one come through? I definitely wrote and saved a comment last time.
This alignment check is overly conservative for constant stride which is a multiple of the alignment.
Organizationally, this should probably be inside the instrumentation logic. The alignment here appears to be the base alignment, and the element alignment can be computed from it and the stride as needed.