rjmccall wrote: Right, but the code still contains some kind of check to decide which version of the library function to call. Maybe it's implicit by multiversioned functions or something, but there's *something* in the source code, because if the user just writes a kernel that does nothing but call a builtin that's not always available, you've got a problem. My question is just whether that's something we can leverage.
And if these checks are all done in the library, the library can of course just be annotated. https://github.com/llvm/llvm-project/pull/134016 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits