[llvm] [LangRef] Add a description of the semantics of call signatures. (PR #136189)

[Bruno Cardoso Lopes via llvm-commits]

================
@@ -13152,6 +13155,16 @@ values. Upon a '``ret``' instruction in the called function, control
 flow continues with the instruction after the function call, and the
 return value of the function is bound to the result argument.
 
+If the callee refers to an intrinsic function, the signature of the call must
+match the signature of the callee.  Otherwise, if the signature of the call
+does not match the signature of the called function, the behavior is
+target-specific.  For a significant mismatch, this likely results in undefined
----------------
bcardosolopes wrote:

shall we say "undefined behavior"? might to more consistent with the `-passes=lint` diagnostics.

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