279 lines
8.7 KiB
C++
279 lines
8.7 KiB
C++
|
// RUN: %clang_cc1 -std=c++11 -triple x86_64-apple-macosx10.7.0 -emit-llvm -o - %s -w | FileCheck %s
|
||
|
|
|
||
|
|
// CHECK-LABEL: define linkonce_odr void @_Z11inline_funci
|
||
|
|
inline void inline_func(int n) {
|
||
|
|
// CHECK: call i32 @_ZZ11inline_funciENKUlvE_clEv
|
||
|
|
int i = []{ return 1; }();
|
||
|
|
|
||
|
|
// CHECK: call i32 @_ZZ11inline_funciENKUlvE0_clEv
|
||
|
|
int j = [=] { return n + i; }();
|
||
|
|
|
||
|
|
// CHECK: call double @_ZZ11inline_funciENKUlvE1_clEv
|
||
|
|
int k = [=] () -> double { return n + i; }();
|
||
|
|
|
||
|
|
// CHECK: call i32 @_ZZ11inline_funciENKUliE_clEi
|
||
|
|
int l = [=] (int x) -> int { return x + i; }(n);
|
||
|
|
|
||
|
|
int inner(int i = []{ return 17; }());
|
||
|
|
// CHECK: call i32 @_ZZ11inline_funciENKUlvE2_clEv
|
||
|
|
// CHECK-NEXT: call i32 @_Z5inneri
|
||
|
|
inner();
|
||
|
|
|
||
|
|
// CHECK-NEXT: ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
void call_inline_func() {
|
||
|
|
inline_func(17);
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32* @_ZNK10inline_varMUlvE_clEv(
|
||
|
|
// CHECK: @_ZZNK10inline_varMUlvE_clEvE1n
|
||
|
|
inline auto inline_var = [] {
|
||
|
|
static int n = 5;
|
||
|
|
return &n;
|
||
|
|
};
|
||
|
|
|
||
|
|
int *use_inline_var = inline_var();
|
||
|
|
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32* @_ZNK12var_templateIiEMUlvE_clEv(
|
||
|
|
// CHECK: @_ZZNK12var_templateIiEMUlvE_clEvE1n
|
||
|
|
template<typename T> auto var_template = [] {
|
||
|
|
static int n = 9;
|
||
|
|
return &n;
|
||
|
|
};
|
||
|
|
|
||
|
|
int *use_var_template = var_template<int>();
|
||
|
|
|
||
|
|
struct S {
|
||
|
|
void f(int = []{return 1;}()
|
||
|
|
+ []{return 2;}(),
|
||
|
|
int = []{return 3;}());
|
||
|
|
void g(int, int);
|
||
|
|
};
|
||
|
|
|
||
|
|
void S::g(int i = []{return 1;}(),
|
||
|
|
int j = []{return 2; }()) {}
|
||
|
|
|
||
|
|
// CHECK-LABEL: define{{.*}} void @_Z6test_S1S
|
||
|
|
void test_S(S s) {
|
||
|
|
// CHECK: call i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
|
||
|
|
// CHECK-NEXT: call i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
|
||
|
|
// CHECK-NEXT: add nsw i32
|
||
|
|
// CHECK-NEXT: call i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
|
||
|
|
// CHECK-NEXT: call void @_ZN1S1fEii
|
||
|
|
s.f();
|
||
|
|
|
||
|
|
// NOTE: These manglings don't actually matter that much, because
|
||
|
|
// the lambdas in the default arguments of g() won't be seen by
|
||
|
|
// multiple translation units. We check them mainly to ensure that they don't
|
||
|
|
// get the special mangling for lambdas in in-class default arguments.
|
||
|
|
// CHECK: call i32 @"_ZNK1S3$_0clEv"
|
||
|
|
// CHECK-NEXT: call i32 @"_ZNK1S3$_1clEv"
|
||
|
|
// CHECK-NEXT: call void @_ZN1S1gEi
|
||
|
|
s.g();
|
||
|
|
|
||
|
|
// CHECK-NEXT: ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
// Check the linkage of the lambda call operators used in test_S.
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE_clEv
|
||
|
|
// CHECK: ret i32 1
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZN1S1fEiiEd0_NKUlvE0_clEv
|
||
|
|
// CHECK: ret i32 2
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZN1S1fEiiEd_NKUlvE_clEv
|
||
|
|
// CHECK: ret i32 3
|
||
|
|
// CHECK-LABEL: define internal i32 @"_ZNK1S3$_0clEv"
|
||
|
|
// CHECK: ret i32 1
|
||
|
|
// CHECK-LABEL: define internal i32 @"_ZNK1S3$_1clEv"
|
||
|
|
// CHECK: ret i32 2
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
struct ST {
|
||
|
|
void f(T = []{return T() + 1;}()
|
||
|
|
+ []{return T() + 2;}(),
|
||
|
|
T = []{return T(3);}());
|
||
|
|
};
|
||
|
|
|
||
|
|
// CHECK-LABEL: define{{.*}} void @_Z7test_ST2STIdE
|
||
|
|
void test_ST(ST<double> st) {
|
||
|
|
// CHECK: call double @_ZZN2STIdE1fEddEd0_NKUlvE_clEv
|
||
|
|
// CHECK-NEXT: call double @_ZZN2STIdE1fEddEd0_NKUlvE0_clEv
|
||
|
|
// CHECK-NEXT: fadd double
|
||
|
|
// CHECK-NEXT: call double @_ZZN2STIdE1fEddEd_NKUlvE_clEv
|
||
|
|
// CHECK-NEXT: call void @_ZN2STIdE1fEdd
|
||
|
|
st.f();
|
||
|
|
|
||
|
|
// CHECK-NEXT: ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
// Check the linkage of the lambda call operators used in test_ST.
|
||
|
|
// CHECK-LABEL: define linkonce_odr double @_ZZN2STIdE1fEddEd0_NKUlvE_clEv
|
||
|
|
// CHECK: ret double 1
|
||
|
|
// CHECK-LABEL: define linkonce_odr double @_ZZN2STIdE1fEddEd0_NKUlvE0_clEv
|
||
|
|
// CHECK: ret double 2
|
||
|
|
// CHECK-LABEL: define linkonce_odr double @_ZZN2STIdE1fEddEd_NKUlvE_clEv
|
||
|
|
// CHECK: ret double 3
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
struct StaticMembers {
|
||
|
|
static T x;
|
||
|
|
static T y;
|
||
|
|
static T z;
|
||
|
|
static int (*f)();
|
||
|
|
};
|
||
|
|
|
||
|
|
template<typename T> int accept_lambda(T);
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
T StaticMembers<T>::x = []{return 1;}() + []{return 2;}();
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
T StaticMembers<T>::y = []{return 3;}();
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
T StaticMembers<T>::z = accept_lambda([]{return 4;});
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
int (*StaticMembers<T>::f)() = []{return 5;};
|
||
|
|
|
||
|
|
// CHECK-LABEL: define internal void @__cxx_global_var_init
|
||
|
|
// CHECK: call i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv
|
||
|
|
// CHECK-NEXT: call i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv
|
||
|
|
// CHECK-NEXT: add nsw
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE_clEv
|
||
|
|
// CHECK: ret i32 1
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZNK13StaticMembersIfE1xMUlvE0_clEv
|
||
|
|
// CHECK: ret i32 2
|
||
|
|
template float StaticMembers<float>::x;
|
||
|
|
|
||
|
|
// CHECK-LABEL: define internal void @__cxx_global_var_init
|
||
|
|
// CHECK: call i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZNK13StaticMembersIfE1yMUlvE_clEv
|
||
|
|
// CHECK: ret i32 3
|
||
|
|
template float StaticMembers<float>::y;
|
||
|
|
|
||
|
|
// CHECK-LABEL: define internal void @__cxx_global_var_init
|
||
|
|
// CHECK: call i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_
|
||
|
|
// CHECK: declare i32 @_Z13accept_lambdaIN13StaticMembersIfE1zMUlvE_EEiT_()
|
||
|
|
template float StaticMembers<float>::z;
|
||
|
|
|
||
|
|
// CHECK-LABEL: define internal void @__cxx_global_var_init
|
||
|
|
// CHECK: call {{.*}} @_ZNK13StaticMembersIfE1fMUlvE_cvPFivEEv
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 ()* @_ZNK13StaticMembersIfE1fMUlvE_cvPFivEEv
|
||
|
|
template int (*StaticMembers<float>::f)();
|
||
|
|
|
||
|
|
// CHECK-LABEL: define internal void @__cxx_global_var_init
|
||
|
|
// CHECK: call i32 @"_ZNK13StaticMembersIdE3$_2clEv"
|
||
|
|
// CHECK-LABEL: define internal i32 @"_ZNK13StaticMembersIdE3$_2clEv"
|
||
|
|
// CHECK: ret i32 42
|
||
|
|
template<> double StaticMembers<double>::z = []{return 42; }();
|
||
|
|
|
||
|
|
template<typename T>
|
||
|
|
void func_template(T = []{ return T(); }());
|
||
|
|
|
||
|
|
// CHECK-LABEL: define{{.*}} void @_Z17use_func_templatev()
|
||
|
|
void use_func_template() {
|
||
|
|
// CHECK: call i32 @"_ZZ13func_templateIiEvT_ENK3$_3clEv"
|
||
|
|
func_template<int>();
|
||
|
|
}
|
||
|
|
|
||
|
|
namespace std {
|
||
|
|
struct type_info {
|
||
|
|
bool before(const type_info &) const noexcept;
|
||
|
|
};
|
||
|
|
}
|
||
|
|
namespace PR12123 {
|
||
|
|
struct A { virtual ~A(); } g;
|
||
|
|
struct C { virtual ~C(); } k;
|
||
|
|
struct B {
|
||
|
|
void f(const std::type_info& x = typeid([]()->A& { return g; }()));
|
||
|
|
void h();
|
||
|
|
void j(bool cond = typeid([]() -> A & { return g; }()).before(typeid([]() -> C & { return k; }())));
|
||
|
|
};
|
||
|
|
void B::h() { f(); j(); }
|
||
|
|
}
|
||
|
|
|
||
|
|
// CHECK-LABEL: define linkonce_odr nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %"struct.PR12123::A"* @_ZZN7PR121231B1fERKSt9type_infoEd_NKUlvE_clEv
|
||
|
|
// CHECK-LABEL: define linkonce_odr nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %"struct.PR12123::A"* @_ZZN7PR121231B1jEbEd_NKUlvE_clEv
|
||
|
|
// CHECK-LABEL: define linkonce_odr nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %"struct.PR12123::C"* @_ZZN7PR121231B1jEbEd_NKUlvE0_clEv
|
||
|
|
|
||
|
|
// CHECK-LABEL: define {{.*}} @_Z{{[0-9]*}}testVarargsLambdaNumberingv(
|
||
|
|
inline int testVarargsLambdaNumbering() {
|
||
|
|
// CHECK: testVarargsLambdaNumberingvE{{.*}}UlzE_
|
||
|
|
auto a = [](...) { static int n; return ++n; };
|
||
|
|
// CHECK: testVarargsLambdaNumberingvE{{.*}}UlvE_
|
||
|
|
auto b = []() { static int n; return ++n; };
|
||
|
|
return a() + b();
|
||
|
|
}
|
||
|
|
int k = testVarargsLambdaNumbering();
|
||
|
|
|
||
|
|
// Check linkage of the various lambdas.
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE_clEv
|
||
|
|
// CHECK: ret i32 1
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE0_clEv
|
||
|
|
// CHECK: ret i32
|
||
|
|
// CHECK-LABEL: define linkonce_odr double @_ZZ11inline_funciENKUlvE1_clEv
|
||
|
|
// CHECK: ret double
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUliE_clEi
|
||
|
|
// CHECK: ret i32
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZ11inline_funciENKUlvE2_clEv
|
||
|
|
// CHECK: ret i32 17
|
||
|
|
|
||
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN7MembersC2Ev
|
||
|
|
// CHECK: call i32 @_ZNK7Members1xMUlvE_clEv
|
||
|
|
// CHECK-NEXT: call i32 @_ZNK7Members1xMUlvE0_clE
|
||
|
|
// CHECK-NEXT: add nsw i32
|
||
|
|
// CHECK: call i32 @_ZNK7Members1yMUlvE_clEv
|
||
|
|
// CHECK: ret void
|
||
|
|
|
||
|
|
|
||
|
|
// Check the linkage of the lambdas used in test_Members.
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZNK7Members1xMUlvE_clEv
|
||
|
|
// CHECK: ret i32 1
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZNK7Members1xMUlvE0_clEv
|
||
|
|
// CHECK: ret i32 2
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZNK7Members1yMUlvE_clEv
|
||
|
|
// CHECK: ret i32 3
|
||
|
|
|
||
|
|
// CHECK-LABEL: define linkonce_odr void @_Z1fIZZNK23TestNestedInstantiationclEvENKUlvE_clEvEUlvE_EvT_
|
||
|
|
|
||
|
|
|
||
|
|
namespace PR12808 {
|
||
|
|
template <typename> struct B {
|
||
|
|
int a;
|
||
|
|
template <typename L> constexpr B(L&& x) : a(x()) { }
|
||
|
|
};
|
||
|
|
template <typename> void b(int) {
|
||
|
|
[&]{ (void)B<int>([&]{ return 1; }); }();
|
||
|
|
}
|
||
|
|
void f() {
|
||
|
|
b<int>(1);
|
||
|
|
}
|
||
|
|
// CHECK-LABEL: define linkonce_odr void @_ZZN7PR128081bIiEEviENKUlvE_clEv
|
||
|
|
// CHECK-LABEL: define linkonce_odr i32 @_ZZZN7PR128081bIiEEviENKUlvE_clEvENKUlvE_clEv
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
struct Members {
|
||
|
|
int x = [] { return 1; }() + [] { return 2; }();
|
||
|
|
int y = [] { return 3; }();
|
||
|
|
};
|
||
|
|
|
||
|
|
void test_Members() {
|
||
|
|
Members members;
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename P> void f(P) { }
|
||
|
|
|
||
|
|
struct TestNestedInstantiation {
|
||
|
|
void operator()() const {
|
||
|
|
[]() -> void {
|
||
|
|
return f([]{});
|
||
|
|
}();
|
||
|
|
}
|
||
|
|
};
|
||
|
|
|
||
|
|
void test_NestedInstantiation() {
|
||
|
|
TestNestedInstantiation()();
|
||
|
|
}
|