From cba7d7d579c85f23f2849e906d93b5dc147edf26 Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Sun, 27 Oct 2013 05:09:12 +0000 Subject: A small grammar-os fixed. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193496 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.rst | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) (limited to 'docs/LangRef.rst') diff --git a/docs/LangRef.rst b/docs/LangRef.rst index e81fda4..6bf141e 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 ` and an optional :ref:`prefix `. -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 ` 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`). 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 ` 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`). 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 -- cgit v1.1