[llvm] [IR] Add new function attribute nocreateundeforpoison (PR #164809)
Jay Foad via llvm-commits
llvm-commits at lists.llvm.org
Fri Oct 31 10:11:24 PDT 2025
================
@@ -2741,6 +2741,10 @@ For example:
``"nooutline"``
This attribute indicates that outlining passes should not modify the
function.
+``nocreateundeforpoison``
+ This attribute indicates that the result of the function will not be undef
+ or poison if all arguments are not undef and not poison. Otherwise, it is
+ undefined behavior.
----------------
jayfoad wrote:
Thanks, I used that.
https://github.com/llvm/llvm-project/pull/164809
More information about the llvm-commits
mailing list