]>
Commit | Line | Data |
---|---|---|
3b9c3a16 | 1 | /* Expand builtin functions. |
fbd26352 | 2 | Copyright (C) 1988-2019 Free Software Foundation, Inc. |
3b9c3a16 | 3 | |
4 | This file is part of GCC. | |
5 | ||
6 | GCC is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU General Public License as published by the Free | |
8 | Software Foundation; either version 3, or (at your option) any later | |
9 | version. | |
10 | ||
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with GCC; see the file COPYING3. If not see | |
18 | <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | #ifndef GCC_BUILTINS_H | |
21 | #define GCC_BUILTINS_H | |
22 | ||
f7715905 | 23 | #include <mpc.h> |
24 | ||
3b9c3a16 | 25 | /* Target-dependent globals. */ |
26 | struct target_builtins { | |
27 | /* For each register that may be used for calling a function, this | |
28 | gives a mode used to copy the register's value. VOIDmode indicates | |
29 | the register is not used for calling a function. If the machine | |
30 | has register windows, this gives only the outbound registers. | |
31 | INCOMING_REGNO gives the corresponding inbound register. */ | |
d8ba6ec1 | 32 | fixed_size_mode_pod x_apply_args_mode[FIRST_PSEUDO_REGISTER]; |
3b9c3a16 | 33 | |
34 | /* For each register that may be used for returning values, this gives | |
35 | a mode used to copy the register's value. VOIDmode indicates the | |
36 | register is not used for returning values. If the machine has | |
37 | register windows, this gives only the outbound registers. | |
38 | INCOMING_REGNO gives the corresponding inbound register. */ | |
d8ba6ec1 | 39 | fixed_size_mode_pod x_apply_result_mode[FIRST_PSEUDO_REGISTER]; |
3b9c3a16 | 40 | }; |
41 | ||
f6de51be | 42 | extern struct target_builtins default_target_builtins; |
3b9c3a16 | 43 | #if SWITCHABLE_TARGET |
44 | extern struct target_builtins *this_target_builtins; | |
45 | #else | |
46 | #define this_target_builtins (&default_target_builtins) | |
47 | #endif | |
48 | ||
f7715905 | 49 | /* Non-zero if __builtin_constant_p should be folded right away. */ |
50 | extern bool force_folding_builtin_constant_p; | |
51 | ||
ae62deea | 52 | extern bool called_as_built_in (tree); |
f7715905 | 53 | extern bool get_object_alignment_1 (tree, unsigned int *, |
54 | unsigned HOST_WIDE_INT *); | |
55 | extern unsigned int get_object_alignment (tree); | |
56 | extern bool get_pointer_alignment_1 (tree, unsigned int *, | |
57 | unsigned HOST_WIDE_INT *); | |
58 | extern unsigned int get_pointer_alignment (tree); | |
c4183f31 | 59 | extern unsigned string_length (const void*, unsigned, unsigned); |
6f7fa01f | 60 | |
2b84b289 | 61 | struct c_strlen_data |
62 | { | |
6f7fa01f | 63 | /* [MINLEN, MAXBOUND, MAXLEN] is a range describing the length of |
64 | one or more strings of possibly unknown length. For a single | |
65 | string of known length the range is a constant where | |
66 | MINLEN == MAXBOUND == MAXLEN holds. | |
67 | For other strings, MINLEN is the length of the shortest known | |
68 | string. MAXBOUND is the length of a string that could be stored | |
69 | in the largest array referenced by the expression. MAXLEN is | |
70 | the length of the longest sequence of non-zero bytes | |
71 | in an object referenced by the expression. For such strings, | |
72 | MINLEN <= MAXBOUND <= MAXLEN holds. For example, given: | |
73 | struct A { char a[7], b[]; }; | |
74 | extern struct A *p; | |
75 | n = strlen (p->a); | |
76 | the computed range will be [0, 6, ALL_ONES]. | |
77 | However, for a conditional expression involving a string | |
78 | of known length and an array of unknown bound such as | |
79 | n = strlen (i ? p->b : "123"); | |
80 | the range will be [3, 3, ALL_ONES]. | |
81 | MINLEN != 0 && MAXLEN == ALL_ONES indicates that MINLEN is | |
82 | the length of the shortest known string and implies that | |
83 | the shortest possible string referenced by the expression may | |
84 | actually be the empty string. This distinction is useful for | |
85 | diagnostics. get_range_strlen() return value distinguishes | |
86 | between these two cases. | |
87 | As the tighter (and more optimistic) bound, MAXBOUND is suitable | |
88 | for diagnostics but not for optimization. | |
89 | As the more conservative bound, MAXLEN is intended to be used | |
90 | for optimization. */ | |
91 | tree minlen; | |
92 | tree maxlen; | |
93 | tree maxbound; | |
94 | /* When non-null, NONSTR refers to the declaration known to store | |
95 | an unterminated constant character array, as in: | |
96 | const char s[] = { 'a', 'b', 'c' }; | |
97 | It is used to diagnose uses of such arrays in functions such as | |
98 | strlen() that expect a nul-terminated string as an argument. */ | |
2b84b289 | 99 | tree decl; |
6f7fa01f | 100 | /* Non-constant offset from the beginning of a string not accounted |
101 | for in the length range. Used to improve diagnostics. */ | |
2b84b289 | 102 | tree off; |
103 | }; | |
104 | ||
105 | extern tree c_strlen (tree, int, c_strlen_data * = NULL, unsigned = 1); | |
f7715905 | 106 | extern void expand_builtin_setjmp_setup (rtx, rtx); |
107 | extern void expand_builtin_setjmp_receiver (rtx); | |
97354ae4 | 108 | extern void expand_builtin_update_setjmp_buf (rtx); |
f7715905 | 109 | extern tree mathfn_built_in (tree, enum built_in_function fn); |
e3240774 | 110 | extern tree mathfn_built_in (tree, combined_fn); |
f77c4496 | 111 | extern rtx builtin_strncpy_read_str (void *, HOST_WIDE_INT, scalar_int_mode); |
112 | extern rtx builtin_memset_read_str (void *, HOST_WIDE_INT, scalar_int_mode); | |
f7715905 | 113 | extern rtx expand_builtin_saveregs (void); |
114 | extern tree std_build_builtin_va_list (void); | |
115 | extern tree std_fn_abi_va_list (tree); | |
116 | extern tree std_canonical_va_list_type (tree); | |
117 | extern void std_expand_builtin_va_start (tree, rtx); | |
118 | extern void expand_builtin_trap (void); | |
9c1a31e4 | 119 | extern void expand_ifn_atomic_bit_test_and (gcall *); |
5a5ef659 | 120 | extern void expand_ifn_atomic_compare_exchange (gcall *); |
3754d046 | 121 | extern rtx expand_builtin (tree, rtx, rtx, machine_mode, int); |
f21337ef | 122 | extern rtx expand_builtin_with_bounds (tree, rtx, rtx, machine_mode, int); |
f7715905 | 123 | extern enum built_in_function builtin_mathfn_code (const_tree); |
01107f42 | 124 | extern tree fold_builtin_expect (location_t, tree, tree, tree, tree); |
f7715905 | 125 | extern bool avoid_folding_inline_builtin (tree); |
126 | extern tree fold_call_expr (location_t, tree, bool); | |
127 | extern tree fold_builtin_call_array (location_t, tree, tree, int, tree *); | |
2165588a | 128 | extern tree fold_builtin_n (location_t, tree, tree *, int, bool); |
1a91d914 | 129 | extern bool validate_gimple_arglist (const gcall *, ...); |
3754d046 | 130 | extern rtx default_expand_builtin (tree, rtx, rtx, machine_mode, int); |
f7715905 | 131 | extern bool fold_builtin_next_arg (tree, bool); |
f7715905 | 132 | extern tree do_mpc_arg2 (tree, tree, tree, int, int (*)(mpc_ptr, mpc_srcptr, mpc_srcptr, mpc_rnd_t)); |
1a91d914 | 133 | extern tree fold_call_stmt (gcall *, bool); |
f7715905 | 134 | extern void set_builtin_user_assembler_name (tree decl, const char *asmspec); |
135 | extern bool is_simple_builtin (tree); | |
136 | extern bool is_inexpensive_builtin (tree); | |
d8aad786 | 137 | extern tree compute_objsize (tree, int); |
e797f49f | 138 | |
b9ea678c | 139 | extern bool readonly_data_expr (tree exp); |
b9ea678c | 140 | extern bool init_target_chars (void); |
e788f202 | 141 | extern unsigned HOST_WIDE_INT target_newline; |
b9ea678c | 142 | extern unsigned HOST_WIDE_INT target_percent; |
143 | extern char target_percent_s[3]; | |
aea88c77 | 144 | extern char target_percent_c[3]; |
e788f202 | 145 | extern char target_percent_s_newline[4]; |
507a998e | 146 | extern bool target_char_cst_p (tree t, char *p); |
b9ea678c | 147 | |
1f24b8e9 | 148 | extern internal_fn associated_internal_fn (tree); |
149 | extern internal_fn replacement_internal_fn (gcall *); | |
150 | ||
7af57b1c | 151 | extern void warn_string_no_nul (location_t, const char *, tree, tree); |
fec27bf2 | 152 | extern tree unterminated_array (tree, tree * = NULL, bool * = NULL); |
e6a18b5a | 153 | extern tree max_object_size (); |
154 | ||
155 | #endif /* GCC_BUILTINS_H */ |