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 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 void @"\01?foo@@YAXUA@@00@Z" 17 // X86: ([[argmem_ty:<{ %struct.A, %struct.A, %struct.A }>]]* inalloca) 18 // X86: %[[a:[^ ]*]] = getelementptr inbounds [[argmem_ty]]* %0, i32 0, i32 0 19 // X86: %[[b:[^ ]*]] = getelementptr inbounds [[argmem_ty]]* %0, i32 0, i32 1 20 // X86: %[[c:[^ ]*]] = getelementptr inbounds [[argmem_ty]]* %0, i32 0, i32 2 21 // X86: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[a]]) 22 // X86: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[b]]) 23 // X86: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[c]]) 24 // X86: ret void 25 26 // X64-LABEL: define void @"\01?foo@@YAXUA@@00@Z" 27 // X64: (%struct.A* %[[a:[^,]*]], %struct.A* %[[b:[^,]*]], %struct.A* %[[c:[^)]*]]) 28 // X64: call void @"\01??1A@@QEAA@XZ"(%struct.A* %[[a]]) 29 // X64: call void @"\01??1A@@QEAA@XZ"(%struct.A* %[[b]]) 30 // X64: call void @"\01??1A@@QEAA@XZ"(%struct.A* %[[c]]) 31 // X64: ret void 32 33 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 void @"\01?call_foo@@YAXXZ"() 42 // X86: call i8* @llvm.stacksave() 43 // X86: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]] 44 // X86: %[[arg3:[^ ]*]] = getelementptr inbounds [[argmem_ty]]* %[[argmem]], i32 0, i32 2 45 // X86: invoke x86_thiscallcc %struct.A* @"\01??0A@@QAE@H@Z"(%struct.A* %[[arg3]], i32 3) 46 // X86: %[[arg2:[^ ]*]] = getelementptr inbounds [[argmem_ty]]* %[[argmem]], i32 0, i32 1 47 // X86: invoke x86_thiscallcc %struct.A* @"\01??0A@@QAE@H@Z"(%struct.A* %[[arg2]], i32 2) 48 // X86: %[[arg1:[^ ]*]] = getelementptr inbounds [[argmem_ty]]* %[[argmem]], i32 0, i32 0 49 // X86: invoke x86_thiscallcc %struct.A* @"\01??0A@@QAE@H@Z"(%struct.A* %[[arg1]], i32 1) 50 // X86: invoke void @"\01?foo@@YAXUA@@00@Z"([[argmem_ty]]* inalloca %[[argmem]]) 51 // X86: call void @llvm.stackrestore 52 // X86: ret void 53 // 54 // lpad2: 55 // X86: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[arg2]]) 56 // X86: br label 57 // 58 // ehcleanup: 59 // X86: call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %[[arg3]]) 60 61 // X64-LABEL: define void @"\01?call_foo@@YAXXZ"() 62 // X64: call %struct.A* @"\01??0A@@QEAA@H@Z"(%struct.A* %[[arg3:[^,]*]], i32 3) 63 // X64: invoke %struct.A* @"\01??0A@@QEAA@H@Z"(%struct.A* %[[arg2:[^,]*]], i32 2) 64 // X64: invoke %struct.A* @"\01??0A@@QEAA@H@Z"(%struct.A* %[[arg1:[^,]*]], i32 1) 65 // X64: call void @"\01?foo@@YAXUA@@00@Z" 66 // X64: (%struct.A* %[[arg1]], %struct.A* %[[arg2]], %struct.A* %[[arg3]]) 67 // X64: ret void 68 // 69 // lpad2: 70 // X64: call void @"\01??1A@@QEAA@XZ"(%struct.A* %[[arg2]]) 71 // X64: br label 72 // 73 // ehcleanup: 74 // X64: call void @"\01??1A@@QEAA@XZ"(%struct.A* %[[arg3]]) 75
