[llvm] [RFC] IR: Define noalias.addrspace metadata (PR #102461)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Wed Sep 4 09:13:37 PDT 2024
arsenm wrote:
> I hope we watch out for and resist the temptation to use it to reify backend bugs as programming model "features", i.e., instead of declaring that some backend not supporting some op to some statespace is a backend bug, we end up declaring that performing that op to that statespace is UB in the programming model, and end up using this feature to encode that.
But that's what this is doing? We're making the backend handle the IR operation with fully correct generality, and frontends have to opt-in to get the optimizations in the cases the language specifications say are not required
https://github.com/llvm/llvm-project/pull/102461
More information about the llvm-commits
mailing list