]> git.ipfire.org Git - people/ms/gcc.git/blame - gcc/expr.h
c++: namespace-scoped friend in local class [PR69410]
[people/ms/gcc.git] / gcc / expr.h
CommitLineData
e8bbfc4e 1/* Definitions for code generation pass of GNU compiler.
aeee4812 2 Copyright (C) 1987-2023 Free Software Foundation, Inc.
e8bbfc4e 3
1322177d 4This file is part of GCC.
e8bbfc4e 5
1322177d
LB
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
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
1322177d 9version.
e8bbfc4e 10
1322177d
LB
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.
e8bbfc4e
RK
15
16You should have received a copy of the GNU General Public License
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
e8bbfc4e 19
78528714
JQ
20#ifndef GCC_EXPR_H
21#define GCC_EXPR_H
22
e8bbfc4e 23/* This is the 4th arg to `expand_expr'.
8403445a 24 EXPAND_STACK_PARM means we are possibly expanding a call param onto
0cc1b879 25 the stack.
e8bbfc4e
RK
26 EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx.
27 EXPAND_INITIALIZER is similar but also record any labels on forced_labels.
28 EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address
99b5da08 29 is a constant that is not a legitimate address.
017e1b43
RH
30 EXPAND_WRITE means we are only going to write to the resulting rtx.
31 EXPAND_MEMORY means we are interested in a memory result, even if
4c437f02
BE
32 the memory is constant and we could have propagated a constant value,
33 or the memory is unaligned on a STRICT_ALIGNMENT target. */
0cc1b879 34enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM, EXPAND_SUM,
017e1b43
RH
35 EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE,
36 EXPAND_MEMORY};
e8bbfc4e 37
5c7a310f
MM
38/* Prevent the compiler from deferring stack pops. See
39 inhibit_defer_pop for more information. */
40#define NO_DEFER_POP (inhibit_defer_pop += 1)
41
42/* Allow the compiler to defer stack pops. See inhibit_defer_pop for
43 more information. */
44#define OK_DEFER_POP (inhibit_defer_pop -= 1)
e8bbfc4e 45\f
8e7aa1f9
MM
46/* This structure is used to pass around information about exploded
47 unary, binary and trinary expressions between expand_expr_real_1 and
48 friends. */
49typedef struct separate_ops
50{
51 enum tree_code code;
25efe060 52 location_t location;
8e7aa1f9
MM
53 tree type;
54 tree op0, op1, op2;
8e7aa1f9 55} *sepops;
12e74c9e 56\f
b8698a0f 57/* This is run during target initialization to set up which modes can be
b5deb7b6
SL
58 used directly in memory and to initialize the block move optab. */
59extern void init_expr_target (void);
12e74c9e
RK
60
61/* This is run at the start of compiling a function. */
502b8322 62extern void init_expr (void);
12e74c9e 63
e8bbfc4e
RK
64/* Emit some rtl insns to move data between rtx's, converting machine modes.
65 Both modes must be floating or both fixed. */
502b8322 66extern void convert_move (rtx, rtx, int);
e8bbfc4e
RK
67
68/* Convert an rtx to specified machine mode and return the result. */
ef4bddc2 69extern rtx convert_to_mode (machine_mode, rtx, int);
e8bbfc4e 70
3fad11c9 71/* Convert an rtx to MODE from OLDMODE and return the result. */
ac4c8f53
RS
72extern rtx convert_modes (machine_mode mode, machine_mode oldmode,
73 rtx x, int unsignedp);
74
75/* Variant of convert_modes for ABI parameter passing/return. */
76extern rtx convert_float_to_wider_int (machine_mode mode, machine_mode fmode,
77 rtx x);
78
79/* Variant of convert_modes for ABI parameter passing/return. */
80extern rtx convert_wider_int_to_float (machine_mode mode, machine_mode imode,
81 rtx x);
3fad11c9 82
ee516de9
EB
83/* Expand a call to memcpy or memmove or memcmp, and return the result. */
84extern rtx emit_block_op_via_libcall (enum built_in_function, rtx, rtx, rtx,
85 bool);
86
cb3e0eac 87inline rtx
ee516de9
EB
88emit_block_copy_via_libcall (rtx dst, rtx src, rtx size, bool tailcall = false)
89{
90 return emit_block_op_via_libcall (BUILT_IN_MEMCPY, dst, src, size, tailcall);
91}
92
cb3e0eac 93inline rtx
ee516de9
EB
94emit_block_move_via_libcall (rtx dst, rtx src, rtx size, bool tailcall = false)
95{
96 return emit_block_op_via_libcall (BUILT_IN_MEMMOVE, dst, src, size, tailcall);
97}
98
cb3e0eac 99inline rtx
ee516de9
EB
100emit_block_comp_via_libcall (rtx dst, rtx src, rtx size, bool tailcall = false)
101{
102 return emit_block_op_via_libcall (BUILT_IN_MEMCMP, dst, src, size, tailcall);
103}
44bb111a 104
ee516de9 105/* Emit code to move a block Y to a block X. */
44bb111a
RH
106enum block_op_methods
107{
108 BLOCK_OP_NORMAL,
8403445a 109 BLOCK_OP_NO_LIBCALL,
8148fe65
JJ
110 BLOCK_OP_CALL_PARM,
111 /* Like BLOCK_OP_NORMAL, but the libcall can be tail call optimized. */
fdd33254
ML
112 BLOCK_OP_TAILCALL,
113 /* Like BLOCK_OP_NO_LIBCALL, but instead of emitting a libcall return
114 pc_rtx to indicate nothing has been emitted and let the caller handle
115 it. */
116 BLOCK_OP_NO_LIBCALL_RET
44bb111a
RH
117};
118
985b3a68 119typedef rtx (*by_pieces_constfn) (void *, void *, HOST_WIDE_INT,
e5e164ef 120 fixed_size_mode);
985b3a68
L
121
122/* The second pointer passed to by_pieces_constfn. */
123struct by_pieces_prev
124{
125 rtx data;
e5e164ef 126 fixed_size_mode mode;
985b3a68 127};
36b85e43 128
502b8322 129extern rtx emit_block_move (rtx, rtx, rtx, enum block_op_methods);
079a182e 130extern rtx emit_block_move_hints (rtx, rtx, rtx, enum block_op_methods,
3918b108
JH
131 unsigned int, HOST_WIDE_INT,
132 unsigned HOST_WIDE_INT,
82bb7d4e 133 unsigned HOST_WIDE_INT,
db91c7cf
ML
134 unsigned HOST_WIDE_INT,
135 bool bail_out_libcall = false,
03a9b90a
AS
136 bool *is_move_done = NULL,
137 bool might_overlap = false);
36b85e43
BS
138extern rtx emit_block_cmp_hints (rtx, rtx, rtx, tree, rtx, bool,
139 by_pieces_constfn, void *);
28ed065e 140extern bool emit_storent_insn (rtx to, rtx from);
12e74c9e
RK
141
142/* Copy all or part of a value X into registers starting at REGNO.
143 The number of registers to be filled is NREGS. */
ef4bddc2 144extern void move_block_to_reg (int, rtx, int, machine_mode);
12e74c9e
RK
145
146/* Copy all or part of a BLKmode value X out of registers starting at REGNO.
147 The number of registers to be filled is NREGS. */
502b8322 148extern void move_block_from_reg (int, rtx, int);
12e74c9e 149
084a1106 150/* Generate a non-consecutive group of registers represented by a PARALLEL. */
502b8322 151extern rtx gen_group_rtx (rtx);
084a1106 152
ae73d3be
JW
153/* Load a BLKmode value into non-consecutive registers represented by a
154 PARALLEL. */
f8f667be 155extern void emit_group_load (rtx, rtx, tree, poly_int64);
729a2125 156
27e29549 157/* Similarly, but load into new temporaries. */
f8f667be 158extern rtx emit_group_load_into_temps (rtx, rtx, tree, poly_int64);
27e29549 159
084a1106
JDA
160/* Move a non-consecutive group of registers represented by a PARALLEL into
161 a non-consecutive group of registers represented by a PARALLEL. */
502b8322 162extern void emit_group_move (rtx, rtx);
084a1106 163
27e29549
RH
164/* Move a group of registers represented by a PARALLEL into pseudos. */
165extern rtx emit_group_move_into_temps (rtx);
166
ae73d3be
JW
167/* Store a BLKmode value from non-consecutive registers represented by a
168 PARALLEL. */
f8f667be 169extern void emit_group_store (rtx, rtx, tree, poly_int64);
ae73d3be 170
9a002da8
RS
171extern rtx maybe_emit_group_store (rtx, tree);
172
7d810276
JJ
173/* Mark REG as holding a parameter for the next CALL_INSN.
174 Mode is TYPE_MODE of the non-promoted parameter, or VOIDmode. */
ef4bddc2
RS
175extern void use_reg_mode (rtx *, rtx, machine_mode);
176extern void clobber_reg_mode (rtx *, rtx, machine_mode);
7d810276 177
ef4bddc2 178extern rtx copy_blkmode_to_reg (machine_mode, tree);
2ba87a29 179
8c99eaf6 180/* Mark REG as holding a parameter for the next CALL_INSN. */
cb3e0eac 181inline void
7d810276
JJ
182use_reg (rtx *fusage, rtx reg)
183{
184 use_reg_mode (fusage, reg, VOIDmode);
185}
729a2125 186
97891c11 187/* Mark REG as clobbered by the call with FUSAGE as CALL_INSN_FUNCTION_USAGE. */
cb3e0eac 188inline void
97891c11
TV
189clobber_reg (rtx *fusage, rtx reg)
190{
191 clobber_reg_mode (fusage, reg, VOIDmode);
192}
193
8c99eaf6
RK
194/* Mark NREGS consecutive regs, starting at REGNO, as holding parameters
195 for the next CALL_INSN. */
502b8322 196extern void use_regs (rtx *, int, int);
729a2125 197
ae73d3be 198/* Mark a PARALLEL as holding a parameter for the next CALL_INSN. */
502b8322 199extern void use_group_regs (rtx *, rtx);
12e74c9e 200
36b85e43
BS
201#ifdef GCC_INSN_CODES_H
202extern rtx expand_cmpstrn_or_cmpmem (insn_code, rtx, rtx, rtx, tree, rtx,
203 HOST_WIDE_INT);
204#endif
205
12e74c9e 206/* Write zeros through the storage of OBJECT.
8ac61af7 207 If OBJECT has BLKmode, SIZE is its length in bytes. */
8148fe65 208extern rtx clear_storage (rtx, rtx, enum block_op_methods);
079a182e 209extern rtx clear_storage_hints (rtx, rtx, enum block_op_methods,
3918b108
JH
210 unsigned int, HOST_WIDE_INT,
211 unsigned HOST_WIDE_INT,
82bb7d4e 212 unsigned HOST_WIDE_INT,
da9e6e63
AO
213 unsigned HOST_WIDE_INT,
214 unsigned);
8c996513 215/* The same, but always output an library call. */
ee516de9 216extern rtx set_storage_via_libcall (rtx, rtx, rtx, bool = false);
12e74c9e 217
57e84f18 218/* Expand a setmem pattern; return true if successful. */
b8698a0f 219extern bool set_storage_via_setmem (rtx, rtx, rtx, unsigned int,
3918b108
JH
220 unsigned int, HOST_WIDE_INT,
221 unsigned HOST_WIDE_INT,
82bb7d4e 222 unsigned HOST_WIDE_INT,
3918b108 223 unsigned HOST_WIDE_INT);
57e84f18 224
cc2902df 225/* Return nonzero if it is desirable to store LEN bytes generated by
57814e5e
JJ
226 CONSTFUN with several move instructions by store_by_pieces
227 function. CONSTFUNDATA is a pointer which will be passed as argument
228 in every CONSTFUN call.
cfa31150
SL
229 ALIGN is maximum alignment we can assume.
230 MEMSETP is true if this is a real memset/bzero, not a copy
231 of a const string. */
502b8322 232extern int can_store_by_pieces (unsigned HOST_WIDE_INT,
36b85e43 233 by_pieces_constfn,
cfa31150 234 void *, unsigned int, bool);
57814e5e
JJ
235
236/* Generate several move instructions to store LEN bytes generated by
237 CONSTFUN to block TO. (A MEM rtx with BLKmode). CONSTFUNDATA is a
238 pointer which will be passed as argument in every CONSTFUN call.
8fd3cf4e 239 ALIGN is maximum alignment we can assume.
cfa31150 240 MEMSETP is true if this is a real memset/bzero, not a copy.
8fd3cf4e 241 Returns TO + LEN. */
36b85e43 242extern rtx store_by_pieces (rtx, unsigned HOST_WIDE_INT, by_pieces_constfn,
2ff5ffb6 243 void *, unsigned int, bool, memop_ret);
57814e5e 244
da9e6e63
AO
245/* If can_store_by_pieces passes for worst-case values near MAX_LEN, call
246 store_by_pieces within conditionals so as to handle variable LEN efficiently,
247 storing VAL, if non-NULL_RTX, or valc instead. */
248extern bool try_store_by_multiple_pieces (rtx to, rtx len,
249 unsigned int ctz_len,
250 unsigned HOST_WIDE_INT min_len,
251 unsigned HOST_WIDE_INT max_len,
252 rtx val, char valc,
253 unsigned int align);
254
12e74c9e 255/* Emit insns to set X from Y. */
f3222b79 256extern rtx_insn *emit_move_insn (rtx, rtx);
1476d1bd 257extern rtx_insn *gen_move_insn (rtx, rtx);
12e74c9e
RK
258
259/* Emit insns to set X from Y, with no frills. */
f3222b79 260extern rtx_insn *emit_move_insn_1 (rtx, rtx);
12e74c9e 261
ef4bddc2 262extern rtx_insn *emit_move_complex_push (machine_mode, rtx, rtx);
f3222b79 263extern rtx_insn *emit_move_complex_parts (rtx, rtx);
1f9ceff1 264extern rtx read_complex_part (rtx, bool);
13f44099 265extern void write_complex_part (rtx, rtx, bool, bool);
ee45a32d 266extern rtx read_complex_part (rtx, bool);
ef4bddc2 267extern rtx emit_move_resolve_push (machine_mode, rtx);
ceca734e 268
12e74c9e
RK
269/* Push a block of length SIZE (perhaps variable)
270 and return an rtx to address the beginning of the block. */
a15b25dc 271extern rtx push_block (rtx, poly_int64, int);
12e74c9e 272
12e74c9e 273/* Generate code to push something onto the stack, given its mode and type. */
99206968 274extern bool emit_push_insn (rtx, machine_mode, tree, rtx, unsigned int,
a15b25dc 275 int, rtx, poly_int64, rtx, rtx, int, rtx, bool);
12e74c9e 276
585334d4 277/* Extract the accessible bit-range from a COMPONENT_REF. */
39bb8924
RS
278extern void get_bit_range (poly_uint64_pod *, poly_uint64_pod *, tree,
279 poly_int64_pod *, tree *);
8a91d545 280
19eb1ad7 281/* Expand an assignment that stores the value of FROM into TO. */
79f5e442 282extern void expand_assignment (tree, tree, bool);
12e74c9e
RK
283
284/* Generate code for computing expression EXP,
285 and storing the value into TARGET.
286 If SUGGEST_REG is nonzero, copy the value through a register
287 and return that register, if that is possible. */
ee45a32d 288extern rtx store_expr (tree, rtx, int, bool, bool);
e8bbfc4e
RK
289
290/* Given an rtx that may include add and multiply operations,
291 generate them as insns and return a pseudo-reg containing the value.
292 Useful after calling expand_expr with 1 as sum_ok. */
502b8322 293extern rtx force_operand (rtx, rtx);
e8bbfc4e 294
28ed065e 295/* Work horses for expand_expr. */
ef4bddc2 296extern rtx expand_expr_real (tree, rtx, machine_mode,
4c437f02 297 enum expand_modifier, rtx *, bool);
ef4bddc2 298extern rtx expand_expr_real_1 (tree, rtx, machine_mode,
4c437f02 299 enum expand_modifier, rtx *, bool);
ef4bddc2 300extern rtx expand_expr_real_2 (sepops, rtx, machine_mode,
28ed065e 301 enum expand_modifier);
673fda6b 302
12e74c9e
RK
303/* Generate code for computing expression EXP.
304 An rtx for the computed value is returned. The value is never null.
305 In the case of a void EXP, const0_rtx is returned. */
cb3e0eac 306inline rtx
ef4bddc2 307expand_expr (tree exp, rtx target, machine_mode mode,
673fda6b
SB
308 enum expand_modifier modifier)
309{
4c437f02 310 return expand_expr_real (exp, target, mode, modifier, NULL, false);
673fda6b 311}
12e74c9e 312
cb3e0eac 313inline rtx
84217346
MD
314expand_normal (tree exp)
315{
4c437f02 316 return expand_expr_real (exp, NULL_RTX, VOIDmode, EXPAND_NORMAL, NULL, false);
84217346
MD
317}
318
7f2f0a01 319
866626ef
MS
320/* Return STRING_CST and set offset, size and decl, if the first
321 argument corresponds to a string constant. */
e84bf0ef 322extern tree string_constant (tree, tree *, tree *, tree *);
866626ef
MS
323/* Similar to string_constant, return a STRING_CST corresponding
324 to the value representation of the first argument if it's
325 a constant. */
326extern tree byte_representation (tree, tree *, tree *, tree *);
c0cbe526
JJ
327
328extern enum tree_code maybe_optimize_mod_cmp (enum tree_code, tree *, tree *);
5de7bf5b 329extern void maybe_optimize_sub_cmp_0 (enum tree_code, tree *, tree *);
28f4ec01 330
ad82abb8 331/* Two different ways of generating switch statements. */
357067f2
JH
332extern int try_casesi (tree, tree, tree, tree, rtx, rtx, rtx, profile_probability);
333extern int try_tablejump (tree, tree, tree, tree, rtx, rtx, profile_probability);
ad82abb8 334
22ea9ec0 335extern int safe_from_p (const_rtx, tree, int);
8f17b5c5 336
f9417da1
RG
337/* Get the personality libfunc for a function decl. */
338rtx get_personality_function (tree);
339
d8a2d370
DN
340/* Determine whether the LEN bytes can be moved by using several move
341 instructions. Return nonzero if a call to move_by_pieces should
342 succeed. */
36b85e43 343extern bool can_move_by_pieces (unsigned HOST_WIDE_INT, unsigned int);
d8a2d370
DN
344
345extern unsigned HOST_WIDE_INT highest_pow2_factor (const_tree);
d8a2d370
DN
346
347extern bool categorize_ctor_elements (const_tree, HOST_WIDE_INT *,
0fca07e3
JJ
348 HOST_WIDE_INT *, HOST_WIDE_INT *,
349 bool *);
ed6fd2ae 350extern bool immediate_const_ctor_p (const_tree, unsigned int words = 1);
c00e1e3a
RS
351extern void store_constructor (tree, rtx, int, poly_int64, bool);
352extern HOST_WIDE_INT int_expr_size (const_tree exp);
d8a2d370 353
2d52a3a1
ZC
354extern void expand_operands (tree, tree, rtx, rtx*, rtx*,
355 enum expand_modifier);
36566b39
PK
356
357/* rtl.h and tree.h were included. */
358/* Return an rtx for the size in bytes of the value of an expr. */
359extern rtx expr_size (tree);
360
7e0c0500
RB
361extern bool mem_ref_refers_to_non_mem_p (tree);
362extern bool non_mem_decl_p (tree);
363
78528714 364#endif /* GCC_EXPR_H */