GCC Middle and Back End API Reference
builtins.h
Go to the documentation of this file.
1/* Expand builtin functions.
2 Copyright (C) 1988-2026 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along 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
23#include <mpc.h>
24
25/* Target-dependent globals. */
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. */
32 fixed_size_mode_pod x_apply_args_mode[FIRST_PSEUDO_REGISTER];
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. */
40
41 /* Nonzero iff the arrays above have been initialized. The _plus_one suffix
42 is for zero initialization to make it an unreasonable size, used to signal
43 that the size and the corresponding mode array has not been
44 initialized. */
47};
48
50#if SWITCHABLE_TARGET
52#else
53#define this_target_builtins (&default_target_builtins)
54#endif
55
56/* Non-zero if __builtin_constant_p should be folded right away. */
58
59extern bool called_as_built_in (tree);
60extern bool get_object_alignment_1 (tree, unsigned int *,
61 unsigned HOST_WIDE_INT *);
62extern bool get_object_alignment_2 (tree, unsigned int *,
63 unsigned HOST_WIDE_INT *, bool);
64extern unsigned int get_object_alignment (tree);
65extern bool get_pointer_alignment_1 (tree, unsigned int *,
66 unsigned HOST_WIDE_INT *);
67extern unsigned int get_pointer_alignment (tree);
68extern unsigned string_length (const void*, unsigned, unsigned);
69
71{
72 /* [MINLEN, MAXBOUND, MAXLEN] is a range describing the length of
73 one or more strings of possibly unknown length. For a single
74 string of known length the range is a constant where
75 MINLEN == MAXBOUND == MAXLEN holds.
76 For other strings, MINLEN is the length of the shortest known
77 string. MAXBOUND is the length of a string that could be stored
78 in the largest array referenced by the expression. MAXLEN is
79 the length of the longest sequence of non-zero bytes
80 in an object referenced by the expression. For such strings,
81 MINLEN <= MAXBOUND <= MAXLEN holds. For example, given:
82 struct A { char a[7], b[]; };
83 extern struct A *p;
84 n = strlen (p->a);
85 the computed range will be [0, 6, ALL_ONES].
86 However, for a conditional expression involving a string
87 of known length and an array of unknown bound such as
88 n = strlen (i ? p->b : "123");
89 the range will be [3, 3, ALL_ONES].
90 MINLEN != 0 && MAXLEN == ALL_ONES indicates that MINLEN is
91 the length of the shortest known string and implies that
92 the shortest possible string referenced by the expression may
93 actually be the empty string. This distinction is useful for
94 diagnostics. get_range_strlen() return value distinguishes
95 between these two cases.
96 As the tighter (and more optimistic) bound, MAXBOUND is suitable
97 for diagnostics but not for optimization.
98 As the more conservative bound, MAXLEN is intended to be used
99 for optimization. */
103 /* When non-null, DECL refers to the declaration known to store
104 an unterminated constant character array, as in:
105 const char s[] = { 'a', 'b', 'c' };
106 It is used to diagnose uses of such arrays in functions such as
107 strlen() that expect a nul-terminated string as an argument. */
109 /* Non-constant offset from the beginning of a string not accounted
110 for in the length range. Used to improve diagnostics. */
112};
113
114extern tree c_strlen (tree, int, c_strlen_data * = NULL, unsigned = 1);
115extern rtx c_readstr (const char *, fixed_size_mode, bool = true);
116extern void expand_builtin_setjmp_setup (rtx, rtx);
122extern rtx builtin_strncpy_read_str (void *, void *, HOST_WIDE_INT,
124extern rtx builtin_memset_read_str (void *, void *, HOST_WIDE_INT,
126extern rtx expand_builtin_memset (tree, rtx, machine_mode);
127extern rtx expand_builtin_saveregs (void);
128extern tree std_build_builtin_va_list (void);
132extern void expand_builtin_trap (void);
137 scalar_mode, machine_mode,
138 tree, rtx);
139extern rtx expand_builtin (tree, rtx, rtx, machine_mode, int);
141extern tree fold_builtin_expect (location_t, tree, tree, tree, tree);
144 tree);
146extern tree fold_call_expr (location_t, tree, bool);
147extern tree fold_builtin_call_array (location_t, tree, tree, int, tree *);
148extern bool validate_gimple_arglist (const gcall *, ...);
149extern rtx default_expand_builtin (tree, rtx, rtx, machine_mode, int);
151extern bool fold_builtin_next_arg (tree, bool);
152extern tree do_mpc_arg2 (tree, tree, tree, int, int (*)(mpc_ptr, mpc_srcptr, mpc_srcptr, mpc_rnd_t));
153extern tree fold_call_stmt (gcall *, bool);
154extern void set_builtin_user_assembler_name (tree decl, const char *asmspec);
155extern bool is_simple_builtin (tree);
156extern bool is_inexpensive_builtin (tree);
157extern bool readonly_data_expr (tree exp);
158extern bool init_target_chars (void);
159extern unsigned HOST_WIDE_INT target_newline;
160extern unsigned HOST_WIDE_INT target_percent;
161extern char target_percent_s[3];
162extern char target_percent_c[3];
163extern char target_percent_s_newline[4];
164extern bool target_char_cst_p (tree t, char *p);
165extern rtx get_memory_rtx (tree exp, tree len, bool store_p);
166
170
171extern bool builtin_with_linkage_p (tree);
172extern int type_to_class (tree);
173
174#endif /* GCC_BUILTINS_H */
char target_percent_s_newline[4]
Definition builtins.cc:194
rtx builtin_memset_read_str(void *data, void *prev, HOST_WIDE_INT offset, fixed_size_mode mode)
Definition builtins.cc:4248
bool force_folding_builtin_constant_p
Definition builtins.cc:106
tree fold_build_builtin_bswapg_bitreverseg(location_t loc, enum internal_fn ifn, tree arg)
Definition builtins.cc:10554
bool get_pointer_alignment_1(tree exp, unsigned int *alignp, unsigned HOST_WIDE_INT *bitposp)
Definition builtins.cc:423
unsigned HOST_WIDE_INT target_percent
Definition builtins.cc:189
bool fold_builtin_next_arg(tree exp, bool va_start_p)
Definition builtins.cc:11496
unsigned int get_object_alignment(tree exp)
Definition builtins.cc:400
rtx expand_builtin_saveregs(void)
Definition builtins.cc:5180
bool is_inexpensive_builtin(tree decl)
Definition builtins.cc:12413
enum built_in_function builtin_mathfn_code(const_tree t)
Definition builtins.cc:9129
void expand_builtin_trap(void)
Definition builtins.cc:5954
tree do_mpc_arg2(tree arg0, tree arg1, tree type, int do_nonfinite, int(*func)(mpc_ptr, mpc_srcptr, mpc_srcptr, mpc_rnd_t))
Definition builtins.cc:12246
bool avoid_folding_inline_builtin(tree fndecl)
Definition builtins.cc:11117
rtx expand_builtin_memset(tree exp, rtx target, machine_mode mode)
Definition builtins.cc:4340
tree fold_builtin_expect(location_t loc, tree arg0, tree arg1, tree arg2, tree arg3)
Definition builtins.cc:9270
char target_percent_s[3]
Definition builtins.cc:193
unsigned HOST_WIDE_INT target_newline
Definition builtins.cc:188
bool target_char_cst_p(tree t, char *p)
Definition builtins.cc:12507
tree mathfn_built_in(tree type, combined_fn fn)
Definition builtins.cc:2122
bool builtin_with_linkage_p(tree decl)
Definition builtins.cc:12521
void expand_builtin_update_setjmp_buf(rtx buf_addr)
Definition builtins.cc:1272
tree c_strlen(tree arg, int only_value, c_strlen_data *data, unsigned eltsize)
Definition builtins.cc:577
bool init_target_chars(void)
Definition builtins.cc:11983
void expand_ifn_atomic_op_fetch_cmp_0(gcall *call)
Definition builtins.cc:7118
bool called_as_built_in(tree node)
Definition builtins.cc:214
void set_builtin_user_assembler_name(tree decl, const char *asmspec)
Definition builtins.cc:12352
rtx expand_builtin(tree exp, rtx target, rtx subtarget, machine_mode mode, int ignore)
Definition builtins.cc:7853
rtx expand_builtin_crc_table_based(internal_fn fn, scalar_mode crc_mode, scalar_mode data_mode, machine_mode mode, tree exp, rtx target)
Definition builtins.cc:7812
tree fold_builtin_constant_p(tree arg)
Definition builtins.cc:9194
tree fold_builtin_call_array(location_t loc, tree, tree fn, int n, tree *argarray)
Definition builtins.cc:11175
internal_fn replacement_internal_fn(gcall *call)
Definition builtins.cc:2295
int type_to_class(tree type)
Definition builtins.cc:1885
static internal_fn associated_internal_fn(built_in_function fn, tree return_type)
Definition builtins.cc:2207
rtx get_memory_rtx(tree exp, tree len, bool store_p)
Definition builtins.cc:1370
bool get_object_alignment_1(tree exp, unsigned int *alignp, unsigned HOST_WIDE_INT *bitposp)
Definition builtins.cc:387
void expand_ifn_atomic_compare_exchange(gcall *call)
Definition builtins.cc:6836
bool is_simple_builtin(tree decl)
Definition builtins.cc:12372
void expand_ifn_atomic_bit_test_and(gcall *call)
Definition builtins.cc:7012
tree fold_call_stmt(gcall *stmt, bool ignore)
Definition builtins.cc:12302
void maybe_emit_call_builtin___clear_cache(rtx begin, rtx end)
Definition builtins.cc:6056
void std_expand_builtin_va_start(tree valist, rtx nextarg)
Definition builtins.cc:5325
char target_percent_c[3]
Definition builtins.cc:192
struct target_builtins default_target_builtins
Definition builtins.cc:86
unsigned int get_pointer_alignment(tree exp)
Definition builtins.cc:498
unsigned string_length(const void *ptr, unsigned eltsize, unsigned maxelts)
Definition builtins.cc:519
tree fold_call_expr(location_t loc, tree exp, bool ignore)
Definition builtins.cc:11131
tree std_build_builtin_va_list(void)
Definition builtins.cc:5279
bool readonly_data_expr(tree exp)
Definition builtins.cc:11311
tree mathfn_built_in_type(combined_fn fn)
Definition builtins.cc:2149
tree std_canonical_va_list_type(tree type)
Definition builtins.cc:5295
rtx builtin_strncpy_read_str(void *data, void *, HOST_WIDE_INT offset, fixed_size_mode mode)
Definition builtins.cc:4041
bool validate_gimple_arglist(const gcall *call,...)
Definition builtins.cc:11250
void expand_builtin_setjmp_setup(rtx buf_addr, rtx receiver_label)
Definition builtins.cc:887
bool get_object_alignment_2(tree exp, unsigned int *alignp, unsigned HOST_WIDE_INT *bitposp, bool addr_p)
Definition builtins.cc:239
void expand_builtin_setjmp_receiver(rtx receiver_label)
Definition builtins.cc:934
tree std_fn_abi_va_list(tree fndecl)
Definition builtins.cc:5287
rtx default_expand_builtin(tree exp, rtx target, rtx subtarget, machine_mode mode, int ignore)
Definition builtins.cc:11298
rtx c_readstr(const char *str, fixed_size_mode mode, bool null_terminated_p)
Definition builtins.cc:747
#define this_target_builtins
Definition builtins.h:53
Definition machmode.h:833
Definition machmode.h:493
struct rtx_def * rtx
Definition coretypes.h:57
pod_mode< fixed_size_mode > fixed_size_mode_pod
Definition coretypes.h:71
const union tree_node * const_tree
Definition coretypes.h:98
union tree_node * tree
Definition coretypes.h:97
double exp(double)
built_in_function
Definition genmatch.cc:1018
combined_fn
Definition genmatch.cc:1029
internal_fn
Definition genmatch.cc:1024
Definition builtins.h:71
tree off
Definition builtins.h:111
tree maxlen
Definition builtins.h:101
tree maxbound
Definition builtins.h:102
tree minlen
Definition builtins.h:100
tree decl
Definition builtins.h:108
Definition genautomata.cc:499
Definition gimple.h:355
Definition builtins.h:26
fixed_size_mode_pod x_apply_args_mode[FIRST_PSEUDO_REGISTER]
Definition builtins.h:32
int x_apply_args_size_plus_one
Definition builtins.h:45
int x_apply_result_size_plus_one
Definition builtins.h:46
fixed_size_mode_pod x_apply_result_mode[FIRST_PSEUDO_REGISTER]
Definition builtins.h:39
#define NULL
Definition system.h:58