runtime: mark go-context.S as no-executable-stack and split-stack supported
[gcc.git] / gcc / ira-lives.c
1 /* IRA processing allocno lives to build allocno live ranges.
2 Copyright (C) 2006-2019 Free Software Foundation, Inc.
3 Contributed by Vladimir Makarov <vmakarov@redhat.com>.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
20
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "backend.h"
25 #include "target.h"
26 #include "rtl.h"
27 #include "predict.h"
28 #include "df.h"
29 #include "memmodel.h"
30 #include "tm_p.h"
31 #include "insn-config.h"
32 #include "regs.h"
33 #include "ira.h"
34 #include "ira-int.h"
35 #include "sparseset.h"
36 #include "function-abi.h"
37
38 /* The code in this file is similar to one in global but the code
39 works on the allocno basis and creates live ranges instead of
40 pseudo-register conflicts. */
41
42 /* Program points are enumerated by numbers from range
43 0..IRA_MAX_POINT-1. There are approximately two times more program
44 points than insns. Program points are places in the program where
45 liveness info can be changed. In most general case (there are more
46 complicated cases too) some program points correspond to places
47 where input operand dies and other ones correspond to places where
48 output operands are born. */
49 int ira_max_point;
50
51 /* Arrays of size IRA_MAX_POINT mapping a program point to the allocno
52 live ranges with given start/finish point. */
53 live_range_t *ira_start_point_ranges, *ira_finish_point_ranges;
54
55 /* Number of the current program point. */
56 static int curr_point;
57
58 /* Point where register pressure excess started or -1 if there is no
59 register pressure excess. Excess pressure for a register class at
60 some point means that there are more allocnos of given register
61 class living at the point than number of hard-registers of the
62 class available for the allocation. It is defined only for
63 pressure classes. */
64 static int high_pressure_start_point[N_REG_CLASSES];
65
66 /* Objects live at current point in the scan. */
67 static sparseset objects_live;
68
69 /* A temporary bitmap used in functions that wish to avoid visiting an allocno
70 multiple times. */
71 static sparseset allocnos_processed;
72
73 /* Set of hard regs (except eliminable ones) currently live. */
74 static HARD_REG_SET hard_regs_live;
75
76 /* The loop tree node corresponding to the current basic block. */
77 static ira_loop_tree_node_t curr_bb_node;
78
79 /* The number of the last processed call. */
80 static int last_call_num;
81 /* The number of last call at which given allocno was saved. */
82 static int *allocno_saved_at_call;
83
84 /* The value returned by ira_setup_alts for the current instruction;
85 i.e. the set of alternatives that we should consider to be likely
86 candidates during reloading. */
87 static alternative_mask preferred_alternatives;
88
89 /* If non-NULL, the source operand of a register to register copy for which
90 we should not add a conflict with the copy's destination operand. */
91 static rtx ignore_reg_for_conflicts;
92
93 /* Record hard register REGNO as now being live. */
94 static void
95 make_hard_regno_live (int regno)
96 {
97 SET_HARD_REG_BIT (hard_regs_live, regno);
98 }
99
100 /* Process the definition of hard register REGNO. This updates
101 hard_regs_live and hard reg conflict information for living allocnos. */
102 static void
103 make_hard_regno_dead (int regno)
104 {
105 unsigned int i;
106 EXECUTE_IF_SET_IN_SPARSESET (objects_live, i)
107 {
108 ira_object_t obj = ira_object_id_map[i];
109
110 if (ignore_reg_for_conflicts != NULL_RTX
111 && REGNO (ignore_reg_for_conflicts)
112 == (unsigned int) ALLOCNO_REGNO (OBJECT_ALLOCNO (obj)))
113 continue;
114
115 SET_HARD_REG_BIT (OBJECT_CONFLICT_HARD_REGS (obj), regno);
116 SET_HARD_REG_BIT (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj), regno);
117 }
118 CLEAR_HARD_REG_BIT (hard_regs_live, regno);
119 }
120
121 /* Record object OBJ as now being live. Set a bit for it in objects_live,
122 and start a new live range for it if necessary. */
123 static void
124 make_object_live (ira_object_t obj)
125 {
126 sparseset_set_bit (objects_live, OBJECT_CONFLICT_ID (obj));
127
128 live_range_t lr = OBJECT_LIVE_RANGES (obj);
129 if (lr == NULL
130 || (lr->finish != curr_point && lr->finish + 1 != curr_point))
131 ira_add_live_range_to_object (obj, curr_point, -1);
132 }
133
134 /* Update ALLOCNO_EXCESS_PRESSURE_POINTS_NUM for the allocno
135 associated with object OBJ. */
136 static void
137 update_allocno_pressure_excess_length (ira_object_t obj)
138 {
139 ira_allocno_t a = OBJECT_ALLOCNO (obj);
140 int start, i;
141 enum reg_class aclass, pclass, cl;
142 live_range_t p;
143
144 aclass = ALLOCNO_CLASS (a);
145 pclass = ira_pressure_class_translate[aclass];
146 for (i = 0;
147 (cl = ira_reg_class_super_classes[pclass][i]) != LIM_REG_CLASSES;
148 i++)
149 {
150 if (! ira_reg_pressure_class_p[cl])
151 continue;
152 if (high_pressure_start_point[cl] < 0)
153 continue;
154 p = OBJECT_LIVE_RANGES (obj);
155 ira_assert (p != NULL);
156 start = (high_pressure_start_point[cl] > p->start
157 ? high_pressure_start_point[cl] : p->start);
158 ALLOCNO_EXCESS_PRESSURE_POINTS_NUM (a) += curr_point - start + 1;
159 }
160 }
161
162 /* Process the definition of object OBJ, which is associated with allocno A.
163 This finishes the current live range for it. */
164 static void
165 make_object_dead (ira_object_t obj)
166 {
167 live_range_t lr;
168 int regno;
169 int ignore_regno = -1;
170 int ignore_total_regno = -1;
171 int end_regno = -1;
172
173 sparseset_clear_bit (objects_live, OBJECT_CONFLICT_ID (obj));
174
175 /* Check whether any part of IGNORE_REG_FOR_CONFLICTS already conflicts
176 with OBJ. */
177 if (ignore_reg_for_conflicts != NULL_RTX
178 && REGNO (ignore_reg_for_conflicts) < FIRST_PSEUDO_REGISTER)
179 {
180 end_regno = END_REGNO (ignore_reg_for_conflicts);
181 ignore_regno = ignore_total_regno = REGNO (ignore_reg_for_conflicts);
182
183 for (regno = ignore_regno; regno < end_regno; regno++)
184 {
185 if (TEST_HARD_REG_BIT (OBJECT_CONFLICT_HARD_REGS (obj), regno))
186 ignore_regno = end_regno;
187 if (TEST_HARD_REG_BIT (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj), regno))
188 ignore_total_regno = end_regno;
189 }
190 }
191
192 OBJECT_CONFLICT_HARD_REGS (obj) |= hard_regs_live;
193 OBJECT_TOTAL_CONFLICT_HARD_REGS (obj) |= hard_regs_live;
194
195 /* If IGNORE_REG_FOR_CONFLICTS did not already conflict with OBJ, make
196 sure it still doesn't. */
197 for (regno = ignore_regno; regno < end_regno; regno++)
198 CLEAR_HARD_REG_BIT (OBJECT_CONFLICT_HARD_REGS (obj), regno);
199 for (regno = ignore_total_regno; regno < end_regno; regno++)
200 CLEAR_HARD_REG_BIT (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj), regno);
201
202 lr = OBJECT_LIVE_RANGES (obj);
203 ira_assert (lr != NULL);
204 lr->finish = curr_point;
205 update_allocno_pressure_excess_length (obj);
206 }
207
208 /* The current register pressures for each pressure class for the current
209 basic block. */
210 static int curr_reg_pressure[N_REG_CLASSES];
211
212 /* Record that register pressure for PCLASS increased by N registers.
213 Update the current register pressure, maximal register pressure for
214 the current BB and the start point of the register pressure
215 excess. */
216 static void
217 inc_register_pressure (enum reg_class pclass, int n)
218 {
219 int i;
220 enum reg_class cl;
221
222 for (i = 0;
223 (cl = ira_reg_class_super_classes[pclass][i]) != LIM_REG_CLASSES;
224 i++)
225 {
226 if (! ira_reg_pressure_class_p[cl])
227 continue;
228 curr_reg_pressure[cl] += n;
229 if (high_pressure_start_point[cl] < 0
230 && (curr_reg_pressure[cl] > ira_class_hard_regs_num[cl]))
231 high_pressure_start_point[cl] = curr_point;
232 if (curr_bb_node->reg_pressure[cl] < curr_reg_pressure[cl])
233 curr_bb_node->reg_pressure[cl] = curr_reg_pressure[cl];
234 }
235 }
236
237 /* Record that register pressure for PCLASS has decreased by NREGS
238 registers; update current register pressure, start point of the
239 register pressure excess, and register pressure excess length for
240 living allocnos. */
241
242 static void
243 dec_register_pressure (enum reg_class pclass, int nregs)
244 {
245 int i;
246 unsigned int j;
247 enum reg_class cl;
248 bool set_p = false;
249
250 for (i = 0;
251 (cl = ira_reg_class_super_classes[pclass][i]) != LIM_REG_CLASSES;
252 i++)
253 {
254 if (! ira_reg_pressure_class_p[cl])
255 continue;
256 curr_reg_pressure[cl] -= nregs;
257 ira_assert (curr_reg_pressure[cl] >= 0);
258 if (high_pressure_start_point[cl] >= 0
259 && curr_reg_pressure[cl] <= ira_class_hard_regs_num[cl])
260 set_p = true;
261 }
262 if (set_p)
263 {
264 EXECUTE_IF_SET_IN_SPARSESET (objects_live, j)
265 update_allocno_pressure_excess_length (ira_object_id_map[j]);
266 for (i = 0;
267 (cl = ira_reg_class_super_classes[pclass][i]) != LIM_REG_CLASSES;
268 i++)
269 {
270 if (! ira_reg_pressure_class_p[cl])
271 continue;
272 if (high_pressure_start_point[cl] >= 0
273 && curr_reg_pressure[cl] <= ira_class_hard_regs_num[cl])
274 high_pressure_start_point[cl] = -1;
275 }
276 }
277 }
278
279 /* Determine from the objects_live bitmap whether REGNO is currently live,
280 and occupies only one object. Return false if we have no information. */
281 static bool
282 pseudo_regno_single_word_and_live_p (int regno)
283 {
284 ira_allocno_t a = ira_curr_regno_allocno_map[regno];
285 ira_object_t obj;
286
287 if (a == NULL)
288 return false;
289 if (ALLOCNO_NUM_OBJECTS (a) > 1)
290 return false;
291
292 obj = ALLOCNO_OBJECT (a, 0);
293
294 return sparseset_bit_p (objects_live, OBJECT_CONFLICT_ID (obj));
295 }
296
297 /* Mark the pseudo register REGNO as live. Update all information about
298 live ranges and register pressure. */
299 static void
300 mark_pseudo_regno_live (int regno)
301 {
302 ira_allocno_t a = ira_curr_regno_allocno_map[regno];
303 enum reg_class pclass;
304 int i, n, nregs;
305
306 if (a == NULL)
307 return;
308
309 /* Invalidate because it is referenced. */
310 allocno_saved_at_call[ALLOCNO_NUM (a)] = 0;
311
312 n = ALLOCNO_NUM_OBJECTS (a);
313 pclass = ira_pressure_class_translate[ALLOCNO_CLASS (a)];
314 nregs = ira_reg_class_max_nregs[ALLOCNO_CLASS (a)][ALLOCNO_MODE (a)];
315 if (n > 1)
316 {
317 /* We track every subobject separately. */
318 gcc_assert (nregs == n);
319 nregs = 1;
320 }
321
322 for (i = 0; i < n; i++)
323 {
324 ira_object_t obj = ALLOCNO_OBJECT (a, i);
325
326 if (sparseset_bit_p (objects_live, OBJECT_CONFLICT_ID (obj)))
327 continue;
328
329 inc_register_pressure (pclass, nregs);
330 make_object_live (obj);
331 }
332 }
333
334 /* Like mark_pseudo_regno_live, but try to only mark one subword of
335 the pseudo as live. SUBWORD indicates which; a value of 0
336 indicates the low part. */
337 static void
338 mark_pseudo_regno_subword_live (int regno, int subword)
339 {
340 ira_allocno_t a = ira_curr_regno_allocno_map[regno];
341 int n;
342 enum reg_class pclass;
343 ira_object_t obj;
344
345 if (a == NULL)
346 return;
347
348 /* Invalidate because it is referenced. */
349 allocno_saved_at_call[ALLOCNO_NUM (a)] = 0;
350
351 n = ALLOCNO_NUM_OBJECTS (a);
352 if (n == 1)
353 {
354 mark_pseudo_regno_live (regno);
355 return;
356 }
357
358 pclass = ira_pressure_class_translate[ALLOCNO_CLASS (a)];
359 gcc_assert
360 (n == ira_reg_class_max_nregs[ALLOCNO_CLASS (a)][ALLOCNO_MODE (a)]);
361 obj = ALLOCNO_OBJECT (a, subword);
362
363 if (sparseset_bit_p (objects_live, OBJECT_CONFLICT_ID (obj)))
364 return;
365
366 inc_register_pressure (pclass, 1);
367 make_object_live (obj);
368 }
369
370 /* Mark the register REG as live. Store a 1 in hard_regs_live for
371 this register, record how many consecutive hardware registers it
372 actually needs. */
373 static void
374 mark_hard_reg_live (rtx reg)
375 {
376 int regno = REGNO (reg);
377
378 if (! TEST_HARD_REG_BIT (ira_no_alloc_regs, regno))
379 {
380 int last = END_REGNO (reg);
381 enum reg_class aclass, pclass;
382
383 while (regno < last)
384 {
385 if (! TEST_HARD_REG_BIT (hard_regs_live, regno)
386 && ! TEST_HARD_REG_BIT (eliminable_regset, regno))
387 {
388 aclass = ira_hard_regno_allocno_class[regno];
389 pclass = ira_pressure_class_translate[aclass];
390 inc_register_pressure (pclass, 1);
391 make_hard_regno_live (regno);
392 }
393 regno++;
394 }
395 }
396 }
397
398 /* Mark a pseudo, or one of its subwords, as live. REGNO is the pseudo's
399 register number; ORIG_REG is the access in the insn, which may be a
400 subreg. */
401 static void
402 mark_pseudo_reg_live (rtx orig_reg, unsigned regno)
403 {
404 if (read_modify_subreg_p (orig_reg))
405 {
406 mark_pseudo_regno_subword_live (regno,
407 subreg_lowpart_p (orig_reg) ? 0 : 1);
408 }
409 else
410 mark_pseudo_regno_live (regno);
411 }
412
413 /* Mark the register referenced by use or def REF as live. */
414 static void
415 mark_ref_live (df_ref ref)
416 {
417 rtx reg = DF_REF_REG (ref);
418 rtx orig_reg = reg;
419
420 if (GET_CODE (reg) == SUBREG)
421 reg = SUBREG_REG (reg);
422
423 if (REGNO (reg) >= FIRST_PSEUDO_REGISTER)
424 mark_pseudo_reg_live (orig_reg, REGNO (reg));
425 else
426 mark_hard_reg_live (reg);
427 }
428
429 /* Mark the pseudo register REGNO as dead. Update all information about
430 live ranges and register pressure. */
431 static void
432 mark_pseudo_regno_dead (int regno)
433 {
434 ira_allocno_t a = ira_curr_regno_allocno_map[regno];
435 int n, i, nregs;
436 enum reg_class cl;
437
438 if (a == NULL)
439 return;
440
441 /* Invalidate because it is referenced. */
442 allocno_saved_at_call[ALLOCNO_NUM (a)] = 0;
443
444 n = ALLOCNO_NUM_OBJECTS (a);
445 cl = ira_pressure_class_translate[ALLOCNO_CLASS (a)];
446 nregs = ira_reg_class_max_nregs[ALLOCNO_CLASS (a)][ALLOCNO_MODE (a)];
447 if (n > 1)
448 {
449 /* We track every subobject separately. */
450 gcc_assert (nregs == n);
451 nregs = 1;
452 }
453 for (i = 0; i < n; i++)
454 {
455 ira_object_t obj = ALLOCNO_OBJECT (a, i);
456 if (!sparseset_bit_p (objects_live, OBJECT_CONFLICT_ID (obj)))
457 continue;
458
459 dec_register_pressure (cl, nregs);
460 make_object_dead (obj);
461 }
462 }
463
464 /* Like mark_pseudo_regno_dead, but called when we know that only part of the
465 register dies. SUBWORD indicates which; a value of 0 indicates the low part. */
466 static void
467 mark_pseudo_regno_subword_dead (int regno, int subword)
468 {
469 ira_allocno_t a = ira_curr_regno_allocno_map[regno];
470 int n;
471 enum reg_class cl;
472 ira_object_t obj;
473
474 if (a == NULL)
475 return;
476
477 /* Invalidate because it is referenced. */
478 allocno_saved_at_call[ALLOCNO_NUM (a)] = 0;
479
480 n = ALLOCNO_NUM_OBJECTS (a);
481 if (n == 1)
482 /* The allocno as a whole doesn't die in this case. */
483 return;
484
485 cl = ira_pressure_class_translate[ALLOCNO_CLASS (a)];
486 gcc_assert
487 (n == ira_reg_class_max_nregs[ALLOCNO_CLASS (a)][ALLOCNO_MODE (a)]);
488
489 obj = ALLOCNO_OBJECT (a, subword);
490 if (!sparseset_bit_p (objects_live, OBJECT_CONFLICT_ID (obj)))
491 return;
492
493 dec_register_pressure (cl, 1);
494 make_object_dead (obj);
495 }
496
497 /* Process the definition of hard register REG. This updates hard_regs_live
498 and hard reg conflict information for living allocnos. */
499 static void
500 mark_hard_reg_dead (rtx reg)
501 {
502 int regno = REGNO (reg);
503
504 if (! TEST_HARD_REG_BIT (ira_no_alloc_regs, regno))
505 {
506 int last = END_REGNO (reg);
507 enum reg_class aclass, pclass;
508
509 while (regno < last)
510 {
511 if (TEST_HARD_REG_BIT (hard_regs_live, regno))
512 {
513 aclass = ira_hard_regno_allocno_class[regno];
514 pclass = ira_pressure_class_translate[aclass];
515 dec_register_pressure (pclass, 1);
516 make_hard_regno_dead (regno);
517 }
518 regno++;
519 }
520 }
521 }
522
523 /* Mark a pseudo, or one of its subwords, as dead. REGNO is the pseudo's
524 register number; ORIG_REG is the access in the insn, which may be a
525 subreg. */
526 static void
527 mark_pseudo_reg_dead (rtx orig_reg, unsigned regno)
528 {
529 if (read_modify_subreg_p (orig_reg))
530 {
531 mark_pseudo_regno_subword_dead (regno,
532 subreg_lowpart_p (orig_reg) ? 0 : 1);
533 }
534 else
535 mark_pseudo_regno_dead (regno);
536 }
537
538 /* Mark the register referenced by definition DEF as dead, if the
539 definition is a total one. */
540 static void
541 mark_ref_dead (df_ref def)
542 {
543 rtx reg = DF_REF_REG (def);
544 rtx orig_reg = reg;
545
546 if (DF_REF_FLAGS_IS_SET (def, DF_REF_CONDITIONAL))
547 return;
548
549 if (GET_CODE (reg) == SUBREG)
550 reg = SUBREG_REG (reg);
551
552 if (DF_REF_FLAGS_IS_SET (def, DF_REF_PARTIAL)
553 && (GET_CODE (orig_reg) != SUBREG
554 || REGNO (reg) < FIRST_PSEUDO_REGISTER
555 || !read_modify_subreg_p (orig_reg)))
556 return;
557
558 if (REGNO (reg) >= FIRST_PSEUDO_REGISTER)
559 mark_pseudo_reg_dead (orig_reg, REGNO (reg));
560 else
561 mark_hard_reg_dead (reg);
562 }
563
564 /* If REG is a pseudo or a subreg of it, and the class of its allocno
565 intersects CL, make a conflict with pseudo DREG. ORIG_DREG is the
566 rtx actually accessed, it may be identical to DREG or a subreg of it.
567 Advance the current program point before making the conflict if
568 ADVANCE_P. Return TRUE if we will need to advance the current
569 program point. */
570 static bool
571 make_pseudo_conflict (rtx reg, enum reg_class cl, rtx dreg, rtx orig_dreg,
572 bool advance_p)
573 {
574 rtx orig_reg = reg;
575 ira_allocno_t a;
576
577 if (GET_CODE (reg) == SUBREG)
578 reg = SUBREG_REG (reg);
579
580 if (! REG_P (reg) || REGNO (reg) < FIRST_PSEUDO_REGISTER)
581 return advance_p;
582
583 a = ira_curr_regno_allocno_map[REGNO (reg)];
584 if (! reg_classes_intersect_p (cl, ALLOCNO_CLASS (a)))
585 return advance_p;
586
587 if (advance_p)
588 curr_point++;
589
590 mark_pseudo_reg_live (orig_reg, REGNO (reg));
591 mark_pseudo_reg_live (orig_dreg, REGNO (dreg));
592 mark_pseudo_reg_dead (orig_reg, REGNO (reg));
593 mark_pseudo_reg_dead (orig_dreg, REGNO (dreg));
594
595 return false;
596 }
597
598 /* Check and make if necessary conflicts for pseudo DREG of class
599 DEF_CL of the current insn with input operand USE of class USE_CL.
600 ORIG_DREG is the rtx actually accessed, it may be identical to
601 DREG or a subreg of it. Advance the current program point before
602 making the conflict if ADVANCE_P. Return TRUE if we will need to
603 advance the current program point. */
604 static bool
605 check_and_make_def_use_conflict (rtx dreg, rtx orig_dreg,
606 enum reg_class def_cl, int use,
607 enum reg_class use_cl, bool advance_p)
608 {
609 if (! reg_classes_intersect_p (def_cl, use_cl))
610 return advance_p;
611
612 advance_p = make_pseudo_conflict (recog_data.operand[use],
613 use_cl, dreg, orig_dreg, advance_p);
614
615 /* Reload may end up swapping commutative operands, so you
616 have to take both orderings into account. The
617 constraints for the two operands can be completely
618 different. (Indeed, if the constraints for the two
619 operands are the same for all alternatives, there's no
620 point marking them as commutative.) */
621 if (use < recog_data.n_operands - 1
622 && recog_data.constraints[use][0] == '%')
623 advance_p
624 = make_pseudo_conflict (recog_data.operand[use + 1],
625 use_cl, dreg, orig_dreg, advance_p);
626 if (use >= 1
627 && recog_data.constraints[use - 1][0] == '%')
628 advance_p
629 = make_pseudo_conflict (recog_data.operand[use - 1],
630 use_cl, dreg, orig_dreg, advance_p);
631 return advance_p;
632 }
633
634 /* Check and make if necessary conflicts for definition DEF of class
635 DEF_CL of the current insn with input operands. Process only
636 constraints of alternative ALT. */
637 static void
638 check_and_make_def_conflict (int alt, int def, enum reg_class def_cl)
639 {
640 int use, use_match;
641 ira_allocno_t a;
642 enum reg_class use_cl, acl;
643 bool advance_p;
644 rtx dreg = recog_data.operand[def];
645 rtx orig_dreg = dreg;
646
647 if (def_cl == NO_REGS)
648 return;
649
650 if (GET_CODE (dreg) == SUBREG)
651 dreg = SUBREG_REG (dreg);
652
653 if (! REG_P (dreg) || REGNO (dreg) < FIRST_PSEUDO_REGISTER)
654 return;
655
656 a = ira_curr_regno_allocno_map[REGNO (dreg)];
657 acl = ALLOCNO_CLASS (a);
658 if (! reg_classes_intersect_p (acl, def_cl))
659 return;
660
661 advance_p = true;
662
663 int n_operands = recog_data.n_operands;
664 const operand_alternative *op_alt = &recog_op_alt[alt * n_operands];
665 for (use = 0; use < n_operands; use++)
666 {
667 int alt1;
668
669 if (use == def || recog_data.operand_type[use] == OP_OUT)
670 continue;
671
672 if (op_alt[use].anything_ok)
673 use_cl = ALL_REGS;
674 else
675 use_cl = op_alt[use].cl;
676
677 /* If there's any alternative that allows USE to match DEF, do not
678 record a conflict. If that causes us to create an invalid
679 instruction due to the earlyclobber, reload must fix it up. */
680 for (alt1 = 0; alt1 < recog_data.n_alternatives; alt1++)
681 {
682 if (!TEST_BIT (preferred_alternatives, alt1))
683 continue;
684 const operand_alternative *op_alt1
685 = &recog_op_alt[alt1 * n_operands];
686 if (op_alt1[use].matches == def
687 || (use < n_operands - 1
688 && recog_data.constraints[use][0] == '%'
689 && op_alt1[use + 1].matches == def)
690 || (use >= 1
691 && recog_data.constraints[use - 1][0] == '%'
692 && op_alt1[use - 1].matches == def))
693 break;
694 }
695
696 if (alt1 < recog_data.n_alternatives)
697 continue;
698
699 advance_p = check_and_make_def_use_conflict (dreg, orig_dreg, def_cl,
700 use, use_cl, advance_p);
701
702 if ((use_match = op_alt[use].matches) >= 0)
703 {
704 if (use_match == def)
705 continue;
706
707 if (op_alt[use_match].anything_ok)
708 use_cl = ALL_REGS;
709 else
710 use_cl = op_alt[use_match].cl;
711 advance_p = check_and_make_def_use_conflict (dreg, orig_dreg, def_cl,
712 use, use_cl, advance_p);
713 }
714 }
715 }
716
717 /* Make conflicts of early clobber pseudo registers of the current
718 insn with its inputs. Avoid introducing unnecessary conflicts by
719 checking classes of the constraints and pseudos because otherwise
720 significant code degradation is possible for some targets. */
721 static void
722 make_early_clobber_and_input_conflicts (void)
723 {
724 int alt;
725 int def, def_match;
726 enum reg_class def_cl;
727
728 int n_alternatives = recog_data.n_alternatives;
729 int n_operands = recog_data.n_operands;
730 const operand_alternative *op_alt = recog_op_alt;
731 for (alt = 0; alt < n_alternatives; alt++, op_alt += n_operands)
732 if (TEST_BIT (preferred_alternatives, alt))
733 for (def = 0; def < n_operands; def++)
734 {
735 def_cl = NO_REGS;
736 if (op_alt[def].earlyclobber)
737 {
738 if (op_alt[def].anything_ok)
739 def_cl = ALL_REGS;
740 else
741 def_cl = op_alt[def].cl;
742 check_and_make_def_conflict (alt, def, def_cl);
743 }
744 if ((def_match = op_alt[def].matches) >= 0
745 && (op_alt[def_match].earlyclobber
746 || op_alt[def].earlyclobber))
747 {
748 if (op_alt[def_match].anything_ok)
749 def_cl = ALL_REGS;
750 else
751 def_cl = op_alt[def_match].cl;
752 check_and_make_def_conflict (alt, def, def_cl);
753 }
754 }
755 }
756
757 /* Mark early clobber hard registers of the current INSN as live (if
758 LIVE_P) or dead. Return true if there are such registers. */
759 static bool
760 mark_hard_reg_early_clobbers (rtx_insn *insn, bool live_p)
761 {
762 df_ref def;
763 bool set_p = false;
764
765 FOR_EACH_INSN_DEF (def, insn)
766 if (DF_REF_FLAGS_IS_SET (def, DF_REF_MUST_CLOBBER))
767 {
768 rtx dreg = DF_REF_REG (def);
769
770 if (GET_CODE (dreg) == SUBREG)
771 dreg = SUBREG_REG (dreg);
772 if (! REG_P (dreg) || REGNO (dreg) >= FIRST_PSEUDO_REGISTER)
773 continue;
774
775 /* Hard register clobbers are believed to be early clobber
776 because there is no way to say that non-operand hard
777 register clobbers are not early ones. */
778 if (live_p)
779 mark_ref_live (def);
780 else
781 mark_ref_dead (def);
782 set_p = true;
783 }
784
785 return set_p;
786 }
787
788 /* Checks that CONSTRAINTS permits to use only one hard register. If
789 it is so, the function returns the class of the hard register.
790 Otherwise it returns NO_REGS. */
791 static enum reg_class
792 single_reg_class (const char *constraints, rtx op, rtx equiv_const)
793 {
794 int c;
795 enum reg_class cl, next_cl;
796 enum constraint_num cn;
797
798 cl = NO_REGS;
799 alternative_mask preferred = preferred_alternatives;
800 for (; (c = *constraints); constraints += CONSTRAINT_LEN (c, constraints))
801 if (c == '#')
802 preferred &= ~ALTERNATIVE_BIT (0);
803 else if (c == ',')
804 preferred >>= 1;
805 else if (preferred & 1)
806 switch (c)
807 {
808 case 'g':
809 return NO_REGS;
810
811 default:
812 /* ??? Is this the best way to handle memory constraints? */
813 cn = lookup_constraint (constraints);
814 if (insn_extra_memory_constraint (cn)
815 || insn_extra_special_memory_constraint (cn)
816 || insn_extra_address_constraint (cn))
817 return NO_REGS;
818 if (constraint_satisfied_p (op, cn)
819 || (equiv_const != NULL_RTX
820 && CONSTANT_P (equiv_const)
821 && constraint_satisfied_p (equiv_const, cn)))
822 return NO_REGS;
823 next_cl = reg_class_for_constraint (cn);
824 if (next_cl == NO_REGS)
825 break;
826 if (cl == NO_REGS
827 ? ira_class_singleton[next_cl][GET_MODE (op)] < 0
828 : (ira_class_singleton[cl][GET_MODE (op)]
829 != ira_class_singleton[next_cl][GET_MODE (op)]))
830 return NO_REGS;
831 cl = next_cl;
832 break;
833
834 case '0': case '1': case '2': case '3': case '4':
835 case '5': case '6': case '7': case '8': case '9':
836 next_cl
837 = single_reg_class (recog_data.constraints[c - '0'],
838 recog_data.operand[c - '0'], NULL_RTX);
839 if (cl == NO_REGS
840 ? ira_class_singleton[next_cl][GET_MODE (op)] < 0
841 : (ira_class_singleton[cl][GET_MODE (op)]
842 != ira_class_singleton[next_cl][GET_MODE (op)]))
843 return NO_REGS;
844 cl = next_cl;
845 break;
846 }
847 return cl;
848 }
849
850 /* The function checks that operand OP_NUM of the current insn can use
851 only one hard register. If it is so, the function returns the
852 class of the hard register. Otherwise it returns NO_REGS. */
853 static enum reg_class
854 single_reg_operand_class (int op_num)
855 {
856 if (op_num < 0 || recog_data.n_alternatives == 0)
857 return NO_REGS;
858 return single_reg_class (recog_data.constraints[op_num],
859 recog_data.operand[op_num], NULL_RTX);
860 }
861
862 /* The function sets up hard register set *SET to hard registers which
863 might be used by insn reloads because the constraints are too
864 strict. */
865 void
866 ira_implicitly_set_insn_hard_regs (HARD_REG_SET *set,
867 alternative_mask preferred)
868 {
869 int i, c, regno = 0;
870 enum reg_class cl;
871 rtx op;
872 machine_mode mode;
873
874 CLEAR_HARD_REG_SET (*set);
875 for (i = 0; i < recog_data.n_operands; i++)
876 {
877 op = recog_data.operand[i];
878
879 if (GET_CODE (op) == SUBREG)
880 op = SUBREG_REG (op);
881
882 if (GET_CODE (op) == SCRATCH
883 || (REG_P (op) && (regno = REGNO (op)) >= FIRST_PSEUDO_REGISTER))
884 {
885 const char *p = recog_data.constraints[i];
886
887 mode = (GET_CODE (op) == SCRATCH
888 ? GET_MODE (op) : PSEUDO_REGNO_MODE (regno));
889 cl = NO_REGS;
890 for (; (c = *p); p += CONSTRAINT_LEN (c, p))
891 if (c == '#')
892 preferred &= ~ALTERNATIVE_BIT (0);
893 else if (c == ',')
894 preferred >>= 1;
895 else if (preferred & 1)
896 {
897 cl = reg_class_for_constraint (lookup_constraint (p));
898 if (cl != NO_REGS)
899 {
900 /* There is no register pressure problem if all of the
901 regs in this class are fixed. */
902 int regno = ira_class_singleton[cl][mode];
903 if (regno >= 0)
904 add_to_hard_reg_set (set, mode, regno);
905 }
906 }
907 }
908 }
909 }
910 /* Processes input operands, if IN_P, or output operands otherwise of
911 the current insn with FREQ to find allocno which can use only one
912 hard register and makes other currently living allocnos conflicting
913 with the hard register. */
914 static void
915 process_single_reg_class_operands (bool in_p, int freq)
916 {
917 int i, regno;
918 unsigned int px;
919 enum reg_class cl;
920 rtx operand;
921 ira_allocno_t operand_a, a;
922
923 for (i = 0; i < recog_data.n_operands; i++)
924 {
925 operand = recog_data.operand[i];
926 if (in_p && recog_data.operand_type[i] != OP_IN
927 && recog_data.operand_type[i] != OP_INOUT)
928 continue;
929 if (! in_p && recog_data.operand_type[i] != OP_OUT
930 && recog_data.operand_type[i] != OP_INOUT)
931 continue;
932 cl = single_reg_operand_class (i);
933 if (cl == NO_REGS)
934 continue;
935
936 operand_a = NULL;
937
938 if (GET_CODE (operand) == SUBREG)
939 operand = SUBREG_REG (operand);
940
941 if (REG_P (operand)
942 && (regno = REGNO (operand)) >= FIRST_PSEUDO_REGISTER)
943 {
944 enum reg_class aclass;
945
946 operand_a = ira_curr_regno_allocno_map[regno];
947 aclass = ALLOCNO_CLASS (operand_a);
948 if (ira_class_subset_p[cl][aclass])
949 {
950 /* View the desired allocation of OPERAND as:
951
952 (REG:YMODE YREGNO),
953
954 a simplification of:
955
956 (subreg:YMODE (reg:XMODE XREGNO) OFFSET). */
957 machine_mode ymode, xmode;
958 int xregno, yregno;
959 poly_int64 offset;
960
961 xmode = recog_data.operand_mode[i];
962 xregno = ira_class_singleton[cl][xmode];
963 gcc_assert (xregno >= 0);
964 ymode = ALLOCNO_MODE (operand_a);
965 offset = subreg_lowpart_offset (ymode, xmode);
966 yregno = simplify_subreg_regno (xregno, xmode, offset, ymode);
967 if (yregno >= 0
968 && ira_class_hard_reg_index[aclass][yregno] >= 0)
969 {
970 int cost;
971
972 ira_allocate_and_set_costs
973 (&ALLOCNO_CONFLICT_HARD_REG_COSTS (operand_a),
974 aclass, 0);
975 ira_init_register_move_cost_if_necessary (xmode);
976 cost = freq * (in_p
977 ? ira_register_move_cost[xmode][aclass][cl]
978 : ira_register_move_cost[xmode][cl][aclass]);
979 ALLOCNO_CONFLICT_HARD_REG_COSTS (operand_a)
980 [ira_class_hard_reg_index[aclass][yregno]] -= cost;
981 }
982 }
983 }
984
985 EXECUTE_IF_SET_IN_SPARSESET (objects_live, px)
986 {
987 ira_object_t obj = ira_object_id_map[px];
988 a = OBJECT_ALLOCNO (obj);
989 if (a != operand_a)
990 {
991 /* We could increase costs of A instead of making it
992 conflicting with the hard register. But it works worse
993 because it will be spilled in reload in anyway. */
994 OBJECT_CONFLICT_HARD_REGS (obj) |= reg_class_contents[cl];
995 OBJECT_TOTAL_CONFLICT_HARD_REGS (obj) |= reg_class_contents[cl];
996 }
997 }
998 }
999 }
1000
1001 /* Look through the CALL_INSN_FUNCTION_USAGE of a call insn INSN, and see if
1002 we find a SET rtx that we can use to deduce that a register can be cheaply
1003 caller-saved. Return such a register, or NULL_RTX if none is found. */
1004 static rtx
1005 find_call_crossed_cheap_reg (rtx_insn *insn)
1006 {
1007 rtx cheap_reg = NULL_RTX;
1008 rtx exp = CALL_INSN_FUNCTION_USAGE (insn);
1009
1010 while (exp != NULL)
1011 {
1012 rtx x = XEXP (exp, 0);
1013 if (GET_CODE (x) == SET)
1014 {
1015 exp = x;
1016 break;
1017 }
1018 exp = XEXP (exp, 1);
1019 }
1020 if (exp != NULL)
1021 {
1022 basic_block bb = BLOCK_FOR_INSN (insn);
1023 rtx reg = SET_SRC (exp);
1024 rtx_insn *prev = PREV_INSN (insn);
1025 while (prev && !(INSN_P (prev)
1026 && BLOCK_FOR_INSN (prev) != bb))
1027 {
1028 if (NONDEBUG_INSN_P (prev))
1029 {
1030 rtx set = single_set (prev);
1031
1032 if (set && rtx_equal_p (SET_DEST (set), reg))
1033 {
1034 rtx src = SET_SRC (set);
1035 if (!REG_P (src) || HARD_REGISTER_P (src)
1036 || !pseudo_regno_single_word_and_live_p (REGNO (src)))
1037 break;
1038 if (!modified_between_p (src, prev, insn))
1039 cheap_reg = src;
1040 break;
1041 }
1042 if (set && rtx_equal_p (SET_SRC (set), reg))
1043 {
1044 rtx dest = SET_DEST (set);
1045 if (!REG_P (dest) || HARD_REGISTER_P (dest)
1046 || !pseudo_regno_single_word_and_live_p (REGNO (dest)))
1047 break;
1048 if (!modified_between_p (dest, prev, insn))
1049 cheap_reg = dest;
1050 break;
1051 }
1052
1053 if (reg_set_p (reg, prev))
1054 break;
1055 }
1056 prev = PREV_INSN (prev);
1057 }
1058 }
1059 return cheap_reg;
1060 }
1061
1062 /* Determine whether INSN is a register to register copy of the type where
1063 we do not need to make the source and destiniation registers conflict.
1064 If this is a copy instruction, then return the source reg. Otherwise,
1065 return NULL_RTX. */
1066 rtx
1067 non_conflicting_reg_copy_p (rtx_insn *insn)
1068 {
1069 /* Reload has issues with overlapping pseudos being assigned to the
1070 same hard register, so don't allow it. See PR87600 for details. */
1071 if (!targetm.lra_p ())
1072 return NULL_RTX;
1073
1074 rtx set = single_set (insn);
1075
1076 /* Disallow anything other than a simple register to register copy
1077 that has no side effects. */
1078 if (set == NULL_RTX
1079 || !REG_P (SET_DEST (set))
1080 || !REG_P (SET_SRC (set))
1081 || side_effects_p (set))
1082 return NULL_RTX;
1083
1084 int dst_regno = REGNO (SET_DEST (set));
1085 int src_regno = REGNO (SET_SRC (set));
1086 machine_mode mode = GET_MODE (SET_DEST (set));
1087
1088 /* By definition, a register does not conflict with itself, therefore we
1089 do not have to handle it specially. Returning NULL_RTX now, helps
1090 simplify the callers of this function. */
1091 if (dst_regno == src_regno)
1092 return NULL_RTX;
1093
1094 /* Computing conflicts for register pairs is difficult to get right, so
1095 for now, disallow it. */
1096 if ((HARD_REGISTER_NUM_P (dst_regno)
1097 && hard_regno_nregs (dst_regno, mode) != 1)
1098 || (HARD_REGISTER_NUM_P (src_regno)
1099 && hard_regno_nregs (src_regno, mode) != 1))
1100 return NULL_RTX;
1101
1102 return SET_SRC (set);
1103 }
1104
1105 /* Process insns of the basic block given by its LOOP_TREE_NODE to
1106 update allocno live ranges, allocno hard register conflicts,
1107 intersected calls, and register pressure info for allocnos for the
1108 basic block for and regions containing the basic block. */
1109 static void
1110 process_bb_node_lives (ira_loop_tree_node_t loop_tree_node)
1111 {
1112 int i, freq;
1113 unsigned int j;
1114 basic_block bb;
1115 rtx_insn *insn;
1116 bitmap_iterator bi;
1117 bitmap reg_live_out;
1118 unsigned int px;
1119 bool set_p;
1120
1121 bb = loop_tree_node->bb;
1122 if (bb != NULL)
1123 {
1124 for (i = 0; i < ira_pressure_classes_num; i++)
1125 {
1126 curr_reg_pressure[ira_pressure_classes[i]] = 0;
1127 high_pressure_start_point[ira_pressure_classes[i]] = -1;
1128 }
1129 curr_bb_node = loop_tree_node;
1130 reg_live_out = df_get_live_out (bb);
1131 sparseset_clear (objects_live);
1132 REG_SET_TO_HARD_REG_SET (hard_regs_live, reg_live_out);
1133 hard_regs_live &= ~(eliminable_regset | ira_no_alloc_regs);
1134 for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
1135 if (TEST_HARD_REG_BIT (hard_regs_live, i))
1136 {
1137 enum reg_class aclass, pclass, cl;
1138
1139 aclass = ira_allocno_class_translate[REGNO_REG_CLASS (i)];
1140 pclass = ira_pressure_class_translate[aclass];
1141 for (j = 0;
1142 (cl = ira_reg_class_super_classes[pclass][j])
1143 != LIM_REG_CLASSES;
1144 j++)
1145 {
1146 if (! ira_reg_pressure_class_p[cl])
1147 continue;
1148 curr_reg_pressure[cl]++;
1149 if (curr_bb_node->reg_pressure[cl] < curr_reg_pressure[cl])
1150 curr_bb_node->reg_pressure[cl] = curr_reg_pressure[cl];
1151 ira_assert (curr_reg_pressure[cl]
1152 <= ira_class_hard_regs_num[cl]);
1153 }
1154 }
1155 EXECUTE_IF_SET_IN_BITMAP (reg_live_out, FIRST_PSEUDO_REGISTER, j, bi)
1156 mark_pseudo_regno_live (j);
1157
1158 freq = REG_FREQ_FROM_BB (bb);
1159 if (freq == 0)
1160 freq = 1;
1161
1162 /* Invalidate all allocno_saved_at_call entries. */
1163 last_call_num++;
1164
1165 /* Scan the code of this basic block, noting which allocnos and
1166 hard regs are born or die.
1167
1168 Note that this loop treats uninitialized values as live until
1169 the beginning of the block. For example, if an instruction
1170 uses (reg:DI foo), and only (subreg:SI (reg:DI foo) 0) is ever
1171 set, FOO will remain live until the beginning of the block.
1172 Likewise if FOO is not set at all. This is unnecessarily
1173 pessimistic, but it probably doesn't matter much in practice. */
1174 FOR_BB_INSNS_REVERSE (bb, insn)
1175 {
1176 ira_allocno_t a;
1177 df_ref def, use;
1178 bool call_p;
1179
1180 if (!NONDEBUG_INSN_P (insn))
1181 continue;
1182
1183 if (internal_flag_ira_verbose > 2 && ira_dump_file != NULL)
1184 fprintf (ira_dump_file, " Insn %u(l%d): point = %d\n",
1185 INSN_UID (insn), loop_tree_node->parent->loop_num,
1186 curr_point);
1187
1188 call_p = CALL_P (insn);
1189 ignore_reg_for_conflicts = non_conflicting_reg_copy_p (insn);
1190
1191 /* Mark each defined value as live. We need to do this for
1192 unused values because they still conflict with quantities
1193 that are live at the time of the definition.
1194
1195 Ignore DF_REF_MAY_CLOBBERs on a call instruction. Such
1196 references represent the effect of the called function
1197 on a call-clobbered register. Marking the register as
1198 live would stop us from allocating it to a call-crossing
1199 allocno. */
1200 FOR_EACH_INSN_DEF (def, insn)
1201 if (!call_p || !DF_REF_FLAGS_IS_SET (def, DF_REF_MAY_CLOBBER))
1202 mark_ref_live (def);
1203
1204 /* If INSN has multiple outputs, then any value used in one
1205 of the outputs conflicts with the other outputs. Model this
1206 by making the used value live during the output phase.
1207
1208 It is unsafe to use !single_set here since it will ignore
1209 an unused output. Just because an output is unused does
1210 not mean the compiler can assume the side effect will not
1211 occur. Consider if ALLOCNO appears in the address of an
1212 output and we reload the output. If we allocate ALLOCNO
1213 to the same hard register as an unused output we could
1214 set the hard register before the output reload insn. */
1215 if (GET_CODE (PATTERN (insn)) == PARALLEL && multiple_sets (insn))
1216 FOR_EACH_INSN_USE (use, insn)
1217 {
1218 int i;
1219 rtx reg;
1220
1221 reg = DF_REF_REG (use);
1222 for (i = XVECLEN (PATTERN (insn), 0) - 1; i >= 0; i--)
1223 {
1224 rtx set;
1225
1226 set = XVECEXP (PATTERN (insn), 0, i);
1227 if (GET_CODE (set) == SET
1228 && reg_overlap_mentioned_p (reg, SET_DEST (set)))
1229 {
1230 /* After the previous loop, this is a no-op if
1231 REG is contained within SET_DEST (SET). */
1232 mark_ref_live (use);
1233 break;
1234 }
1235 }
1236 }
1237
1238 preferred_alternatives = ira_setup_alts (insn);
1239 process_single_reg_class_operands (false, freq);
1240
1241 if (call_p)
1242 {
1243 /* Try to find a SET in the CALL_INSN_FUNCTION_USAGE, and from
1244 there, try to find a pseudo that is live across the call but
1245 can be cheaply reconstructed from the return value. */
1246 rtx cheap_reg = find_call_crossed_cheap_reg (insn);
1247 if (cheap_reg != NULL_RTX)
1248 add_reg_note (insn, REG_RETURNED, cheap_reg);
1249
1250 last_call_num++;
1251 sparseset_clear (allocnos_processed);
1252 /* The current set of live allocnos are live across the call. */
1253 EXECUTE_IF_SET_IN_SPARSESET (objects_live, i)
1254 {
1255 ira_object_t obj = ira_object_id_map[i];
1256 a = OBJECT_ALLOCNO (obj);
1257 int num = ALLOCNO_NUM (a);
1258 function_abi callee_abi = insn_callee_abi (insn);
1259
1260 /* Don't allocate allocnos that cross setjmps or any
1261 call, if this function receives a nonlocal
1262 goto. */
1263 if (cfun->has_nonlocal_label
1264 || (!targetm.setjmp_preserves_nonvolatile_regs_p ()
1265 && (find_reg_note (insn, REG_SETJMP, NULL_RTX)
1266 != NULL_RTX)))
1267 {
1268 SET_HARD_REG_SET (OBJECT_CONFLICT_HARD_REGS (obj));
1269 SET_HARD_REG_SET (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj));
1270 }
1271 if (can_throw_internal (insn))
1272 {
1273 OBJECT_CONFLICT_HARD_REGS (obj)
1274 |= callee_abi.mode_clobbers (ALLOCNO_MODE (a));
1275 OBJECT_TOTAL_CONFLICT_HARD_REGS (obj)
1276 |= callee_abi.mode_clobbers (ALLOCNO_MODE (a));
1277 }
1278
1279 if (sparseset_bit_p (allocnos_processed, num))
1280 continue;
1281 sparseset_set_bit (allocnos_processed, num);
1282
1283 if (allocno_saved_at_call[num] != last_call_num)
1284 /* Here we are mimicking caller-save.c behavior
1285 which does not save hard register at a call if
1286 it was saved on previous call in the same basic
1287 block and the hard register was not mentioned
1288 between the two calls. */
1289 ALLOCNO_CALL_FREQ (a) += freq;
1290 /* Mark it as saved at the next call. */
1291 allocno_saved_at_call[num] = last_call_num + 1;
1292 ALLOCNO_CALLS_CROSSED_NUM (a)++;
1293 ALLOCNO_CROSSED_CALLS_ABIS (a) |= 1 << callee_abi.id ();
1294 ALLOCNO_CROSSED_CALLS_CLOBBERED_REGS (a)
1295 |= callee_abi.full_and_partial_reg_clobbers ();
1296 if (cheap_reg != NULL_RTX
1297 && ALLOCNO_REGNO (a) == (int) REGNO (cheap_reg))
1298 ALLOCNO_CHEAP_CALLS_CROSSED_NUM (a)++;
1299 }
1300 }
1301
1302 /* See which defined values die here. Note that we include
1303 the call insn in the lifetimes of these values, so we don't
1304 mistakenly consider, for e.g. an addressing mode with a
1305 side-effect like a post-increment fetching the address,
1306 that the use happens before the call, and the def to happen
1307 after the call: we believe both to happen before the actual
1308 call. (We don't handle return-values here.) */
1309 FOR_EACH_INSN_DEF (def, insn)
1310 if (!call_p || !DF_REF_FLAGS_IS_SET (def, DF_REF_MAY_CLOBBER))
1311 mark_ref_dead (def);
1312
1313 make_early_clobber_and_input_conflicts ();
1314
1315 curr_point++;
1316
1317 /* Mark each used value as live. */
1318 FOR_EACH_INSN_USE (use, insn)
1319 mark_ref_live (use);
1320
1321 process_single_reg_class_operands (true, freq);
1322
1323 set_p = mark_hard_reg_early_clobbers (insn, true);
1324
1325 if (set_p)
1326 {
1327 mark_hard_reg_early_clobbers (insn, false);
1328
1329 /* Mark each hard reg as live again. For example, a
1330 hard register can be in clobber and in an insn
1331 input. */
1332 FOR_EACH_INSN_USE (use, insn)
1333 {
1334 rtx ureg = DF_REF_REG (use);
1335
1336 if (GET_CODE (ureg) == SUBREG)
1337 ureg = SUBREG_REG (ureg);
1338 if (! REG_P (ureg) || REGNO (ureg) >= FIRST_PSEUDO_REGISTER)
1339 continue;
1340
1341 mark_ref_live (use);
1342 }
1343 }
1344
1345 curr_point++;
1346 }
1347 ignore_reg_for_conflicts = NULL_RTX;
1348
1349 if (bb_has_eh_pred (bb))
1350 for (j = 0; ; ++j)
1351 {
1352 unsigned int regno = EH_RETURN_DATA_REGNO (j);
1353 if (regno == INVALID_REGNUM)
1354 break;
1355 make_hard_regno_live (regno);
1356 }
1357
1358 /* Allocnos can't go in stack regs at the start of a basic block
1359 that is reached by an abnormal edge. Likewise for registers
1360 that are at least partly call clobbered, because caller-save,
1361 fixup_abnormal_edges and possibly the table driven EH machinery
1362 are not quite ready to handle such allocnos live across such
1363 edges. */
1364 if (bb_has_abnormal_pred (bb))
1365 {
1366 #ifdef STACK_REGS
1367 EXECUTE_IF_SET_IN_SPARSESET (objects_live, px)
1368 {
1369 ira_allocno_t a = OBJECT_ALLOCNO (ira_object_id_map[px]);
1370
1371 ALLOCNO_NO_STACK_REG_P (a) = true;
1372 ALLOCNO_TOTAL_NO_STACK_REG_P (a) = true;
1373 }
1374 for (px = FIRST_STACK_REG; px <= LAST_STACK_REG; px++)
1375 make_hard_regno_live (px);
1376 #endif
1377 /* No need to record conflicts for call clobbered regs if we
1378 have nonlocal labels around, as we don't ever try to
1379 allocate such regs in this case. */
1380 if (!cfun->has_nonlocal_label
1381 && has_abnormal_call_or_eh_pred_edge_p (bb))
1382 for (px = 0; px < FIRST_PSEUDO_REGISTER; px++)
1383 if (eh_edge_abi.clobbers_at_least_part_of_reg_p (px)
1384 #ifdef REAL_PIC_OFFSET_TABLE_REGNUM
1385 /* We should create a conflict of PIC pseudo with
1386 PIC hard reg as PIC hard reg can have a wrong
1387 value after jump described by the abnormal edge.
1388 In this case we cannot allocate PIC hard reg to
1389 PIC pseudo as PIC pseudo will also have a wrong
1390 value. This code is not critical as LRA can fix
1391 it but it is better to have the right allocation
1392 earlier. */
1393 || (px == REAL_PIC_OFFSET_TABLE_REGNUM
1394 && pic_offset_table_rtx != NULL_RTX
1395 && REGNO (pic_offset_table_rtx) >= FIRST_PSEUDO_REGISTER)
1396 #endif
1397 )
1398 make_hard_regno_live (px);
1399 }
1400
1401 EXECUTE_IF_SET_IN_SPARSESET (objects_live, i)
1402 make_object_dead (ira_object_id_map[i]);
1403
1404 curr_point++;
1405
1406 }
1407 /* Propagate register pressure to upper loop tree nodes. */
1408 if (loop_tree_node != ira_loop_tree_root)
1409 for (i = 0; i < ira_pressure_classes_num; i++)
1410 {
1411 enum reg_class pclass;
1412
1413 pclass = ira_pressure_classes[i];
1414 if (loop_tree_node->reg_pressure[pclass]
1415 > loop_tree_node->parent->reg_pressure[pclass])
1416 loop_tree_node->parent->reg_pressure[pclass]
1417 = loop_tree_node->reg_pressure[pclass];
1418 }
1419 }
1420
1421 /* Create and set up IRA_START_POINT_RANGES and
1422 IRA_FINISH_POINT_RANGES. */
1423 static void
1424 create_start_finish_chains (void)
1425 {
1426 ira_object_t obj;
1427 ira_object_iterator oi;
1428 live_range_t r;
1429
1430 ira_start_point_ranges
1431 = (live_range_t *) ira_allocate (ira_max_point * sizeof (live_range_t));
1432 memset (ira_start_point_ranges, 0, ira_max_point * sizeof (live_range_t));
1433 ira_finish_point_ranges
1434 = (live_range_t *) ira_allocate (ira_max_point * sizeof (live_range_t));
1435 memset (ira_finish_point_ranges, 0, ira_max_point * sizeof (live_range_t));
1436 FOR_EACH_OBJECT (obj, oi)
1437 for (r = OBJECT_LIVE_RANGES (obj); r != NULL; r = r->next)
1438 {
1439 r->start_next = ira_start_point_ranges[r->start];
1440 ira_start_point_ranges[r->start] = r;
1441 r->finish_next = ira_finish_point_ranges[r->finish];
1442 ira_finish_point_ranges[r->finish] = r;
1443 }
1444 }
1445
1446 /* Rebuild IRA_START_POINT_RANGES and IRA_FINISH_POINT_RANGES after
1447 new live ranges and program points were added as a result if new
1448 insn generation. */
1449 void
1450 ira_rebuild_start_finish_chains (void)
1451 {
1452 ira_free (ira_finish_point_ranges);
1453 ira_free (ira_start_point_ranges);
1454 create_start_finish_chains ();
1455 }
1456
1457 /* Compress allocno live ranges by removing program points where
1458 nothing happens. */
1459 static void
1460 remove_some_program_points_and_update_live_ranges (void)
1461 {
1462 unsigned i;
1463 int n;
1464 int *map;
1465 ira_object_t obj;
1466 ira_object_iterator oi;
1467 live_range_t r, prev_r, next_r;
1468 sbitmap_iterator sbi;
1469 bool born_p, dead_p, prev_born_p, prev_dead_p;
1470
1471 auto_sbitmap born (ira_max_point);
1472 auto_sbitmap dead (ira_max_point);
1473 bitmap_clear (born);
1474 bitmap_clear (dead);
1475 FOR_EACH_OBJECT (obj, oi)
1476 for (r = OBJECT_LIVE_RANGES (obj); r != NULL; r = r->next)
1477 {
1478 ira_assert (r->start <= r->finish);
1479 bitmap_set_bit (born, r->start);
1480 bitmap_set_bit (dead, r->finish);
1481 }
1482
1483 auto_sbitmap born_or_dead (ira_max_point);
1484 bitmap_ior (born_or_dead, born, dead);
1485 map = (int *) ira_allocate (sizeof (int) * ira_max_point);
1486 n = -1;
1487 prev_born_p = prev_dead_p = false;
1488 EXECUTE_IF_SET_IN_BITMAP (born_or_dead, 0, i, sbi)
1489 {
1490 born_p = bitmap_bit_p (born, i);
1491 dead_p = bitmap_bit_p (dead, i);
1492 if ((prev_born_p && ! prev_dead_p && born_p && ! dead_p)
1493 || (prev_dead_p && ! prev_born_p && dead_p && ! born_p))
1494 map[i] = n;
1495 else
1496 map[i] = ++n;
1497 prev_born_p = born_p;
1498 prev_dead_p = dead_p;
1499 }
1500
1501 n++;
1502 if (internal_flag_ira_verbose > 1 && ira_dump_file != NULL)
1503 fprintf (ira_dump_file, "Compressing live ranges: from %d to %d - %d%%\n",
1504 ira_max_point, n, 100 * n / ira_max_point);
1505 ira_max_point = n;
1506
1507 FOR_EACH_OBJECT (obj, oi)
1508 for (r = OBJECT_LIVE_RANGES (obj), prev_r = NULL; r != NULL; r = next_r)
1509 {
1510 next_r = r->next;
1511 r->start = map[r->start];
1512 r->finish = map[r->finish];
1513 if (prev_r == NULL || prev_r->start > r->finish + 1)
1514 {
1515 prev_r = r;
1516 continue;
1517 }
1518 prev_r->start = r->start;
1519 prev_r->next = next_r;
1520 ira_finish_live_range (r);
1521 }
1522
1523 ira_free (map);
1524 }
1525
1526 /* Print live ranges R to file F. */
1527 void
1528 ira_print_live_range_list (FILE *f, live_range_t r)
1529 {
1530 for (; r != NULL; r = r->next)
1531 fprintf (f, " [%d..%d]", r->start, r->finish);
1532 fprintf (f, "\n");
1533 }
1534
1535 DEBUG_FUNCTION void
1536 debug (live_range &ref)
1537 {
1538 ira_print_live_range_list (stderr, &ref);
1539 }
1540
1541 DEBUG_FUNCTION void
1542 debug (live_range *ptr)
1543 {
1544 if (ptr)
1545 debug (*ptr);
1546 else
1547 fprintf (stderr, "<nil>\n");
1548 }
1549
1550 /* Print live ranges R to stderr. */
1551 void
1552 ira_debug_live_range_list (live_range_t r)
1553 {
1554 ira_print_live_range_list (stderr, r);
1555 }
1556
1557 /* Print live ranges of object OBJ to file F. */
1558 static void
1559 print_object_live_ranges (FILE *f, ira_object_t obj)
1560 {
1561 ira_print_live_range_list (f, OBJECT_LIVE_RANGES (obj));
1562 }
1563
1564 /* Print live ranges of allocno A to file F. */
1565 static void
1566 print_allocno_live_ranges (FILE *f, ira_allocno_t a)
1567 {
1568 int n = ALLOCNO_NUM_OBJECTS (a);
1569 int i;
1570
1571 for (i = 0; i < n; i++)
1572 {
1573 fprintf (f, " a%d(r%d", ALLOCNO_NUM (a), ALLOCNO_REGNO (a));
1574 if (n > 1)
1575 fprintf (f, " [%d]", i);
1576 fprintf (f, "):");
1577 print_object_live_ranges (f, ALLOCNO_OBJECT (a, i));
1578 }
1579 }
1580
1581 /* Print live ranges of allocno A to stderr. */
1582 void
1583 ira_debug_allocno_live_ranges (ira_allocno_t a)
1584 {
1585 print_allocno_live_ranges (stderr, a);
1586 }
1587
1588 /* Print live ranges of all allocnos to file F. */
1589 static void
1590 print_live_ranges (FILE *f)
1591 {
1592 ira_allocno_t a;
1593 ira_allocno_iterator ai;
1594
1595 FOR_EACH_ALLOCNO (a, ai)
1596 print_allocno_live_ranges (f, a);
1597 }
1598
1599 /* Print live ranges of all allocnos to stderr. */
1600 void
1601 ira_debug_live_ranges (void)
1602 {
1603 print_live_ranges (stderr);
1604 }
1605
1606 /* The main entry function creates live ranges, set up
1607 CONFLICT_HARD_REGS and TOTAL_CONFLICT_HARD_REGS for objects, and
1608 calculate register pressure info. */
1609 void
1610 ira_create_allocno_live_ranges (void)
1611 {
1612 objects_live = sparseset_alloc (ira_objects_num);
1613 allocnos_processed = sparseset_alloc (ira_allocnos_num);
1614 curr_point = 0;
1615 last_call_num = 0;
1616 allocno_saved_at_call
1617 = (int *) ira_allocate (ira_allocnos_num * sizeof (int));
1618 memset (allocno_saved_at_call, 0, ira_allocnos_num * sizeof (int));
1619 ira_traverse_loop_tree (true, ira_loop_tree_root, NULL,
1620 process_bb_node_lives);
1621 ira_max_point = curr_point;
1622 create_start_finish_chains ();
1623 if (internal_flag_ira_verbose > 2 && ira_dump_file != NULL)
1624 print_live_ranges (ira_dump_file);
1625 /* Clean up. */
1626 ira_free (allocno_saved_at_call);
1627 sparseset_free (objects_live);
1628 sparseset_free (allocnos_processed);
1629 }
1630
1631 /* Compress allocno live ranges. */
1632 void
1633 ira_compress_allocno_live_ranges (void)
1634 {
1635 remove_some_program_points_and_update_live_ranges ();
1636 ira_rebuild_start_finish_chains ();
1637 if (internal_flag_ira_verbose > 2 && ira_dump_file != NULL)
1638 {
1639 fprintf (ira_dump_file, "Ranges after the compression:\n");
1640 print_live_ranges (ira_dump_file);
1641 }
1642 }
1643
1644 /* Free arrays IRA_START_POINT_RANGES and IRA_FINISH_POINT_RANGES. */
1645 void
1646 ira_finish_allocno_live_ranges (void)
1647 {
1648 ira_free (ira_finish_point_ranges);
1649 ira_free (ira_start_point_ranges);
1650 }