[llvm] [IR] Add new function attribute nocreateundeforpoison (PR #164809)

[Nikita Popov via llvm-commits]

================
@@ -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.
----------------
nikic wrote:

I think something like this would be fine? "This attribute indicates that the result of the function (prior to application of return attributes/metadata) will not be undef or poison if all arguments are not undef and not poison."

https://github.com/llvm/llvm-project/pull/164809