diff options
Diffstat (limited to 'test/CodeGen/X86/inalloca-ctor.ll')
-rw-r--r-- | test/CodeGen/X86/inalloca-ctor.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/CodeGen/X86/inalloca-ctor.ll b/test/CodeGen/X86/inalloca-ctor.ll new file mode 100644 index 0000000000..f81e9675b7 --- /dev/null +++ b/test/CodeGen/X86/inalloca-ctor.ll @@ -0,0 +1,34 @@ +; RUN: llc < %s -mtriple=i686-pc-win32 | FileCheck %s + +%Foo = type { i32, i32 } + +%frame = type { %Foo, i32, %Foo } + +declare void @f(%frame* inalloca %a) + +declare void @Foo_ctor(%Foo* %this) + +define void @g() { +entry: + %args = alloca %frame, inalloca + %c = getelementptr %frame* %args, i32 0, i32 2 +; CHECK: movl $20, %eax +; CHECK: calll __chkstk +; CHECK: movl %esp, + call void @Foo_ctor(%Foo* %c) +; CHECK: leal 12(%{{.*}}), +; CHECK: subl $4, %esp +; CHECK: calll _Foo_ctor +; CHECK: addl $4, %esp + %b = getelementptr %frame* %args, i32 0, i32 1 + store i32 42, i32* %b +; CHECK: movl $42, + %a = getelementptr %frame* %args, i32 0, i32 0 + call void @Foo_ctor(%Foo* %a) +; CHECK: subl $4, %esp +; CHECK: calll _Foo_ctor +; CHECK: addl $4, %esp + call void @f(%frame* inalloca %args) +; CHECK: calll _f + ret void +} |