krzysz00 wrote: Said intrinsics are the ` llvm::isIntrinsicReturningPointerAliasingArgumentWithoutCapturing` s, and I suspect they might already be supported? But if they aren't, future work, yeah https://github.com/llvm/llvm-project/pull/141800