[PATCH] D98684: [LangRef] state that align assume op bundle may take an extra argument
Johannes Doerfert via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 16 07:31:24 PDT 2021
jdoerfert added a comment.
I like the additions. Some suggestions inlinined. TBH, the fact that we now have "multiple kinds of arguments" is confusing.
If you agree, maybe we should speak of "operand bundle tag and modifiers" or "operand bundle elements" throughout.
================
Comment at: llvm/docs/LangRef.rst:2252
+ If there are no arguments the attribute is a property of the call location.
+* The following argument(s) if present is argument(s) of the attribute.
----------------
================
Comment at: llvm/docs/LangRef.rst:2268-2269
+
+:ref:`llvm.assume <int_assume>`'s condition still has an effect even if
+operand bundles exist. For example,
----------------
================
Comment at: llvm/docs/LangRef.rst:2279
-Just like for the argument of :ref:`llvm.assume <int_assume>`, if any of the
-provided guarantees are violated at runtime the behavior is undefined.
+``"align"`` optionally takes a second argument.
+``"align"(i8* ptr, i64 a, i64 ofs)`` is equivalent to GCC's
----------------
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D98684/new/
https://reviews.llvm.org/D98684
More information about the llvm-commits
mailing list