Mercurial > hg > CbC > CbC_gcc

annotate gcc/builtins.h @ 158:494b0b89df80 default tip

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