annotate gcc/common/config/aarch64/aarch64-common.c @ 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 /* Common hooks for AArch64.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 2012-2020 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3 Contributed by ARM Ltd.
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 it
kono
parents:
diff changeset
8 under the terms of the GNU General Public License as published
kono
parents:
diff changeset
9 by the Free Software Foundation; either version 3, or (at your
kono
parents:
diff changeset
10 option) any later version.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 GCC is distributed in the hope that it will be useful, but WITHOUT
kono
parents:
diff changeset
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
kono
parents:
diff changeset
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
kono
parents:
diff changeset
15 License for more details.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
18 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
19 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 #include "config.h"
kono
parents:
diff changeset
22 #define INCLUDE_STRING
kono
parents:
diff changeset
23 #include "system.h"
kono
parents:
diff changeset
24 #include "coretypes.h"
kono
parents:
diff changeset
25 #include "tm.h"
kono
parents:
diff changeset
26 #include "memmodel.h"
kono
parents:
diff changeset
27 #include "tm_p.h"
kono
parents:
diff changeset
28 #include "common/common-target.h"
kono
parents:
diff changeset
29 #include "common/common-target-def.h"
kono
parents:
diff changeset
30 #include "opts.h"
kono
parents:
diff changeset
31 #include "flags.h"
kono
parents:
diff changeset
32 #include "diagnostic.h"
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 #ifdef TARGET_BIG_ENDIAN_DEFAULT
kono
parents:
diff changeset
35 #undef TARGET_DEFAULT_TARGET_FLAGS
kono
parents:
diff changeset
36 #define TARGET_DEFAULT_TARGET_FLAGS (MASK_BIG_END)
kono
parents:
diff changeset
37 #endif
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 #undef TARGET_HANDLE_OPTION
kono
parents:
diff changeset
40 #define TARGET_HANDLE_OPTION aarch64_handle_option
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 #undef TARGET_OPTION_OPTIMIZATION_TABLE
kono
parents:
diff changeset
43 #define TARGET_OPTION_OPTIMIZATION_TABLE aarch_option_optimization_table
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
44 #undef TARGET_OPTION_INIT_STRUCT
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
45 #define TARGET_OPTION_INIT_STRUCT aarch64_option_init_struct
111
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 /* Set default optimization options. */
kono
parents:
diff changeset
48 static const struct default_options aarch_option_optimization_table[] =
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 /* Enable section anchors by default at -O1 or higher. */
kono
parents:
diff changeset
51 { OPT_LEVELS_1_PLUS, OPT_fsection_anchors, NULL, 1 },
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
52 /* Disable fomit-frame-pointer by default. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
53 { OPT_LEVELS_ALL, OPT_fomit_frame_pointer, NULL, 0 },
111
kono
parents:
diff changeset
54 /* Enable -fsched-pressure by default when optimizing. */
kono
parents:
diff changeset
55 { OPT_LEVELS_1_PLUS, OPT_fsched_pressure, NULL, 1 },
kono
parents:
diff changeset
56 /* Enable redundant extension instructions removal at -O2 and higher. */
kono
parents:
diff changeset
57 { OPT_LEVELS_2_PLUS, OPT_free, NULL, 1 },
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
58 #if (TARGET_DEFAULT_ASYNC_UNWIND_TABLES == 1)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
59 { OPT_LEVELS_ALL, OPT_fasynchronous_unwind_tables, NULL, 1 },
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
60 { OPT_LEVELS_ALL, OPT_funwind_tables, NULL, 1},
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
61 #endif
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
62 { OPT_LEVELS_ALL, OPT__param_stack_clash_protection_guard_size_, NULL,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
63 DEFAULT_STK_CLASH_GUARD_SIZE == 0 ? 16 : DEFAULT_STK_CLASH_GUARD_SIZE },
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
64
111
kono
parents:
diff changeset
65 { OPT_LEVELS_NONE, 0, NULL, 0 }
kono
parents:
diff changeset
66 };
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68 /* Implement TARGET_HANDLE_OPTION.
kono
parents:
diff changeset
69 This function handles the target specific options for CPU/target selection.
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 -mcpu=CPU is shorthand for -march=ARCH_FOR_CPU, -mtune=CPU.
kono
parents:
diff changeset
72 If either of -march or -mtune is given, they override their
kono
parents:
diff changeset
73 respective component of -mcpu. This logic is implemented
kono
parents:
diff changeset
74 in config/aarch64/aarch64.c:aarch64_override_options. */
kono
parents:
diff changeset
75
kono
parents:
diff changeset
76 bool
kono
parents:
diff changeset
77 aarch64_handle_option (struct gcc_options *opts,
kono
parents:
diff changeset
78 struct gcc_options *opts_set ATTRIBUTE_UNUSED,
kono
parents:
diff changeset
79 const struct cl_decoded_option *decoded,
kono
parents:
diff changeset
80 location_t loc ATTRIBUTE_UNUSED)
kono
parents:
diff changeset
81 {
kono
parents:
diff changeset
82 size_t code = decoded->opt_index;
kono
parents:
diff changeset
83 const char *arg = decoded->arg;
kono
parents:
diff changeset
84 int val = decoded->value;
kono
parents:
diff changeset
85
kono
parents:
diff changeset
86 switch (code)
kono
parents:
diff changeset
87 {
kono
parents:
diff changeset
88 case OPT_march_:
kono
parents:
diff changeset
89 opts->x_aarch64_arch_string = arg;
kono
parents:
diff changeset
90 return true;
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 case OPT_mcpu_:
kono
parents:
diff changeset
93 opts->x_aarch64_cpu_string = arg;
kono
parents:
diff changeset
94 return true;
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 case OPT_mtune_:
kono
parents:
diff changeset
97 opts->x_aarch64_tune_string = arg;
kono
parents:
diff changeset
98 return true;
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 case OPT_mgeneral_regs_only:
kono
parents:
diff changeset
101 opts->x_target_flags |= MASK_GENERAL_REGS_ONLY;
kono
parents:
diff changeset
102 return true;
kono
parents:
diff changeset
103
kono
parents:
diff changeset
104 case OPT_mfix_cortex_a53_835769:
kono
parents:
diff changeset
105 opts->x_aarch64_fix_a53_err835769 = val;
kono
parents:
diff changeset
106 return true;
kono
parents:
diff changeset
107
kono
parents:
diff changeset
108 case OPT_mstrict_align:
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
109 if (val)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
110 opts->x_target_flags |= MASK_STRICT_ALIGN;
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
111 else
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
112 opts->x_target_flags &= ~MASK_STRICT_ALIGN;
111
kono
parents:
diff changeset
113 return true;
kono
parents:
diff changeset
114
kono
parents:
diff changeset
115 case OPT_momit_leaf_frame_pointer:
kono
parents:
diff changeset
116 opts->x_flag_omit_leaf_frame_pointer = val;
kono
parents:
diff changeset
117 return true;
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 default:
kono
parents:
diff changeset
120 return true;
kono
parents:
diff changeset
121 }
kono
parents:
diff changeset
122 }
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 /* An ISA extension in the co-processor and main instruction set space. */
kono
parents:
diff changeset
125 struct aarch64_option_extension
kono
parents:
diff changeset
126 {
kono
parents:
diff changeset
127 const char *const name;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
128 const uint64_t flag_canonical;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
129 const uint64_t flags_on;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
130 const uint64_t flags_off;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
131 const bool is_synthetic;
111
kono
parents:
diff changeset
132 };
kono
parents:
diff changeset
133
kono
parents:
diff changeset
134 /* ISA extensions in AArch64. */
kono
parents:
diff changeset
135 static const struct aarch64_option_extension all_extensions[] =
kono
parents:
diff changeset
136 {
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
137 #define AARCH64_OPT_EXTENSION(NAME, FLAG_CANONICAL, FLAGS_ON, FLAGS_OFF, \
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
138 SYNTHETIC, Z) \
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
139 {NAME, FLAG_CANONICAL, FLAGS_ON, FLAGS_OFF, SYNTHETIC},
111
kono
parents:
diff changeset
140 #include "config/aarch64/aarch64-option-extensions.def"
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
141 {NULL, 0, 0, 0, false}
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
142 };
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
143
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
144 /* A copy of the ISA extensions list for AArch64 sorted by the popcount of
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
145 bits and extension turned on. Cached for efficiency. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
146 static struct aarch64_option_extension all_extensions_by_on[] =
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
147 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
148 #define AARCH64_OPT_EXTENSION(NAME, FLAG_CANONICAL, FLAGS_ON, FLAGS_OFF, \
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
149 SYNTHETIC, Z) \
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
150 {NAME, FLAG_CANONICAL, FLAGS_ON, FLAGS_OFF, SYNTHETIC},
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
151 #include "config/aarch64/aarch64-option-extensions.def"
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
152 {NULL, 0, 0, 0, false}
111
kono
parents:
diff changeset
153 };
kono
parents:
diff changeset
154
kono
parents:
diff changeset
155 struct processor_name_to_arch
kono
parents:
diff changeset
156 {
kono
parents:
diff changeset
157 const std::string processor_name;
kono
parents:
diff changeset
158 const enum aarch64_arch arch;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
159 const uint64_t flags;
111
kono
parents:
diff changeset
160 };
kono
parents:
diff changeset
161
kono
parents:
diff changeset
162 struct arch_to_arch_name
kono
parents:
diff changeset
163 {
kono
parents:
diff changeset
164 const enum aarch64_arch arch;
kono
parents:
diff changeset
165 const std::string arch_name;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
166 const uint64_t flags;
111
kono
parents:
diff changeset
167 };
kono
parents:
diff changeset
168
kono
parents:
diff changeset
169 /* Map processor names to the architecture revision they implement and
kono
parents:
diff changeset
170 the default set of architectural feature flags they support. */
kono
parents:
diff changeset
171 static const struct processor_name_to_arch all_cores[] =
kono
parents:
diff changeset
172 {
kono
parents:
diff changeset
173 #define AARCH64_CORE(NAME, X, IDENT, ARCH_IDENT, FLAGS, COSTS, IMP, PART, VARIANT) \
kono
parents:
diff changeset
174 {NAME, AARCH64_ARCH_##ARCH_IDENT, FLAGS},
kono
parents:
diff changeset
175 #include "config/aarch64/aarch64-cores.def"
kono
parents:
diff changeset
176 {"generic", AARCH64_ARCH_8A, AARCH64_FL_FOR_ARCH8},
kono
parents:
diff changeset
177 {"", aarch64_no_arch, 0}
kono
parents:
diff changeset
178 };
kono
parents:
diff changeset
179
kono
parents:
diff changeset
180 /* Map architecture revisions to their string representation. */
kono
parents:
diff changeset
181 static const struct arch_to_arch_name all_architectures[] =
kono
parents:
diff changeset
182 {
kono
parents:
diff changeset
183 #define AARCH64_ARCH(NAME, CORE, ARCH_IDENT, ARCH, FLAGS) \
kono
parents:
diff changeset
184 {AARCH64_ARCH_##ARCH_IDENT, NAME, FLAGS},
kono
parents:
diff changeset
185 #include "config/aarch64/aarch64-arches.def"
kono
parents:
diff changeset
186 {aarch64_no_arch, "", 0}
kono
parents:
diff changeset
187 };
kono
parents:
diff changeset
188
kono
parents:
diff changeset
189 /* Parse the architecture extension string STR and update ISA_FLAGS
kono
parents:
diff changeset
190 with the architecture features turned on or off. Return a
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
191 aarch64_parse_opt_result describing the result.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
192 When the STR string contains an invalid extension,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
193 a copy of the string is created and stored to INVALID_EXTENSION. */
111
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 enum aarch64_parse_opt_result
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
196 aarch64_parse_extension (const char *str, uint64_t *isa_flags,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
197 std::string *invalid_extension)
111
kono
parents:
diff changeset
198 {
kono
parents:
diff changeset
199 /* The extension string is parsed left to right. */
kono
parents:
diff changeset
200 const struct aarch64_option_extension *opt = NULL;
kono
parents:
diff changeset
201
kono
parents:
diff changeset
202 /* Flag to say whether we are adding or removing an extension. */
kono
parents:
diff changeset
203 int adding_ext = -1;
kono
parents:
diff changeset
204
kono
parents:
diff changeset
205 while (str != NULL && *str != 0)
kono
parents:
diff changeset
206 {
kono
parents:
diff changeset
207 const char *ext;
kono
parents:
diff changeset
208 size_t len;
kono
parents:
diff changeset
209
kono
parents:
diff changeset
210 str++;
kono
parents:
diff changeset
211 ext = strchr (str, '+');
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 if (ext != NULL)
kono
parents:
diff changeset
214 len = ext - str;
kono
parents:
diff changeset
215 else
kono
parents:
diff changeset
216 len = strlen (str);
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 if (len >= 2 && strncmp (str, "no", 2) == 0)
kono
parents:
diff changeset
219 {
kono
parents:
diff changeset
220 adding_ext = 0;
kono
parents:
diff changeset
221 len -= 2;
kono
parents:
diff changeset
222 str += 2;
kono
parents:
diff changeset
223 }
kono
parents:
diff changeset
224 else if (len > 0)
kono
parents:
diff changeset
225 adding_ext = 1;
kono
parents:
diff changeset
226
kono
parents:
diff changeset
227 if (len == 0)
kono
parents:
diff changeset
228 return AARCH64_PARSE_MISSING_ARG;
kono
parents:
diff changeset
229
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 /* Scan over the extensions table trying to find an exact match. */
kono
parents:
diff changeset
232 for (opt = all_extensions; opt->name != NULL; opt++)
kono
parents:
diff changeset
233 {
kono
parents:
diff changeset
234 if (strlen (opt->name) == len && strncmp (opt->name, str, len) == 0)
kono
parents:
diff changeset
235 {
kono
parents:
diff changeset
236 /* Add or remove the extension. */
kono
parents:
diff changeset
237 if (adding_ext)
kono
parents:
diff changeset
238 *isa_flags |= (opt->flags_on | opt->flag_canonical);
kono
parents:
diff changeset
239 else
kono
parents:
diff changeset
240 *isa_flags &= ~(opt->flags_off | opt->flag_canonical);
kono
parents:
diff changeset
241 break;
kono
parents:
diff changeset
242 }
kono
parents:
diff changeset
243 }
kono
parents:
diff changeset
244
kono
parents:
diff changeset
245 if (opt->name == NULL)
kono
parents:
diff changeset
246 {
kono
parents:
diff changeset
247 /* Extension not found in list. */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
248 if (invalid_extension)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
249 *invalid_extension = std::string (str, len);
111
kono
parents:
diff changeset
250 return AARCH64_PARSE_INVALID_FEATURE;
kono
parents:
diff changeset
251 }
kono
parents:
diff changeset
252
kono
parents:
diff changeset
253 str = ext;
kono
parents:
diff changeset
254 };
kono
parents:
diff changeset
255
kono
parents:
diff changeset
256 return AARCH64_PARSE_OK;
kono
parents:
diff changeset
257 }
kono
parents:
diff changeset
258
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
259 /* Append all architecture extension candidates to the CANDIDATES vector. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
260
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
261 void
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
262 aarch64_get_all_extension_candidates (auto_vec<const char *> *candidates)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
263 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
264 const struct aarch64_option_extension *opt;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
265 for (opt = all_extensions; opt->name != NULL; opt++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
266 candidates->safe_push (opt->name);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
267 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
268
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
269 /* Comparer to sort aarch64's feature extensions by population count. Largest
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
270 first. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
271
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
272 typedef const struct aarch64_option_extension opt_ext;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
273
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
274 int opt_ext_cmp (const void* a, const void* b)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
275 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
276 opt_ext *opt_a = (opt_ext *)a;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
277 opt_ext *opt_b = (opt_ext *)b;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
278
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
279 /* We consider the total set of bits an options turns on to be the union of
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
280 the singleton set containing the option itself and the set of options it
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
281 turns on as a dependency. As an example +dotprod turns on FL_DOTPROD and
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
282 FL_SIMD. As such the set of bits represented by this option is
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
283 {FL_DOTPROD, FL_SIMD}. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
284 uint64_t total_flags_a = opt_a->flag_canonical & opt_a->flags_on;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
285 uint64_t total_flags_b = opt_b->flag_canonical & opt_b->flags_on;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
286 int popcnt_a = popcount_hwi ((HOST_WIDE_INT)total_flags_a);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
287 int popcnt_b = popcount_hwi ((HOST_WIDE_INT)total_flags_b);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
288 int order = popcnt_b - popcnt_a;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
289
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
290 /* If they have the same amount of bits set, give it a more
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
291 deterministic ordering by using the value of the bits themselves. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
292 if (order != 0)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
293 return order;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
294
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
295 if (total_flags_a != total_flags_b)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
296 return total_flags_a < total_flags_b ? 1 : -1;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
297
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
298 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
299 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
300
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
301 /* Implement TARGET_OPTION_INIT_STRUCT. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
302
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
303 static void
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
304 aarch64_option_init_struct (struct gcc_options *opts ATTRIBUTE_UNUSED)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
305 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
306 /* Sort the extensions based on how many bits they set, order the larger
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
307 counts first. We sort the list because this makes processing the
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
308 feature bits O(n) instead of O(n^2). While n is small, the function
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
309 to calculate the feature strings is called on every options push,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
310 pop and attribute change (arm_neon headers, lto etc all cause this to
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
311 happen quite frequently). It is a trade-off between time and space and
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
312 so time won. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
313 int n_extensions
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
314 = sizeof (all_extensions) / sizeof (struct aarch64_option_extension);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
315 qsort (&all_extensions_by_on, n_extensions,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
316 sizeof (struct aarch64_option_extension), opt_ext_cmp);
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
317 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
318
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
319 /* Checks to see if enough bits from the option OPT are enabled in
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
320 ISA_FLAG_BITS to be able to replace the individual options with the
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
321 canonicalized version of the option. This is done based on two rules:
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
322
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
323 1) Synthetic groups, such as +crypto we only care about the bits that are
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
324 turned on. e.g. +aes+sha2 can be replaced with +crypto.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
325
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
326 2) Options that themselves have a bit, such as +rdma, in this case, all the
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
327 feature bits they turn on must be available and the bit for the option
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
328 itself must be. In this case it's effectively a reduction rather than a
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
329 grouping. e.g. +fp+simd is not enough to turn on +rdma, for that you would
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
330 need +rdma+fp+simd which is reduced down to +rdma.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
331 */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
332
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
333 static bool
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
334 aarch64_contains_opt (uint64_t isa_flag_bits, opt_ext *opt)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
335 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
336 uint64_t flags_check
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
337 = opt->is_synthetic ? opt->flags_on : opt->flag_canonical;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
338
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
339 return (isa_flag_bits & flags_check) == flags_check;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
340 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
341
111
kono
parents:
diff changeset
342 /* Return a string representation of ISA_FLAGS. DEFAULT_ARCH_FLAGS
kono
parents:
diff changeset
343 gives the default set of flags which are implied by whatever -march
kono
parents:
diff changeset
344 we'd put out. Our job is to figure out the minimal set of "+" and
kono
parents:
diff changeset
345 "+no" feature flags to put out, and to put them out grouped such
kono
parents:
diff changeset
346 that all the "+" flags come before the "+no" flags. */
kono
parents:
diff changeset
347
kono
parents:
diff changeset
348 std::string
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
349 aarch64_get_extension_string_for_isa_flags (uint64_t isa_flags,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
350 uint64_t default_arch_flags)
111
kono
parents:
diff changeset
351 {
kono
parents:
diff changeset
352 const struct aarch64_option_extension *opt = NULL;
kono
parents:
diff changeset
353 std::string outstr = "";
kono
parents:
diff changeset
354
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
355 uint64_t isa_flag_bits = isa_flags;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
356
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
357 /* Pass one: Minimize the search space by reducing the set of options
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
358 to the smallest set that still turns on the same features as before in
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
359 conjunction with the bits that are turned on by default for the selected
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
360 architecture. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
361 for (opt = all_extensions_by_on; opt->name != NULL; opt++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
362 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
363 /* If the bit is on by default, then all the options it turns on are also
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
364 on by default due to the transitive dependencies.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
365
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
366 If the option is enabled explicitly in the set then we need to emit
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
367 an option for it. Since this list is sorted by extensions setting the
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
368 largest number of featers first, we can be sure that nothing else will
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
369 ever need to set the bits we already set. Consider the following
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
370 situation:
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
371
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
372 Feat1 = A + B + C
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
373 Feat2 = A + B
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
374 Feat3 = A + D
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
375 Feat4 = B + C
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
376 Feat5 = C
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
377
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
378 The following results are expected:
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
379
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
380 A + C = A + Feat5
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
381 B + C = Feat4
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
382 Feat4 + A = Feat1
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
383 Feat2 + Feat5 = Feat1
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
384 Feat1 + C = Feat1
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
385 Feat3 + Feat4 = Feat1 + D
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
386
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
387 This search assumes that all invidual feature bits are use visible,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
388 in other words the user must be able to do +A, +B, +C and +D. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
389 if (aarch64_contains_opt (isa_flag_bits | default_arch_flags, opt))
111
kono
parents:
diff changeset
390 {
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
391 /* We remove all the dependent bits, to prevent them from being turned
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
392 on twice. This only works because we assume that all there are
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
393 individual options to set all bits standalone. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
394 isa_flag_bits &= ~opt->flags_on;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
395 isa_flag_bits |= opt->flag_canonical;
111
kono
parents:
diff changeset
396 }
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
397 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
398
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
399 /* By toggling bits on and off, we may have set bits on that are already
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
400 enabled by default. So we mask the default set out so we don't emit an
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
401 option for them. Instead of checking for this each time during Pass One
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
402 we just mask all default bits away at the end. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
403 isa_flag_bits &= ~default_arch_flags;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
404
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
405 /* We now have the smallest set of features we need to process. A subsequent
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
406 linear scan of the bits in isa_flag_bits will allow us to print the ext
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
407 names. However as a special case if CRC was enabled before, always print
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
408 it. This is required because some CPUs have an incorrect specification
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
409 in older assemblers. Even though CRC should be the default for these
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
410 cases the -mcpu values won't turn it on. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
411 if (isa_flags & AARCH64_ISA_CRC)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
412 isa_flag_bits |= AARCH64_ISA_CRC;
111
kono
parents:
diff changeset
413
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
414 /* Pass Two:
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
415 Print the option names that we're sure we must turn on. These are only
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
416 optional extension names. Mandatory ones have already been removed and
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
417 ones we explicitly want off have been too. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
418 for (opt = all_extensions_by_on; opt->name != NULL; opt++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
419 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
420 if (isa_flag_bits & opt->flag_canonical)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
421 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
422 outstr += "+";
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
423 outstr += opt->name;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
424 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
425 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
426
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
427 /* Pass Three:
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
428 Print out a +no for any mandatory extension that we are
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
429 turning off. By this point aarch64_parse_extension would have ensured
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
430 that any optional extensions are turned off. The only things left are
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
431 things that can't be turned off usually, e.g. something that is on by
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
432 default because it's mandatory and we want it off. For turning off bits
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
433 we don't guarantee the smallest set of flags, but instead just emit all
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
434 options the user has specified.
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
435
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
436 The assembler requires all +<opts> to be printed before +no<opts>. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
437 for (opt = all_extensions_by_on; opt->name != NULL; opt++)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
438 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
439 if ((~isa_flags) & opt->flag_canonical
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
440 && !((~default_arch_flags) & opt->flag_canonical))
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
441 {
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
442 outstr += "+no";
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
443 outstr += opt->name;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
444 }
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
445 }
111
kono
parents:
diff changeset
446
kono
parents:
diff changeset
447 return outstr;
kono
parents:
diff changeset
448 }
kono
parents:
diff changeset
449
kono
parents:
diff changeset
450 /* Attempt to rewrite NAME, which has been passed on the command line
kono
parents:
diff changeset
451 as a -mcpu option to an equivalent -march value. If we can do so,
kono
parents:
diff changeset
452 return the new string, otherwise return an error. */
kono
parents:
diff changeset
453
kono
parents:
diff changeset
454 const char *
kono
parents:
diff changeset
455 aarch64_rewrite_selected_cpu (const char *name)
kono
parents:
diff changeset
456 {
kono
parents:
diff changeset
457 std::string original_string (name);
kono
parents:
diff changeset
458 std::string extension_str;
kono
parents:
diff changeset
459 std::string processor;
kono
parents:
diff changeset
460 size_t extension_pos = original_string.find_first_of ('+');
kono
parents:
diff changeset
461
kono
parents:
diff changeset
462 /* Strip and save the extension string. */
kono
parents:
diff changeset
463 if (extension_pos != std::string::npos)
kono
parents:
diff changeset
464 {
kono
parents:
diff changeset
465 processor = original_string.substr (0, extension_pos);
kono
parents:
diff changeset
466 extension_str = original_string.substr (extension_pos,
kono
parents:
diff changeset
467 std::string::npos);
kono
parents:
diff changeset
468 }
kono
parents:
diff changeset
469 else
kono
parents:
diff changeset
470 {
kono
parents:
diff changeset
471 /* No extensions. */
kono
parents:
diff changeset
472 processor = original_string;
kono
parents:
diff changeset
473 }
kono
parents:
diff changeset
474
kono
parents:
diff changeset
475 const struct processor_name_to_arch* p_to_a;
kono
parents:
diff changeset
476 for (p_to_a = all_cores;
kono
parents:
diff changeset
477 p_to_a->arch != aarch64_no_arch;
kono
parents:
diff changeset
478 p_to_a++)
kono
parents:
diff changeset
479 {
kono
parents:
diff changeset
480 if (p_to_a->processor_name == processor)
kono
parents:
diff changeset
481 break;
kono
parents:
diff changeset
482 }
kono
parents:
diff changeset
483
kono
parents:
diff changeset
484 const struct arch_to_arch_name* a_to_an;
kono
parents:
diff changeset
485 for (a_to_an = all_architectures;
kono
parents:
diff changeset
486 a_to_an->arch != aarch64_no_arch;
kono
parents:
diff changeset
487 a_to_an++)
kono
parents:
diff changeset
488 {
kono
parents:
diff changeset
489 if (a_to_an->arch == p_to_a->arch)
kono
parents:
diff changeset
490 break;
kono
parents:
diff changeset
491 }
kono
parents:
diff changeset
492
kono
parents:
diff changeset
493 /* We couldn't find that proceesor name, or the processor name we
kono
parents:
diff changeset
494 found does not map to an architecture we understand. */
kono
parents:
diff changeset
495 if (p_to_a->arch == aarch64_no_arch
kono
parents:
diff changeset
496 || a_to_an->arch == aarch64_no_arch)
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
497 fatal_error (input_location, "unknown value %qs for %<-mcpu%>", name);
111
kono
parents:
diff changeset
498
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
499 uint64_t extensions = p_to_a->flags;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
500 aarch64_parse_extension (extension_str.c_str (), &extensions, NULL);
111
kono
parents:
diff changeset
501
kono
parents:
diff changeset
502 std::string outstr = a_to_an->arch_name
kono
parents:
diff changeset
503 + aarch64_get_extension_string_for_isa_flags (extensions,
kono
parents:
diff changeset
504 a_to_an->flags);
kono
parents:
diff changeset
505
kono
parents:
diff changeset
506 /* We are going to memory leak here, nobody elsewhere
kono
parents:
diff changeset
507 in the callchain is going to clean up after us. The alternative is
kono
parents:
diff changeset
508 to allocate a static buffer, and assert that it is big enough for our
kono
parents:
diff changeset
509 modified string, which seems much worse! */
kono
parents:
diff changeset
510 return xstrdup (outstr.c_str ());
kono
parents:
diff changeset
511 }
kono
parents:
diff changeset
512
kono
parents:
diff changeset
513 /* Called by the driver to rewrite a name passed to the -mcpu
kono
parents:
diff changeset
514 argument in preparation to be passed to the assembler. The
kono
parents:
diff changeset
515 names passed from the commend line will be in ARGV, we want
kono
parents:
diff changeset
516 to use the right-most argument, which should be in
kono
parents:
diff changeset
517 ARGV[ARGC - 1]. ARGC should always be greater than 0. */
kono
parents:
diff changeset
518
kono
parents:
diff changeset
519 const char *
kono
parents:
diff changeset
520 aarch64_rewrite_mcpu (int argc, const char **argv)
kono
parents:
diff changeset
521 {
kono
parents:
diff changeset
522 gcc_assert (argc);
kono
parents:
diff changeset
523 return aarch64_rewrite_selected_cpu (argv[argc - 1]);
kono
parents:
diff changeset
524 }
kono
parents:
diff changeset
525
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
526 struct gcc_targetm_common targetm_common = TARGETM_COMMON_INITIALIZER;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
527
111
kono
parents:
diff changeset
528 #undef AARCH64_CPU_NAME_LENGTH
kono
parents:
diff changeset
529