6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-05 14:34:55 +00:00
Code Issues Projects Releases Wiki Activity

A small grammar-os fixed.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193496 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Bill Wendling 2013-10-27 05:09:12 +00:00
parent 1a57aa4367
commit cba7d7d579
1 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
docs/LangRef.rst
View File

@ -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 name, a possibly empty list of arguments, an optional alignment, an optional
:ref:`garbage collector name <gc>` and an optional :ref:`prefix <prefixdata>`. :ref:`garbage collector name <gc>` and an optional :ref:`prefix <prefixdata>`.
A function definition contains a list of basic blocks, forming the CFG A function definition contains a list of basic blocks, forming the CFG (Control
(Control Flow Graph) for the function. Each basic block may optionally Flow Graph) for the function. Each basic block may optionally start with a label
start with a label (giving the basic block a symbol table entry), (giving the basic block a symbol table entry), contains a list of instructions,
contains a list of instructions, and ends with a and ends with a :ref:`terminator <terminators>` instruction (such as a branch or
:ref:`terminator <terminators>` instruction (such as a branch or function function return). If an explicit label is not provided, a block is assigned an
return). If explicit label is not provided, a block is assigned an implicit numbered label, using the next value from the same counter as used for
implicit numbered label, using a next value from the same counter as used unnamed temporaries (:ref:`see above<identifiers>`). For example, if a function
for unnamed temporaries (:ref:`see above<identifiers>`). For example, if a entry block does not have an explicit label, it will be assigned label "%0",
function entry block does not have explicit label, it will be assigned then the first unnamed temporary in that block will be "%1", etc.
label "%0", then first unnamed temporary in that block will be "%1", etc.
The first basic block in a function is special in two ways: it is 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 immediately executed on entrance to the function, and it is not allowed