[flang-commits] [flang] [flang][FIR] add FirAliasAnalysisOpInterface (PR #68317)

[via flang-commits]

https://github.com/jeanPerier commented:

Thanks for sharing this for review, the way this is implemented/added on top FIR operations looks good to me!

I agree with Renaud's point that we will likely want some kind of alias interface to use in alias analysis. My guess is that they would anyway be on the same ops and could be the same interface and that is fine with me, but if we want to keep this interface TBAA centric (e.g., if TBAA won't be placed on HLFIR operations, but added in a later pass) I would rename it something like FirTBAAOpInterface.

Regarding the overall vision of how this plugs with TBAA in FIR, I will rely on @vzakhari review because I have little experience with LLVM TBAA.

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