From: David Majnemer Date: Thu, 22 Oct 2015 01:46:38 +0000 (+0000) Subject: Attempt to fix formatting for operand bundles X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e7b7bf7e7548906611be262adeab4931e61f7690;p=oota-llvm.git Attempt to fix formatting for operand bundles git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@250968 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/LangRef.rst b/docs/LangRef.rst index fa0d79ec4c2..4368cca4b54 100644 --- a/docs/LangRef.rst +++ b/docs/LangRef.rst @@ -1451,6 +1451,7 @@ with certain LLVM instructions (currently only ``call`` s and incorrect and will change program semantics. Syntax:: + operand bundle set ::= '[' operand bundle ']' operand bundle ::= tag '(' [ bundle operand ] (, bundle operand )* ')' bundle operand ::= SSA value @@ -1472,16 +1473,14 @@ long as the behavior of an operand bundle is describable within these restrictions, LLVM does not need to have special knowledge of the operand bundle to not miscompile programs containing it. - - The bundle operands for an unknown operand bundle escape in unknown - ways before control is transferred to the callee or invokee. - - - Calls and invokes with operand bundles have unknown read / write - effect on the heap on entry and exit (even if the call target is - ``readnone`` or ``readonly``). - - - An operand bundle at a call site cannot change the implementation - of the called function. Inter-procedural optimizations work as - usual as long as they take into account the first two properties. +- The bundle operands for an unknown operand bundle escape in unknown + ways before control is transferred to the callee or invokee. +- Calls and invokes with operand bundles have unknown read / write + effect on the heap on entry and exit (even if the call target is + ``readnone`` or ``readonly``). +- An operand bundle at a call site cannot change the implementation + of the called function. Inter-procedural optimizations work as + usual as long as they take into account the first two properties. .. _moduleasm: