diff options
Diffstat (limited to 'test/CodeGenCXX/no-elide-constructors.cpp')
-rw-r--r-- | test/CodeGenCXX/no-elide-constructors.cpp | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/CodeGenCXX/no-elide-constructors.cpp b/test/CodeGenCXX/no-elide-constructors.cpp new file mode 100644 index 000000000000..ecb350f43ec9 --- /dev/null +++ b/test/CodeGenCXX/no-elide-constructors.cpp @@ -0,0 +1,35 @@ +// 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-CXX98 +// 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-CXX11 +// RUN: %clang_cc1 -std=c++98 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX98-ELIDE +// RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-CXX11-ELIDE + +// Reduced from PR12208 +class X { +public: + X(); + X(const X&); +#if __cplusplus >= 201103L + X(X&&); +#endif + ~X(); +}; + +// CHECK-LABEL: define void @_Z4Testv( +X Test() +{ + X x; + + // Check that the copy constructor for X is called with result variable as + // sret argument. + // CHECK-CXX98: call void @_ZN1XC1ERKS_( + // CHECK-CXX11: call void @_ZN1XC1EOS_( + // CHECK-CXX98-ELIDE-NOT: call void @_ZN1XC1ERKS_( + // CHECK-CXX11-ELIDE-NOT: call void @_ZN1XC1EOS_( + + // Make sure that the destructor for X is called. + // FIXME: This call is present even in the -ELIDE runs, but is guarded by a + // branch that is never taken in those cases. We could generate better IR + // here. + // CHECK: call void @_ZN1XD1Ev( + return x; +} |