1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s 2 // RUN: %clang_cc1 -std=c++11 -triple x86_64-windows-msvc -emit-llvm -o - %s | FileCheck %s -check-prefix=WIN64 3 4 namespace trivial { 5 // Trivial structs should be passed directly. 6 struct A { 7 void *p; 8 }; 9 void foo(A); 10 void bar() { 11 foo({}); 12 } 13 // CHECK-LABEL: define void @_ZN7trivial3barEv() 14 // CHECK: alloca %"struct.trivial::A" 15 // CHECK: load i8*, i8** 16 // CHECK: call void @_ZN7trivial3fooENS_1AE(i8* %{{.*}}) 17 // CHECK-LABEL: declare void @_ZN7trivial3fooENS_1AE(i8*) 18 19 // WIN64-LABEL: declare void @"\01?foo@trivial@@YAXUA@1@@Z"(i64) 20 } 21 22 namespace default_ctor { 23 struct A { 24 A(); 25 void *p; 26 }; 27 void foo(A); 28 void bar() { 29 // Core issue 1590. We can pass this type in registers, even though C++ 30 // normally doesn't permit copies when using braced initialization. 31 foo({}); 32 } 33 // CHECK-LABEL: define void @_ZN12default_ctor3barEv() 34 // CHECK: alloca %"struct.default_ctor::A" 35 // CHECK: call void @_Z{{.*}}C1Ev( 36 // CHECK: load i8*, i8** 37 // CHECK: call void @_ZN12default_ctor3fooENS_1AE(i8* %{{.*}}) 38 // CHECK-LABEL: declare void @_ZN12default_ctor3fooENS_1AE(i8*) 39 40 // WIN64-LABEL: declare void @"\01?foo@default_ctor@@YAXUA@1@@Z"(i64) 41 } 42 43 namespace move_ctor { 44 // The presence of a move constructor implicitly deletes the trivial copy ctor 45 // and means that we have to pass this struct by address. 46 struct A { 47 A(); 48 A(A &&o); 49 void *p; 50 }; 51 void foo(A); 52 void bar() { 53 foo({}); 54 } 55 // FIXME: The copy ctor is implicitly deleted. 56 // CHECK-DISABLED-LABEL: define void @_ZN9move_ctor3barEv() 57 // CHECK-DISABLED: call void @_Z{{.*}}C1Ev( 58 // CHECK-DISABLED-NOT: call 59 // CHECK-DISABLED: call void @_ZN9move_ctor3fooENS_1AE(%"struct.move_ctor::A"* %{{.*}}) 60 // CHECK-DISABLED-LABEL: declare void @_ZN9move_ctor3fooENS_1AE(%"struct.move_ctor::A"*) 61 62 // WIN64-LABEL: declare void @"\01?foo@move_ctor@@YAXUA@1@@Z"(%"struct.move_ctor::A"*) 63 } 64 65 namespace all_deleted { 66 struct A { 67 A(); 68 A(const A &o) = delete; 69 A(A &&o) = delete; 70 void *p; 71 }; 72 void foo(A); 73 void bar() { 74 foo({}); 75 } 76 // FIXME: The copy ctor is deleted. 77 // CHECK-DISABLED-LABEL: define void @_ZN11all_deleted3barEv() 78 // CHECK-DISABLED: call void @_Z{{.*}}C1Ev( 79 // CHECK-DISABLED-NOT: call 80 // CHECK-DISABLED: call void @_ZN11all_deleted3fooENS_1AE(%"struct.all_deleted::A"* %{{.*}}) 81 // CHECK-DISABLED-LABEL: declare void @_ZN11all_deleted3fooENS_1AE(%"struct.all_deleted::A"*) 82 83 // WIN64-LABEL: declare void @"\01?foo@all_deleted@@YAXUA@1@@Z"(%"struct.all_deleted::A"*) 84 } 85 86 namespace implicitly_deleted { 87 struct A { 88 A(); 89 A &operator=(A &&o); 90 void *p; 91 }; 92 void foo(A); 93 void bar() { 94 foo({}); 95 } 96 // FIXME: The copy and move ctors are implicitly deleted. 97 // CHECK-DISABLED-LABEL: define void @_ZN18implicitly_deleted3barEv() 98 // CHECK-DISABLED: call void @_Z{{.*}}C1Ev( 99 // CHECK-DISABLED-NOT: call 100 // CHECK-DISABLED: call void @_ZN18implicitly_deleted3fooENS_1AE(%"struct.implicitly_deleted::A"* %{{.*}}) 101 // CHECK-DISABLED-LABEL: declare void @_ZN18implicitly_deleted3fooENS_1AE(%"struct.implicitly_deleted::A"*) 102 103 // WIN64-LABEL: declare void @"\01?foo@implicitly_deleted@@YAXUA@1@@Z"(%"struct.implicitly_deleted::A"*) 104 } 105 106 namespace one_deleted { 107 struct A { 108 A(); 109 A(A &&o) = delete; 110 void *p; 111 }; 112 void foo(A); 113 void bar() { 114 foo({}); 115 } 116 // FIXME: The copy constructor is implicitly deleted. 117 // CHECK-DISABLED-LABEL: define void @_ZN11one_deleted3barEv() 118 // CHECK-DISABLED: call void @_Z{{.*}}C1Ev( 119 // CHECK-DISABLED-NOT: call 120 // CHECK-DISABLED: call void @_ZN11one_deleted3fooENS_1AE(%"struct.one_deleted::A"* %{{.*}}) 121 // CHECK-DISABLED-LABEL: declare void @_ZN11one_deleted3fooENS_1AE(%"struct.one_deleted::A"*) 122 123 // WIN64-LABEL: declare void @"\01?foo@one_deleted@@YAXUA@1@@Z"(%"struct.one_deleted::A"*) 124 } 125 126 namespace copy_defaulted { 127 struct A { 128 A(); 129 A(const A &o) = default; 130 A(A &&o) = delete; 131 void *p; 132 }; 133 void foo(A); 134 void bar() { 135 foo({}); 136 } 137 // CHECK-LABEL: define void @_ZN14copy_defaulted3barEv() 138 // CHECK: call void @_Z{{.*}}C1Ev( 139 // CHECK: load i8*, i8** 140 // CHECK: call void @_ZN14copy_defaulted3fooENS_1AE(i8* %{{.*}}) 141 // CHECK-LABEL: declare void @_ZN14copy_defaulted3fooENS_1AE(i8*) 142 143 // WIN64-LABEL: declare void @"\01?foo@copy_defaulted@@YAXUA@1@@Z"(i64) 144 } 145 146 namespace move_defaulted { 147 struct A { 148 A(); 149 A(const A &o) = delete; 150 A(A &&o) = default; 151 void *p; 152 }; 153 void foo(A); 154 void bar() { 155 foo({}); 156 } 157 // CHECK-LABEL: define void @_ZN14move_defaulted3barEv() 158 // CHECK: call void @_Z{{.*}}C1Ev( 159 // CHECK: load i8*, i8** 160 // CHECK: call void @_ZN14move_defaulted3fooENS_1AE(i8* %{{.*}}) 161 // CHECK-LABEL: declare void @_ZN14move_defaulted3fooENS_1AE(i8*) 162 163 // WIN64-LABEL: declare void @"\01?foo@move_defaulted@@YAXUA@1@@Z"(%"struct.move_defaulted::A"*) 164 } 165 166 namespace trivial_defaulted { 167 struct A { 168 A(); 169 A(const A &o) = default; 170 void *p; 171 }; 172 void foo(A); 173 void bar() { 174 foo({}); 175 } 176 // CHECK-LABEL: define void @_ZN17trivial_defaulted3barEv() 177 // CHECK: call void @_Z{{.*}}C1Ev( 178 // CHECK: load i8*, i8** 179 // CHECK: call void @_ZN17trivial_defaulted3fooENS_1AE(i8* %{{.*}}) 180 // CHECK-LABEL: declare void @_ZN17trivial_defaulted3fooENS_1AE(i8*) 181 182 // WIN64-LABEL: declare void @"\01?foo@trivial_defaulted@@YAXUA@1@@Z"(i64) 183 } 184 185 namespace two_copy_ctors { 186 struct A { 187 A(); 188 A(const A &) = default; 189 A(const A &, int = 0); 190 void *p; 191 }; 192 struct B : A {}; 193 194 void foo(B); 195 void bar() { 196 foo({}); 197 } 198 // FIXME: This class has a non-trivial copy ctor and a trivial copy ctor. It's 199 // not clear whether we should pass by address or in registers. 200 // CHECK-DISABLED-LABEL: define void @_ZN14two_copy_ctors3barEv() 201 // CHECK-DISABLED: call void @_Z{{.*}}C1Ev( 202 // CHECK-DISABLED: call void @_ZN14two_copy_ctors3fooENS_1BE(%"struct.two_copy_ctors::B"* %{{.*}}) 203 // CHECK-DISABLED-LABEL: declare void @_ZN14two_copy_ctors3fooENS_1BE(%"struct.two_copy_ctors::B"*) 204 205 // WIN64-LABEL: declare void @"\01?foo@two_copy_ctors@@YAXUB@1@@Z"(%"struct.two_copy_ctors::B"*) 206 } 207
