mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-03 02:30:00 +00:00
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
66 lines
1.7 KiB
LLVM
66 lines
1.7 KiB
LLVM
; RUN: llc < %s -mtriple=i686-pc-win32 | FileCheck %s
|
|
|
|
%Foo = type { i32, i32 }
|
|
|
|
declare void @f(%Foo* inalloca %b)
|
|
|
|
define void @a() {
|
|
; CHECK-LABEL: _a:
|
|
entry:
|
|
%b = alloca inalloca %Foo
|
|
; CHECK: movl $8, %eax
|
|
; CHECK: calll __chkstk
|
|
; CHECK: movl %[[REG:[^,]*]], %esp
|
|
%f1 = getelementptr %Foo* %b, i32 0, i32 0
|
|
%f2 = getelementptr %Foo* %b, i32 0, i32 1
|
|
store i32 13, i32* %f1
|
|
store i32 42, i32* %f2
|
|
; CHECK: movl $13, (%[[REG]])
|
|
; CHECK: movl $42, 4(%[[REG]])
|
|
call void @f(%Foo* inalloca %b)
|
|
; CHECK: calll _f
|
|
ret void
|
|
}
|
|
|
|
declare void @inreg_with_inalloca(i32 inreg %a, %Foo* inalloca %b)
|
|
|
|
define void @b() {
|
|
; CHECK-LABEL: _b:
|
|
entry:
|
|
%b = alloca inalloca %Foo
|
|
; CHECK: movl $8, %eax
|
|
; CHECK: calll __chkstk
|
|
; CHECK: movl %[[REG:[^,]*]], %esp
|
|
%f1 = getelementptr %Foo* %b, i32 0, i32 0
|
|
%f2 = getelementptr %Foo* %b, i32 0, i32 1
|
|
store i32 13, i32* %f1
|
|
store i32 42, i32* %f2
|
|
; CHECK: movl $13, (%[[REG]])
|
|
; CHECK: movl $42, 4(%[[REG]])
|
|
call void @inreg_with_inalloca(i32 inreg 1, %Foo* inalloca %b)
|
|
; CHECK: movl $1, %eax
|
|
; CHECK: calll _inreg_with_inalloca
|
|
ret void
|
|
}
|
|
|
|
declare x86_thiscallcc void @thiscall_with_inalloca(i8* %a, %Foo* inalloca %b)
|
|
|
|
define void @c() {
|
|
; CHECK-LABEL: _c:
|
|
entry:
|
|
%b = alloca inalloca %Foo
|
|
; CHECK: movl $8, %eax
|
|
; CHECK: calll __chkstk
|
|
; CHECK: movl %[[REG:[^,]*]], %esp
|
|
%f1 = getelementptr %Foo* %b, i32 0, i32 0
|
|
%f2 = getelementptr %Foo* %b, i32 0, i32 1
|
|
store i32 13, i32* %f1
|
|
store i32 42, i32* %f2
|
|
; CHECK-DAG: movl $13, (%[[REG]])
|
|
; CHECK-DAG: movl $42, 4(%[[REG]])
|
|
call x86_thiscallcc void @thiscall_with_inalloca(i8* null, %Foo* inalloca %b)
|
|
; CHECK-DAG: xorl %ecx, %ecx
|
|
; CHECK: calll _thiscall_with_inalloca
|
|
ret void
|
|
}
|