maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/CodeGen/nrvo-tracking.cpp

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

190 lines
5.8 KiB
C++
Raw Normal View History

[clang] tests: cleanup, update and add some new ones This reworks a small set of tests, as preparatory work for implementing P2266. * Run for more standard versions, including c++2b. * Normalize file names and run commands. * Adds some extra tests. New Coroutine tests taken from Aaron Puchert's D68845. Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> Reviewed By: thakis Differential Revision: https://reviews.llvm.org/D99225
2021-03-24 04:20:07 +08:00
// RUN: %clang_cc1 -std=c++20 -fblocks -Wno-return-stack-address -triple x86_64-unknown-unknown-gnu -emit-llvm -O1 -fexperimental-new-pass-manager -o - %s | FileCheck %s
struct X {
X();
X(const X&);
X(X&&);
};
#define L(A, B, C) void l##A() { \
auto t = []<class T = X>() -> C { \
T t; \
return B; \
}(); \
}
// CHECK-LABEL: define{{.*}} void @_Z2l1v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(1, t, X);
// CHECK-LABEL: define{{.*}} void @_Z2l2v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(2, t, X&);
// CHECK-LABEL: define{{.*}} void @_Z2l3v
// CHECK: call {{.*}} @_ZN1XC1Ev
Revert "[clang] NRVO: Improvements and handling of more cases." This change caused build errors related to move-only __block variables, see discussion on https://reviews.llvm.org/D99696 > This expands NRVO propagation for more cases: > > Parse analysis improvement: > * Lambdas and Blocks with dependent return type can have their variables > marked as NRVO Candidates. > > Variable instantiation improvements: > * Fixes crash when instantiating NRVO variables in Blocks. > * Functions, Lambdas, and Blocks which have auto return type have their > variables' NRVO status propagated. For Blocks with non-auto return type, > as a limitation, this propagation does not consider the actual return > type. > > This also implements exclusion of VarDecls which are references to > dependent types. > > Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> > > Reviewed By: Quuxplusone > > Differential Revision: https://reviews.llvm.org/D99696 This also reverts the follow-on change which was hard to tease apart form the one above: > "[clang] Implement P2266 Simpler implicit move" > > This Implements [[http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2266r1.html|P2266 Simpler implicit move]]. > > Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> > > Reviewed By: Quuxplusone > > Differential Revision: https://reviews.llvm.org/D99005 This reverts commits 1e50c3d785f4563873ab1ce86559f2a1285b5678 and bf20631782183cd19e0bb7219e908c2bbb01a75f.
2021-06-14 22:39:32 +08:00
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
[clang] tests: cleanup, update and add some new ones This reworks a small set of tests, as preparatory work for implementing P2266. * Run for more standard versions, including c++2b. * Normalize file names and run commands. * Adds some extra tests. New Coroutine tests taken from Aaron Puchert's D68845. Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> Reviewed By: thakis Differential Revision: https://reviews.llvm.org/D99225
2021-03-24 04:20:07 +08:00
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(3, t, T);
// CHECK-LABEL: define{{.*}} void @_Z2l4v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(4, t, T&);
// CHECK-LABEL: define{{.*}} void @_Z2l5v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(5, t, auto);
// CHECK-LABEL: define{{.*}} void @_Z2l6v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(6, t, auto&);
// CHECK-LABEL: define{{.*}} void @_Z2l7v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(7, t, decltype(auto));
// CHECK-LABEL: define{{.*}} void @_Z2l8v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
L(8, (t), decltype(auto));
#undef L
#define F(A, B, C) template<class T = X> static inline auto tf##A() -> C { \
T t; \
return B; \
} \
void f##A() { auto t = tf##A(); } \
// CHECK-LABEL: define{{.*}} void @_Z2f1v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(1, t, X);
// CHECK-LABEL: define{{.*}} void @_Z2f2v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(2, t, X&);
// CHECK-LABEL: define{{.*}} void @_Z2f3v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(3, t, T);
// CHECK-LABEL: define{{.*}} void @_Z2f4v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(4, t, T&);
// CHECK-LABEL: define{{.*}} void @_Z2f5v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(5, t, auto);
// CHECK-LABEL: define{{.*}} void @_Z2f6v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(6, t, auto&);
// CHECK-LABEL: define{{.*}} void @_Z2f7v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(7, t, decltype(auto));
// CHECK-LABEL: define{{.*}} void @_Z2f8v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
F(8, (t), decltype(auto));
#undef F
#define B(A, B) void b##A() { \
auto t = []<class T = X>() { return ^ B () { \
T t; \
return t; \
}; }()(); \
}
Revert "[clang] NRVO: Improvements and handling of more cases." This change caused build errors related to move-only __block variables, see discussion on https://reviews.llvm.org/D99696 > This expands NRVO propagation for more cases: > > Parse analysis improvement: > * Lambdas and Blocks with dependent return type can have their variables > marked as NRVO Candidates. > > Variable instantiation improvements: > * Fixes crash when instantiating NRVO variables in Blocks. > * Functions, Lambdas, and Blocks which have auto return type have their > variables' NRVO status propagated. For Blocks with non-auto return type, > as a limitation, this propagation does not consider the actual return > type. > > This also implements exclusion of VarDecls which are references to > dependent types. > > Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> > > Reviewed By: Quuxplusone > > Differential Revision: https://reviews.llvm.org/D99696 This also reverts the follow-on change which was hard to tease apart form the one above: > "[clang] Implement P2266 Simpler implicit move" > > This Implements [[http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2266r1.html|P2266 Simpler implicit move]]. > > Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> > > Reviewed By: Quuxplusone > > Differential Revision: https://reviews.llvm.org/D99005 This reverts commits 1e50c3d785f4563873ab1ce86559f2a1285b5678 and bf20631782183cd19e0bb7219e908c2bbb01a75f.
2021-06-14 22:39:32 +08:00
//B(1, X); // Uncomment this line at your own peril ;)
[clang] tests: cleanup, update and add some new ones This reworks a small set of tests, as preparatory work for implementing P2266. * Run for more standard versions, including c++2b. * Normalize file names and run commands. * Adds some extra tests. New Coroutine tests taken from Aaron Puchert's D68845. Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> Reviewed By: thakis Differential Revision: https://reviews.llvm.org/D99225
2021-03-24 04:20:07 +08:00
// CHECK-LABEL: define{{.*}} void @_Z2b2v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
B(2, X&);
// CHECK-LABEL: define{{.*}} void @_Z2b3v
// CHECK: call {{.*}} @_ZN1XC1Ev
Revert "[clang] NRVO: Improvements and handling of more cases." This change caused build errors related to move-only __block variables, see discussion on https://reviews.llvm.org/D99696 > This expands NRVO propagation for more cases: > > Parse analysis improvement: > * Lambdas and Blocks with dependent return type can have their variables > marked as NRVO Candidates. > > Variable instantiation improvements: > * Fixes crash when instantiating NRVO variables in Blocks. > * Functions, Lambdas, and Blocks which have auto return type have their > variables' NRVO status propagated. For Blocks with non-auto return type, > as a limitation, this propagation does not consider the actual return > type. > > This also implements exclusion of VarDecls which are references to > dependent types. > > Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> > > Reviewed By: Quuxplusone > > Differential Revision: https://reviews.llvm.org/D99696 This also reverts the follow-on change which was hard to tease apart form the one above: > "[clang] Implement P2266 Simpler implicit move" > > This Implements [[http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2266r1.html|P2266 Simpler implicit move]]. > > Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> > > Reviewed By: Quuxplusone > > Differential Revision: https://reviews.llvm.org/D99005 This reverts commits 1e50c3d785f4563873ab1ce86559f2a1285b5678 and bf20631782183cd19e0bb7219e908c2bbb01a75f.
2021-06-14 22:39:32 +08:00
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
[clang] tests: cleanup, update and add some new ones This reworks a small set of tests, as preparatory work for implementing P2266. * Run for more standard versions, including c++2b. * Normalize file names and run commands. * Adds some extra tests. New Coroutine tests taken from Aaron Puchert's D68845. Signed-off-by: Matheus Izvekov <mizvekov@gmail.com> Reviewed By: thakis Differential Revision: https://reviews.llvm.org/D99225
2021-03-24 04:20:07 +08:00
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
B(3, T);
// CHECK-LABEL: define{{.*}} void @_Z2b4v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
B(4, T&);
// CHECK-LABEL: define{{.*}} void @_Z2b5v
// CHECK: call {{.*}} @_ZN1XC1Ev
// CHECK-NEXT: call {{.*}} @_ZN1XC1EOS_
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: call void @llvm.lifetime.end
// CHECK-NEXT: ret void
B(5, );
#undef B