[llvm] [IR][CaptureTracking] Consider assume operand bundles captures(none) (PR #159083)

[Nikita Popov via llvm-commits]

nikic wrote:

FWIW, while we clearly need this property, the fact that `align` attributes can be ignored here is not entirely obvious, especially when seen in conjunction with https://github.com/llvm/llvm-project/pull/158979. I think what this essentially comes down to is that what `captures(address)` really cares about is whether it is valid to replace the object with a different one at a different address. This kind of replacement cannot lower the alignment of the original object, so `align` attributes do not matter for it.

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