42 lines · cpp
1// RUN: %clang_cc1 -std=c++98 -triple i386-unknown-unknown -fno-elide-constructors -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX982// RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown -fno-elide-constructors -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX113// RUN: %clang_cc1 -std=c++11 -triple amdgcn-amd-amdhsa -fno-elide-constructors -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK --check-prefix=CHECK-CXX11-NONZEROALLOCAAS4// RUN: %clang_cc1 -std=c++98 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX98-ELIDE5// RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX11-ELIDE6// RUN: %clang_cc1 -std=c++11 -triple amdgcn-amd-amdhsa -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX11-NONZEROALLOCAAS-ELIDE7 8// Reduced from PR122089class X {10public:11 X();12 X(const X&);13#if __cplusplus >= 201103L14 X(X&&);15#endif16 ~X();17};18 19// CHECK-LABEL: define{{.*}} void @_Z4Testv(20// CHECK-SAME: ptr {{.*}}dead_on_unwind noalias writable sret([[CLASS_X:%.*]]) align 1 [[AGG_RESULT:%.*]])21X Test()22{23 X x;24 25 // Check that the copy constructor for X is called with result variable as26 // sret argument.27 // CHECK-CXX98: call void @_ZN1XC1ERKS_(28 // CHECK-CXX11: call void @_ZN1XC1EOS_(29 // CHECK-CXX11-NONZEROALLOCAAS: [[TMP0:%.*]] = addrspacecast ptr addrspace(5) [[AGG_RESULT]] to ptr30 // CHECK-CXX11-NONZEROALLOCAAS-NEXT: call void @_ZN1XC1EOS_(ptr noundef nonnull align 1 dereferenceable(1) [[TMP0]]31 // CHECK-CXX98-ELIDE-NOT: call void @_ZN1XC1ERKS_(32 // CHECK-CXX11-ELIDE-NOT: call void @_ZN1XC1EOS_(33 // CHECK-CXX11-NONZEROALLOCAAS-ELIDE-NOT: call void @_ZN1XC1EOS_(34 35 // Make sure that the destructor for X is called.36 // FIXME: This call is present even in the -ELIDE runs, but is guarded by a37 // branch that is never taken in those cases. We could generate better IR38 // here.39 // CHECK: call void @_ZN1XD1Ev(40 return x;41}42