[llvm] [LangRef] inline asm: the instructions are treated opaquely (PR #157080)

[Ralf Jung via llvm-commits]

================
@@ -5229,6 +5229,11 @@ flag that indicates whether or not the inline asm expression has side effects,
 and a flag indicating whether the function containing the asm needs to align its
 stack conservatively.
 
+LLVM will treat the actual instructions entirely opaquely (i.e. no optimizations
+will be performed based on the contents of the template string). Only the flags,
+operand constraints, and attributes on the call and surrounding function are
+used to deduce what the expression may do during execution.
----------------
RalfJung wrote:

It feels worth mentioning "optimizations" explicitly though to make it clear what is meany by "The compiler's understanding of the semantics of the expression". I have updated this to a version derived from yours.

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