[llvm] [Local] Only intersect tbaa metadata if instr moves. (PR #116682)

[Nikita Popov via llvm-commits]

nikic wrote:

Could you please take a look at https://github.com/llvm/llvm-project/blob/f14e1a8597f83fa5bbc78befcb7059144d58ff5c/llvm/lib/Transforms/Scalar/LICM.cpp#L2248 ? I think it may currently copy AA metadata from conditional loads to an unconditional load, which may result in issues if we start exploiting UB semantics more.

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