annotate gcc/lra-lives.c @ 16:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16
kono
parents:
diff changeset
1 /* Build live ranges for pseudos.
kono
parents:
diff changeset
2 Copyright (C) 2010-2017 Free Software Foundation, Inc.
kono
parents:
diff changeset
3 Contributed by Vladimir Makarov <vmakarov@redhat.com>.
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 This file is part of GCC.
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
8 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
9 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
10 version.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
15 for more details.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
18 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
19 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 /* This file contains code to build pseudo live-ranges (analogous
kono
parents:
diff changeset
23 structures used in IRA, so read comments about the live-ranges
kono
parents:
diff changeset
24 there) and other info necessary for other passes to assign
kono
parents:
diff changeset
25 hard-registers to pseudos, coalesce the spilled pseudos, and assign
kono
parents:
diff changeset
26 stack memory slots to spilled pseudos. */
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 #include "config.h"
kono
parents:
diff changeset
29 #include "system.h"
kono
parents:
diff changeset
30 #include "coretypes.h"
kono
parents:
diff changeset
31 #include "backend.h"
kono
parents:
diff changeset
32 #include "rtl.h"
kono
parents:
diff changeset
33 #include "tree.h"
kono
parents:
diff changeset
34 #include "predict.h"
kono
parents:
diff changeset
35 #include "df.h"
kono
parents:
diff changeset
36 #include "memmodel.h"
kono
parents:
diff changeset
37 #include "tm_p.h"
kono
parents:
diff changeset
38 #include "insn-config.h"
kono
parents:
diff changeset
39 #include "regs.h"
kono
parents:
diff changeset
40 #include "ira.h"
kono
parents:
diff changeset
41 #include "recog.h"
kono
parents:
diff changeset
42 #include "cfganal.h"
kono
parents:
diff changeset
43 #include "sparseset.h"
kono
parents:
diff changeset
44 #include "lra-int.h"
kono
parents:
diff changeset
45 #include "target.h"
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 /* Program points are enumerated by numbers from range
kono
parents:
diff changeset
48 0..LRA_LIVE_MAX_POINT-1. There are approximately two times more
kono
parents:
diff changeset
49 program points than insns. Program points are places in the
kono
parents:
diff changeset
50 program where liveness info can be changed. In most general case
kono
parents:
diff changeset
51 (there are more complicated cases too) some program points
kono
parents:
diff changeset
52 correspond to places where input operand dies and other ones
kono
parents:
diff changeset
53 correspond to places where output operands are born. */
kono
parents:
diff changeset
54 int lra_live_max_point;
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 /* Accumulated execution frequency of all references for each hard
kono
parents:
diff changeset
57 register. */
kono
parents:
diff changeset
58 int lra_hard_reg_usage[FIRST_PSEUDO_REGISTER];
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 /* A global flag whose true value says to build live ranges for all
kono
parents:
diff changeset
61 pseudos, otherwise the live ranges only for pseudos got memory is
kono
parents:
diff changeset
62 build. True value means also building copies and setting up hard
kono
parents:
diff changeset
63 register preferences. The complete info is necessary only for the
kono
parents:
diff changeset
64 assignment pass. The complete info is not needed for the
kono
parents:
diff changeset
65 coalescing and spill passes. */
kono
parents:
diff changeset
66 static bool complete_info_p;
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68 /* Pseudos live at current point in the RTL scan. */
kono
parents:
diff changeset
69 static sparseset pseudos_live;
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 /* Pseudos probably living through calls and setjumps. As setjump is
kono
parents:
diff changeset
72 a call too, if a bit in PSEUDOS_LIVE_THROUGH_SETJUMPS is set up
kono
parents:
diff changeset
73 then the corresponding bit in PSEUDOS_LIVE_THROUGH_CALLS is set up
kono
parents:
diff changeset
74 too. These data are necessary for cases when only one subreg of a
kono
parents:
diff changeset
75 multi-reg pseudo is set up after a call. So we decide it is
kono
parents:
diff changeset
76 probably live when traversing bb backward. We are sure about
kono
parents:
diff changeset
77 living when we see its usage or definition of the pseudo. */
kono
parents:
diff changeset
78 static sparseset pseudos_live_through_calls;
kono
parents:
diff changeset
79 static sparseset pseudos_live_through_setjumps;
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 /* Set of hard regs (except eliminable ones) currently live. */
kono
parents:
diff changeset
82 static HARD_REG_SET hard_regs_live;
kono
parents:
diff changeset
83
kono
parents:
diff changeset
84 /* Set of pseudos and hard registers start living/dying in the current
kono
parents:
diff changeset
85 insn. These sets are used to update REG_DEAD and REG_UNUSED notes
kono
parents:
diff changeset
86 in the insn. */
kono
parents:
diff changeset
87 static sparseset start_living, start_dying;
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 /* Set of pseudos and hard regs dead and unused in the current
kono
parents:
diff changeset
90 insn. */
kono
parents:
diff changeset
91 static sparseset unused_set, dead_set;
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 /* Bitmap used for holding intermediate bitmap operation results. */
kono
parents:
diff changeset
94 static bitmap_head temp_bitmap;
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 /* Pool for pseudo live ranges. */
kono
parents:
diff changeset
97 static object_allocator<lra_live_range> lra_live_range_pool ("live ranges");
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99 /* Free live range list LR. */
kono
parents:
diff changeset
100 static void
kono
parents:
diff changeset
101 free_live_range_list (lra_live_range_t lr)
kono
parents:
diff changeset
102 {
kono
parents:
diff changeset
103 lra_live_range_t next;
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 while (lr != NULL)
kono
parents:
diff changeset
106 {
kono
parents:
diff changeset
107 next = lr->next;
kono
parents:
diff changeset
108 lra_live_range_pool.remove (lr);
kono
parents:
diff changeset
109 lr = next;
kono
parents:
diff changeset
110 }
kono
parents:
diff changeset
111 }
kono
parents:
diff changeset
112
kono
parents:
diff changeset
113 /* Create and return pseudo live range with given attributes. */
kono
parents:
diff changeset
114 static lra_live_range_t
kono
parents:
diff changeset
115 create_live_range (int regno, int start, int finish, lra_live_range_t next)
kono
parents:
diff changeset
116 {
kono
parents:
diff changeset
117 lra_live_range_t p = lra_live_range_pool.allocate ();
kono
parents:
diff changeset
118 p->regno = regno;
kono
parents:
diff changeset
119 p->start = start;
kono
parents:
diff changeset
120 p->finish = finish;
kono
parents:
diff changeset
121 p->next = next;
kono
parents:
diff changeset
122 return p;
kono
parents:
diff changeset
123 }
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 /* Copy live range R and return the result. */
kono
parents:
diff changeset
126 static lra_live_range_t
kono
parents:
diff changeset
127 copy_live_range (lra_live_range_t r)
kono
parents:
diff changeset
128 {
kono
parents:
diff changeset
129 return new (lra_live_range_pool) lra_live_range (*r);
kono
parents:
diff changeset
130 }
kono
parents:
diff changeset
131
kono
parents:
diff changeset
132 /* Copy live range list given by its head R and return the result. */
kono
parents:
diff changeset
133 lra_live_range_t
kono
parents:
diff changeset
134 lra_copy_live_range_list (lra_live_range_t r)
kono
parents:
diff changeset
135 {
kono
parents:
diff changeset
136 lra_live_range_t p, first, *chain;
kono
parents:
diff changeset
137
kono
parents:
diff changeset
138 first = NULL;
kono
parents:
diff changeset
139 for (chain = &first; r != NULL; r = r->next)
kono
parents:
diff changeset
140 {
kono
parents:
diff changeset
141 p = copy_live_range (r);
kono
parents:
diff changeset
142 *chain = p;
kono
parents:
diff changeset
143 chain = &p->next;
kono
parents:
diff changeset
144 }
kono
parents:
diff changeset
145 return first;
kono
parents:
diff changeset
146 }
kono
parents:
diff changeset
147
kono
parents:
diff changeset
148 /* Merge *non-intersected* ranges R1 and R2 and returns the result.
kono
parents:
diff changeset
149 The function maintains the order of ranges and tries to minimize
kono
parents:
diff changeset
150 size of the result range list. Ranges R1 and R2 may not be used
kono
parents:
diff changeset
151 after the call. */
kono
parents:
diff changeset
152 lra_live_range_t
kono
parents:
diff changeset
153 lra_merge_live_ranges (lra_live_range_t r1, lra_live_range_t r2)
kono
parents:
diff changeset
154 {
kono
parents:
diff changeset
155 lra_live_range_t first, last;
kono
parents:
diff changeset
156
kono
parents:
diff changeset
157 if (r1 == NULL)
kono
parents:
diff changeset
158 return r2;
kono
parents:
diff changeset
159 if (r2 == NULL)
kono
parents:
diff changeset
160 return r1;
kono
parents:
diff changeset
161 for (first = last = NULL; r1 != NULL && r2 != NULL;)
kono
parents:
diff changeset
162 {
kono
parents:
diff changeset
163 if (r1->start < r2->start)
kono
parents:
diff changeset
164 std::swap (r1, r2);
kono
parents:
diff changeset
165
kono
parents:
diff changeset
166 if (r1->start == r2->finish + 1)
kono
parents:
diff changeset
167 {
kono
parents:
diff changeset
168 /* Joint ranges: merge r1 and r2 into r1. */
kono
parents:
diff changeset
169 r1->start = r2->start;
kono
parents:
diff changeset
170 lra_live_range_t temp = r2;
kono
parents:
diff changeset
171 r2 = r2->next;
kono
parents:
diff changeset
172 lra_live_range_pool.remove (temp);
kono
parents:
diff changeset
173 }
kono
parents:
diff changeset
174 else
kono
parents:
diff changeset
175 {
kono
parents:
diff changeset
176 gcc_assert (r2->finish + 1 < r1->start);
kono
parents:
diff changeset
177 /* Add r1 to the result. */
kono
parents:
diff changeset
178 if (first == NULL)
kono
parents:
diff changeset
179 first = last = r1;
kono
parents:
diff changeset
180 else
kono
parents:
diff changeset
181 {
kono
parents:
diff changeset
182 last->next = r1;
kono
parents:
diff changeset
183 last = r1;
kono
parents:
diff changeset
184 }
kono
parents:
diff changeset
185 r1 = r1->next;
kono
parents:
diff changeset
186 }
kono
parents:
diff changeset
187 }
kono
parents:
diff changeset
188 if (r1 != NULL)
kono
parents:
diff changeset
189 {
kono
parents:
diff changeset
190 if (first == NULL)
kono
parents:
diff changeset
191 first = r1;
kono
parents:
diff changeset
192 else
kono
parents:
diff changeset
193 last->next = r1;
kono
parents:
diff changeset
194 }
kono
parents:
diff changeset
195 else
kono
parents:
diff changeset
196 {
kono
parents:
diff changeset
197 lra_assert (r2 != NULL);
kono
parents:
diff changeset
198 if (first == NULL)
kono
parents:
diff changeset
199 first = r2;
kono
parents:
diff changeset
200 else
kono
parents:
diff changeset
201 last->next = r2;
kono
parents:
diff changeset
202 }
kono
parents:
diff changeset
203 return first;
kono
parents:
diff changeset
204 }
kono
parents:
diff changeset
205
kono
parents:
diff changeset
206 /* Return TRUE if live ranges R1 and R2 intersect. */
kono
parents:
diff changeset
207 bool
kono
parents:
diff changeset
208 lra_intersected_live_ranges_p (lra_live_range_t r1, lra_live_range_t r2)
kono
parents:
diff changeset
209 {
kono
parents:
diff changeset
210 /* Remember the live ranges are always kept ordered. */
kono
parents:
diff changeset
211 while (r1 != NULL && r2 != NULL)
kono
parents:
diff changeset
212 {
kono
parents:
diff changeset
213 if (r1->start > r2->finish)
kono
parents:
diff changeset
214 r1 = r1->next;
kono
parents:
diff changeset
215 else if (r2->start > r1->finish)
kono
parents:
diff changeset
216 r2 = r2->next;
kono
parents:
diff changeset
217 else
kono
parents:
diff changeset
218 return true;
kono
parents:
diff changeset
219 }
kono
parents:
diff changeset
220 return false;
kono
parents:
diff changeset
221 }
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 /* The corresponding bitmaps of BB currently being processed. */
kono
parents:
diff changeset
224 static bitmap bb_killed_pseudos, bb_gen_pseudos;
kono
parents:
diff changeset
225
kono
parents:
diff changeset
226 /* The function processing birth of hard register REGNO. It updates
kono
parents:
diff changeset
227 living hard regs, START_LIVING, and conflict hard regs for living
kono
parents:
diff changeset
228 pseudos. Conflict hard regs for the pic pseudo is not updated if
kono
parents:
diff changeset
229 REGNO is REAL_PIC_OFFSET_TABLE_REGNUM and CHECK_PIC_PSEUDO_P is
kono
parents:
diff changeset
230 true. */
kono
parents:
diff changeset
231 static void
kono
parents:
diff changeset
232 make_hard_regno_born (int regno, bool check_pic_pseudo_p ATTRIBUTE_UNUSED)
kono
parents:
diff changeset
233 {
kono
parents:
diff changeset
234 unsigned int i;
kono
parents:
diff changeset
235
kono
parents:
diff changeset
236 lra_assert (regno < FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
237 if (TEST_HARD_REG_BIT (hard_regs_live, regno))
kono
parents:
diff changeset
238 return;
kono
parents:
diff changeset
239 SET_HARD_REG_BIT (hard_regs_live, regno);
kono
parents:
diff changeset
240 sparseset_set_bit (start_living, regno);
kono
parents:
diff changeset
241 EXECUTE_IF_SET_IN_SPARSESET (pseudos_live, i)
kono
parents:
diff changeset
242 #ifdef REAL_PIC_OFFSET_TABLE_REGNUM
kono
parents:
diff changeset
243 if (! check_pic_pseudo_p
kono
parents:
diff changeset
244 || regno != REAL_PIC_OFFSET_TABLE_REGNUM
kono
parents:
diff changeset
245 || pic_offset_table_rtx == NULL
kono
parents:
diff changeset
246 || i != REGNO (pic_offset_table_rtx))
kono
parents:
diff changeset
247 #endif
kono
parents:
diff changeset
248 SET_HARD_REG_BIT (lra_reg_info[i].conflict_hard_regs, regno);
kono
parents:
diff changeset
249 if (fixed_regs[regno])
kono
parents:
diff changeset
250 bitmap_set_bit (bb_gen_pseudos, regno);
kono
parents:
diff changeset
251 }
kono
parents:
diff changeset
252
kono
parents:
diff changeset
253 /* Process the death of hard register REGNO. This updates
kono
parents:
diff changeset
254 hard_regs_live and START_DYING. */
kono
parents:
diff changeset
255 static void
kono
parents:
diff changeset
256 make_hard_regno_dead (int regno)
kono
parents:
diff changeset
257 {
kono
parents:
diff changeset
258 lra_assert (regno < FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
259 if (! TEST_HARD_REG_BIT (hard_regs_live, regno))
kono
parents:
diff changeset
260 return;
kono
parents:
diff changeset
261 sparseset_set_bit (start_dying, regno);
kono
parents:
diff changeset
262 CLEAR_HARD_REG_BIT (hard_regs_live, regno);
kono
parents:
diff changeset
263 if (fixed_regs[regno])
kono
parents:
diff changeset
264 {
kono
parents:
diff changeset
265 bitmap_clear_bit (bb_gen_pseudos, regno);
kono
parents:
diff changeset
266 bitmap_set_bit (bb_killed_pseudos, regno);
kono
parents:
diff changeset
267 }
kono
parents:
diff changeset
268 }
kono
parents:
diff changeset
269
kono
parents:
diff changeset
270 /* Mark pseudo REGNO as living at program point POINT, update conflicting
kono
parents:
diff changeset
271 hard registers of the pseudo and START_LIVING, and start a new live
kono
parents:
diff changeset
272 range for the pseudo corresponding to REGNO if it is necessary. */
kono
parents:
diff changeset
273 static void
kono
parents:
diff changeset
274 mark_pseudo_live (int regno, int point)
kono
parents:
diff changeset
275 {
kono
parents:
diff changeset
276 lra_live_range_t p;
kono
parents:
diff changeset
277
kono
parents:
diff changeset
278 lra_assert (regno >= FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
279 lra_assert (! sparseset_bit_p (pseudos_live, regno));
kono
parents:
diff changeset
280 sparseset_set_bit (pseudos_live, regno);
kono
parents:
diff changeset
281 IOR_HARD_REG_SET (lra_reg_info[regno].conflict_hard_regs, hard_regs_live);
kono
parents:
diff changeset
282
kono
parents:
diff changeset
283 if ((complete_info_p || lra_get_regno_hard_regno (regno) < 0)
kono
parents:
diff changeset
284 && ((p = lra_reg_info[regno].live_ranges) == NULL
kono
parents:
diff changeset
285 || (p->finish != point && p->finish + 1 != point)))
kono
parents:
diff changeset
286 lra_reg_info[regno].live_ranges
kono
parents:
diff changeset
287 = create_live_range (regno, point, -1, p);
kono
parents:
diff changeset
288 sparseset_set_bit (start_living, regno);
kono
parents:
diff changeset
289 }
kono
parents:
diff changeset
290
kono
parents:
diff changeset
291 /* Mark pseudo REGNO as not living at program point POINT and update
kono
parents:
diff changeset
292 START_DYING.
kono
parents:
diff changeset
293 This finishes the current live range for the pseudo corresponding
kono
parents:
diff changeset
294 to REGNO. */
kono
parents:
diff changeset
295 static void
kono
parents:
diff changeset
296 mark_pseudo_dead (int regno, int point)
kono
parents:
diff changeset
297 {
kono
parents:
diff changeset
298 lra_live_range_t p;
kono
parents:
diff changeset
299
kono
parents:
diff changeset
300 lra_assert (regno >= FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
301 lra_assert (sparseset_bit_p (pseudos_live, regno));
kono
parents:
diff changeset
302 sparseset_clear_bit (pseudos_live, regno);
kono
parents:
diff changeset
303 sparseset_set_bit (start_dying, regno);
kono
parents:
diff changeset
304 if (complete_info_p || lra_get_regno_hard_regno (regno) < 0)
kono
parents:
diff changeset
305 {
kono
parents:
diff changeset
306 p = lra_reg_info[regno].live_ranges;
kono
parents:
diff changeset
307 lra_assert (p != NULL);
kono
parents:
diff changeset
308 p->finish = point;
kono
parents:
diff changeset
309 }
kono
parents:
diff changeset
310 }
kono
parents:
diff changeset
311
kono
parents:
diff changeset
312 /* Mark register REGNO (pseudo or hard register) in MODE as live at
kono
parents:
diff changeset
313 program point POINT. Update BB_GEN_PSEUDOS.
kono
parents:
diff changeset
314 Return TRUE if the liveness tracking sets were modified, or FALSE
kono
parents:
diff changeset
315 if nothing changed. */
kono
parents:
diff changeset
316 static bool
kono
parents:
diff changeset
317 mark_regno_live (int regno, machine_mode mode, int point)
kono
parents:
diff changeset
318 {
kono
parents:
diff changeset
319 int last;
kono
parents:
diff changeset
320 bool changed = false;
kono
parents:
diff changeset
321
kono
parents:
diff changeset
322 if (regno < FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
323 {
kono
parents:
diff changeset
324 for (last = end_hard_regno (mode, regno); regno < last; regno++)
kono
parents:
diff changeset
325 make_hard_regno_born (regno, false);
kono
parents:
diff changeset
326 }
kono
parents:
diff changeset
327 else
kono
parents:
diff changeset
328 {
kono
parents:
diff changeset
329 if (! sparseset_bit_p (pseudos_live, regno))
kono
parents:
diff changeset
330 {
kono
parents:
diff changeset
331 mark_pseudo_live (regno, point);
kono
parents:
diff changeset
332 changed = true;
kono
parents:
diff changeset
333 }
kono
parents:
diff changeset
334 bitmap_set_bit (bb_gen_pseudos, regno);
kono
parents:
diff changeset
335 }
kono
parents:
diff changeset
336 return changed;
kono
parents:
diff changeset
337 }
kono
parents:
diff changeset
338
kono
parents:
diff changeset
339
kono
parents:
diff changeset
340 /* Mark register REGNO in MODE as dead at program point POINT. Update
kono
parents:
diff changeset
341 BB_GEN_PSEUDOS and BB_KILLED_PSEUDOS. Return TRUE if the liveness
kono
parents:
diff changeset
342 tracking sets were modified, or FALSE if nothing changed. */
kono
parents:
diff changeset
343 static bool
kono
parents:
diff changeset
344 mark_regno_dead (int regno, machine_mode mode, int point)
kono
parents:
diff changeset
345 {
kono
parents:
diff changeset
346 int last;
kono
parents:
diff changeset
347 bool changed = false;
kono
parents:
diff changeset
348
kono
parents:
diff changeset
349 if (regno < FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
350 {
kono
parents:
diff changeset
351 for (last = end_hard_regno (mode, regno); regno < last; regno++)
kono
parents:
diff changeset
352 make_hard_regno_dead (regno);
kono
parents:
diff changeset
353 }
kono
parents:
diff changeset
354 else
kono
parents:
diff changeset
355 {
kono
parents:
diff changeset
356 if (sparseset_bit_p (pseudos_live, regno))
kono
parents:
diff changeset
357 {
kono
parents:
diff changeset
358 mark_pseudo_dead (regno, point);
kono
parents:
diff changeset
359 changed = true;
kono
parents:
diff changeset
360 }
kono
parents:
diff changeset
361 bitmap_clear_bit (bb_gen_pseudos, regno);
kono
parents:
diff changeset
362 bitmap_set_bit (bb_killed_pseudos, regno);
kono
parents:
diff changeset
363 }
kono
parents:
diff changeset
364 return changed;
kono
parents:
diff changeset
365 }
kono
parents:
diff changeset
366
kono
parents:
diff changeset
367
kono
parents:
diff changeset
368
kono
parents:
diff changeset
369 /* This page contains code for making global live analysis of pseudos.
kono
parents:
diff changeset
370 The code works only when pseudo live info is changed on a BB
kono
parents:
diff changeset
371 border. That might be a consequence of some global transformations
kono
parents:
diff changeset
372 in LRA, e.g. PIC pseudo reuse or rematerialization. */
kono
parents:
diff changeset
373
kono
parents:
diff changeset
374 /* Structure describing local BB data used for pseudo
kono
parents:
diff changeset
375 live-analysis. */
kono
parents:
diff changeset
376 struct bb_data_pseudos
kono
parents:
diff changeset
377 {
kono
parents:
diff changeset
378 /* Basic block about which the below data are. */
kono
parents:
diff changeset
379 basic_block bb;
kono
parents:
diff changeset
380 bitmap_head killed_pseudos; /* pseudos killed in the BB. */
kono
parents:
diff changeset
381 bitmap_head gen_pseudos; /* pseudos generated in the BB. */
kono
parents:
diff changeset
382 };
kono
parents:
diff changeset
383
kono
parents:
diff changeset
384 /* Array for all BB data. Indexed by the corresponding BB index. */
kono
parents:
diff changeset
385 typedef struct bb_data_pseudos *bb_data_t;
kono
parents:
diff changeset
386
kono
parents:
diff changeset
387 /* All basic block data are referred through the following array. */
kono
parents:
diff changeset
388 static bb_data_t bb_data;
kono
parents:
diff changeset
389
kono
parents:
diff changeset
390 /* Two small functions for access to the bb data. */
kono
parents:
diff changeset
391 static inline bb_data_t
kono
parents:
diff changeset
392 get_bb_data (basic_block bb)
kono
parents:
diff changeset
393 {
kono
parents:
diff changeset
394 return &bb_data[(bb)->index];
kono
parents:
diff changeset
395 }
kono
parents:
diff changeset
396
kono
parents:
diff changeset
397 static inline bb_data_t
kono
parents:
diff changeset
398 get_bb_data_by_index (int index)
kono
parents:
diff changeset
399 {
kono
parents:
diff changeset
400 return &bb_data[index];
kono
parents:
diff changeset
401 }
kono
parents:
diff changeset
402
kono
parents:
diff changeset
403 /* Bitmap with all hard regs. */
kono
parents:
diff changeset
404 static bitmap_head all_hard_regs_bitmap;
kono
parents:
diff changeset
405
kono
parents:
diff changeset
406 /* The transfer function used by the DF equation solver to propagate
kono
parents:
diff changeset
407 live info through block with BB_INDEX according to the following
kono
parents:
diff changeset
408 equation:
kono
parents:
diff changeset
409
kono
parents:
diff changeset
410 bb.livein = (bb.liveout - bb.kill) OR bb.gen
kono
parents:
diff changeset
411 */
kono
parents:
diff changeset
412 static bool
kono
parents:
diff changeset
413 live_trans_fun (int bb_index)
kono
parents:
diff changeset
414 {
kono
parents:
diff changeset
415 basic_block bb = get_bb_data_by_index (bb_index)->bb;
kono
parents:
diff changeset
416 bitmap bb_liveout = df_get_live_out (bb);
kono
parents:
diff changeset
417 bitmap bb_livein = df_get_live_in (bb);
kono
parents:
diff changeset
418 bb_data_t bb_info = get_bb_data (bb);
kono
parents:
diff changeset
419
kono
parents:
diff changeset
420 bitmap_and_compl (&temp_bitmap, bb_liveout, &all_hard_regs_bitmap);
kono
parents:
diff changeset
421 return bitmap_ior_and_compl (bb_livein, &bb_info->gen_pseudos,
kono
parents:
diff changeset
422 &temp_bitmap, &bb_info->killed_pseudos);
kono
parents:
diff changeset
423 }
kono
parents:
diff changeset
424
kono
parents:
diff changeset
425 /* The confluence function used by the DF equation solver to set up
kono
parents:
diff changeset
426 live info for a block BB without predecessor. */
kono
parents:
diff changeset
427 static void
kono
parents:
diff changeset
428 live_con_fun_0 (basic_block bb)
kono
parents:
diff changeset
429 {
kono
parents:
diff changeset
430 bitmap_and_into (df_get_live_out (bb), &all_hard_regs_bitmap);
kono
parents:
diff changeset
431 }
kono
parents:
diff changeset
432
kono
parents:
diff changeset
433 /* The confluence function used by the DF equation solver to propagate
kono
parents:
diff changeset
434 live info from successor to predecessor on edge E according to the
kono
parents:
diff changeset
435 following equation:
kono
parents:
diff changeset
436
kono
parents:
diff changeset
437 bb.liveout = 0 for entry block | OR (livein of successors)
kono
parents:
diff changeset
438 */
kono
parents:
diff changeset
439 static bool
kono
parents:
diff changeset
440 live_con_fun_n (edge e)
kono
parents:
diff changeset
441 {
kono
parents:
diff changeset
442 basic_block bb = e->src;
kono
parents:
diff changeset
443 basic_block dest = e->dest;
kono
parents:
diff changeset
444 bitmap bb_liveout = df_get_live_out (bb);
kono
parents:
diff changeset
445 bitmap dest_livein = df_get_live_in (dest);
kono
parents:
diff changeset
446
kono
parents:
diff changeset
447 return bitmap_ior_and_compl_into (bb_liveout,
kono
parents:
diff changeset
448 dest_livein, &all_hard_regs_bitmap);
kono
parents:
diff changeset
449 }
kono
parents:
diff changeset
450
kono
parents:
diff changeset
451 /* Indexes of all function blocks. */
kono
parents:
diff changeset
452 static bitmap_head all_blocks;
kono
parents:
diff changeset
453
kono
parents:
diff changeset
454 /* Allocate and initialize data needed for global pseudo live
kono
parents:
diff changeset
455 analysis. */
kono
parents:
diff changeset
456 static void
kono
parents:
diff changeset
457 initiate_live_solver (void)
kono
parents:
diff changeset
458 {
kono
parents:
diff changeset
459 bitmap_initialize (&all_hard_regs_bitmap, &reg_obstack);
kono
parents:
diff changeset
460 bitmap_set_range (&all_hard_regs_bitmap, 0, FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
461 bb_data = XNEWVEC (struct bb_data_pseudos, last_basic_block_for_fn (cfun));
kono
parents:
diff changeset
462 bitmap_initialize (&all_blocks, &reg_obstack);
kono
parents:
diff changeset
463
kono
parents:
diff changeset
464 basic_block bb;
kono
parents:
diff changeset
465 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
466 {
kono
parents:
diff changeset
467 bb_data_t bb_info = get_bb_data (bb);
kono
parents:
diff changeset
468 bb_info->bb = bb;
kono
parents:
diff changeset
469 bitmap_initialize (&bb_info->killed_pseudos, &reg_obstack);
kono
parents:
diff changeset
470 bitmap_initialize (&bb_info->gen_pseudos, &reg_obstack);
kono
parents:
diff changeset
471 bitmap_set_bit (&all_blocks, bb->index);
kono
parents:
diff changeset
472 }
kono
parents:
diff changeset
473 }
kono
parents:
diff changeset
474
kono
parents:
diff changeset
475 /* Free all data needed for global pseudo live analysis. */
kono
parents:
diff changeset
476 static void
kono
parents:
diff changeset
477 finish_live_solver (void)
kono
parents:
diff changeset
478 {
kono
parents:
diff changeset
479 basic_block bb;
kono
parents:
diff changeset
480
kono
parents:
diff changeset
481 bitmap_clear (&all_blocks);
kono
parents:
diff changeset
482 FOR_ALL_BB_FN (bb, cfun)
kono
parents:
diff changeset
483 {
kono
parents:
diff changeset
484 bb_data_t bb_info = get_bb_data (bb);
kono
parents:
diff changeset
485 bitmap_clear (&bb_info->killed_pseudos);
kono
parents:
diff changeset
486 bitmap_clear (&bb_info->gen_pseudos);
kono
parents:
diff changeset
487 }
kono
parents:
diff changeset
488 free (bb_data);
kono
parents:
diff changeset
489 bitmap_clear (&all_hard_regs_bitmap);
kono
parents:
diff changeset
490 }
kono
parents:
diff changeset
491
kono
parents:
diff changeset
492
kono
parents:
diff changeset
493
kono
parents:
diff changeset
494 /* Insn currently scanned. */
kono
parents:
diff changeset
495 static rtx_insn *curr_insn;
kono
parents:
diff changeset
496 /* The insn data. */
kono
parents:
diff changeset
497 static lra_insn_recog_data_t curr_id;
kono
parents:
diff changeset
498 /* The insn static data. */
kono
parents:
diff changeset
499 static struct lra_static_insn_data *curr_static_id;
kono
parents:
diff changeset
500
kono
parents:
diff changeset
501 /* Vec containing execution frequencies of program points. */
kono
parents:
diff changeset
502 static vec<int> point_freq_vec;
kono
parents:
diff changeset
503
kono
parents:
diff changeset
504 /* The start of the above vector elements. */
kono
parents:
diff changeset
505 int *lra_point_freq;
kono
parents:
diff changeset
506
kono
parents:
diff changeset
507 /* Increment the current program point POINT to the next point which has
kono
parents:
diff changeset
508 execution frequency FREQ. */
kono
parents:
diff changeset
509 static void
kono
parents:
diff changeset
510 next_program_point (int &point, int freq)
kono
parents:
diff changeset
511 {
kono
parents:
diff changeset
512 point_freq_vec.safe_push (freq);
kono
parents:
diff changeset
513 lra_point_freq = point_freq_vec.address ();
kono
parents:
diff changeset
514 point++;
kono
parents:
diff changeset
515 }
kono
parents:
diff changeset
516
kono
parents:
diff changeset
517 /* Update the preference of HARD_REGNO for pseudo REGNO by PROFIT. */
kono
parents:
diff changeset
518 void
kono
parents:
diff changeset
519 lra_setup_reload_pseudo_preferenced_hard_reg (int regno,
kono
parents:
diff changeset
520 int hard_regno, int profit)
kono
parents:
diff changeset
521 {
kono
parents:
diff changeset
522 lra_assert (regno >= lra_constraint_new_regno_start);
kono
parents:
diff changeset
523 if (lra_reg_info[regno].preferred_hard_regno1 == hard_regno)
kono
parents:
diff changeset
524 lra_reg_info[regno].preferred_hard_regno_profit1 += profit;
kono
parents:
diff changeset
525 else if (lra_reg_info[regno].preferred_hard_regno2 == hard_regno)
kono
parents:
diff changeset
526 lra_reg_info[regno].preferred_hard_regno_profit2 += profit;
kono
parents:
diff changeset
527 else if (lra_reg_info[regno].preferred_hard_regno1 < 0)
kono
parents:
diff changeset
528 {
kono
parents:
diff changeset
529 lra_reg_info[regno].preferred_hard_regno1 = hard_regno;
kono
parents:
diff changeset
530 lra_reg_info[regno].preferred_hard_regno_profit1 = profit;
kono
parents:
diff changeset
531 }
kono
parents:
diff changeset
532 else if (lra_reg_info[regno].preferred_hard_regno2 < 0
kono
parents:
diff changeset
533 || profit > lra_reg_info[regno].preferred_hard_regno_profit2)
kono
parents:
diff changeset
534 {
kono
parents:
diff changeset
535 lra_reg_info[regno].preferred_hard_regno2 = hard_regno;
kono
parents:
diff changeset
536 lra_reg_info[regno].preferred_hard_regno_profit2 = profit;
kono
parents:
diff changeset
537 }
kono
parents:
diff changeset
538 else
kono
parents:
diff changeset
539 return;
kono
parents:
diff changeset
540 /* Keep the 1st hard regno as more profitable. */
kono
parents:
diff changeset
541 if (lra_reg_info[regno].preferred_hard_regno1 >= 0
kono
parents:
diff changeset
542 && lra_reg_info[regno].preferred_hard_regno2 >= 0
kono
parents:
diff changeset
543 && (lra_reg_info[regno].preferred_hard_regno_profit2
kono
parents:
diff changeset
544 > lra_reg_info[regno].preferred_hard_regno_profit1))
kono
parents:
diff changeset
545 {
kono
parents:
diff changeset
546 std::swap (lra_reg_info[regno].preferred_hard_regno1,
kono
parents:
diff changeset
547 lra_reg_info[regno].preferred_hard_regno2);
kono
parents:
diff changeset
548 std::swap (lra_reg_info[regno].preferred_hard_regno_profit1,
kono
parents:
diff changeset
549 lra_reg_info[regno].preferred_hard_regno_profit2);
kono
parents:
diff changeset
550 }
kono
parents:
diff changeset
551 if (lra_dump_file != NULL)
kono
parents:
diff changeset
552 {
kono
parents:
diff changeset
553 if ((hard_regno = lra_reg_info[regno].preferred_hard_regno1) >= 0)
kono
parents:
diff changeset
554 fprintf (lra_dump_file,
kono
parents:
diff changeset
555 " Hard reg %d is preferable by r%d with profit %d\n",
kono
parents:
diff changeset
556 hard_regno, regno,
kono
parents:
diff changeset
557 lra_reg_info[regno].preferred_hard_regno_profit1);
kono
parents:
diff changeset
558 if ((hard_regno = lra_reg_info[regno].preferred_hard_regno2) >= 0)
kono
parents:
diff changeset
559 fprintf (lra_dump_file,
kono
parents:
diff changeset
560 " Hard reg %d is preferable by r%d with profit %d\n",
kono
parents:
diff changeset
561 hard_regno, regno,
kono
parents:
diff changeset
562 lra_reg_info[regno].preferred_hard_regno_profit2);
kono
parents:
diff changeset
563 }
kono
parents:
diff changeset
564 }
kono
parents:
diff changeset
565
kono
parents:
diff changeset
566 /* Check that REGNO living through calls and setjumps, set up conflict
kono
parents:
diff changeset
567 regs using LAST_CALL_USED_REG_SET, and clear corresponding bits in
kono
parents:
diff changeset
568 PSEUDOS_LIVE_THROUGH_CALLS and PSEUDOS_LIVE_THROUGH_SETJUMPS. */
kono
parents:
diff changeset
569 static inline void
kono
parents:
diff changeset
570 check_pseudos_live_through_calls (int regno,
kono
parents:
diff changeset
571 HARD_REG_SET last_call_used_reg_set)
kono
parents:
diff changeset
572 {
kono
parents:
diff changeset
573 int hr;
kono
parents:
diff changeset
574
kono
parents:
diff changeset
575 if (! sparseset_bit_p (pseudos_live_through_calls, regno))
kono
parents:
diff changeset
576 return;
kono
parents:
diff changeset
577 sparseset_clear_bit (pseudos_live_through_calls, regno);
kono
parents:
diff changeset
578 IOR_HARD_REG_SET (lra_reg_info[regno].conflict_hard_regs,
kono
parents:
diff changeset
579 last_call_used_reg_set);
kono
parents:
diff changeset
580
kono
parents:
diff changeset
581 for (hr = 0; hr < FIRST_PSEUDO_REGISTER; hr++)
kono
parents:
diff changeset
582 if (targetm.hard_regno_call_part_clobbered (hr,
kono
parents:
diff changeset
583 PSEUDO_REGNO_MODE (regno)))
kono
parents:
diff changeset
584 SET_HARD_REG_BIT (lra_reg_info[regno].conflict_hard_regs, hr);
kono
parents:
diff changeset
585 lra_reg_info[regno].call_p = true;
kono
parents:
diff changeset
586 if (! sparseset_bit_p (pseudos_live_through_setjumps, regno))
kono
parents:
diff changeset
587 return;
kono
parents:
diff changeset
588 sparseset_clear_bit (pseudos_live_through_setjumps, regno);
kono
parents:
diff changeset
589 /* Don't allocate pseudos that cross setjmps or any call, if this
kono
parents:
diff changeset
590 function receives a nonlocal goto. */
kono
parents:
diff changeset
591 SET_HARD_REG_SET (lra_reg_info[regno].conflict_hard_regs);
kono
parents:
diff changeset
592 }
kono
parents:
diff changeset
593
kono
parents:
diff changeset
594 /* Return true if insn REG is an early clobber operand in alternative
kono
parents:
diff changeset
595 NALT. Negative NALT means that we don't know the current insn
kono
parents:
diff changeset
596 alternative. So assume the worst. */
kono
parents:
diff changeset
597 static inline bool
kono
parents:
diff changeset
598 reg_early_clobber_p (const struct lra_insn_reg *reg, int n_alt)
kono
parents:
diff changeset
599 {
kono
parents:
diff changeset
600 return (reg->early_clobber
kono
parents:
diff changeset
601 && (n_alt < 0 || TEST_BIT (reg->early_clobber_alts, n_alt)));
kono
parents:
diff changeset
602 }
kono
parents:
diff changeset
603
kono
parents:
diff changeset
604 /* Process insns of the basic block BB to update pseudo live ranges,
kono
parents:
diff changeset
605 pseudo hard register conflicts, and insn notes. We do it on
kono
parents:
diff changeset
606 backward scan of BB insns. CURR_POINT is the program point where
kono
parents:
diff changeset
607 BB ends. The function updates this counter and returns in
kono
parents:
diff changeset
608 CURR_POINT the program point where BB starts. The function also
kono
parents:
diff changeset
609 does local live info updates and can delete the dead insns if
kono
parents:
diff changeset
610 DEAD_INSN_P. It returns true if pseudo live info was
kono
parents:
diff changeset
611 changed at the BB start. */
kono
parents:
diff changeset
612 static bool
kono
parents:
diff changeset
613 process_bb_lives (basic_block bb, int &curr_point, bool dead_insn_p)
kono
parents:
diff changeset
614 {
kono
parents:
diff changeset
615 int i, regno, freq;
kono
parents:
diff changeset
616 unsigned int j;
kono
parents:
diff changeset
617 bitmap_iterator bi;
kono
parents:
diff changeset
618 bitmap reg_live_out;
kono
parents:
diff changeset
619 unsigned int px;
kono
parents:
diff changeset
620 rtx_insn *next;
kono
parents:
diff changeset
621 rtx link, *link_loc;
kono
parents:
diff changeset
622 bool need_curr_point_incr;
kono
parents:
diff changeset
623 HARD_REG_SET last_call_used_reg_set;
kono
parents:
diff changeset
624
kono
parents:
diff changeset
625 reg_live_out = df_get_live_out (bb);
kono
parents:
diff changeset
626 sparseset_clear (pseudos_live);
kono
parents:
diff changeset
627 sparseset_clear (pseudos_live_through_calls);
kono
parents:
diff changeset
628 sparseset_clear (pseudos_live_through_setjumps);
kono
parents:
diff changeset
629 CLEAR_HARD_REG_SET (last_call_used_reg_set);
kono
parents:
diff changeset
630 REG_SET_TO_HARD_REG_SET (hard_regs_live, reg_live_out);
kono
parents:
diff changeset
631 AND_COMPL_HARD_REG_SET (hard_regs_live, eliminable_regset);
kono
parents:
diff changeset
632 EXECUTE_IF_SET_IN_BITMAP (reg_live_out, FIRST_PSEUDO_REGISTER, j, bi)
kono
parents:
diff changeset
633 mark_pseudo_live (j, curr_point);
kono
parents:
diff changeset
634
kono
parents:
diff changeset
635 bb_gen_pseudos = &get_bb_data (bb)->gen_pseudos;
kono
parents:
diff changeset
636 bb_killed_pseudos = &get_bb_data (bb)->killed_pseudos;
kono
parents:
diff changeset
637 bitmap_clear (bb_gen_pseudos);
kono
parents:
diff changeset
638 bitmap_clear (bb_killed_pseudos);
kono
parents:
diff changeset
639 freq = REG_FREQ_FROM_BB (bb);
kono
parents:
diff changeset
640
kono
parents:
diff changeset
641 if (lra_dump_file != NULL)
kono
parents:
diff changeset
642 fprintf (lra_dump_file, " BB %d\n", bb->index);
kono
parents:
diff changeset
643
kono
parents:
diff changeset
644 /* Scan the code of this basic block, noting which pseudos and hard
kono
parents:
diff changeset
645 regs are born or die.
kono
parents:
diff changeset
646
kono
parents:
diff changeset
647 Note that this loop treats uninitialized values as live until the
kono
parents:
diff changeset
648 beginning of the block. For example, if an instruction uses
kono
parents:
diff changeset
649 (reg:DI foo), and only (subreg:SI (reg:DI foo) 0) is ever set,
kono
parents:
diff changeset
650 FOO will remain live until the beginning of the block. Likewise
kono
parents:
diff changeset
651 if FOO is not set at all. This is unnecessarily pessimistic, but
kono
parents:
diff changeset
652 it probably doesn't matter much in practice. */
kono
parents:
diff changeset
653 FOR_BB_INSNS_REVERSE_SAFE (bb, curr_insn, next)
kono
parents:
diff changeset
654 {
kono
parents:
diff changeset
655 bool call_p;
kono
parents:
diff changeset
656 int n_alt, dst_regno, src_regno;
kono
parents:
diff changeset
657 rtx set;
kono
parents:
diff changeset
658 struct lra_insn_reg *reg;
kono
parents:
diff changeset
659
kono
parents:
diff changeset
660 if (!NONDEBUG_INSN_P (curr_insn))
kono
parents:
diff changeset
661 continue;
kono
parents:
diff changeset
662
kono
parents:
diff changeset
663 curr_id = lra_get_insn_recog_data (curr_insn);
kono
parents:
diff changeset
664 curr_static_id = curr_id->insn_static_data;
kono
parents:
diff changeset
665 n_alt = curr_id->used_insn_alternative;
kono
parents:
diff changeset
666 if (lra_dump_file != NULL)
kono
parents:
diff changeset
667 fprintf (lra_dump_file, " Insn %u: point = %d, n_alt = %d\n",
kono
parents:
diff changeset
668 INSN_UID (curr_insn), curr_point, n_alt);
kono
parents:
diff changeset
669
kono
parents:
diff changeset
670 set = single_set (curr_insn);
kono
parents:
diff changeset
671
kono
parents:
diff changeset
672 if (dead_insn_p && set != NULL_RTX
kono
parents:
diff changeset
673 && REG_P (SET_DEST (set)) && REGNO (SET_DEST (set)) >= FIRST_PSEUDO_REGISTER
kono
parents:
diff changeset
674 && find_reg_note (curr_insn, REG_EH_REGION, NULL_RTX) == NULL_RTX
kono
parents:
diff changeset
675 && ! may_trap_p (PATTERN (curr_insn))
kono
parents:
diff changeset
676 /* Don't do premature remove of pic offset pseudo as we can
kono
parents:
diff changeset
677 start to use it after some reload generation. */
kono
parents:
diff changeset
678 && (pic_offset_table_rtx == NULL_RTX
kono
parents:
diff changeset
679 || pic_offset_table_rtx != SET_DEST (set)))
kono
parents:
diff changeset
680 {
kono
parents:
diff changeset
681 bool remove_p = true;
kono
parents:
diff changeset
682
kono
parents:
diff changeset
683 for (reg = curr_id->regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
684 if (reg->type != OP_IN && sparseset_bit_p (pseudos_live, reg->regno))
kono
parents:
diff changeset
685 {
kono
parents:
diff changeset
686 remove_p = false;
kono
parents:
diff changeset
687 break;
kono
parents:
diff changeset
688 }
kono
parents:
diff changeset
689 for (reg = curr_static_id->hard_regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
690 if (reg->type != OP_IN)
kono
parents:
diff changeset
691 {
kono
parents:
diff changeset
692 remove_p = false;
kono
parents:
diff changeset
693 break;
kono
parents:
diff changeset
694 }
kono
parents:
diff changeset
695 if (remove_p && ! volatile_refs_p (PATTERN (curr_insn)))
kono
parents:
diff changeset
696 {
kono
parents:
diff changeset
697 dst_regno = REGNO (SET_DEST (set));
kono
parents:
diff changeset
698 if (lra_dump_file != NULL)
kono
parents:
diff changeset
699 fprintf (lra_dump_file, " Deleting dead insn %u\n",
kono
parents:
diff changeset
700 INSN_UID (curr_insn));
kono
parents:
diff changeset
701 lra_set_insn_deleted (curr_insn);
kono
parents:
diff changeset
702 if (lra_reg_info[dst_regno].nrefs == 0)
kono
parents:
diff changeset
703 {
kono
parents:
diff changeset
704 /* There might be some debug insns with the pseudo. */
kono
parents:
diff changeset
705 unsigned int uid;
kono
parents:
diff changeset
706 rtx_insn *insn;
kono
parents:
diff changeset
707
kono
parents:
diff changeset
708 bitmap_copy (&temp_bitmap, &lra_reg_info[dst_regno].insn_bitmap);
kono
parents:
diff changeset
709 EXECUTE_IF_SET_IN_BITMAP (&temp_bitmap, 0, uid, bi)
kono
parents:
diff changeset
710 {
kono
parents:
diff changeset
711 insn = lra_insn_recog_data[uid]->insn;
kono
parents:
diff changeset
712 lra_substitute_pseudo_within_insn (insn, dst_regno,
kono
parents:
diff changeset
713 SET_SRC (set), true);
kono
parents:
diff changeset
714 lra_update_insn_regno_info (insn);
kono
parents:
diff changeset
715 }
kono
parents:
diff changeset
716 }
kono
parents:
diff changeset
717 continue;
kono
parents:
diff changeset
718 }
kono
parents:
diff changeset
719 }
kono
parents:
diff changeset
720
kono
parents:
diff changeset
721 /* Update max ref width and hard reg usage. */
kono
parents:
diff changeset
722 for (reg = curr_id->regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
723 {
kono
parents:
diff changeset
724 int i, regno = reg->regno;
kono
parents:
diff changeset
725
kono
parents:
diff changeset
726 if (partial_subreg_p (lra_reg_info[regno].biggest_mode,
kono
parents:
diff changeset
727 reg->biggest_mode))
kono
parents:
diff changeset
728 lra_reg_info[regno].biggest_mode = reg->biggest_mode;
kono
parents:
diff changeset
729 if (regno < FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
730 {
kono
parents:
diff changeset
731 lra_hard_reg_usage[regno] += freq;
kono
parents:
diff changeset
732 /* A hard register explicitly can be used in small mode,
kono
parents:
diff changeset
733 but implicitly it can be used in natural mode as a
kono
parents:
diff changeset
734 part of multi-register group. Process this case
kono
parents:
diff changeset
735 here. */
kono
parents:
diff changeset
736 for (i = 1; i < hard_regno_nregs (regno, reg->biggest_mode); i++)
kono
parents:
diff changeset
737 if (partial_subreg_p (lra_reg_info[regno + i].biggest_mode,
kono
parents:
diff changeset
738 GET_MODE (regno_reg_rtx[regno + i])))
kono
parents:
diff changeset
739 lra_reg_info[regno + i].biggest_mode
kono
parents:
diff changeset
740 = GET_MODE (regno_reg_rtx[regno + i]);
kono
parents:
diff changeset
741 }
kono
parents:
diff changeset
742 }
kono
parents:
diff changeset
743
kono
parents:
diff changeset
744 call_p = CALL_P (curr_insn);
kono
parents:
diff changeset
745 src_regno = (set != NULL_RTX && REG_P (SET_SRC (set))
kono
parents:
diff changeset
746 ? REGNO (SET_SRC (set)) : -1);
kono
parents:
diff changeset
747 dst_regno = (set != NULL_RTX && REG_P (SET_DEST (set))
kono
parents:
diff changeset
748 ? REGNO (SET_DEST (set)) : -1);
kono
parents:
diff changeset
749 if (complete_info_p
kono
parents:
diff changeset
750 && src_regno >= 0 && dst_regno >= 0
kono
parents:
diff changeset
751 /* Check that source regno does not conflict with
kono
parents:
diff changeset
752 destination regno to exclude most impossible
kono
parents:
diff changeset
753 preferences. */
kono
parents:
diff changeset
754 && (((src_regno >= FIRST_PSEUDO_REGISTER
kono
parents:
diff changeset
755 && (! sparseset_bit_p (pseudos_live, src_regno)
kono
parents:
diff changeset
756 || (dst_regno >= FIRST_PSEUDO_REGISTER
kono
parents:
diff changeset
757 && lra_reg_val_equal_p (src_regno,
kono
parents:
diff changeset
758 lra_reg_info[dst_regno].val,
kono
parents:
diff changeset
759 lra_reg_info[dst_regno].offset))))
kono
parents:
diff changeset
760 || (src_regno < FIRST_PSEUDO_REGISTER
kono
parents:
diff changeset
761 && ! TEST_HARD_REG_BIT (hard_regs_live, src_regno)))
kono
parents:
diff changeset
762 /* It might be 'inheritance pseudo <- reload pseudo'. */
kono
parents:
diff changeset
763 || (src_regno >= lra_constraint_new_regno_start
kono
parents:
diff changeset
764 && dst_regno >= lra_constraint_new_regno_start
kono
parents:
diff changeset
765 /* Remember to skip special cases where src/dest regnos are
kono
parents:
diff changeset
766 the same, e.g. insn SET pattern has matching constraints
kono
parents:
diff changeset
767 like =r,0. */
kono
parents:
diff changeset
768 && src_regno != dst_regno)))
kono
parents:
diff changeset
769 {
kono
parents:
diff changeset
770 int hard_regno = -1, regno = -1;
kono
parents:
diff changeset
771
kono
parents:
diff changeset
772 if (dst_regno >= lra_constraint_new_regno_start
kono
parents:
diff changeset
773 && src_regno >= lra_constraint_new_regno_start)
kono
parents:
diff changeset
774 {
kono
parents:
diff changeset
775 /* It might be still an original (non-reload) insn with
kono
parents:
diff changeset
776 one unused output and a constraint requiring to use
kono
parents:
diff changeset
777 the same reg for input/output operands. In this case
kono
parents:
diff changeset
778 dst_regno and src_regno have the same value, we don't
kono
parents:
diff changeset
779 need a misleading copy for this case. */
kono
parents:
diff changeset
780 if (dst_regno != src_regno)
kono
parents:
diff changeset
781 lra_create_copy (dst_regno, src_regno, freq);
kono
parents:
diff changeset
782 }
kono
parents:
diff changeset
783 else if (dst_regno >= lra_constraint_new_regno_start)
kono
parents:
diff changeset
784 {
kono
parents:
diff changeset
785 if ((hard_regno = src_regno) >= FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
786 hard_regno = reg_renumber[src_regno];
kono
parents:
diff changeset
787 regno = dst_regno;
kono
parents:
diff changeset
788 }
kono
parents:
diff changeset
789 else if (src_regno >= lra_constraint_new_regno_start)
kono
parents:
diff changeset
790 {
kono
parents:
diff changeset
791 if ((hard_regno = dst_regno) >= FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
792 hard_regno = reg_renumber[dst_regno];
kono
parents:
diff changeset
793 regno = src_regno;
kono
parents:
diff changeset
794 }
kono
parents:
diff changeset
795 if (regno >= 0 && hard_regno >= 0)
kono
parents:
diff changeset
796 lra_setup_reload_pseudo_preferenced_hard_reg
kono
parents:
diff changeset
797 (regno, hard_regno, freq);
kono
parents:
diff changeset
798 }
kono
parents:
diff changeset
799
kono
parents:
diff changeset
800 sparseset_clear (start_living);
kono
parents:
diff changeset
801
kono
parents:
diff changeset
802 /* Try to avoid unnecessary program point increments, this saves
kono
parents:
diff changeset
803 a lot of time in remove_some_program_points_and_update_live_ranges.
kono
parents:
diff changeset
804 We only need an increment if something becomes live or dies at this
kono
parents:
diff changeset
805 program point. */
kono
parents:
diff changeset
806 need_curr_point_incr = false;
kono
parents:
diff changeset
807
kono
parents:
diff changeset
808 /* Mark each defined value as live. We need to do this for
kono
parents:
diff changeset
809 unused values because they still conflict with quantities
kono
parents:
diff changeset
810 that are live at the time of the definition. */
kono
parents:
diff changeset
811 for (reg = curr_id->regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
812 if (reg->type != OP_IN)
kono
parents:
diff changeset
813 {
kono
parents:
diff changeset
814 need_curr_point_incr
kono
parents:
diff changeset
815 |= mark_regno_live (reg->regno, reg->biggest_mode,
kono
parents:
diff changeset
816 curr_point);
kono
parents:
diff changeset
817 check_pseudos_live_through_calls (reg->regno,
kono
parents:
diff changeset
818 last_call_used_reg_set);
kono
parents:
diff changeset
819 }
kono
parents:
diff changeset
820
kono
parents:
diff changeset
821 for (reg = curr_static_id->hard_regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
822 if (reg->type != OP_IN)
kono
parents:
diff changeset
823 make_hard_regno_born (reg->regno, false);
kono
parents:
diff changeset
824
kono
parents:
diff changeset
825 if (curr_id->arg_hard_regs != NULL)
kono
parents:
diff changeset
826 for (i = 0; (regno = curr_id->arg_hard_regs[i]) >= 0; i++)
kono
parents:
diff changeset
827 if (regno >= FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
828 /* It is a clobber. */
kono
parents:
diff changeset
829 make_hard_regno_born (regno - FIRST_PSEUDO_REGISTER, false);
kono
parents:
diff changeset
830
kono
parents:
diff changeset
831 sparseset_copy (unused_set, start_living);
kono
parents:
diff changeset
832
kono
parents:
diff changeset
833 sparseset_clear (start_dying);
kono
parents:
diff changeset
834
kono
parents:
diff changeset
835 /* See which defined values die here. */
kono
parents:
diff changeset
836 for (reg = curr_id->regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
837 if (reg->type == OP_OUT
kono
parents:
diff changeset
838 && ! reg_early_clobber_p (reg, n_alt) && ! reg->subreg_p)
kono
parents:
diff changeset
839 need_curr_point_incr
kono
parents:
diff changeset
840 |= mark_regno_dead (reg->regno, reg->biggest_mode,
kono
parents:
diff changeset
841 curr_point);
kono
parents:
diff changeset
842
kono
parents:
diff changeset
843 for (reg = curr_static_id->hard_regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
844 if (reg->type == OP_OUT
kono
parents:
diff changeset
845 && ! reg_early_clobber_p (reg, n_alt) && ! reg->subreg_p)
kono
parents:
diff changeset
846 make_hard_regno_dead (reg->regno);
kono
parents:
diff changeset
847
kono
parents:
diff changeset
848 if (curr_id->arg_hard_regs != NULL)
kono
parents:
diff changeset
849 for (i = 0; (regno = curr_id->arg_hard_regs[i]) >= 0; i++)
kono
parents:
diff changeset
850 if (regno >= FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
851 /* It is a clobber. */
kono
parents:
diff changeset
852 make_hard_regno_dead (regno - FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
853
kono
parents:
diff changeset
854 if (call_p)
kono
parents:
diff changeset
855 {
kono
parents:
diff changeset
856 if (! flag_ipa_ra)
kono
parents:
diff changeset
857 COPY_HARD_REG_SET(last_call_used_reg_set, call_used_reg_set);
kono
parents:
diff changeset
858 else
kono
parents:
diff changeset
859 {
kono
parents:
diff changeset
860 HARD_REG_SET this_call_used_reg_set;
kono
parents:
diff changeset
861 get_call_reg_set_usage (curr_insn, &this_call_used_reg_set,
kono
parents:
diff changeset
862 call_used_reg_set);
kono
parents:
diff changeset
863
kono
parents:
diff changeset
864 bool flush = (! hard_reg_set_empty_p (last_call_used_reg_set)
kono
parents:
diff changeset
865 && ! hard_reg_set_equal_p (last_call_used_reg_set,
kono
parents:
diff changeset
866 this_call_used_reg_set));
kono
parents:
diff changeset
867
kono
parents:
diff changeset
868 EXECUTE_IF_SET_IN_SPARSESET (pseudos_live, j)
kono
parents:
diff changeset
869 {
kono
parents:
diff changeset
870 IOR_HARD_REG_SET (lra_reg_info[j].actual_call_used_reg_set,
kono
parents:
diff changeset
871 this_call_used_reg_set);
kono
parents:
diff changeset
872 if (flush)
kono
parents:
diff changeset
873 check_pseudos_live_through_calls
kono
parents:
diff changeset
874 (j, last_call_used_reg_set);
kono
parents:
diff changeset
875 }
kono
parents:
diff changeset
876 COPY_HARD_REG_SET(last_call_used_reg_set, this_call_used_reg_set);
kono
parents:
diff changeset
877 }
kono
parents:
diff changeset
878
kono
parents:
diff changeset
879 sparseset_ior (pseudos_live_through_calls,
kono
parents:
diff changeset
880 pseudos_live_through_calls, pseudos_live);
kono
parents:
diff changeset
881 if (cfun->has_nonlocal_label
kono
parents:
diff changeset
882 || find_reg_note (curr_insn, REG_SETJMP,
kono
parents:
diff changeset
883 NULL_RTX) != NULL_RTX)
kono
parents:
diff changeset
884 sparseset_ior (pseudos_live_through_setjumps,
kono
parents:
diff changeset
885 pseudos_live_through_setjumps, pseudos_live);
kono
parents:
diff changeset
886 }
kono
parents:
diff changeset
887
kono
parents:
diff changeset
888 /* Increment the current program point if we must. */
kono
parents:
diff changeset
889 if (need_curr_point_incr)
kono
parents:
diff changeset
890 next_program_point (curr_point, freq);
kono
parents:
diff changeset
891
kono
parents:
diff changeset
892 sparseset_clear (start_living);
kono
parents:
diff changeset
893
kono
parents:
diff changeset
894 need_curr_point_incr = false;
kono
parents:
diff changeset
895
kono
parents:
diff changeset
896 /* Mark each used value as live. */
kono
parents:
diff changeset
897 for (reg = curr_id->regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
898 if (reg->type == OP_IN)
kono
parents:
diff changeset
899 {
kono
parents:
diff changeset
900 need_curr_point_incr
kono
parents:
diff changeset
901 |= mark_regno_live (reg->regno, reg->biggest_mode,
kono
parents:
diff changeset
902 curr_point);
kono
parents:
diff changeset
903 check_pseudos_live_through_calls (reg->regno,
kono
parents:
diff changeset
904 last_call_used_reg_set);
kono
parents:
diff changeset
905 }
kono
parents:
diff changeset
906
kono
parents:
diff changeset
907 for (reg = curr_static_id->hard_regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
908 if (reg->type == OP_IN)
kono
parents:
diff changeset
909 make_hard_regno_born (reg->regno, false);
kono
parents:
diff changeset
910
kono
parents:
diff changeset
911 if (curr_id->arg_hard_regs != NULL)
kono
parents:
diff changeset
912 /* Make argument hard registers live. Don't create conflict
kono
parents:
diff changeset
913 of used REAL_PIC_OFFSET_TABLE_REGNUM and the pic pseudo. */
kono
parents:
diff changeset
914 for (i = 0; (regno = curr_id->arg_hard_regs[i]) >= 0; i++)
kono
parents:
diff changeset
915 if (regno < FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
916 make_hard_regno_born (regno, true);
kono
parents:
diff changeset
917
kono
parents:
diff changeset
918 sparseset_and_compl (dead_set, start_living, start_dying);
kono
parents:
diff changeset
919
kono
parents:
diff changeset
920 /* Mark early clobber outputs dead. */
kono
parents:
diff changeset
921 for (reg = curr_id->regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
922 if (reg->type == OP_OUT
kono
parents:
diff changeset
923 && reg_early_clobber_p (reg, n_alt) && ! reg->subreg_p)
kono
parents:
diff changeset
924 need_curr_point_incr
kono
parents:
diff changeset
925 |= mark_regno_dead (reg->regno, reg->biggest_mode,
kono
parents:
diff changeset
926 curr_point);
kono
parents:
diff changeset
927
kono
parents:
diff changeset
928 for (reg = curr_static_id->hard_regs; reg != NULL; reg = reg->next)
kono
parents:
diff changeset
929 if (reg->type == OP_OUT
kono
parents:
diff changeset
930 && reg_early_clobber_p (reg, n_alt) && ! reg->subreg_p)
kono
parents:
diff changeset
931 make_hard_regno_dead (reg->regno);
kono
parents:
diff changeset
932
kono
parents:
diff changeset
933 if (need_curr_point_incr)
kono
parents:
diff changeset
934 next_program_point (curr_point, freq);
kono
parents:
diff changeset
935
kono
parents:
diff changeset
936 /* Update notes. */
kono
parents:
diff changeset
937 for (link_loc = &REG_NOTES (curr_insn); (link = *link_loc) != NULL_RTX;)
kono
parents:
diff changeset
938 {
kono
parents:
diff changeset
939 if (REG_NOTE_KIND (link) != REG_DEAD
kono
parents:
diff changeset
940 && REG_NOTE_KIND (link) != REG_UNUSED)
kono
parents:
diff changeset
941 ;
kono
parents:
diff changeset
942 else if (REG_P (XEXP (link, 0)))
kono
parents:
diff changeset
943 {
kono
parents:
diff changeset
944 regno = REGNO (XEXP (link, 0));
kono
parents:
diff changeset
945 if ((REG_NOTE_KIND (link) == REG_DEAD
kono
parents:
diff changeset
946 && ! sparseset_bit_p (dead_set, regno))
kono
parents:
diff changeset
947 || (REG_NOTE_KIND (link) == REG_UNUSED
kono
parents:
diff changeset
948 && ! sparseset_bit_p (unused_set, regno)))
kono
parents:
diff changeset
949 {
kono
parents:
diff changeset
950 *link_loc = XEXP (link, 1);
kono
parents:
diff changeset
951 continue;
kono
parents:
diff changeset
952 }
kono
parents:
diff changeset
953 if (REG_NOTE_KIND (link) == REG_DEAD)
kono
parents:
diff changeset
954 sparseset_clear_bit (dead_set, regno);
kono
parents:
diff changeset
955 else if (REG_NOTE_KIND (link) == REG_UNUSED)
kono
parents:
diff changeset
956 sparseset_clear_bit (unused_set, regno);
kono
parents:
diff changeset
957 }
kono
parents:
diff changeset
958 link_loc = &XEXP (link, 1);
kono
parents:
diff changeset
959 }
kono
parents:
diff changeset
960 EXECUTE_IF_SET_IN_SPARSESET (dead_set, j)
kono
parents:
diff changeset
961 add_reg_note (curr_insn, REG_DEAD, regno_reg_rtx[j]);
kono
parents:
diff changeset
962 EXECUTE_IF_SET_IN_SPARSESET (unused_set, j)
kono
parents:
diff changeset
963 add_reg_note (curr_insn, REG_UNUSED, regno_reg_rtx[j]);
kono
parents:
diff changeset
964 }
kono
parents:
diff changeset
965
kono
parents:
diff changeset
966 if (bb_has_eh_pred (bb))
kono
parents:
diff changeset
967 for (j = 0; ; ++j)
kono
parents:
diff changeset
968 {
kono
parents:
diff changeset
969 unsigned int regno = EH_RETURN_DATA_REGNO (j);
kono
parents:
diff changeset
970
kono
parents:
diff changeset
971 if (regno == INVALID_REGNUM)
kono
parents:
diff changeset
972 break;
kono
parents:
diff changeset
973 make_hard_regno_born (regno, false);
kono
parents:
diff changeset
974 }
kono
parents:
diff changeset
975
kono
parents:
diff changeset
976 /* Pseudos can't go in stack regs at the start of a basic block that
kono
parents:
diff changeset
977 is reached by an abnormal edge. Likewise for call clobbered regs,
kono
parents:
diff changeset
978 because caller-save, fixup_abnormal_edges and possibly the table
kono
parents:
diff changeset
979 driven EH machinery are not quite ready to handle such pseudos
kono
parents:
diff changeset
980 live across such edges. */
kono
parents:
diff changeset
981 if (bb_has_abnormal_pred (bb))
kono
parents:
diff changeset
982 {
kono
parents:
diff changeset
983 #ifdef STACK_REGS
kono
parents:
diff changeset
984 EXECUTE_IF_SET_IN_SPARSESET (pseudos_live, px)
kono
parents:
diff changeset
985 lra_reg_info[px].no_stack_p = true;
kono
parents:
diff changeset
986 for (px = FIRST_STACK_REG; px <= LAST_STACK_REG; px++)
kono
parents:
diff changeset
987 make_hard_regno_born (px, false);
kono
parents:
diff changeset
988 #endif
kono
parents:
diff changeset
989 /* No need to record conflicts for call clobbered regs if we
kono
parents:
diff changeset
990 have nonlocal labels around, as we don't ever try to
kono
parents:
diff changeset
991 allocate such regs in this case. */
kono
parents:
diff changeset
992 if (!cfun->has_nonlocal_label
kono
parents:
diff changeset
993 && has_abnormal_call_or_eh_pred_edge_p (bb))
kono
parents:
diff changeset
994 for (px = 0; px < FIRST_PSEUDO_REGISTER; px++)
kono
parents:
diff changeset
995 if (call_used_regs[px]
kono
parents:
diff changeset
996 #ifdef REAL_PIC_OFFSET_TABLE_REGNUM
kono
parents:
diff changeset
997 /* We should create a conflict of PIC pseudo with PIC
kono
parents:
diff changeset
998 hard reg as PIC hard reg can have a wrong value after
kono
parents:
diff changeset
999 jump described by the abnormal edge. In this case we
kono
parents:
diff changeset
1000 can not allocate PIC hard reg to PIC pseudo as PIC
kono
parents:
diff changeset
1001 pseudo will also have a wrong value. */
kono
parents:
diff changeset
1002 || (px == REAL_PIC_OFFSET_TABLE_REGNUM
kono
parents:
diff changeset
1003 && pic_offset_table_rtx != NULL_RTX
kono
parents:
diff changeset
1004 && REGNO (pic_offset_table_rtx) >= FIRST_PSEUDO_REGISTER)
kono
parents:
diff changeset
1005 #endif
kono
parents:
diff changeset
1006 )
kono
parents:
diff changeset
1007 make_hard_regno_born (px, false);
kono
parents:
diff changeset
1008 }
kono
parents:
diff changeset
1009
kono
parents:
diff changeset
1010 bool live_change_p = false;
kono
parents:
diff changeset
1011 /* Check if bb border live info was changed. */
kono
parents:
diff changeset
1012 unsigned int live_pseudos_num = 0;
kono
parents:
diff changeset
1013 EXECUTE_IF_SET_IN_BITMAP (df_get_live_in (bb),
kono
parents:
diff changeset
1014 FIRST_PSEUDO_REGISTER, j, bi)
kono
parents:
diff changeset
1015 {
kono
parents:
diff changeset
1016 live_pseudos_num++;
kono
parents:
diff changeset
1017 if (! sparseset_bit_p (pseudos_live, j))
kono
parents:
diff changeset
1018 {
kono
parents:
diff changeset
1019 live_change_p = true;
kono
parents:
diff changeset
1020 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1021 fprintf (lra_dump_file,
kono
parents:
diff changeset
1022 " r%d is removed as live at bb%d start\n", j, bb->index);
kono
parents:
diff changeset
1023 break;
kono
parents:
diff changeset
1024 }
kono
parents:
diff changeset
1025 }
kono
parents:
diff changeset
1026 if (! live_change_p
kono
parents:
diff changeset
1027 && sparseset_cardinality (pseudos_live) != live_pseudos_num)
kono
parents:
diff changeset
1028 {
kono
parents:
diff changeset
1029 live_change_p = true;
kono
parents:
diff changeset
1030 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1031 EXECUTE_IF_SET_IN_SPARSESET (pseudos_live, j)
kono
parents:
diff changeset
1032 if (! bitmap_bit_p (df_get_live_in (bb), j))
kono
parents:
diff changeset
1033 fprintf (lra_dump_file,
kono
parents:
diff changeset
1034 " r%d is added to live at bb%d start\n", j, bb->index);
kono
parents:
diff changeset
1035 }
kono
parents:
diff changeset
1036 /* See if we'll need an increment at the end of this basic block.
kono
parents:
diff changeset
1037 An increment is needed if the PSEUDOS_LIVE set is not empty,
kono
parents:
diff changeset
1038 to make sure the finish points are set up correctly. */
kono
parents:
diff changeset
1039 need_curr_point_incr = (sparseset_cardinality (pseudos_live) > 0);
kono
parents:
diff changeset
1040
kono
parents:
diff changeset
1041 EXECUTE_IF_SET_IN_SPARSESET (pseudos_live, i)
kono
parents:
diff changeset
1042 mark_pseudo_dead (i, curr_point);
kono
parents:
diff changeset
1043
kono
parents:
diff changeset
1044 EXECUTE_IF_SET_IN_BITMAP (df_get_live_in (bb), FIRST_PSEUDO_REGISTER, j, bi)
kono
parents:
diff changeset
1045 {
kono
parents:
diff changeset
1046 if (sparseset_cardinality (pseudos_live_through_calls) == 0)
kono
parents:
diff changeset
1047 break;
kono
parents:
diff changeset
1048 if (sparseset_bit_p (pseudos_live_through_calls, j))
kono
parents:
diff changeset
1049 check_pseudos_live_through_calls (j, last_call_used_reg_set);
kono
parents:
diff changeset
1050 }
kono
parents:
diff changeset
1051
kono
parents:
diff changeset
1052 if (need_curr_point_incr)
kono
parents:
diff changeset
1053 next_program_point (curr_point, freq);
kono
parents:
diff changeset
1054
kono
parents:
diff changeset
1055 return live_change_p;
kono
parents:
diff changeset
1056 }
kono
parents:
diff changeset
1057
kono
parents:
diff changeset
1058 /* Compress pseudo live ranges by removing program points where
kono
parents:
diff changeset
1059 nothing happens. Complexity of many algorithms in LRA is linear
kono
parents:
diff changeset
1060 function of program points number. To speed up the code we try to
kono
parents:
diff changeset
1061 minimize the number of the program points here. */
kono
parents:
diff changeset
1062 static void
kono
parents:
diff changeset
1063 remove_some_program_points_and_update_live_ranges (void)
kono
parents:
diff changeset
1064 {
kono
parents:
diff changeset
1065 unsigned i;
kono
parents:
diff changeset
1066 int n, max_regno;
kono
parents:
diff changeset
1067 int *map;
kono
parents:
diff changeset
1068 lra_live_range_t r, prev_r, next_r;
kono
parents:
diff changeset
1069 sbitmap_iterator sbi;
kono
parents:
diff changeset
1070 bool born_p, dead_p, prev_born_p, prev_dead_p;
kono
parents:
diff changeset
1071
kono
parents:
diff changeset
1072 auto_sbitmap born (lra_live_max_point);
kono
parents:
diff changeset
1073 auto_sbitmap dead (lra_live_max_point);
kono
parents:
diff changeset
1074 bitmap_clear (born);
kono
parents:
diff changeset
1075 bitmap_clear (dead);
kono
parents:
diff changeset
1076 max_regno = max_reg_num ();
kono
parents:
diff changeset
1077 for (i = FIRST_PSEUDO_REGISTER; i < (unsigned) max_regno; i++)
kono
parents:
diff changeset
1078 {
kono
parents:
diff changeset
1079 for (r = lra_reg_info[i].live_ranges; r != NULL; r = r->next)
kono
parents:
diff changeset
1080 {
kono
parents:
diff changeset
1081 lra_assert (r->start <= r->finish);
kono
parents:
diff changeset
1082 bitmap_set_bit (born, r->start);
kono
parents:
diff changeset
1083 bitmap_set_bit (dead, r->finish);
kono
parents:
diff changeset
1084 }
kono
parents:
diff changeset
1085 }
kono
parents:
diff changeset
1086 auto_sbitmap born_or_dead (lra_live_max_point);
kono
parents:
diff changeset
1087 bitmap_ior (born_or_dead, born, dead);
kono
parents:
diff changeset
1088 map = XCNEWVEC (int, lra_live_max_point);
kono
parents:
diff changeset
1089 n = -1;
kono
parents:
diff changeset
1090 prev_born_p = prev_dead_p = false;
kono
parents:
diff changeset
1091 EXECUTE_IF_SET_IN_BITMAP (born_or_dead, 0, i, sbi)
kono
parents:
diff changeset
1092 {
kono
parents:
diff changeset
1093 born_p = bitmap_bit_p (born, i);
kono
parents:
diff changeset
1094 dead_p = bitmap_bit_p (dead, i);
kono
parents:
diff changeset
1095 if ((prev_born_p && ! prev_dead_p && born_p && ! dead_p)
kono
parents:
diff changeset
1096 || (prev_dead_p && ! prev_born_p && dead_p && ! born_p))
kono
parents:
diff changeset
1097 {
kono
parents:
diff changeset
1098 map[i] = n;
kono
parents:
diff changeset
1099 lra_point_freq[n] = MAX (lra_point_freq[n], lra_point_freq[i]);
kono
parents:
diff changeset
1100 }
kono
parents:
diff changeset
1101 else
kono
parents:
diff changeset
1102 {
kono
parents:
diff changeset
1103 map[i] = ++n;
kono
parents:
diff changeset
1104 lra_point_freq[n] = lra_point_freq[i];
kono
parents:
diff changeset
1105 }
kono
parents:
diff changeset
1106 prev_born_p = born_p;
kono
parents:
diff changeset
1107 prev_dead_p = dead_p;
kono
parents:
diff changeset
1108 }
kono
parents:
diff changeset
1109 n++;
kono
parents:
diff changeset
1110 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1111 fprintf (lra_dump_file, "Compressing live ranges: from %d to %d - %d%%\n",
kono
parents:
diff changeset
1112 lra_live_max_point, n, 100 * n / lra_live_max_point);
kono
parents:
diff changeset
1113 if (n < lra_live_max_point)
kono
parents:
diff changeset
1114 {
kono
parents:
diff changeset
1115 lra_live_max_point = n;
kono
parents:
diff changeset
1116 for (i = FIRST_PSEUDO_REGISTER; i < (unsigned) max_regno; i++)
kono
parents:
diff changeset
1117 {
kono
parents:
diff changeset
1118 for (prev_r = NULL, r = lra_reg_info[i].live_ranges;
kono
parents:
diff changeset
1119 r != NULL;
kono
parents:
diff changeset
1120 r = next_r)
kono
parents:
diff changeset
1121 {
kono
parents:
diff changeset
1122 next_r = r->next;
kono
parents:
diff changeset
1123 r->start = map[r->start];
kono
parents:
diff changeset
1124 r->finish = map[r->finish];
kono
parents:
diff changeset
1125 if (prev_r == NULL || prev_r->start > r->finish + 1)
kono
parents:
diff changeset
1126 {
kono
parents:
diff changeset
1127 prev_r = r;
kono
parents:
diff changeset
1128 continue;
kono
parents:
diff changeset
1129 }
kono
parents:
diff changeset
1130 prev_r->start = r->start;
kono
parents:
diff changeset
1131 prev_r->next = next_r;
kono
parents:
diff changeset
1132 lra_live_range_pool.remove (r);
kono
parents:
diff changeset
1133 }
kono
parents:
diff changeset
1134 }
kono
parents:
diff changeset
1135 }
kono
parents:
diff changeset
1136 free (map);
kono
parents:
diff changeset
1137 }
kono
parents:
diff changeset
1138
kono
parents:
diff changeset
1139 /* Print live ranges R to file F. */
kono
parents:
diff changeset
1140 void
kono
parents:
diff changeset
1141 lra_print_live_range_list (FILE *f, lra_live_range_t r)
kono
parents:
diff changeset
1142 {
kono
parents:
diff changeset
1143 for (; r != NULL; r = r->next)
kono
parents:
diff changeset
1144 fprintf (f, " [%d..%d]", r->start, r->finish);
kono
parents:
diff changeset
1145 fprintf (f, "\n");
kono
parents:
diff changeset
1146 }
kono
parents:
diff changeset
1147
kono
parents:
diff changeset
1148 DEBUG_FUNCTION void
kono
parents:
diff changeset
1149 debug (lra_live_range &ref)
kono
parents:
diff changeset
1150 {
kono
parents:
diff changeset
1151 lra_print_live_range_list (stderr, &ref);
kono
parents:
diff changeset
1152 }
kono
parents:
diff changeset
1153
kono
parents:
diff changeset
1154 DEBUG_FUNCTION void
kono
parents:
diff changeset
1155 debug (lra_live_range *ptr)
kono
parents:
diff changeset
1156 {
kono
parents:
diff changeset
1157 if (ptr)
kono
parents:
diff changeset
1158 debug (*ptr);
kono
parents:
diff changeset
1159 else
kono
parents:
diff changeset
1160 fprintf (stderr, "<nil>\n");
kono
parents:
diff changeset
1161 }
kono
parents:
diff changeset
1162
kono
parents:
diff changeset
1163 /* Print live ranges R to stderr. */
kono
parents:
diff changeset
1164 void
kono
parents:
diff changeset
1165 lra_debug_live_range_list (lra_live_range_t r)
kono
parents:
diff changeset
1166 {
kono
parents:
diff changeset
1167 lra_print_live_range_list (stderr, r);
kono
parents:
diff changeset
1168 }
kono
parents:
diff changeset
1169
kono
parents:
diff changeset
1170 /* Print live ranges of pseudo REGNO to file F. */
kono
parents:
diff changeset
1171 static void
kono
parents:
diff changeset
1172 print_pseudo_live_ranges (FILE *f, int regno)
kono
parents:
diff changeset
1173 {
kono
parents:
diff changeset
1174 if (lra_reg_info[regno].live_ranges == NULL)
kono
parents:
diff changeset
1175 return;
kono
parents:
diff changeset
1176 fprintf (f, " r%d:", regno);
kono
parents:
diff changeset
1177 lra_print_live_range_list (f, lra_reg_info[regno].live_ranges);
kono
parents:
diff changeset
1178 }
kono
parents:
diff changeset
1179
kono
parents:
diff changeset
1180 /* Print live ranges of pseudo REGNO to stderr. */
kono
parents:
diff changeset
1181 void
kono
parents:
diff changeset
1182 lra_debug_pseudo_live_ranges (int regno)
kono
parents:
diff changeset
1183 {
kono
parents:
diff changeset
1184 print_pseudo_live_ranges (stderr, regno);
kono
parents:
diff changeset
1185 }
kono
parents:
diff changeset
1186
kono
parents:
diff changeset
1187 /* Print live ranges of all pseudos to file F. */
kono
parents:
diff changeset
1188 static void
kono
parents:
diff changeset
1189 print_live_ranges (FILE *f)
kono
parents:
diff changeset
1190 {
kono
parents:
diff changeset
1191 int i, max_regno;
kono
parents:
diff changeset
1192
kono
parents:
diff changeset
1193 max_regno = max_reg_num ();
kono
parents:
diff changeset
1194 for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
kono
parents:
diff changeset
1195 print_pseudo_live_ranges (f, i);
kono
parents:
diff changeset
1196 }
kono
parents:
diff changeset
1197
kono
parents:
diff changeset
1198 /* Print live ranges of all pseudos to stderr. */
kono
parents:
diff changeset
1199 void
kono
parents:
diff changeset
1200 lra_debug_live_ranges (void)
kono
parents:
diff changeset
1201 {
kono
parents:
diff changeset
1202 print_live_ranges (stderr);
kono
parents:
diff changeset
1203 }
kono
parents:
diff changeset
1204
kono
parents:
diff changeset
1205 /* Compress pseudo live ranges. */
kono
parents:
diff changeset
1206 static void
kono
parents:
diff changeset
1207 compress_live_ranges (void)
kono
parents:
diff changeset
1208 {
kono
parents:
diff changeset
1209 remove_some_program_points_and_update_live_ranges ();
kono
parents:
diff changeset
1210 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1211 {
kono
parents:
diff changeset
1212 fprintf (lra_dump_file, "Ranges after the compression:\n");
kono
parents:
diff changeset
1213 print_live_ranges (lra_dump_file);
kono
parents:
diff changeset
1214 }
kono
parents:
diff changeset
1215 }
kono
parents:
diff changeset
1216
kono
parents:
diff changeset
1217
kono
parents:
diff changeset
1218
kono
parents:
diff changeset
1219 /* The number of the current live range pass. */
kono
parents:
diff changeset
1220 int lra_live_range_iter;
kono
parents:
diff changeset
1221
kono
parents:
diff changeset
1222 /* The function creates live ranges only for memory pseudos (or for
kono
parents:
diff changeset
1223 all ones if ALL_P), set up CONFLICT_HARD_REGS for the pseudos. It
kono
parents:
diff changeset
1224 also does dead insn elimination if DEAD_INSN_P and global live
kono
parents:
diff changeset
1225 analysis only for pseudos and only if the pseudo live info was
kono
parents:
diff changeset
1226 changed on a BB border. Return TRUE if the live info was
kono
parents:
diff changeset
1227 changed. */
kono
parents:
diff changeset
1228 static bool
kono
parents:
diff changeset
1229 lra_create_live_ranges_1 (bool all_p, bool dead_insn_p)
kono
parents:
diff changeset
1230 {
kono
parents:
diff changeset
1231 basic_block bb;
kono
parents:
diff changeset
1232 int i, hard_regno, max_regno = max_reg_num ();
kono
parents:
diff changeset
1233 int curr_point;
kono
parents:
diff changeset
1234 bool bb_live_change_p, have_referenced_pseudos = false;
kono
parents:
diff changeset
1235
kono
parents:
diff changeset
1236 timevar_push (TV_LRA_CREATE_LIVE_RANGES);
kono
parents:
diff changeset
1237
kono
parents:
diff changeset
1238 complete_info_p = all_p;
kono
parents:
diff changeset
1239 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1240 fprintf (lra_dump_file,
kono
parents:
diff changeset
1241 "\n********** Pseudo live ranges #%d: **********\n\n",
kono
parents:
diff changeset
1242 ++lra_live_range_iter);
kono
parents:
diff changeset
1243 memset (lra_hard_reg_usage, 0, sizeof (lra_hard_reg_usage));
kono
parents:
diff changeset
1244 for (i = 0; i < max_regno; i++)
kono
parents:
diff changeset
1245 {
kono
parents:
diff changeset
1246 lra_reg_info[i].live_ranges = NULL;
kono
parents:
diff changeset
1247 CLEAR_HARD_REG_SET (lra_reg_info[i].conflict_hard_regs);
kono
parents:
diff changeset
1248 lra_reg_info[i].preferred_hard_regno1 = -1;
kono
parents:
diff changeset
1249 lra_reg_info[i].preferred_hard_regno2 = -1;
kono
parents:
diff changeset
1250 lra_reg_info[i].preferred_hard_regno_profit1 = 0;
kono
parents:
diff changeset
1251 lra_reg_info[i].preferred_hard_regno_profit2 = 0;
kono
parents:
diff changeset
1252 #ifdef STACK_REGS
kono
parents:
diff changeset
1253 lra_reg_info[i].no_stack_p = false;
kono
parents:
diff changeset
1254 #endif
kono
parents:
diff changeset
1255 /* The biggest mode is already set but its value might be to
kono
parents:
diff changeset
1256 conservative because of recent transformation. Here in this
kono
parents:
diff changeset
1257 file we recalculate it again as it costs practically
kono
parents:
diff changeset
1258 nothing. */
kono
parents:
diff changeset
1259 if (i >= FIRST_PSEUDO_REGISTER && regno_reg_rtx[i] != NULL_RTX)
kono
parents:
diff changeset
1260 lra_reg_info[i].biggest_mode = GET_MODE (regno_reg_rtx[i]);
kono
parents:
diff changeset
1261 else
kono
parents:
diff changeset
1262 lra_reg_info[i].biggest_mode = VOIDmode;
kono
parents:
diff changeset
1263 lra_reg_info[i].call_p = false;
kono
parents:
diff changeset
1264 if (i >= FIRST_PSEUDO_REGISTER
kono
parents:
diff changeset
1265 && lra_reg_info[i].nrefs != 0)
kono
parents:
diff changeset
1266 {
kono
parents:
diff changeset
1267 if ((hard_regno = reg_renumber[i]) >= 0)
kono
parents:
diff changeset
1268 lra_hard_reg_usage[hard_regno] += lra_reg_info[i].freq;
kono
parents:
diff changeset
1269 have_referenced_pseudos = true;
kono
parents:
diff changeset
1270 }
kono
parents:
diff changeset
1271 }
kono
parents:
diff changeset
1272 lra_free_copies ();
kono
parents:
diff changeset
1273
kono
parents:
diff changeset
1274 /* Under some circumstances, we can have functions without pseudo
kono
parents:
diff changeset
1275 registers. For such functions, lra_live_max_point will be 0,
kono
parents:
diff changeset
1276 see e.g. PR55604, and there's nothing more to do for us here. */
kono
parents:
diff changeset
1277 if (! have_referenced_pseudos)
kono
parents:
diff changeset
1278 {
kono
parents:
diff changeset
1279 timevar_pop (TV_LRA_CREATE_LIVE_RANGES);
kono
parents:
diff changeset
1280 return false;
kono
parents:
diff changeset
1281 }
kono
parents:
diff changeset
1282
kono
parents:
diff changeset
1283 pseudos_live = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1284 pseudos_live_through_calls = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1285 pseudos_live_through_setjumps = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1286 start_living = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1287 start_dying = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1288 dead_set = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1289 unused_set = sparseset_alloc (max_regno);
kono
parents:
diff changeset
1290 curr_point = 0;
kono
parents:
diff changeset
1291 unsigned new_length = get_max_uid () * 2;
kono
parents:
diff changeset
1292 point_freq_vec.truncate (0);
kono
parents:
diff changeset
1293 point_freq_vec.reserve_exact (new_length);
kono
parents:
diff changeset
1294 lra_point_freq = point_freq_vec.address ();
kono
parents:
diff changeset
1295 auto_vec<int, 20> post_order_rev_cfg;
kono
parents:
diff changeset
1296 inverted_post_order_compute (&post_order_rev_cfg);
kono
parents:
diff changeset
1297 lra_assert (post_order_rev_cfg.length () == (unsigned) n_basic_blocks_for_fn (cfun));
kono
parents:
diff changeset
1298 bb_live_change_p = false;
kono
parents:
diff changeset
1299 for (i = post_order_rev_cfg.length () - 1; i >= 0; --i)
kono
parents:
diff changeset
1300 {
kono
parents:
diff changeset
1301 bb = BASIC_BLOCK_FOR_FN (cfun, post_order_rev_cfg[i]);
kono
parents:
diff changeset
1302 if (bb == EXIT_BLOCK_PTR_FOR_FN (cfun) || bb
kono
parents:
diff changeset
1303 == ENTRY_BLOCK_PTR_FOR_FN (cfun))
kono
parents:
diff changeset
1304 continue;
kono
parents:
diff changeset
1305 if (process_bb_lives (bb, curr_point, dead_insn_p))
kono
parents:
diff changeset
1306 bb_live_change_p = true;
kono
parents:
diff changeset
1307 }
kono
parents:
diff changeset
1308 if (bb_live_change_p)
kono
parents:
diff changeset
1309 {
kono
parents:
diff changeset
1310 /* We need to clear pseudo live info as some pseudos can
kono
parents:
diff changeset
1311 disappear, e.g. pseudos with used equivalences. */
kono
parents:
diff changeset
1312 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1313 {
kono
parents:
diff changeset
1314 bitmap_clear_range (df_get_live_in (bb), FIRST_PSEUDO_REGISTER,
kono
parents:
diff changeset
1315 max_regno - FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
1316 bitmap_clear_range (df_get_live_out (bb), FIRST_PSEUDO_REGISTER,
kono
parents:
diff changeset
1317 max_regno - FIRST_PSEUDO_REGISTER);
kono
parents:
diff changeset
1318 }
kono
parents:
diff changeset
1319 /* As we did not change CFG since LRA start we can use
kono
parents:
diff changeset
1320 DF-infrastructure solver to solve live data flow problem. */
kono
parents:
diff changeset
1321 df_simple_dataflow
kono
parents:
diff changeset
1322 (DF_BACKWARD, NULL, live_con_fun_0, live_con_fun_n,
kono
parents:
diff changeset
1323 live_trans_fun, &all_blocks,
kono
parents:
diff changeset
1324 df_get_postorder (DF_BACKWARD), df_get_n_blocks (DF_BACKWARD));
kono
parents:
diff changeset
1325 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1326 {
kono
parents:
diff changeset
1327 fprintf (lra_dump_file,
kono
parents:
diff changeset
1328 "Global pseudo live data have been updated:\n");
kono
parents:
diff changeset
1329 basic_block bb;
kono
parents:
diff changeset
1330 FOR_EACH_BB_FN (bb, cfun)
kono
parents:
diff changeset
1331 {
kono
parents:
diff changeset
1332 bb_data_t bb_info = get_bb_data (bb);
kono
parents:
diff changeset
1333 bitmap bb_livein = df_get_live_in (bb);
kono
parents:
diff changeset
1334 bitmap bb_liveout = df_get_live_out (bb);
kono
parents:
diff changeset
1335
kono
parents:
diff changeset
1336 fprintf (lra_dump_file, "\nBB %d:\n", bb->index);
kono
parents:
diff changeset
1337 lra_dump_bitmap_with_title (" gen:",
kono
parents:
diff changeset
1338 &bb_info->gen_pseudos, bb->index);
kono
parents:
diff changeset
1339 lra_dump_bitmap_with_title (" killed:",
kono
parents:
diff changeset
1340 &bb_info->killed_pseudos, bb->index);
kono
parents:
diff changeset
1341 lra_dump_bitmap_with_title (" livein:", bb_livein, bb->index);
kono
parents:
diff changeset
1342 lra_dump_bitmap_with_title (" liveout:", bb_liveout, bb->index);
kono
parents:
diff changeset
1343 }
kono
parents:
diff changeset
1344 }
kono
parents:
diff changeset
1345 }
kono
parents:
diff changeset
1346 lra_live_max_point = curr_point;
kono
parents:
diff changeset
1347 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1348 print_live_ranges (lra_dump_file);
kono
parents:
diff changeset
1349 /* Clean up. */
kono
parents:
diff changeset
1350 sparseset_free (unused_set);
kono
parents:
diff changeset
1351 sparseset_free (dead_set);
kono
parents:
diff changeset
1352 sparseset_free (start_dying);
kono
parents:
diff changeset
1353 sparseset_free (start_living);
kono
parents:
diff changeset
1354 sparseset_free (pseudos_live_through_calls);
kono
parents:
diff changeset
1355 sparseset_free (pseudos_live_through_setjumps);
kono
parents:
diff changeset
1356 sparseset_free (pseudos_live);
kono
parents:
diff changeset
1357 compress_live_ranges ();
kono
parents:
diff changeset
1358 timevar_pop (TV_LRA_CREATE_LIVE_RANGES);
kono
parents:
diff changeset
1359 return bb_live_change_p;
kono
parents:
diff changeset
1360 }
kono
parents:
diff changeset
1361
kono
parents:
diff changeset
1362 /* The main entry function creates live-ranges and other live info
kono
parents:
diff changeset
1363 necessary for the assignment sub-pass. It uses
kono
parents:
diff changeset
1364 lra_creates_live_ranges_1 -- so read comments for the
kono
parents:
diff changeset
1365 function. */
kono
parents:
diff changeset
1366 void
kono
parents:
diff changeset
1367 lra_create_live_ranges (bool all_p, bool dead_insn_p)
kono
parents:
diff changeset
1368 {
kono
parents:
diff changeset
1369 if (! lra_create_live_ranges_1 (all_p, dead_insn_p))
kono
parents:
diff changeset
1370 return;
kono
parents:
diff changeset
1371 if (lra_dump_file != NULL)
kono
parents:
diff changeset
1372 fprintf (lra_dump_file, "Live info was changed -- recalculate it\n");
kono
parents:
diff changeset
1373 /* Live info was changed on a bb border. It means that some info,
kono
parents:
diff changeset
1374 e.g. about conflict regs, calls crossed, and live ranges may be
kono
parents:
diff changeset
1375 wrong. We need this info for allocation. So recalculate it
kono
parents:
diff changeset
1376 again but without removing dead insns which can change live info
kono
parents:
diff changeset
1377 again. Repetitive live range calculations are expensive therefore
kono
parents:
diff changeset
1378 we stop here as we already have correct info although some
kono
parents:
diff changeset
1379 improvement in rare cases could be possible on this sub-pass if
kono
parents:
diff changeset
1380 we do dead insn elimination again (still the improvement may
kono
parents:
diff changeset
1381 happen later). */
kono
parents:
diff changeset
1382 lra_clear_live_ranges ();
kono
parents:
diff changeset
1383 bool res = lra_create_live_ranges_1 (all_p, false);
kono
parents:
diff changeset
1384 lra_assert (! res);
kono
parents:
diff changeset
1385 }
kono
parents:
diff changeset
1386
kono
parents:
diff changeset
1387 /* Finish all live ranges. */
kono
parents:
diff changeset
1388 void
kono
parents:
diff changeset
1389 lra_clear_live_ranges (void)
kono
parents:
diff changeset
1390 {
kono
parents:
diff changeset
1391 int i;
kono
parents:
diff changeset
1392
kono
parents:
diff changeset
1393 for (i = 0; i < max_reg_num (); i++)
kono
parents:
diff changeset
1394 free_live_range_list (lra_reg_info[i].live_ranges);
kono
parents:
diff changeset
1395 point_freq_vec.release ();
kono
parents:
diff changeset
1396 }
kono
parents:
diff changeset
1397
kono
parents:
diff changeset
1398 /* Initialize live ranges data once per function. */
kono
parents:
diff changeset
1399 void
kono
parents:
diff changeset
1400 lra_live_ranges_init (void)
kono
parents:
diff changeset
1401 {
kono
parents:
diff changeset
1402 bitmap_initialize (&temp_bitmap, &reg_obstack);
kono
parents:
diff changeset
1403 initiate_live_solver ();
kono
parents:
diff changeset
1404 }
kono
parents:
diff changeset
1405
kono
parents:
diff changeset
1406 /* Finish live ranges data once per function. */
kono
parents:
diff changeset
1407 void
kono
parents:
diff changeset
1408 lra_live_ranges_finish (void)
kono
parents:
diff changeset
1409 {
kono
parents:
diff changeset
1410 finish_live_solver ();
kono
parents:
diff changeset
1411 bitmap_clear (&temp_bitmap);
kono
parents:
diff changeset
1412 lra_live_range_pool.release ();
kono
parents:
diff changeset
1413 }