1//RUN: %clang_cc1 %s -emit-llvm -o - -triple=i686-unknown-linux | FileCheck --check-prefix=CHECKGEN %s 2//RUN: %clang_cc1 %s -emit-llvm -o - -triple=thumbv7-apple-ios6.0 -target-abi apcs-gnu | FileCheck --check-prefix=CHECKARM %s 3//RUN: %clang_cc1 %s -emit-llvm -o - -triple=thumbv7-apple-ios5.0 -target-abi apcs-gnu | FileCheck --check-prefix=CHECKIOS5 %s 4//RUN: %clang_cc1 %s -emit-llvm -o - -triple=i386-pc-win32 -fno-rtti | FileCheck --check-prefix=CHECKMS %s 5// FIXME: these tests crash on the bots when run with -triple=x86_64-pc-win32 6 7// Make sure we attach the 'returned' attribute to the 'this' parameter of 8// constructors and destructors which return this (and only these cases) 9 10class A { 11public: 12 A(); 13 ~A(); 14 15private: 16 int x_; 17}; 18 19class B : public A { 20public: 21 B(int *i); 22 ~B(); 23 24private: 25 int *i_; 26}; 27 28B::B(int *i) : i_(i) { } 29B::~B() { } 30 31// CHECKGEN-LABEL: define void @_ZN1BC2EPi(%class.B* %this, i32* %i) 32// CHECKGEN-LABEL: define void @_ZN1BC1EPi(%class.B* %this, i32* %i) 33// CHECKGEN-LABEL: define void @_ZN1BD2Ev(%class.B* %this) 34// CHECKGEN-LABEL: define void @_ZN1BD1Ev(%class.B* %this) 35 36// CHECKARM-LABEL: define %class.B* @_ZN1BC2EPi(%class.B* returned %this, i32* %i) 37// CHECKARM-LABEL: define %class.B* @_ZN1BC1EPi(%class.B* returned %this, i32* %i) 38// CHECKARM-LABEL: define %class.B* @_ZN1BD2Ev(%class.B* returned %this) 39// CHECKARM-LABEL: define %class.B* @_ZN1BD1Ev(%class.B* returned %this) 40 41// CHECKIOS5-LABEL: define %class.B* @_ZN1BC2EPi(%class.B* %this, i32* %i) 42// CHECKIOS5-LABEL: define %class.B* @_ZN1BC1EPi(%class.B* %this, i32* %i) 43// CHECKIOS5-LABEL: define %class.B* @_ZN1BD2Ev(%class.B* %this) 44// CHECKIOS5-LABEL: define %class.B* @_ZN1BD1Ev(%class.B* %this) 45 46// CHECKMS-LABEL: define x86_thiscallcc %class.B* @"\01??0B@@QAE@PAH@Z"(%class.B* returned %this, i32* %i) 47// CHECKMS-LABEL: define x86_thiscallcc void @"\01??1B@@QAE@XZ"(%class.B* %this) 48 49class C : public A, public B { 50public: 51 C(int *i, char *c); 52 virtual ~C(); 53private: 54 char *c_; 55}; 56 57C::C(int *i, char *c) : B(i), c_(c) { } 58C::~C() { } 59 60// CHECKGEN-LABEL: define void @_ZN1CC2EPiPc(%class.C* %this, i32* %i, i8* %c) 61// CHECKGEN-LABEL: define void @_ZN1CC1EPiPc(%class.C* %this, i32* %i, i8* %c) 62// CHECKGEN-LABEL: define void @_ZN1CD2Ev(%class.C* %this) 63// CHECKGEN-LABEL: define void @_ZN1CD1Ev(%class.C* %this) 64// CHECKGEN-LABEL: define void @_ZN1CD0Ev(%class.C* %this) 65 66// CHECKARM-LABEL: define %class.C* @_ZN1CC2EPiPc(%class.C* returned %this, i32* %i, i8* %c) 67// CHECKARM-LABEL: define %class.C* @_ZN1CC1EPiPc(%class.C* returned %this, i32* %i, i8* %c) 68// CHECKARM-LABEL: define %class.C* @_ZN1CD2Ev(%class.C* returned %this) 69// CHECKARM-LABEL: define %class.C* @_ZN1CD1Ev(%class.C* returned %this) 70// CHECKARM-LABEL: define void @_ZN1CD0Ev(%class.C* %this) 71 72// CHECKIOS5-LABEL: define %class.C* @_ZN1CC2EPiPc(%class.C* %this, i32* %i, i8* %c) 73// CHECKIOS5-LABEL: define %class.C* @_ZN1CC1EPiPc(%class.C* %this, i32* %i, i8* %c) 74// CHECKIOS5-LABEL: define %class.C* @_ZN1CD2Ev(%class.C* %this) 75// CHECKIOS5-LABEL: define %class.C* @_ZN1CD1Ev(%class.C* %this) 76// CHECKIOS5-LABEL: define void @_ZN1CD0Ev(%class.C* %this) 77 78// CHECKMS-LABEL: define x86_thiscallcc %class.C* @"\01??0C@@QAE@PAHPAD@Z"(%class.C* returned %this, i32* %i, i8* %c) 79// CHECKMS-LABEL: define x86_thiscallcc void @"\01??1C@@UAE@XZ"(%class.C* %this) 80 81class D : public virtual A { 82public: 83 D(); 84 ~D(); 85}; 86 87D::D() { } 88D::~D() { } 89 90// CHECKGEN-LABEL: define void @_ZN1DC2Ev(%class.D* %this, i8** %vtt) 91// CHECKGEN-LABEL: define void @_ZN1DC1Ev(%class.D* %this) 92// CHECKGEN-LABEL: define void @_ZN1DD2Ev(%class.D* %this, i8** %vtt) 93// CHECKGEN-LABEL: define void @_ZN1DD1Ev(%class.D* %this) 94 95// CHECKARM-LABEL: define %class.D* @_ZN1DC2Ev(%class.D* returned %this, i8** %vtt) 96// CHECKARM-LABEL: define %class.D* @_ZN1DC1Ev(%class.D* returned %this) 97// CHECKARM-LABEL: define %class.D* @_ZN1DD2Ev(%class.D* returned %this, i8** %vtt) 98// CHECKARM-LABEL: define %class.D* @_ZN1DD1Ev(%class.D* returned %this) 99 100// CHECKIOS5-LABEL: define %class.D* @_ZN1DC2Ev(%class.D* %this, i8** %vtt) 101// CHECKIOS5-LABEL: define %class.D* @_ZN1DC1Ev(%class.D* %this) 102// CHECKIOS5-LABEL: define %class.D* @_ZN1DD2Ev(%class.D* %this, i8** %vtt) 103// CHECKIOS5-LABEL: define %class.D* @_ZN1DD1Ev(%class.D* %this) 104 105// CHECKMS-LABEL: define x86_thiscallcc %class.D* @"\01??0D@@QAE@XZ"(%class.D* returned %this, i32 %is_most_derived) 106// CHECKMS-LABEL: define x86_thiscallcc void @"\01??1D@@QAE@XZ"(%class.D* %this) 107 108class E { 109public: 110 E(); 111 virtual ~E(); 112}; 113 114E* gete(); 115 116void test_destructor() { 117 const E& e1 = E(); 118 E* e2 = gete(); 119 e2->~E(); 120} 121 122// CHECKARM-LABEL: define void @_Z15test_destructorv() 123 124// Verify that virtual calls to destructors are not marked with a 'returned' 125// this parameter at the call site... 126// CHECKARM: [[VFN:%.*]] = getelementptr inbounds %class.E* (%class.E*)** 127// CHECKARM: [[THUNK:%.*]] = load %class.E* (%class.E*)** [[VFN]] 128// CHECKARM: call %class.E* [[THUNK]](%class.E* % 129 130// ...but static calls create declarations with 'returned' this 131// CHECKARM: {{%.*}} = call %class.E* @_ZN1ED1Ev(%class.E* % 132 133// CHECKARM: declare %class.E* @_ZN1ED1Ev(%class.E* returned) 134