1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=i686-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck %s
2
3 struct A {
AA4 A() : a(42) {}
AA5 A(const A &o) : a(o.a) {}
~AA6 ~A() {}
7 int a;
8 };
9
10 struct 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
foo(A x)17 A 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 }>* %{{.*}}, i32 0, i32 0
24 // CHECK: load %struct.A**
25 // CHECK: ret %struct.A*
26
bar(A x)27 A 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 }>* %{{.*}}, i32 0, i32 1
34 // CHECK: load %struct.A**
35 // CHECK: ret %struct.A*
36
baz(A x)37 A 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 }>* %{{.*}}, i32 0, i32 1
44 // CHECK: load %struct.A**
45 // CHECK: ret %struct.A*
46
qux(A x)47 A 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
main()55 int 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