And maintain such info when simplifying libcalls. These info are already usable by TBAA.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
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...
Comment Actions
Propagate alias info to load and store instructions in additional to function calls.
Update formatting and add/update tests.
Comment Actions
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.
Comment Actions
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.