https://github.com/AlexMaclean commented: I think it might also be worth adding a check during call lowering in isel to throw a similar error for calls to these intrinsics. https://github.com/llvm/llvm-project/pull/191194