jeroen.dobbelaere added a comment. Just an update: I am finalizing an alternative version using the @llvm.noalias.decl intrinsic. Should be there later today. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D90104/new/ https://reviews.llvm.org/D90104