[llvm] [BasicAA] Scalable offset with scalable typesize. (PR #80818)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

> We essentially divide each side by vscale and are left needing to check that the offset >= typesize.

Is that correct without the IsNSW flag?

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