1// RUN: %clang_cc1 -emit-llvm %s -o - -triple=i686-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck %s
2
3struct A {
4  A() : a(42) {}
5  A(const A &o) : a(o.a) {}
6  ~A() {}
7  int a;
8};
9
10struct B {
11  A foo(A o);
12  A __cdecl bar(A o);
13  A __stdcall baz(A o);
14  A __fastcall qux(A o);
15};
16
17A B::foo(A x) {
18  return x;
19}
20
21// CHECK-LABEL: define x86_thiscallcc %struct.A* @"\01?foo@B@@QAE?AUA@@U2@@Z"
22// CHECK:       (%struct.B* %this, <{ %struct.A*, %struct.A }>* inalloca)
23// CHECK:   getelementptr inbounds <{ %struct.A*, %struct.A }>, <{ %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 0
24// CHECK:   load %struct.A*, %struct.A**
25// CHECK:   ret %struct.A*
26
27A B::bar(A x) {
28  return x;
29}
30
31// CHECK-LABEL: define %struct.A* @"\01?bar@B@@QAA?AUA@@U2@@Z"
32// CHECK:       (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca)
33// CHECK:   getelementptr inbounds <{ %struct.B*, %struct.A*, %struct.A }>, <{ %struct.B*, %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 1
34// CHECK:   load %struct.A*, %struct.A**
35// CHECK:   ret %struct.A*
36
37A B::baz(A x) {
38  return x;
39}
40
41// CHECK-LABEL: define x86_stdcallcc %struct.A* @"\01?baz@B@@QAG?AUA@@U2@@Z"
42// CHECK:       (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca)
43// CHECK:   getelementptr inbounds <{ %struct.B*, %struct.A*, %struct.A }>, <{ %struct.B*, %struct.A*, %struct.A }>* %{{.*}}, i32 0, i32 1
44// CHECK:   load %struct.A*, %struct.A**
45// CHECK:   ret %struct.A*
46
47A B::qux(A x) {
48  return x;
49}
50
51// CHECK-LABEL: define x86_fastcallcc void @"\01?qux@B@@QAI?AUA@@U2@@Z"
52// CHECK:       (%struct.B* inreg %this, %struct.A* inreg noalias sret %agg.result, <{ %struct.A }>* inalloca)
53// CHECK:   ret void
54
55int main() {
56  B b;
57  A a = b.foo(A());
58  a = b.bar(a);
59  a = b.baz(a);
60  a = b.qux(a);
61}
62
63// CHECK: call x86_thiscallcc %struct.A* @"\01?foo@B@@QAE?AUA@@U2@@Z"
64// CHECK:       (%struct.B* %{{[^,]*}}, <{ %struct.A*, %struct.A }>* inalloca %{{[^,]*}})
65// CHECK: call %struct.A* @"\01?bar@B@@QAA?AUA@@U2@@Z"
66// CHECK:       (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca %{{[^,]*}})
67// CHECK: call x86_stdcallcc %struct.A* @"\01?baz@B@@QAG?AUA@@U2@@Z"
68// CHECK:       (<{ %struct.B*, %struct.A*, %struct.A }>* inalloca %{{[^,]*}})
69// CHECK: call x86_fastcallcc void @"\01?qux@B@@QAI?AUA@@U2@@Z"
70// CHECK:       (%struct.B* inreg %{{[^,]*}}, %struct.A* inreg sret %{{.*}}, <{ %struct.A }>* inalloca %{{[^,]*}})
71