[llvm] [Attributor] Change allocation size and load/store offsets using AAPointerInfo for Alloca instructions and keep track of instructions causing an Access (PR #72029)

[Shilei Tian via llvm-commits]

https://github.com/shiltian commented:

This PR is too large and very complicated. It will definitely need more careful review of the algorithm and the implementation choice. I have not read `manifest` part yet.

The test also needs to cover the case of struct padding and data member alighment. For example, some member of a struct can be gone, and the new pack will still make sure that the member left is still properly aligned.

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