[llvm] [TBAA] Recover !tbaa for a memcpy of struct with same type fields (PR #214116)

[Nikita Popov via llvm-commits]

================

----------------
nikic wrote:

Sorry, I still don't understand. I would not expect there to be a *helper* in the verifier, but *only* the verifier to check this. We should not have random IR validity checks inside transforms.

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