annotate libstdc++-v3/libsupc++/new_opa.cc @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // Support routines for the -*- C++ -*- dynamic memory management.
kono
parents:
diff changeset
2
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
3 // Copyright (C) 1997-2020 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
4 //
kono
parents:
diff changeset
5 // This file is part of GCC.
kono
parents:
diff changeset
6 //
kono
parents:
diff changeset
7 // GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
8 // it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
9 // the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
10 // any later version.
kono
parents:
diff changeset
11 //
kono
parents:
diff changeset
12 // GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
15 // GNU General Public License for more details.
kono
parents:
diff changeset
16 //
kono
parents:
diff changeset
17 // Under Section 7 of GPL version 3, you are granted additional
kono
parents:
diff changeset
18 // permissions described in the GCC Runtime Library Exception, version
kono
parents:
diff changeset
19 // 3.1, as published by the Free Software Foundation.
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 // You should have received a copy of the GNU General Public License and
kono
parents:
diff changeset
22 // a copy of the GCC Runtime Library Exception along with this program;
kono
parents:
diff changeset
23 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
kono
parents:
diff changeset
24 // <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 #include <bits/c++config.h>
kono
parents:
diff changeset
27 #include <stdlib.h>
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
28 #include <stdint.h>
111
kono
parents:
diff changeset
29 #include <bits/exception_defines.h>
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
30 #include <bit>
111
kono
parents:
diff changeset
31 #include "new"
kono
parents:
diff changeset
32
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
33 #if !_GLIBCXX_HAVE_ALIGNED_ALLOC && !_GLIBCXX_HAVE__ALIGNED_MALLOC \
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
34 && !_GLIBCXX_HAVE_POSIX_MEMALIGN && _GLIBCXX_HAVE_MEMALIGN
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
35 # if _GLIBCXX_HOSTED && __has_include(<malloc.h>)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
36 // Some C libraries declare memalign in <malloc.h>
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
37 # include <malloc.h>
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
38 # else
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
39 extern "C" void *memalign(std::size_t boundary, std::size_t size);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
40 # endif
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
41 #endif
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
42
111
kono
parents:
diff changeset
43 using std::new_handler;
kono
parents:
diff changeset
44 using std::bad_alloc;
kono
parents:
diff changeset
45
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
46 #if ! _GLIBCXX_HOSTED
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
47 extern "C"
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
48 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
49 # if _GLIBCXX_HAVE_ALIGNED_ALLOC
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
50 void *aligned_alloc(size_t alignment, size_t size);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
51 # elif _GLIBCXX_HAVE__ALIGNED_MALLOC
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
52 void *_aligned_malloc(size_t size, size_t alignment);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
53 # elif _GLIBCXX_HAVE_POSIX_MEMALIGN
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
54 void *posix_memalign(void **, size_t alignment, size_t size);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
55 # elif _GLIBCXX_HAVE_MEMALIGN
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
56 void *memalign(size_t alignment, size_t size);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
57 # endif
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
58 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
59 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
60
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
61 namespace __gnu_cxx {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
62 #if _GLIBCXX_HAVE_ALIGNED_ALLOC
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
63 using ::aligned_alloc;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
64 #elif _GLIBCXX_HAVE__ALIGNED_MALLOC
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
65 static inline void*
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
66 aligned_alloc (std::size_t al, std::size_t sz)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
67 { return _aligned_malloc(sz, al); }
111
kono
parents:
diff changeset
68 #elif _GLIBCXX_HAVE_POSIX_MEMALIGN
kono
parents:
diff changeset
69 static inline void*
kono
parents:
diff changeset
70 aligned_alloc (std::size_t al, std::size_t sz)
kono
parents:
diff changeset
71 {
kono
parents:
diff changeset
72 void *ptr;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
73 // posix_memalign has additional requirement, not present on aligned_alloc:
111
kono
parents:
diff changeset
74 // The value of alignment shall be a power of two multiple of sizeof(void *).
kono
parents:
diff changeset
75 if (al < sizeof(void*))
kono
parents:
diff changeset
76 al = sizeof(void*);
kono
parents:
diff changeset
77 int ret = posix_memalign (&ptr, al, sz);
kono
parents:
diff changeset
78 if (ret == 0)
kono
parents:
diff changeset
79 return ptr;
kono
parents:
diff changeset
80 return nullptr;
kono
parents:
diff changeset
81 }
kono
parents:
diff changeset
82 #elif _GLIBCXX_HAVE_MEMALIGN
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
83 static inline void*
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
84 aligned_alloc (std::size_t al, std::size_t sz)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
85 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
86 return memalign (al, sz);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
87 }
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
88 #else // !HAVE__ALIGNED_MALLOC && !HAVE_POSIX_MEMALIGN && !HAVE_MEMALIGN
111
kono
parents:
diff changeset
89 // The C library doesn't provide any aligned allocation functions, define one.
kono
parents:
diff changeset
90 // This is a modified version of code from gcc/config/i386/gmm_malloc.h
kono
parents:
diff changeset
91 static inline void*
kono
parents:
diff changeset
92 aligned_alloc (std::size_t al, std::size_t sz)
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 // We need extra bytes to store the original value returned by malloc.
kono
parents:
diff changeset
95 if (al < sizeof(void*))
kono
parents:
diff changeset
96 al = sizeof(void*);
kono
parents:
diff changeset
97 void* const malloc_ptr = malloc(sz + al);
kono
parents:
diff changeset
98 if (!malloc_ptr)
kono
parents:
diff changeset
99 return nullptr;
kono
parents:
diff changeset
100 // Align to the requested value, leaving room for the original malloc value.
kono
parents:
diff changeset
101 void* const aligned_ptr = (void *) (((uintptr_t) malloc_ptr + al) & -al);
kono
parents:
diff changeset
102
kono
parents:
diff changeset
103 // Store the original malloc value where it can be found by operator delete.
kono
parents:
diff changeset
104 ((void **) aligned_ptr)[-1] = malloc_ptr;
kono
parents:
diff changeset
105
kono
parents:
diff changeset
106 return aligned_ptr;
kono
parents:
diff changeset
107 }
kono
parents:
diff changeset
108 #endif
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
109 } // namespace __gnu_cxx
111
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 _GLIBCXX_WEAK_DEFINITION void *
kono
parents:
diff changeset
112 operator new (std::size_t sz, std::align_val_t al)
kono
parents:
diff changeset
113 {
kono
parents:
diff changeset
114 std::size_t align = (std::size_t)al;
kono
parents:
diff changeset
115
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
116 /* Alignment must be a power of two. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
117 /* XXX This should be checked by the compiler (PR 86878). */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
118 if (__builtin_expect (!std::__ispow2(align), false))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
119 _GLIBCXX_THROW_OR_ABORT(bad_alloc());
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
120
111
kono
parents:
diff changeset
121 /* malloc (0) is unpredictable; avoid it. */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
122 if (__builtin_expect (sz == 0, false))
111
kono
parents:
diff changeset
123 sz = 1;
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 #if _GLIBCXX_HAVE_ALIGNED_ALLOC
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
126 # if defined _AIX || defined __APPLE__
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
127 /* AIX 7.2.0.0 aligned_alloc incorrectly has posix_memalign's requirement
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
128 * that alignment is a multiple of sizeof(void*).
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
129 * OS X 10.15 has the same requirement. */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
130 if (align < sizeof(void*))
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
131 align = sizeof(void*);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
132 # endif
111
kono
parents:
diff changeset
133 /* C11: the value of size shall be an integral multiple of alignment. */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
134 sz = (sz + align - 1) & ~(align - 1);
111
kono
parents:
diff changeset
135 #endif
kono
parents:
diff changeset
136
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
137 void *p;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
138
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
139 while ((p = __gnu_cxx::aligned_alloc (align, sz)) == nullptr)
111
kono
parents:
diff changeset
140 {
kono
parents:
diff changeset
141 new_handler handler = std::get_new_handler ();
kono
parents:
diff changeset
142 if (! handler)
kono
parents:
diff changeset
143 _GLIBCXX_THROW_OR_ABORT(bad_alloc());
kono
parents:
diff changeset
144 handler ();
kono
parents:
diff changeset
145 }
kono
parents:
diff changeset
146
kono
parents:
diff changeset
147 return p;
kono
parents:
diff changeset
148 }