]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ira.h
c++, mingw: Fix up types of dtor hooks to __cxa_{,thread_}atexit/__cxa_throw on mingw...
[thirdparty/gcc.git] / gcc / ira.h
CommitLineData
058e97ec
VM
1/* Communication between the Integrated Register Allocator (IRA) and
2 the rest of the compiler.
a945c346 3 Copyright (C) 2006-2024 Free Software Foundation, Inc.
058e97ec
VM
4 Contributed by Vladimir Makarov <vmakarov@redhat.com>.
5
6This file is part of GCC.
7
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 3, or (at your option) any later
11version.
12
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16for more details.
17
18You should have received a copy of the GNU General Public License
19along with GCC; see the file COPYING3. If not see
20<http://www.gnu.org/licenses/>. */
21
f1717f8d
KC
22#ifndef GCC_IRA_H
23#define GCC_IRA_H
24
b81a2f0d
VM
25#include "emit-rtl.h"
26
55a2c322
VM
27/* True when we use LRA instead of reload pass for the current
28 function. */
29extern bool ira_use_lra_p;
30
311aab06
VM
31/* True if we have allocno conflicts. It is false for non-optimized
32 mode or when the conflict table is too big. */
33extern bool ira_conflicts_p;
34
55a2c322
VM
35struct target_ira
36{
1756cb66 37 /* Map: hard register number -> allocno class it belongs to. If the
afcc66c4
RS
38 corresponding class is NO_REGS, the hard register is not available
39 for allocation. */
1756cb66 40 enum reg_class x_ira_hard_regno_allocno_class[FIRST_PSEUDO_REGISTER];
afcc66c4 41
1756cb66
VM
42 /* Number of allocno classes. Allocno classes are register classes
43 which can be used for allocations of allocnos. */
44 int x_ira_allocno_classes_num;
45
46 /* The array containing allocno classes. Only first
47 IRA_ALLOCNO_CLASSES_NUM elements are used for this. */
48 enum reg_class x_ira_allocno_classes[N_REG_CLASSES];
fe82cdfb 49
1756cb66
VM
50 /* Map of all register classes to corresponding allocno classes
51 containing the given class. If given class is not a subset of an
52 allocno class, we translate it into the cheapest allocno class. */
53 enum reg_class x_ira_allocno_class_translate[N_REG_CLASSES];
fe82cdfb 54
1756cb66
VM
55 /* Number of pressure classes. Pressure classes are register
56 classes for which we calculate register pressure. */
57 int x_ira_pressure_classes_num;
fe82cdfb 58
1756cb66
VM
59 /* The array containing pressure classes. Only first
60 IRA_PRESSURE_CLASSES_NUM elements are used for this. */
61 enum reg_class x_ira_pressure_classes[N_REG_CLASSES];
62
63 /* Map of all register classes to corresponding pressure classes
64 containing the given class. If given class is not a subset of an
65 pressure class, we translate it into the cheapest pressure
66 class. */
67 enum reg_class x_ira_pressure_class_translate[N_REG_CLASSES];
68
df3e3493 69 /* Biggest pressure register class containing stack registers.
1756cb66
VM
70 NO_REGS if there are no stack registers. */
71 enum reg_class x_ira_stack_reg_pressure_class;
72
73 /* Maps: register class x machine mode -> maximal/minimal number of
74 hard registers of given class needed to store value of given
75 mode. */
a8c44c52
AS
76 unsigned char x_ira_reg_class_max_nregs[N_REG_CLASSES][MAX_MACHINE_MODE];
77 unsigned char x_ira_reg_class_min_nregs[N_REG_CLASSES][MAX_MACHINE_MODE];
afcc66c4
RS
78
79 /* Array analogous to target hook TARGET_MEMORY_MOVE_COST. */
80 short x_ira_memory_move_cost[MAX_MACHINE_MODE][N_REG_CLASSES][2];
81
82 /* Array of number of hard registers of given class which are
83 available for the allocation. The order is defined by the
84 allocation order. */
85 short x_ira_class_hard_regs[N_REG_CLASSES][FIRST_PSEUDO_REGISTER];
86
87 /* The number of elements of the above array for given register
88 class. */
89 int x_ira_class_hard_regs_num[N_REG_CLASSES];
1756cb66 90
55a2c322
VM
91 /* Register class subset relation: TRUE if the first class is a subset
92 of the second one considering only hard registers available for the
93 allocation. */
94 int x_ira_class_subset_p[N_REG_CLASSES][N_REG_CLASSES];
95
96 /* The biggest class inside of intersection of the two classes (that
97 is calculated taking only hard registers available for allocation
98 into account. If the both classes contain no hard registers
99 available for allocation, the value is calculated with taking all
100 hard-registers including fixed ones into account. */
101 enum reg_class x_ira_reg_class_subset[N_REG_CLASSES][N_REG_CLASSES];
102
103 /* True if the two classes (that is calculated taking only hard
104 registers available for allocation into account; are
105 intersected. */
106 bool x_ira_reg_classes_intersect_p[N_REG_CLASSES][N_REG_CLASSES];
107
c9d74da6
RS
108 /* If class CL has a single allocatable register of mode M,
109 index [CL][M] gives the number of that register, otherwise it is -1. */
110 short x_ira_class_singleton[N_REG_CLASSES][MAX_MACHINE_MODE];
111
67914693 112 /* Function specific hard registers cannot be used for the register
1756cb66
VM
113 allocation. */
114 HARD_REG_SET x_ira_no_alloc_regs;
7b6e0c54
VM
115
116 /* Array whose values are hard regset of hard registers available for
f939c3e6
RS
117 the allocation of given register class whose targetm.hard_regno_mode_ok
118 values for given mode are false. */
7b6e0c54 119 HARD_REG_SET x_ira_prohibited_class_mode_regs[N_REG_CLASSES][NUM_MACHINE_MODES];
85419ac5
VM
120
121 /* When an allocatable hard register in given mode can not be placed in given
122 register class, it is in the set of the following array element. It can
123 happen only when given mode requires more one hard register. */
124 HARD_REG_SET x_ira_exclude_class_mode_regs[N_REG_CLASSES][NUM_MACHINE_MODES];
afcc66c4
RS
125};
126
127extern struct target_ira default_target_ira;
128#if SWITCHABLE_TARGET
129extern struct target_ira *this_target_ira;
130#else
131#define this_target_ira (&default_target_ira)
132#endif
133
1756cb66
VM
134#define ira_hard_regno_allocno_class \
135 (this_target_ira->x_ira_hard_regno_allocno_class)
136#define ira_allocno_classes_num \
137 (this_target_ira->x_ira_allocno_classes_num)
138#define ira_allocno_classes \
139 (this_target_ira->x_ira_allocno_classes)
140#define ira_allocno_class_translate \
141 (this_target_ira->x_ira_allocno_class_translate)
142#define ira_pressure_classes_num \
143 (this_target_ira->x_ira_pressure_classes_num)
144#define ira_pressure_classes \
145 (this_target_ira->x_ira_pressure_classes)
146#define ira_pressure_class_translate \
147 (this_target_ira->x_ira_pressure_class_translate)
148#define ira_stack_reg_pressure_class \
149 (this_target_ira->x_ira_stack_reg_pressure_class)
150#define ira_reg_class_max_nregs \
151 (this_target_ira->x_ira_reg_class_max_nregs)
152#define ira_reg_class_min_nregs \
153 (this_target_ira->x_ira_reg_class_min_nregs)
afcc66c4
RS
154#define ira_memory_move_cost \
155 (this_target_ira->x_ira_memory_move_cost)
156#define ira_class_hard_regs \
157 (this_target_ira->x_ira_class_hard_regs)
158#define ira_class_hard_regs_num \
159 (this_target_ira->x_ira_class_hard_regs_num)
55a2c322
VM
160#define ira_class_subset_p \
161 (this_target_ira->x_ira_class_subset_p)
162#define ira_reg_class_subset \
163 (this_target_ira->x_ira_reg_class_subset)
164#define ira_reg_classes_intersect_p \
165 (this_target_ira->x_ira_reg_classes_intersect_p)
c9d74da6
RS
166#define ira_class_singleton \
167 (this_target_ira->x_ira_class_singleton)
1756cb66
VM
168#define ira_no_alloc_regs \
169 (this_target_ira->x_ira_no_alloc_regs)
7b6e0c54
VM
170#define ira_prohibited_class_mode_regs \
171 (this_target_ira->x_ira_prohibited_class_mode_regs)
85419ac5
VM
172#define ira_exclude_class_mode_regs \
173 (this_target_ira->x_ira_exclude_class_mode_regs)
ce18efcb 174
55a2c322 175/* Major structure describing equivalence info for a pseudo. */
4c2b2d79 176struct ira_reg_equiv_s
55a2c322 177{
10827a92 178 /* True if we can use this as a general equivalence. */
55a2c322 179 bool defined_p;
10827a92
VM
180 /* True if we can use this equivalence only for caller save/restore
181 location. */
182 bool caller_save_p;
55a2c322
VM
183 /* True if the usage of the equivalence is profitable. */
184 bool profitable_p;
185 /* Equiv. memory, constant, invariant, and initializing insns of
186 given pseudo-register or NULL_RTX. */
187 rtx memory;
188 rtx constant;
189 rtx invariant;
190 /* Always NULL_RTX if defined_p is false. */
0cc97fc5 191 rtx_insn_list *init_insns;
55a2c322
VM
192};
193
194/* The length of the following array. */
195extern int ira_reg_equiv_len;
196
197/* Info about equiv. info for each register. */
4c2b2d79 198extern struct ira_reg_equiv_s *ira_reg_equiv;
55a2c322 199
058e97ec
VM
200extern void ira_init_once (void);
201extern void ira_init (void);
8d49e7ef 202extern void ira_setup_eliminable_regset (void);
ef4bddc2 203extern rtx ira_eliminate_regs (rtx, machine_mode);
b11f0116 204extern void ira_set_pseudo_classes (bool, FILE *);
55a2c322 205extern void ira_expand_reg_equiv (void);
b32d5189 206extern void ira_update_equiv_info_by_shuffle_insn (int, int, rtx_insn *);
058e97ec 207
bd5a2c67 208extern void ira_sort_regnos_for_alter_reg (int *, int, machine_mode *);
058e97ec
VM
209extern void ira_mark_allocation_change (int);
210extern void ira_mark_memory_move_deletion (int, int);
211extern bool ira_reassign_pseudos (int *, int, HARD_REG_SET, HARD_REG_SET *,
212 HARD_REG_SET *, bitmap);
80ce7eb4
RS
213extern rtx ira_reuse_stack_slot (int, poly_uint64, poly_uint64);
214extern void ira_mark_new_stack_slot (rtx, int, poly_uint64);
8c797f81 215extern bool ira_better_spill_reload_regno_p (int *, int *, rtx, rtx, rtx_insn *);
0896cc66 216extern bool ira_bad_reload_regno (int, rtx, rtx);
058e97ec 217
8ff49c29 218extern void ira_adjust_equiv_reg_cost (unsigned, int);
f1717f8d 219
44fbc9c6
VM
220extern bool ira_former_scratch_p (int regno);
221extern bool ira_former_scratch_operand_p (rtx_insn *insn, int nop);
222extern void ira_register_new_scratch_op (rtx_insn *insn, int nop, int icode);
223extern bool ira_remove_insn_scratches (rtx_insn *insn, bool all_p, FILE *dump_file,
224 rtx (*get_reg) (rtx original));
225extern void ira_restore_scratches (FILE *dump_file);
e3b3b596 226extern void ira_nullify_asm_goto (rtx_insn *insn);
44fbc9c6 227
e53b6e56 228/* ira-costs.cc */
d5148d4f 229extern void ira_costs_cc_finalize (void);
eec42458 230
e53b6e56 231/* ira-lives.cc */
a141f2d8
PB
232extern rtx non_conflicting_reg_copy_p (rtx_insn *);
233
b81a2f0d
VM
234/* Spilling static chain pseudo may result in generation of wrong
235 non-local goto code using frame-pointer to address saved stack
236 pointer value after restoring old frame pointer value. The
237 function returns TRUE if REGNO is such a static chain pseudo. */
cb3e0eac 238inline bool
b81a2f0d
VM
239non_spilled_static_chain_regno_p (int regno)
240{
241 return (cfun->static_chain_decl && crtl->has_nonlocal_goto
242 && REG_EXPR (regno_reg_rtx[regno]) == cfun->static_chain_decl);
243}
244
f1717f8d 245#endif /* GCC_IRA_H */