1 // RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=i386-pc-win32 | FileCheck %s -check-prefix=X86
2 // RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=x86_64-pc-win32 | FileCheck %s -check-prefix=X64
3
4 struct A {
5 A(int a);
6 A(const A &o);
7 ~A();
8 int a;
9 };
10
foo(A a,A b,A c)11 void foo(A a, A b, A c) {
12 }
13
14 // Order of destruction should be left to right.
15 //
16 // X86-LABEL: define dso_local void @"?foo@@YAXUA@@00@Z"
17 // X86: ([[argmem_ty:<{ %struct.A, %struct.A, %struct.A }>]]* inalloca([[argmem_ty]]) %0)
18 // X86: %[[a:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 0
19 // X86: %[[b:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 1
20 // X86: %[[c:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %0, i32 0, i32 2
21 // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* {{[^,]*}} %[[a]])
22 // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* {{[^,]*}} %[[b]])
23 // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* {{[^,]*}} %[[c]])
24 // X86: ret void
25
26 // X64-LABEL: define dso_local void @"?foo@@YAXUA@@00@Z"
27 // X64: (%struct.A* %[[a:[^,]*]], %struct.A* %[[b:[^,]*]], %struct.A* %[[c:[^)]*]])
28 // X64: call void @"??1A@@QEAA@XZ"(%struct.A* {{[^,]*}} %[[a]])
29 // X64: call void @"??1A@@QEAA@XZ"(%struct.A* {{[^,]*}} %[[b]])
30 // X64: call void @"??1A@@QEAA@XZ"(%struct.A* {{[^,]*}} %[[c]])
31 // X64: ret void
32
33
call_foo()34 void call_foo() {
35 foo(A(1), A(2), A(3));
36 }
37
38 // Order of evaluation should be right to left, and we should clean up the right
39 // things as we unwind.
40 //
41 // X86-LABEL: define dso_local void @"?call_foo@@YAXXZ"()
42 // X86: call i8* @llvm.stacksave()
43 // X86: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]]
44 // X86: %[[arg3:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 2
45 // X86: call x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* {{[^,]*}} %[[arg3]], i32 3)
46 // X86: %[[arg2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
47 // X86: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* {{[^,]*}} %[[arg2]], i32 2)
48 // X86: %[[arg1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
49 // X86: invoke x86_thiscallcc %struct.A* @"??0A@@QAE@H@Z"(%struct.A* {{[^,]*}} %[[arg1]], i32 1)
50 // X86: call void @"?foo@@YAXUA@@00@Z"([[argmem_ty]]* inalloca([[argmem_ty]]) %[[argmem]])
51 // X86: call void @llvm.stackrestore
52 // X86: ret void
53 //
54 // lpad2:
55 // X86: cleanuppad within none []
56 // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* {{[^,]*}} %[[arg2]])
57 // X86: cleanupret
58 //
59 // ehcleanup:
60 // X86: call x86_thiscallcc void @"??1A@@QAE@XZ"(%struct.A* {{[^,]*}} %[[arg3]])
61
62 // X64-LABEL: define dso_local void @"?call_foo@@YAXXZ"()
63 // X64: call %struct.A* @"??0A@@QEAA@H@Z"(%struct.A* {{[^,]*}} %[[arg3:[^,]*]], i32 3)
64 // X64: invoke %struct.A* @"??0A@@QEAA@H@Z"(%struct.A* {{[^,]*}} %[[arg2:[^,]*]], i32 2)
65 // X64: invoke %struct.A* @"??0A@@QEAA@H@Z"(%struct.A* {{[^,]*}} %[[arg1:[^,]*]], i32 1)
66 // X64: call void @"?foo@@YAXUA@@00@Z"
67 // X64: (%struct.A* %[[arg1]], %struct.A* %[[arg2]], %struct.A* %[[arg3]])
68 // X64: ret void
69 //
70 // lpad2:
71 // X64: cleanuppad within none []
72 // X64: call void @"??1A@@QEAA@XZ"(%struct.A* {{[^,]*}} %[[arg2]])
73 // X64: cleanupret
74 //
75 // ehcleanup:
76 // X64: call void @"??1A@@QEAA@XZ"(%struct.A* {{[^,]*}} %[[arg3]])
77