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

[Ralf Jung via llvm-commits]

RalfJung wrote:

What about something like this?

> The compiler may not assume that the actual code executed at runtime matches the
contents of the template string. Correctness-critical analyses must base their
results only on the list of operand constraints and the flags -- not the
contents of the template string. This ensures correct behavior if the assembly
code emitted by this expression is altered later, e.g. via self-modifying code,
as long as the code keeps upholding the requirements of the operand constraints
and the flags.

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