And maintain such info when simplifying libcalls. These info are already usable by TBAA.
I'm currently running the existing tests to find regressions... I'll probably just add tbaa to most/all of the existing tests and it'll probably take a while...
Propagate alias info to load and store instructions in additional to function calls.
Update formatting and add/update tests.
I guess this can't hurt, but how do you expect libcalls to acquire TBAA info in the first place? I don't think clang will generate it.
Other frontends could. I'm adding this because TBAA can already use this but right now if the frontend emits them, it can still be stripped out by instcombine.
Seems like a fair change to me when this TBAA information is available.
Rebased to fix test conflict. Tests passed locally.