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

Add note to LangRef about how function arguments can be unnamed and

Browse Source 
how this affects the numbering of unnamed temporaries.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216070 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Liew 2014-08-20 15:06:30 +00:00
parent a2bec69360
commit 0ea6d4421c
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
docs/LangRef.rst
View File

@ -129,9 +129,10 @@ lexical features of LLVM:
#. Unnamed temporaries are created when the result of a computation is #. Unnamed temporaries are created when the result of a computation is
not assigned to a named value. not assigned to a named value.
#. Unnamed temporaries are numbered sequentially (using a per-function #. Unnamed temporaries are numbered sequentially (using a per-function
incrementing counter, starting with 0). Note that basic blocks are incrementing counter, starting with 0). Note that basic blocks and unnamed
included in this numbering. For example, if the entry basic block is not function parameters are included in this numbering. For example, if the
given a label name, then it will get number 0. entry basic block is not given a label name and all function parameters are
named, then it will get number 0.
It also shows a convention that we follow in this document. When It also shows a convention that we follow in this document. When
demonstrating instructions, we will follow an instruction with a comment demonstrating instructions, we will follow an instruction with a comment
@ -681,6 +682,14 @@ Syntax::
[unnamed_addr] [fn Attrs] [section "name"] [comdat $<ComdatName>] [unnamed_addr] [fn Attrs] [section "name"] [comdat $<ComdatName>]
[align N] [gc] [prefix Constant] { ... } [align N] [gc] [prefix Constant] { ... }
The argument list is a comma seperated sequence of arguments where each
argument is of the following form
Syntax::
<type> [parameter Attrs] [name]
.. _langref_aliases: .. _langref_aliases:
Aliases Aliases