CbC/CbC_gcc: gcc/ira-lives.c annotate

annotate gcc/ira-lives.c @ 145:1830386684a0

gcc-9.2.0

author	anatofuz
date	Thu, 13 Feb 2020 11:34:05 +0900
parents	84e7813d76e9
children

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

Mercurial > hg > CbC > CbC_gcc

annotate gcc/ira-lives.c @ 145:1830386684a0