https://github.com/nikic commented: I think this is okay, but please replace those unit tests with lit tests, e.g. in llvm/test/Analysis/BasicAA. Test the actually desired effect on AA you want from this. https://github.com/llvm/llvm-project/pull/88418