annotate clang/test/CodeGenCXX/weak-external.cpp @ 252:1f2b6ac9f198 llvm-original

LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents 79ff65ed7e25
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -triple %itanium_abi_triple %s -S -emit-llvm -o - | FileCheck %s
anatofuz
parents:
diff changeset
2 // PR4262
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 // CHECK-NOT: _ZNSs12_S_constructIPKcEEPcT_S3_RKSaIcESt20forward_iterator_tag
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 // The "basic_string" extern template instantiation declaration is supposed to
anatofuz
parents:
diff changeset
7 // suppress the implicit instantiation of non-inline member functions. Make sure
anatofuz
parents:
diff changeset
8 // that we suppress the implicit instantiation of non-inline member functions
anatofuz
parents:
diff changeset
9 // defined out-of-line. That we aren't instantiating the basic_string
anatofuz
parents:
diff changeset
10 // constructor when we shouldn't be. Such an instantiation forces the implicit
anatofuz
parents:
diff changeset
11 // instantiation of _S_construct<const char*>. Since _S_construct is a member
anatofuz
parents:
diff changeset
12 // template, it's instantiation is *not* suppressed (despite being in
anatofuz
parents:
diff changeset
13 // basic_string<char>), so we would emit it as a weak definition.
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 #define _LIBCPP_EXCEPTION_ABI __attribute__ ((__visibility__("default")))
anatofuz
parents:
diff changeset
16 #define _LIBCPP_INLINE_VISIBILITY __attribute__ ((__visibility__("hidden"), __always_inline__))
anatofuz
parents:
diff changeset
17 #define _LIBCPP_VISIBLE __attribute__ ((__visibility__("default")))
anatofuz
parents:
diff changeset
18 #if (__has_feature(cxx_noexcept))
anatofuz
parents:
diff changeset
19 # define _NOEXCEPT noexcept
anatofuz
parents:
diff changeset
20 # define _NOEXCEPT_(x) noexcept(x)
anatofuz
parents:
diff changeset
21 #else
anatofuz
parents:
diff changeset
22 # define _NOEXCEPT throw()
anatofuz
parents:
diff changeset
23 # define _NOEXCEPT_(x)
anatofuz
parents:
diff changeset
24 #endif
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 namespace std // purposefully not using versioning namespace
anatofuz
parents:
diff changeset
27 {
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 template<class charT> struct char_traits;
anatofuz
parents:
diff changeset
30 template<class T> class allocator;
anatofuz
parents:
diff changeset
31 template <class _CharT,
anatofuz
parents:
diff changeset
32 class _Traits = char_traits<_CharT>,
anatofuz
parents:
diff changeset
33 class _Allocator = allocator<_CharT> >
anatofuz
parents:
diff changeset
34 class _LIBCPP_VISIBLE basic_string;
anatofuz
parents:
diff changeset
35 typedef basic_string<char, char_traits<char>, allocator<char> > string;
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 class _LIBCPP_EXCEPTION_ABI exception
anatofuz
parents:
diff changeset
38 {
anatofuz
parents:
diff changeset
39 public:
anatofuz
parents:
diff changeset
40 _LIBCPP_INLINE_VISIBILITY exception() _NOEXCEPT {}
anatofuz
parents:
diff changeset
41 virtual ~exception() _NOEXCEPT;
anatofuz
parents:
diff changeset
42 virtual const char* what() const _NOEXCEPT;
anatofuz
parents:
diff changeset
43 };
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 class _LIBCPP_EXCEPTION_ABI runtime_error
anatofuz
parents:
diff changeset
46 : public exception
anatofuz
parents:
diff changeset
47 {
anatofuz
parents:
diff changeset
48 private:
anatofuz
parents:
diff changeset
49 void* __imp_;
anatofuz
parents:
diff changeset
50 public:
anatofuz
parents:
diff changeset
51 explicit runtime_error(const string&);
anatofuz
parents:
diff changeset
52 explicit runtime_error(const char*);
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 runtime_error(const runtime_error&) _NOEXCEPT;
anatofuz
parents:
diff changeset
55 runtime_error& operator=(const runtime_error&) _NOEXCEPT;
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 virtual ~runtime_error() _NOEXCEPT;
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 virtual const char* what() const _NOEXCEPT;
anatofuz
parents:
diff changeset
60 };
anatofuz
parents:
diff changeset
61
anatofuz
parents:
diff changeset
62 }
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 void dummysymbol() {
anatofuz
parents:
diff changeset
65 throw(std::runtime_error("string"));
anatofuz
parents:
diff changeset
66 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
67
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
68 namespace not_weak_on_first {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
69 int func();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
70 // CHECK: {{.*}} extern_weak {{.*}} @_ZN17not_weak_on_first4funcEv(
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
71 int func() __attribute__ ((weak));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
72
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
73 typedef int (*FuncT)();
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
74
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
75 extern const FuncT table[] = {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
76 func,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
77 };
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
78 }
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
79
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
80 namespace constant_eval {
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
81 [[gnu::weak]] extern int a;
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
82 // CHECK-LABEL: define {{.*}} @__cxx_global_var_init
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
83 // CHECK: store i8 zext (i1 icmp ne (ptr @_ZN13constant_eval1aE, ptr null) to i8), ptr @_ZN13constant_eval6has_a1E,
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
84 bool has_a1 = &a;
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
85 // CHECK-LABEL: define {{.*}} @__cxx_global_var_init
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
86 // CHECK: store i8 zext (i1 icmp ne (ptr @_ZN13constant_eval1aE, ptr null) to i8), ptr @_ZN13constant_eval6has_a2E,
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
87 bool has_a2 = &a != nullptr;
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
88
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
89 struct X {
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
90 [[gnu::weak]] void f();
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
91 };
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
92 // CHECK-LABEL: define {{.*}} @__cxx_global_var_init
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
93 // CHECK: store i8 zext (i1 icmp ne (i{{32|64}} ptrtoint (ptr @_ZN13constant_eval1X1fEv to i{{32|64}}), i{{32|64}} 0) to i8), ptr @_ZN13constant_eval6has_f1E,
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
94 bool has_f1 = &X::f;
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
95 // CHECK-LABEL: define {{.*}} @__cxx_global_var_init
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
96 // CHECK: store i8 zext (i1 icmp ne (i{{32|64}} ptrtoint (ptr @_ZN13constant_eval1X1fEv to i{{32|64}}), i{{32|64}} 0) to i8), ptr @_ZN13constant_eval6has_f2E,
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
97 bool has_f2 = &X::f != nullptr;
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
98 }