1 // RUN: %clang_cc1 -mconstructor-aliases -std=c++11 -fexceptions -emit-llvm %s -o - -triple=i386-pc-win32 | FileCheck %s
2 
3 struct A {
4   A(int a);
5   ~A();
6   int a;
7 };
8 
9 void foo(A a, A b, A c) {
10 }
11 
12 // Order of destruction should be left to right.
13 //
14 // CHECK-LABEL: define void @"\01?foo@@YAXUA@@00@Z"
15 // CHECK:              ({{.*}} %[[a:.*]], {{.*}} %[[b:.*]], {{.*}} %[[c:.*]])
16 // CHECK: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[a]])
17 // CHECK: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[b]])
18 // CHECK: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[c]])
19 // CHECK: ret void
20 
21 
22 void call_foo() {
23   foo(A(1), A(2), A(3));
24 }
25 
26 // Order of evaluation should be right to left, and we should clean up the right
27 // things as we unwind.
28 //
29 // CHECK-LABEL: define void @"\01?call_foo@@YAXXZ"()
30 // CHECK: call   x86_thiscallcc %struct.A* @"\01??0A@@QAE@H@Z"(%struct.A* %[[arg3:.*]], i32 3)
31 // CHECK: invoke x86_thiscallcc %struct.A* @"\01??0A@@QAE@H@Z"(%struct.A* %[[arg2:.*]], i32 2)
32 // CHECK: invoke x86_thiscallcc %struct.A* @"\01??0A@@QAE@H@Z"(%struct.A* %[[arg1:.*]], i32 1)
33 // CHECK: call void @"\01?foo@@YAXUA@@00@Z"({{.*}} %[[arg1]], {{.*}} %[[arg2]], {{.*}} %[[arg3]])
34 // CHECK: ret void
35 //
36 //   lpad2:
37 // CHECK: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[arg2]])
38 // CHECK: br label
39 //
40 //   ehcleanup:
41 // CHECK: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[arg3]])
42