[llvm] [LangRef] inline asm: the instructions are treated opaquely (PR #157080)
Ralf Jung via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 8 01:08:06 PDT 2025
https://github.com/RalfJung updated https://github.com/llvm/llvm-project/pull/157080
>From cd108584ed03234cd90508d5b381b1b0b2575e4b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post at ralfj.de>
Date: Fri, 5 Sep 2025 13:42:56 +0200
Subject: [PATCH] [LangRef] inline asm: the instructions are treated opaquely
---
llvm/docs/LangRef.rst | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index e64b9343b7622..830835fa4d448 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -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.
+
The template string supports argument substitution of the operands using "``$``"
followed by a number, to indicate substitution of the given register/memory
location, as specified by the constraint string. "``${NUM:MODIFIER}``" may also
More information about the llvm-commits
mailing list