1 # Copyright (C) 2003-2020 Free Software Foundation, Inc.
2 # Contributed by Kelley Cook, June 2004.
3 # Original code from Neil Booth, May 2003.
5 # This program is free software; you can redistribute it and/or modify it
6 # under the terms of the GNU General Public License as published by the
7 # Free Software Foundation; either version 3, or (at your option) any
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with this program; see the file COPYING3. If not see
17 # <http://www.gnu.org/licenses/>.
19 # Some common subroutines for use by opt[ch]-gen.awk.
21 # Define some helpful character classes, for portability.
23 lower =
"abcdefghijklmnopqrstuvwxyz"
24 upper =
"ABCDEFGHIJKLMNOPQRSTUVWXYZ"
26 alnum = lower
"" upper
"" digit
29 # Return nonzero if FLAGS contains a flag matching REGEX.
30 function flag_set_p
(regex
, flags
)
32 # Ignore the arguments of flags with arguments.
33 gsub ("\\([^)]+\\)", "", flags
);
34 return (" " flags
" ") ~
(" " regex
" ")
37 # Return STRING if FLAGS contains a flag matching regexp REGEX,
38 # otherwise return the empty string.
39 function test_flag
(regex
, flags
, string
)
41 if (flag_set_p
(regex
, flags
))
46 # Return a field initializer, with trailing comma, for a field that is
47 # 1 if FLAGS contains a flag matching REGEX and 0 otherwise.
48 function flag_init
(regex
, flags
)
50 if (flag_set_p
(regex
, flags
))
51 return "1 /* " regex
" */, "
56 # If FLAGS contains a "NAME(...argument...)" flag, return the value
57 # of the argument. Return the empty string otherwise.
58 function opt_args
(name
, flags
)
61 if (flags !~
" " name
"\\(")
63 sub(".* " name
"\\(", "", flags
)
66 sub ("^[{]", "", flags
)
67 sub ("}\\).*", "", flags
)
70 sub("\\).*", "", flags
)
75 # If FLAGS contains a "NAME(...argument...)" flag, return the value
76 # of the argument. Print error message otherwise.
77 function opt_args_non_empty
(name
, flags
, description
)
79 args = opt_args
(name
, flags
)
81 print "#error Empty option argument '" name
"' during parsing of: " flags
85 # Return the Nth comma-separated element of S. Return the empty string
86 # if S does not contain N elements.
87 function nth_arg
(n
, s
)
92 sub("[^,]*, *", "", s
)
98 # Return a bitmask of CL_* values for option flags FLAGS.
99 function switch_flags
(flags
)
102 for (j =
0; j
< n_langs
; j
++) {
104 gsub ( "\\+", "\\+", regex
)
105 result = result test_flag
(regex
, flags
, " | " macros
[j
])
108 test_flag
("Common", flags
, " | CL_COMMON") \
109 test_flag
("Target", flags
, " | CL_TARGET") \
110 test_flag
("PchIgnore", flags
, " | CL_PCH_IGNORE") \
111 test_flag
("Driver", flags
, " | CL_DRIVER") \
112 test_flag
("Joined", flags
, " | CL_JOINED") \
113 test_flag
("JoinedOrMissing", flags
, " | CL_JOINED") \
114 test_flag
("Separate", flags
, " | CL_SEPARATE") \
115 test_flag
("Undocumented", flags
, " | CL_UNDOCUMENTED") \
116 test_flag
("NoDWARFRecord", flags
, " | CL_NO_DWARF_RECORD") \
117 test_flag
("Warning", flags
, " | CL_WARNING") \
118 test_flag
("(Optimization|PerFunction)", flags
, " | CL_OPTIMIZATION") \
119 test_flag
("Param", flags
, " | CL_PARAMS")
120 sub( "^0 \\| ", "", result
)
124 # Return bit-field initializers for option flags FLAGS.
125 function switch_bit_fields
(flags
)
128 vn = var_name
(flags
);
129 if (host_wide_int
[vn
] ==
"yes")
130 hwi =
"Host_Wide_Int"
131 else if (flag_set_p
("Host_Wide_Int", flags
)) {
132 hwi =
"Host_Wide_Int"
133 uinteger_flag = flag_init
("UInteger", flags
)
138 sep_args = opt_args
("Args", flags
)
143 result = result sep_args
", "
145 if (uinteger_flag ==
"")
146 uinteger_flag = flag_init
("UInteger", flags
)
148 hwi_flag = flag_init
("Host_Wide_Int", hwi
)
149 byte_size_flag = flag_init
("ByteSize", flags
)
151 if (substr(byte_size_flag
, 1, 1) != "0" \
152 && substr(uinteger_flag
, 1, 1) ==
"0" \
153 && substr(hwi_flag
, 1, 1) ==
"0")
154 print "#error only UInteger amd Host_Wide_Int options can specify a ByteSize suffix"
156 # The following flags need to be in the same order as
157 # the corresponding members of struct cl_option defined
160 flag_init
("SeparateAlias", flags
) \
161 flag_init
("NegativeAlias", flags
) \
162 flag_init
("NoDriverArg", flags
) \
163 flag_init
("RejectDriver", flags
) \
164 flag_init
("RejectNegative", flags
) \
165 flag_init
("JoinedOrMissing", flags
) \
168 flag_init
("ToLower", flags
) \
169 flag_init
("Report", flags
) \
172 sub(", $", "", result
)
176 # If FLAGS includes a Var flag, return the name of the variable it specifies.
177 # Return the empty string otherwise.
178 function var_name
(flags
)
180 return nth_arg
(0, opt_args
("Var", flags
))
183 # Return the name of the variable if FLAGS has a HOST_WIDE_INT variable.
184 # Return the empty string otherwise.
185 function host_wide_int_var_name
(flags
)
187 split (flags
, array
, "[ \t]+")
188 if (array
[1] ==
"HOST_WIDE_INT")
194 # Return true if the option described by FLAGS has a globally-visible state.
195 function global_state_p
(flags
)
197 return (var_name
(flags
) != "" \
198 || opt_args
("Mask", flags
) != "" \
199 || opt_args
("InverseMask", flags
) != "")
202 # Return true if the option described by FLAGS must have some state
203 # associated with it.
204 function needs_state_p
(flags
)
206 return (flag_set_p
("Target", flags
) \
207 && !flag_set_p
("Alias.*", flags
) \
208 && !flag_set_p
("Ignore", flags
))
211 # If FLAGS describes an option that needs state without a public
212 # variable name, return the name of that field, minus the initial
213 # "x_", otherwise return "". NAME is the name of the option.
214 function static_var
(name
, flags
)
216 if (global_state_p
(flags
) || !needs_state_p
(flags
))
218 gsub ("[^" alnum
"]", "_", name
)
222 # Return the type of variable that should be associated with the given flags.
223 function var_type
(flags
)
225 if (flag_set_p
("Defer", flags
))
227 else if (flag_set_p
("Enum.*", flags
)) {
228 en = opt_args
("Enum", flags
);
229 return enum_type
[en
] " "
231 else if (!flag_set_p
("Joined.*", flags
) && !flag_set_p
("Separate", flags
))
233 else if (flag_set_p
("Host_Wide_Int", flags
))
234 return "HOST_WIDE_INT "
235 else if (flag_set_p
("UInteger", flags
))
238 return "const char *"
241 # Return the type of variable that should be associated with the given flags
242 # for use within a structure. Simple variables are changed to signed char
243 # type instead of int to save space.
244 function var_type_struct
(flags
)
246 if (flag_set_p
("UInteger", flags
)) {
247 if (host_wide_int
[var_name
(flags
)] ==
"yes")
248 return "HOST_WIDE_INT ";
249 if (flag_set_p
("ByteSize", flags
))
250 return "HOST_WIDE_INT "
253 else if (flag_set_p
("Enum.*", flags
)) {
254 en = opt_args
("Enum", flags
);
255 return enum_type
[en
] " "
257 else if (!flag_set_p
("Joined.*", flags
) && !flag_set_p
("Separate", flags
)) {
258 if (flag_set_p
(".*Mask.*", flags
)) {
259 if (host_wide_int
[var_name
(flags
)] ==
"yes")
260 return "HOST_WIDE_INT "
262 return "/* - */ int "
265 return "signed char "
268 return "const char *"
271 # Given that an option has flags FLAGS, return an initializer for the
272 # "var_enum", "var_type" and "var_value" fields of its cl_options[] entry.
273 function var_set
(flags
)
275 if (flag_set_p
("Defer", flags
))
276 return "0, CLVC_DEFER, 0"
277 s = nth_arg
(1, opt_args
("Var", flags
))
279 return "0, CLVC_EQUAL, " s
280 s = opt_args
("Mask", flags
);
282 vn = var_name
(flags
);
284 return "0, CLVC_BIT_SET, OPTION_MASK_" s
286 return "0, CLVC_BIT_SET, MASK_" s
288 s = nth_arg
(0, opt_args
("InverseMask", flags
));
290 vn = var_name
(flags
);
292 return "0, CLVC_BIT_CLEAR, OPTION_MASK_" s
294 return "0, CLVC_BIT_CLEAR, MASK_" s
296 if (flag_set_p
("Enum.*", flags
)) {
297 en = opt_args
("Enum", flags
);
298 return enum_index
[en
] ", CLVC_ENUM, 0"
300 if (var_type
(flags
) ==
"const char *")
301 return "0, CLVC_STRING, 0"
302 if (flag_set_p
("ByteSize", flags
))
303 return "0, CLVC_SIZE, 0"
304 return "0, CLVC_BOOLEAN, 0"
307 # Given that an option called NAME has flags FLAGS, return an initializer
308 # for the "flag_var" field of its cl_options[] entry.
309 function var_ref
(name
, flags
)
311 name = var_name
(flags
) static_var
(name
, flags
)
313 return "offsetof (struct gcc_options, x_" name
")"
314 if (opt_args
("Mask", flags
) != "")
315 return "offsetof (struct gcc_options, x_target_flags)"
316 if (opt_args
("InverseMask", flags
) != "")
317 return "offsetof (struct gcc_options, x_target_flags)"
318 return "(unsigned short) -1"
321 # Given the option called NAME return a sanitized version of its name.
322 function opt_sanitized_name
(name
)
324 gsub ("[^" alnum
"]", "_", name
)
328 # Given the option called NAME return the appropriate enum for it.
329 function opt_enum
(name
)
331 return "OPT_" opt_sanitized_name
(name
)
334 # Given the language called NAME return a sanitized version of its name.
335 function lang_sanitized_name
(name
)
337 gsub( "[^" alnum
"_]", "X", name
)
341 # Search for a valid var_name among all OPTS equal to option NAME.
342 # If not found, return "".
343 function search_var_name
(name
, opt_numbers
, opts
, flags
, n_opts
)
345 opt_var_name = var_name
(flags
[opt_numbers
[name
]]);
346 if (opt_var_name
!= "") {
349 for (k =
0; k
< n_opts
; k
++) {
350 if (opts
[k
] == name
&& var_name
(flags
[k
]) != "") {
351 return var_name
(flags
[k
]);
357 function integer_range_info
(range_option
, init
, option
)
359 if (range_option
!= "") {
361 start = nth_arg
(0, range_option
) + 0;
362 end = nth_arg
(1, range_option
) + 0;
363 if (init
!= "" && init
!= "-1" && (ival
< start
|| ival
> end))
364 print "#error initial value " init
" of '" option
"' must be in range [" start
"," end "]"
365 return start
", " end
371 # Handle LangEnabledBy(ENABLED_BY_LANGS, ENABLEDBY_NAME, ENABLEDBY_POSARG,
372 # ENABLEDBY_NEGARG). This function does not return anything.
373 function lang_enabled_by
(enabledby_langs
, enabledby_name
, enabledby_posarg
, enabledby_negarg
)
375 n_enabledby_arg_langs =
split(enabledby_langs
, enabledby_arg_langs
, " ");
376 if (enabledby_posarg
!= "" && enabledby_negarg
!= "") {
377 with_args =
"," enabledby_posarg
"," enabledby_negarg
378 } else if (enabledby_posarg ==
"" && enabledby_negarg ==
"") {
381 print "#error " opts
[i
] " LangEnabledBy("enabledby_langs
","enabledby_name
", " \
382 enabledby_posarg
", " enabledby_negargs \
383 ") with three arguments, it should have either 2 or 4"
386 n_enabledby_array =
split(enabledby_name
, enabledby_array
, " \\|\\| ");
387 for (k =
1; k
<= n_enabledby_array
; k
++) {
388 enabledby_index = opt_numbers
[enabledby_array
[k
]];
389 if (enabledby_index ==
"") {
390 print "#error " opts
[i
] " LangEnabledBy("enabledby_langs
","enabledby_name
", " \
391 enabledby_posarg
", " enabledby_negargs
"), unknown option '" enabledby_name
"'"
393 for (j =
1; j
<= n_enabledby_arg_langs
; j
++) {
394 lang_name = lang_sanitized_name
(enabledby_arg_langs
[j
]);
395 lang_index = lang_numbers
[enabledby_arg_langs
[j
]];
396 if (enables
[lang_name
,enabledby_array
[k
]] ==
"") {
397 enabledby
[lang_name
,n_enabledby_lang
[lang_index
]] = enabledby_array
[k
];
398 n_enabledby_lang
[lang_index
]++;
400 enables
[lang_name
,enabledby_array
[k
]] \
401 = enables
[lang_name
,enabledby_array
[k
]] opts
[i
] with_args
";";