diff options
| author | Bill Wendling <isanbard@gmail.com> | 2013-10-27 05:09:12 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2013-10-27 05:09:12 +0000 |
| commit | cba7d7d579c85f23f2849e906d93b5dc147edf26 (patch) | |
| tree | 7827a8ec61cc1e4933dcd8c0f4d6eca374672d49 /docs | |
| parent | 1a57aa436733dc5eca5ef71a2fab39a58f627704 (diff) | |
| download | llvm-cba7d7d579c85f23f2849e906d93b5dc147edf26.tar.gz llvm-cba7d7d579c85f23f2849e906d93b5dc147edf26.tar.bz2 llvm-cba7d7d579c85f23f2849e906d93b5dc147edf26.tar.xz | |
A small grammar-os fixed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193496 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/LangRef.rst | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/docs/LangRef.rst b/docs/LangRef.rst index e81fda43ce..6bf141e39c 100644 --- a/docs/LangRef.rst +++ b/docs/LangRef.rst @@ -560,16 +560,15 @@ an optional ``unnamed_addr`` attribute, a return type, an optional name, a possibly empty list of arguments, an optional alignment, an optional :ref:`garbage collector name <gc>` and an optional :ref:`prefix <prefixdata>`. -A function definition contains a list of basic blocks, forming the CFG -(Control Flow Graph) for the function. Each basic block may optionally -start with a label (giving the basic block a symbol table entry), -contains a list of instructions, and ends with a -:ref:`terminator <terminators>` instruction (such as a branch or function -return). If explicit label is not provided, a block is assigned an -implicit numbered label, using a next value from the same counter as used -for unnamed temporaries (:ref:`see above<identifiers>`). For example, if a -function entry block does not have explicit label, it will be assigned -label "%0", then first unnamed temporary in that block will be "%1", etc. +A function definition contains a list of basic blocks, forming the CFG (Control +Flow Graph) for the function. Each basic block may optionally start with a label +(giving the basic block a symbol table entry), contains a list of instructions, +and ends with a :ref:`terminator <terminators>` instruction (such as a branch or +function return). If an explicit label is not provided, a block is assigned an +implicit numbered label, using the next value from the same counter as used for +unnamed temporaries (:ref:`see above<identifiers>`). For example, if a function +entry block does not have an explicit label, it will be assigned label "%0", +then the first unnamed temporary in that block will be "%1", etc. The first basic block in a function is special in two ways: it is immediately executed on entrance to the function, and it is not allowed |