llvm-6502/test
David Majnemer 39a09d2b7c IR: Change inalloca's grammar a bit
The grammar for LLVM IR is not well specified in any document but seems
to obey the following rules:

 - Attributes which have parenthesized arguments are never preceded by
   commas.  This form of attribute is the only one which ever has
   optional arguments.  However, not all of these attributes support
   optional arguments: 'thread_local' supports an optional argument but
   'addrspace' does not.  Interestingly, 'addrspace' is documented as
   being a "qualifier".  What constitutes a qualifier?  I cannot find a
   definition.

 - Some attributes use a space between the keyword and the value.
   Examples of this form are 'align' and 'section'.  These are always
   preceded by a comma.

 - Otherwise, the attribute has no argument.  These attributes do not
   have a preceding comma.

Sometimes an attribute goes before the instruction, between the
instruction and it's type, or after it's type.  'atomicrmw' has
'volatile' between the instruction and the type while 'call' has 'tail'
preceding the instruction.

With all this in mind, it seems most consistent for 'inalloca' on an
'inalloca' instruction to occur before between the instruction and the
type.  Unlike the current formulation, there would be no preceding
comma.  The combination 'alloca inalloca' doesn't look particularly
appetizing, perhaps a better spelling of 'inalloca' is down the road.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@203376 91177308-0d34-0410-b5e6-96231b3b80d8
2014-03-09 06:41:58 +00:00
..
Analysis Teach lint about address spaces 2014-03-06 17:33:55 +00:00
Assembler IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
Bindings
Bitcode Ensure bitcode encoding of instructions and their operands stays stable. 2014-03-02 15:26:36 +00:00
BugPoint
CodeGen IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
DebugInfo DebugInfo: Use DW_FORM_data4 for DW_AT_high_pc in DW_TAG_lexical_blocks 2014-03-08 00:58:20 +00:00
ExecutionEngine
Feature Change math intrinsic attributes from readonly to readnone. These 2014-03-06 00:18:15 +00:00
FileCheck
Instrumentation [msan] Handle X86 SIMD bitshift intrinsics. 2014-03-03 13:47:42 +00:00
Integer
JitListener
Linker Fix datalayout test that I broke with my previous LinkModules warning improvement. 2014-03-05 21:37:08 +00:00
LTO
MC Moved test file from test/MC/Mips to test/CodeGen/Mips. 2014-03-07 22:08:46 +00:00
Object Now that it is possible, use the mangler in IRObjectFile. 2014-02-28 02:17:23 +00:00
Other
TableGen
tools Fix the printing of n_type. 2014-03-06 20:13:41 +00:00
Transforms IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
Unit With rpaths being set correctly, SHLIBPATH_VAR is not needed anymore. 2014-02-28 16:16:51 +00:00
Verifier IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
YAMLParser
.clang-format
CMakeLists.txt [CMake] check-llvm: Include "bugpoint" in dependent list. 2014-03-04 16:13:30 +00:00
lit.cfg
lit.site.cfg.in
Makefile With rpaths being set correctly, SHLIBPATH_VAR is not needed anymore. 2014-02-28 16:16:51 +00:00
Makefile.tests
TestRunner.sh