Mercurial > hg > CbC > CbC_gcc
annotate gcc/ira-conflicts.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
rev | line source |
---|---|
0 | 1 /* IRA conflict builder. |
145 | 2 Copyright (C) 2006-2020 Free Software Foundation, Inc. |
0 | 3 Contributed by Vladimir Makarov <vmakarov@redhat.com>. |
4 | |
5 This file is part of GCC. | |
6 | |
7 GCC is free software; you can redistribute it and/or modify it under | |
8 the terms of the GNU General Public License as published by the Free | |
9 Software Foundation; either version 3, or (at your option) any later | |
10 version. | |
11 | |
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 for more details. | |
16 | |
17 You should have received a copy of the GNU General Public License | |
18 along with GCC; see the file COPYING3. If not see | |
19 <http://www.gnu.org/licenses/>. */ | |
20 | |
21 #include "config.h" | |
22 #include "system.h" | |
23 #include "coretypes.h" | |
111 | 24 #include "backend.h" |
0 | 25 #include "target.h" |
111 | 26 #include "rtl.h" |
27 #include "predict.h" | |
28 #include "memmodel.h" | |
29 #include "tm_p.h" | |
0 | 30 #include "insn-config.h" |
111 | 31 #include "regs.h" |
32 #include "ira.h" | |
33 #include "ira-int.h" | |
0 | 34 #include "sparseset.h" |
35 #include "addresses.h" | |
36 | |
37 /* This file contains code responsible for allocno conflict creation, | |
38 allocno copy creation and allocno info accumulation on upper level | |
39 regions. */ | |
40 | |
41 /* ira_allocnos_num array of arrays of bits, recording whether two | |
42 allocno's conflict (can't go in the same hardware register). | |
43 | |
44 Some arrays will be used as conflict bit vector of the | |
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
|
45 corresponding allocnos see function build_object_conflicts. */ |
0 | 46 static IRA_INT_TYPE **conflicts; |
47 | |
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
|
48 /* Macro to test a conflict of C1 and C2 in `conflicts'. */ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
49 #define OBJECTS_CONFLICT_P(C1, C2) \ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
50 (OBJECT_MIN (C1) <= OBJECT_CONFLICT_ID (C2) \ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
51 && OBJECT_CONFLICT_ID (C2) <= OBJECT_MAX (C1) \ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
52 && TEST_MINMAX_SET_BIT (conflicts[OBJECT_CONFLICT_ID (C1)], \ |
f6334be47118
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 OBJECT_CONFLICT_ID (C2), \ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
54 OBJECT_MIN (C1), OBJECT_MAX (C1))) |
0 | 55 |
56 | |
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
|
57 /* Record a conflict between objects OBJ1 and OBJ2. If necessary, |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
58 canonicalize the conflict by recording it for lower-order subobjects |
111 | 59 of the corresponding 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
|
60 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
|
61 record_object_conflict (ira_object_t obj1, ira_object_t obj2) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
62 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
63 ira_allocno_t a1 = OBJECT_ALLOCNO (obj1); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
64 ira_allocno_t a2 = OBJECT_ALLOCNO (obj2); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
65 int w1 = OBJECT_SUBWORD (obj1); |
f6334be47118
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 int w2 = OBJECT_SUBWORD (obj2); |
f6334be47118
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 int id1, id2; |
f6334be47118
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 /* Canonicalize the conflict. If two identically-numbered words |
f6334be47118
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 conflict, always record this as a conflict between words 0. That |
f6334be47118
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 is the only information we need, and it is easier to test for 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
|
72 it is collected in each allocno's lowest-order object. */ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
73 if (w1 == w2 && w1 > 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
|
74 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
75 obj1 = ALLOCNO_OBJECT (a1, 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
|
76 obj2 = ALLOCNO_OBJECT (a2, 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
|
77 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
78 id1 = OBJECT_CONFLICT_ID (obj1); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
79 id2 = OBJECT_CONFLICT_ID (obj2); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
80 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
81 SET_MINMAX_SET_BIT (conflicts[id1], id2, OBJECT_MIN (obj1), |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
82 OBJECT_MAX (obj1)); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
83 SET_MINMAX_SET_BIT (conflicts[id2], id1, OBJECT_MIN (obj2), |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
84 OBJECT_MAX (obj2)); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
85 } |
0 | 86 |
87 /* Build allocno conflict table by processing allocno live ranges. | |
88 Return true if the table was built. The table is not built if it | |
89 is too big. */ | |
90 static bool | |
91 build_conflict_bit_table (void) | |
92 { | |
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
|
93 int i; |
0 | 94 unsigned int j; |
111 | 95 enum reg_class 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
|
96 int object_set_words, allocated_words_num, conflict_bit_vec_words_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
|
97 live_range_t 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
|
98 ira_allocno_t allocno; |
0 | 99 ira_allocno_iterator ai; |
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
|
100 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
|
101 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
|
102 ira_allocno_object_iterator aoi; |
0 | 103 |
104 allocated_words_num = 0; | |
105 FOR_EACH_ALLOCNO (allocno, ai) | |
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 FOR_EACH_ALLOCNO_OBJECT (allocno, obj, aoi) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
107 { |
f6334be47118
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 if (OBJECT_MAX (obj) < OBJECT_MIN (obj)) |
0 | 109 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
|
110 conflict_bit_vec_words_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
|
111 = ((OBJECT_MAX (obj) - OBJECT_MIN (obj) + IRA_INT_BITS) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
112 / IRA_INT_BITS); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
113 allocated_words_num += conflict_bit_vec_words_num; |
111 | 114 if ((uint64_t) allocated_words_num * sizeof (IRA_INT_TYPE) |
145 | 115 > (uint64_t) param_ira_max_conflict_table_size * 1024 * 1024) |
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
|
116 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
117 if (internal_flag_ira_verbose > 0 && ira_dump_file != 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
|
118 fprintf |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
119 (ira_dump_file, |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
120 "+++Conflict table will be too big(>%dMB) -- don't use it\n", |
145 | 121 param_ira_max_conflict_table_size); |
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
|
122 return false; |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
123 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
124 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
125 |
0 | 126 conflicts = (IRA_INT_TYPE **) ira_allocate (sizeof (IRA_INT_TYPE *) |
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 * ira_objects_num); |
0 | 128 allocated_words_num = 0; |
129 FOR_EACH_ALLOCNO (allocno, ai) | |
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
|
130 FOR_EACH_ALLOCNO_OBJECT (allocno, obj, aoi) |
f6334be47118
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 { |
f6334be47118
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 int id = 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
|
133 if (OBJECT_MAX (obj) < OBJECT_MIN (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
|
134 { |
f6334be47118
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 conflicts[id] = 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
|
136 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
|
137 } |
f6334be47118
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 conflict_bit_vec_words_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
|
139 = ((OBJECT_MAX (obj) - OBJECT_MIN (obj) + IRA_INT_BITS) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
140 / IRA_INT_BITS); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
141 allocated_words_num += conflict_bit_vec_words_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
|
142 conflicts[id] |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
143 = (IRA_INT_TYPE *) ira_allocate (sizeof (IRA_INT_TYPE) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
144 * conflict_bit_vec_words_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
|
145 memset (conflicts[id], 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
|
146 sizeof (IRA_INT_TYPE) * conflict_bit_vec_words_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
|
147 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
148 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
149 object_set_words = (ira_objects_num + IRA_INT_BITS - 1) / IRA_INT_BITS; |
0 | 150 if (internal_flag_ira_verbose > 0 && ira_dump_file != NULL) |
151 fprintf | |
152 (ira_dump_file, | |
153 "+++Allocating %ld bytes for conflict table (uncompressed size %ld)\n", | |
154 (long) allocated_words_num * sizeof (IRA_INT_TYPE), | |
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
|
155 (long) object_set_words * ira_objects_num * sizeof (IRA_INT_TYPE)); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
156 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
157 objects_live = sparseset_alloc (ira_objects_num); |
0 | 158 for (i = 0; i < ira_max_point; i++) |
159 { | |
160 for (r = ira_start_point_ranges[i]; r != NULL; r = r->start_next) | |
161 { | |
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
|
162 ira_object_t obj = r->object; |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
163 ira_allocno_t allocno = OBJECT_ALLOCNO (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
|
164 int id = 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
|
165 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
166 gcc_assert (id < 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
|
167 |
111 | 168 aclass = ALLOCNO_CLASS (allocno); |
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
|
169 EXECUTE_IF_SET_IN_SPARSESET (objects_live, j) |
0 | 170 { |
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
|
171 ira_object_t live_obj = ira_object_id_map[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
|
172 ira_allocno_t live_a = OBJECT_ALLOCNO (live_obj); |
111 | 173 enum reg_class live_aclass = ALLOCNO_CLASS (live_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
|
174 |
111 | 175 if (ira_reg_classes_intersect_p[aclass][live_aclass] |
0 | 176 /* Don't set up conflict for the allocno with itself. */ |
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
|
177 && live_a != allocno) |
0 | 178 { |
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
|
179 record_object_conflict (obj, live_obj); |
0 | 180 } |
181 } | |
111 | 182 sparseset_set_bit (objects_live, id); |
0 | 183 } |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
184 |
0 | 185 for (r = ira_finish_point_ranges[i]; r != NULL; r = r->finish_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
|
186 sparseset_clear_bit (objects_live, OBJECT_CONFLICT_ID (r->object)); |
0 | 187 } |
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
|
188 sparseset_free (objects_live); |
0 | 189 return true; |
190 } | |
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
|
191 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
192 /* Return true iff allocnos A1 and A2 cannot be allocated to the same |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
193 register due to conflicts. */ |
0 | 194 |
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
|
195 static bool |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
196 allocnos_conflict_for_copy_p (ira_allocno_t a1, ira_allocno_t a2) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
197 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
198 /* Due to the fact that we canonicalize conflicts (see |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
199 record_object_conflict), we only need to test for conflicts 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
|
200 the lowest order words. */ |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
201 ira_object_t obj1 = ALLOCNO_OBJECT (a1, 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
|
202 ira_object_t obj2 = ALLOCNO_OBJECT (a2, 0); |
111 | 203 |
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
|
204 return OBJECTS_CONFLICT_P (obj1, obj2); |
f6334be47118
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 } |
0 | 206 |
207 /* Check that X is REG or SUBREG of REG. */ | |
208 #define REG_SUBREG_P(x) \ | |
209 (REG_P (x) || (GET_CODE (x) == SUBREG && REG_P (SUBREG_REG (x)))) | |
210 | |
211 /* Return X if X is a REG, otherwise it should be SUBREG of REG and | |
212 the function returns the reg in this case. *OFFSET will be set to | |
213 0 in the first case or the regno offset in the first case. */ | |
214 static rtx | |
215 go_through_subreg (rtx x, int *offset) | |
216 { | |
217 rtx reg; | |
218 | |
219 *offset = 0; | |
220 if (REG_P (x)) | |
221 return x; | |
222 ira_assert (GET_CODE (x) == SUBREG); | |
223 reg = SUBREG_REG (x); | |
224 ira_assert (REG_P (reg)); | |
225 if (REGNO (reg) < FIRST_PSEUDO_REGISTER) | |
226 *offset = subreg_regno_offset (REGNO (reg), GET_MODE (reg), | |
227 SUBREG_BYTE (x), GET_MODE (x)); | |
131 | 228 else if (!can_div_trunc_p (SUBREG_BYTE (x), |
229 REGMODE_NATURAL_SIZE (GET_MODE (x)), offset)) | |
230 /* Checked by validate_subreg. We must know at compile time which | |
231 inner hard registers are being accessed. */ | |
232 gcc_unreachable (); | |
0 | 233 return reg; |
234 } | |
235 | |
236 /* Process registers REG1 and REG2 in move INSN with execution | |
237 frequency FREQ. The function also processes the registers in a | |
238 potential move insn (INSN == NULL in this case) with frequency | |
239 FREQ. The function can modify hard register costs of the | |
240 corresponding allocnos or create a copy involving the corresponding | |
241 allocnos. The function does nothing if the both registers are hard | |
242 registers. When nothing is changed, the function returns | |
243 FALSE. */ | |
244 static bool | |
245 process_regs_for_copy (rtx reg1, rtx reg2, bool constraint_p, | |
111 | 246 rtx_insn *insn, int freq) |
0 | 247 { |
248 int allocno_preferenced_hard_regno, cost, index, offset1, offset2; | |
249 bool only_regs_p; | |
250 ira_allocno_t a; | |
111 | 251 reg_class_t rclass, aclass; |
252 machine_mode mode; | |
0 | 253 ira_copy_t cp; |
254 | |
255 gcc_assert (REG_SUBREG_P (reg1) && REG_SUBREG_P (reg2)); | |
256 only_regs_p = REG_P (reg1) && REG_P (reg2); | |
257 reg1 = go_through_subreg (reg1, &offset1); | |
258 reg2 = go_through_subreg (reg2, &offset2); | |
259 /* Set up hard regno preferenced by allocno. If allocno gets the | |
260 hard regno the copy (or potential move) insn will be removed. */ | |
261 if (HARD_REGISTER_P (reg1)) | |
262 { | |
263 if (HARD_REGISTER_P (reg2)) | |
264 return false; | |
265 allocno_preferenced_hard_regno = REGNO (reg1) + offset1 - offset2; | |
266 a = ira_curr_regno_allocno_map[REGNO (reg2)]; | |
267 } | |
268 else if (HARD_REGISTER_P (reg2)) | |
269 { | |
270 allocno_preferenced_hard_regno = REGNO (reg2) + offset2 - offset1; | |
271 a = ira_curr_regno_allocno_map[REGNO (reg1)]; | |
272 } | |
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
|
273 else |
0 | 274 { |
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
|
275 ira_allocno_t a1 = ira_curr_regno_allocno_map[REGNO (reg1)]; |
f6334be47118
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 ira_allocno_t a2 = ira_curr_regno_allocno_map[REGNO (reg2)]; |
111 | 277 |
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
|
278 if (!allocnos_conflict_for_copy_p (a1, a2) && offset1 == offset2) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
279 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
280 cp = ira_add_allocno_copy (a1, a2, freq, constraint_p, 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
|
281 ira_curr_loop_tree_node); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
282 bitmap_set_bit (ira_curr_loop_tree_node->local_copies, cp->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
|
283 return 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
|
284 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
285 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
|
286 return false; |
0 | 287 } |
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
|
288 |
111 | 289 if (! IN_RANGE (allocno_preferenced_hard_regno, |
290 0, FIRST_PSEUDO_REGISTER - 1)) | |
145 | 291 /* Cannot be tied. */ |
0 | 292 return false; |
293 rclass = REGNO_REG_CLASS (allocno_preferenced_hard_regno); | |
294 mode = ALLOCNO_MODE (a); | |
111 | 295 aclass = ALLOCNO_CLASS (a); |
0 | 296 if (only_regs_p && insn != NULL_RTX |
111 | 297 && reg_class_size[rclass] <= ira_reg_class_max_nregs [rclass][mode]) |
0 | 298 /* It is already taken into account in ira-costs.c. */ |
299 return false; | |
111 | 300 index = ira_class_hard_reg_index[aclass][allocno_preferenced_hard_regno]; |
0 | 301 if (index < 0) |
145 | 302 /* Cannot be tied. It is not in the allocno class. */ |
0 | 303 return false; |
111 | 304 ira_init_register_move_cost_if_necessary (mode); |
0 | 305 if (HARD_REGISTER_P (reg1)) |
111 | 306 cost = ira_register_move_cost[mode][aclass][rclass] * freq; |
0 | 307 else |
111 | 308 cost = ira_register_move_cost[mode][rclass][aclass] * freq; |
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 do |
0 | 310 { |
311 ira_allocate_and_set_costs | |
111 | 312 (&ALLOCNO_HARD_REG_COSTS (a), aclass, |
313 ALLOCNO_CLASS_COST (a)); | |
0 | 314 ira_allocate_and_set_costs |
111 | 315 (&ALLOCNO_CONFLICT_HARD_REG_COSTS (a), aclass, 0); |
0 | 316 ALLOCNO_HARD_REG_COSTS (a)[index] -= cost; |
317 ALLOCNO_CONFLICT_HARD_REG_COSTS (a)[index] -= cost; | |
111 | 318 if (ALLOCNO_HARD_REG_COSTS (a)[index] < ALLOCNO_CLASS_COST (a)) |
319 ALLOCNO_CLASS_COST (a) = ALLOCNO_HARD_REG_COSTS (a)[index]; | |
320 ira_add_allocno_pref (a, allocno_preferenced_hard_regno, freq); | |
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 a = ira_parent_or_cap_allocno (a); |
0 | 322 } |
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
|
323 while (a != NULL); |
0 | 324 return true; |
325 } | |
326 | |
145 | 327 /* Return true if output operand OUTPUT and input operand INPUT of |
328 INSN can use the same register class for at least one alternative. | |
329 INSN is already described in recog_data and recog_op_alt. */ | |
330 static bool | |
331 can_use_same_reg_p (rtx_insn *insn, int output, int input) | |
332 { | |
333 alternative_mask preferred = get_preferred_alternatives (insn); | |
334 for (int nalt = 0; nalt < recog_data.n_alternatives; nalt++) | |
335 { | |
336 if (!TEST_BIT (preferred, nalt)) | |
337 continue; | |
338 | |
339 const operand_alternative *op_alt | |
340 = &recog_op_alt[nalt * recog_data.n_operands]; | |
341 if (op_alt[input].matches == output) | |
342 return true; | |
343 | |
344 if (ira_reg_class_intersect[op_alt[input].cl][op_alt[output].cl] | |
345 != NO_REGS) | |
346 return true; | |
347 } | |
348 return false; | |
349 } | |
350 | |
351 /* Process all of the output registers of the current insn (INSN) which | |
352 are not bound (BOUND_P) and the input register REG (its operand number | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
353 OP_NUM) which dies in the insn as if there were a move insn between |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
354 them with frequency FREQ. */ |
0 | 355 static void |
145 | 356 process_reg_shuffles (rtx_insn *insn, rtx reg, int op_num, int freq, |
357 bool *bound_p) | |
0 | 358 { |
359 int i; | |
360 rtx another_reg; | |
361 | |
362 gcc_assert (REG_SUBREG_P (reg)); | |
363 for (i = 0; i < recog_data.n_operands; i++) | |
364 { | |
365 another_reg = recog_data.operand[i]; | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
366 |
0 | 367 if (!REG_SUBREG_P (another_reg) || op_num == i |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
368 || recog_data.operand_type[i] != OP_OUT |
145 | 369 || bound_p[i] |
370 || (!can_use_same_reg_p (insn, i, op_num) | |
371 && (recog_data.constraints[op_num][0] != '%' | |
372 || !can_use_same_reg_p (insn, i, op_num + 1)) | |
373 && (op_num == 0 | |
374 || recog_data.constraints[op_num - 1][0] != '%' | |
375 || !can_use_same_reg_p (insn, i, op_num - 1)))) | |
0 | 376 continue; |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
377 |
111 | 378 process_regs_for_copy (reg, another_reg, false, NULL, freq); |
0 | 379 } |
380 } | |
381 | |
382 /* Process INSN and create allocno copies if necessary. For example, | |
383 it might be because INSN is a pseudo-register move or INSN is two | |
384 operand insn. */ | |
385 static void | |
111 | 386 add_insn_allocno_copies (rtx_insn *insn) |
0 | 387 { |
388 rtx set, operand, dup; | |
111 | 389 bool bound_p[MAX_RECOG_OPERANDS]; |
390 int i, n, freq; | |
145 | 391 alternative_mask alts; |
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
|
392 |
0 | 393 freq = REG_FREQ_FROM_BB (BLOCK_FOR_INSN (insn)); |
394 if (freq == 0) | |
395 freq = 1; | |
396 if ((set = single_set (insn)) != NULL_RTX | |
397 && REG_SUBREG_P (SET_DEST (set)) && REG_SUBREG_P (SET_SRC (set)) | |
398 && ! side_effects_p (set) | |
399 && find_reg_note (insn, REG_DEAD, | |
400 REG_P (SET_SRC (set)) | |
401 ? SET_SRC (set) | |
402 : SUBREG_REG (SET_SRC (set))) != NULL_RTX) | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
403 { |
111 | 404 process_regs_for_copy (SET_SRC (set), SET_DEST (set), |
405 false, insn, freq); | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
406 return; |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
407 } |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
408 /* Fast check of possibility of constraint or shuffle copies. If |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
409 there are no dead registers, there will be no such copies. */ |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
410 if (! find_reg_note (insn, REG_DEAD, NULL_RTX)) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
411 return; |
145 | 412 alts = ira_setup_alts (insn); |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
413 for (i = 0; i < recog_data.n_operands; i++) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
414 bound_p[i] = false; |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
415 for (i = 0; i < recog_data.n_operands; i++) |
0 | 416 { |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
417 operand = recog_data.operand[i]; |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
418 if (! REG_SUBREG_P (operand)) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
419 continue; |
111 | 420 if ((n = ira_get_dup_out_num (i, alts)) >= 0) |
421 { | |
422 bound_p[n] = true; | |
423 dup = recog_data.operand[n]; | |
424 if (REG_SUBREG_P (dup) | |
425 && find_reg_note (insn, REG_DEAD, | |
426 REG_P (operand) | |
427 ? operand | |
428 : SUBREG_REG (operand)) != NULL_RTX) | |
429 process_regs_for_copy (operand, dup, true, NULL, | |
430 freq); | |
431 } | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
432 } |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
433 for (i = 0; i < recog_data.n_operands; i++) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
434 { |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
435 operand = recog_data.operand[i]; |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
436 if (REG_SUBREG_P (operand) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
437 && find_reg_note (insn, REG_DEAD, |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
438 REG_P (operand) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
439 ? operand : SUBREG_REG (operand)) != NULL_RTX) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
440 /* If an operand dies, prefer its hard register for the output |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
441 operands by decreasing the hard register cost or creating |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
442 the corresponding allocno copies. The cost will not |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
443 correspond to a real move insn cost, so make the frequency |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
444 smaller. */ |
145 | 445 process_reg_shuffles (insn, operand, i, freq < 8 ? 1 : freq / 8, |
446 bound_p); | |
0 | 447 } |
448 } | |
449 | |
450 /* Add copies originated from BB given by LOOP_TREE_NODE. */ | |
451 static void | |
452 add_copies (ira_loop_tree_node_t loop_tree_node) | |
453 { | |
454 basic_block bb; | |
111 | 455 rtx_insn *insn; |
0 | 456 |
457 bb = loop_tree_node->bb; | |
458 if (bb == NULL) | |
459 return; | |
460 FOR_BB_INSNS (bb, insn) | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
461 if (NONDEBUG_INSN_P (insn)) |
0 | 462 add_insn_allocno_copies (insn); |
463 } | |
464 | |
465 /* Propagate copies the corresponding allocnos on upper loop tree | |
466 level. */ | |
467 static void | |
468 propagate_copies (void) | |
469 { | |
470 ira_copy_t cp; | |
471 ira_copy_iterator ci; | |
472 ira_allocno_t a1, a2, parent_a1, parent_a2; | |
473 | |
474 FOR_EACH_COPY (cp, ci) | |
475 { | |
476 a1 = cp->first; | |
477 a2 = cp->second; | |
478 if (ALLOCNO_LOOP_TREE_NODE (a1) == ira_loop_tree_root) | |
479 continue; | |
480 ira_assert ((ALLOCNO_LOOP_TREE_NODE (a2) != ira_loop_tree_root)); | |
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
|
481 parent_a1 = ira_parent_or_cap_allocno (a1); |
f6334be47118
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 parent_a2 = ira_parent_or_cap_allocno (a2); |
0 | 483 ira_assert (parent_a1 != NULL && parent_a2 != NULL); |
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
|
484 if (! allocnos_conflict_for_copy_p (parent_a1, parent_a2)) |
0 | 485 ira_add_allocno_copy (parent_a1, parent_a2, cp->freq, |
486 cp->constraint_p, cp->insn, cp->loop_tree_node); | |
487 } | |
488 } | |
489 | |
490 /* Array used to collect all conflict allocnos for given allocno. */ | |
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
|
491 static ira_object_t *collected_conflict_objects; |
0 | 492 |
493 /* Build conflict vectors or bit conflict vectors (whatever is more | |
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
|
494 profitable) for object OBJ from the conflict table. */ |
0 | 495 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
|
496 build_object_conflicts (ira_object_t obj) |
0 | 497 { |
498 int i, px, parent_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
|
499 ira_allocno_t parent_a, another_parent_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
|
500 ira_object_t parent_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
|
501 ira_allocno_t a = OBJECT_ALLOCNO (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
|
502 IRA_INT_TYPE *object_conflicts; |
f6334be47118
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 minmax_set_iterator asi; |
111 | 504 int parent_min, parent_max ATTRIBUTE_UNUSED; |
0 | 505 |
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
|
506 object_conflicts = conflicts[OBJECT_CONFLICT_ID (obj)]; |
0 | 507 px = 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
|
508 FOR_EACH_BIT_IN_MINMAX_SET (object_conflicts, |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
509 OBJECT_MIN (obj), OBJECT_MAX (obj), i, asi) |
0 | 510 { |
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
|
511 ira_object_t another_obj = ira_object_id_map[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
|
512 ira_allocno_t another_a = OBJECT_ALLOCNO (obj); |
111 | 513 |
0 | 514 ira_assert (ira_reg_classes_intersect_p |
111 | 515 [ALLOCNO_CLASS (a)][ALLOCNO_CLASS (another_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
|
516 collected_conflict_objects[px++] = another_obj; |
0 | 517 } |
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
|
518 if (ira_conflict_vector_profitable_p (obj, px)) |
0 | 519 { |
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
|
520 ira_object_t *vec; |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
521 ira_allocate_conflict_vec (obj, 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
|
522 vec = OBJECT_CONFLICT_VEC (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
|
523 memcpy (vec, collected_conflict_objects, sizeof (ira_object_t) * px); |
0 | 524 vec[px] = NULL; |
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
|
525 OBJECT_NUM_CONFLICTS (obj) = px; |
0 | 526 } |
527 else | |
528 { | |
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
|
529 int conflict_bit_vec_words_num; |
111 | 530 |
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
|
531 OBJECT_CONFLICT_ARRAY (obj) = object_conflicts; |
f6334be47118
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 if (OBJECT_MAX (obj) < OBJECT_MIN (obj)) |
0 | 533 conflict_bit_vec_words_num = 0; |
534 else | |
535 conflict_bit_vec_words_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
|
536 = ((OBJECT_MAX (obj) - OBJECT_MIN (obj) + IRA_INT_BITS) |
0 | 537 / IRA_INT_BITS); |
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
|
538 OBJECT_CONFLICT_ARRAY_SIZE (obj) |
0 | 539 = conflict_bit_vec_words_num * sizeof (IRA_INT_TYPE); |
540 } | |
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
|
541 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
542 parent_a = ira_parent_or_cap_allocno (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
|
543 if (parent_a == NULL) |
0 | 544 return; |
111 | 545 ira_assert (ALLOCNO_CLASS (a) == ALLOCNO_CLASS (parent_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
|
546 ira_assert (ALLOCNO_NUM_OBJECTS (a) == ALLOCNO_NUM_OBJECTS (parent_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
|
547 parent_obj = ALLOCNO_OBJECT (parent_a, OBJECT_SUBWORD (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
|
548 parent_num = OBJECT_CONFLICT_ID (parent_obj); |
111 | 549 parent_min = OBJECT_MIN (parent_obj); |
550 parent_max = OBJECT_MAX (parent_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
|
551 FOR_EACH_BIT_IN_MINMAX_SET (object_conflicts, |
f6334be47118
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 OBJECT_MIN (obj), OBJECT_MAX (obj), i, asi) |
0 | 553 { |
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
|
554 ira_object_t another_obj = ira_object_id_map[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
|
555 ira_allocno_t another_a = OBJECT_ALLOCNO (another_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
|
556 int another_word = OBJECT_SUBWORD (another_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
|
557 |
0 | 558 ira_assert (ira_reg_classes_intersect_p |
111 | 559 [ALLOCNO_CLASS (a)][ALLOCNO_CLASS (another_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
|
560 |
f6334be47118
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 another_parent_a = ira_parent_or_cap_allocno (another_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
|
562 if (another_parent_a == NULL) |
0 | 563 continue; |
564 ira_assert (ALLOCNO_NUM (another_parent_a) >= 0); | |
111 | 565 ira_assert (ALLOCNO_CLASS (another_a) |
566 == ALLOCNO_CLASS (another_parent_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
|
567 ira_assert (ALLOCNO_NUM_OBJECTS (another_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
|
568 == ALLOCNO_NUM_OBJECTS (another_parent_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
|
569 SET_MINMAX_SET_BIT (conflicts[parent_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
|
570 OBJECT_CONFLICT_ID (ALLOCNO_OBJECT (another_parent_a, |
111 | 571 another_word)), |
572 parent_min, parent_max); | |
0 | 573 } |
574 } | |
575 | |
576 /* Build conflict vectors or bit conflict vectors (whatever is more | |
577 profitable) of all allocnos from the conflict table. */ | |
578 static void | |
579 build_conflicts (void) | |
580 { | |
581 int i; | |
582 ira_allocno_t a, cap; | |
583 | |
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
|
584 collected_conflict_objects |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
585 = (ira_object_t *) ira_allocate (sizeof (ira_object_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
|
586 * ira_objects_num); |
0 | 587 for (i = max_reg_num () - 1; i >= FIRST_PSEUDO_REGISTER; i--) |
588 for (a = ira_regno_allocno_map[i]; | |
589 a != NULL; | |
590 a = ALLOCNO_NEXT_REGNO_ALLOCNO (a)) | |
591 { | |
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
|
592 int j, nregs = 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
|
593 for (j = 0; j < nregs; 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
|
594 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
595 ira_object_t obj = ALLOCNO_OBJECT (a, 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
|
596 build_object_conflicts (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
|
597 for (cap = ALLOCNO_CAP (a); cap != NULL; cap = ALLOCNO_CAP (cap)) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
598 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
599 ira_object_t cap_obj = ALLOCNO_OBJECT (cap, 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
|
600 gcc_assert (ALLOCNO_NUM_OBJECTS (cap) == 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
|
601 build_object_conflicts (cap_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
|
602 } |
f6334be47118
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 } |
0 | 604 } |
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 ira_free (collected_conflict_objects); |
0 | 606 } |
607 | |
608 | |
609 | |
610 /* Print hard reg set SET with TITLE to FILE. */ | |
611 static void | |
612 print_hard_reg_set (FILE *file, const char *title, HARD_REG_SET set) | |
613 { | |
145 | 614 int i, start, end; |
0 | 615 |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
616 fputs (title, file); |
145 | 617 for (start = end = -1, i = 0; i < FIRST_PSEUDO_REGISTER; i++) |
0 | 618 { |
145 | 619 bool reg_included = TEST_HARD_REG_BIT (set, i); |
620 | |
621 if (reg_included) | |
0 | 622 { |
145 | 623 if (start == -1) |
0 | 624 start = i; |
145 | 625 end = i; |
0 | 626 } |
145 | 627 if (start >= 0 && (!reg_included || i == FIRST_PSEUDO_REGISTER - 1)) |
0 | 628 { |
145 | 629 if (start == end) |
0 | 630 fprintf (file, " %d", start); |
145 | 631 else if (start == end + 1) |
632 fprintf (file, " %d %d", start, end); | |
0 | 633 else |
145 | 634 fprintf (file, " %d-%d", start, end); |
0 | 635 start = -1; |
636 } | |
637 } | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
638 putc ('\n', file); |
0 | 639 } |
640 | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
641 static void |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
642 print_allocno_conflicts (FILE * file, bool reg_p, ira_allocno_t a) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
643 { |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
644 HARD_REG_SET conflicting_hard_regs; |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
645 basic_block 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
|
646 int n, i; |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
647 |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
648 if (reg_p) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
649 fprintf (file, ";; r%d", ALLOCNO_REGNO (a)); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
650 else |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
651 { |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
652 fprintf (file, ";; a%d(r%d,", ALLOCNO_NUM (a), ALLOCNO_REGNO (a)); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
653 if ((bb = ALLOCNO_LOOP_TREE_NODE (a)->bb) != NULL) |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
654 fprintf (file, "b%d", bb->index); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
655 else |
111 | 656 fprintf (file, "l%d", ALLOCNO_LOOP_TREE_NODE (a)->loop_num); |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
657 putc (')', file); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
658 } |
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
|
659 |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
660 fputs (" conflicts:", file); |
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
|
661 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
|
662 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
|
663 { |
f6334be47118
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 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
|
665 ira_object_t conflict_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
|
666 ira_object_conflict_iterator oci; |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
667 |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
668 if (OBJECT_CONFLICT_ARRAY (obj) == NULL) |
145 | 669 { |
670 fprintf (file, "\n;; total conflict hard regs:\n"); | |
671 fprintf (file, ";; conflict hard regs:\n\n"); | |
672 continue; | |
673 } | |
674 | |
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
|
675 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
|
676 fprintf (file, "\n;; subobject %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
|
677 FOR_EACH_OBJECT_CONFLICT (obj, conflict_obj, oci) |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
678 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
679 ira_allocno_t conflict_a = OBJECT_ALLOCNO (conflict_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
|
680 if (reg_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
|
681 fprintf (file, " r%d,", ALLOCNO_REGNO (conflict_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
|
682 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
|
683 { |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
684 fprintf (file, " a%d(r%d", ALLOCNO_NUM (conflict_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
|
685 ALLOCNO_REGNO (conflict_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
|
686 if (ALLOCNO_NUM_OBJECTS (conflict_a) > 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
|
687 fprintf (file, ",w%d", OBJECT_SUBWORD (conflict_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
|
688 if ((bb = ALLOCNO_LOOP_TREE_NODE (conflict_a)->bb) != 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
|
689 fprintf (file, ",b%d", bb->index); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
690 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
|
691 fprintf (file, ",l%d", |
111 | 692 ALLOCNO_LOOP_TREE_NODE (conflict_a)->loop_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
|
693 putc (')', file); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
694 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
695 } |
145 | 696 conflicting_hard_regs = (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj) |
697 & ~ira_no_alloc_regs | |
698 & reg_class_contents[ALLOCNO_CLASS (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
|
699 print_hard_reg_set (file, "\n;; total conflict hard regs:", |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
700 conflicting_hard_regs); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
701 |
145 | 702 conflicting_hard_regs = (OBJECT_CONFLICT_HARD_REGS (obj) |
703 & ~ira_no_alloc_regs | |
704 & reg_class_contents[ALLOCNO_CLASS (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
|
705 print_hard_reg_set (file, ";; conflict hard regs:", |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
706 conflicting_hard_regs); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
707 putc ('\n', file); |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
708 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
709 |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
710 } |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
711 |
0 | 712 /* Print information about allocno or only regno (if REG_P) conflicts |
713 to FILE. */ | |
714 static void | |
715 print_conflicts (FILE *file, bool reg_p) | |
716 { | |
717 ira_allocno_t a; | |
718 ira_allocno_iterator ai; | |
719 | |
720 FOR_EACH_ALLOCNO (a, ai) | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
721 print_allocno_conflicts (file, reg_p, a); |
145 | 722 putc ('\n', file); |
0 | 723 } |
724 | |
725 /* Print information about allocno or only regno (if REG_P) conflicts | |
726 to stderr. */ | |
727 void | |
728 ira_debug_conflicts (bool reg_p) | |
729 { | |
730 print_conflicts (stderr, reg_p); | |
731 } | |
732 | |
733 | |
734 | |
735 /* Entry function which builds allocno conflicts and allocno copies | |
736 and accumulate some allocno info on upper level regions. */ | |
737 void | |
738 ira_build_conflicts (void) | |
739 { | |
111 | 740 enum reg_class base; |
0 | 741 ira_allocno_t a; |
742 ira_allocno_iterator ai; | |
743 HARD_REG_SET temp_hard_reg_set; | |
744 | |
745 if (ira_conflicts_p) | |
746 { | |
747 ira_conflicts_p = build_conflict_bit_table (); | |
748 if (ira_conflicts_p) | |
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 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
|
751 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
|
752 |
0 | 753 build_conflicts (); |
111 | 754 ira_traverse_loop_tree (true, ira_loop_tree_root, add_copies, NULL); |
0 | 755 /* We need finished conflict table for the subsequent call. */ |
756 if (flag_ira_region == IRA_REGION_ALL | |
757 || flag_ira_region == IRA_REGION_MIXED) | |
758 propagate_copies (); | |
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
|
759 |
0 | 760 /* Now we can free memory for the conflict table (see function |
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 build_object_conflicts for details). */ |
f6334be47118
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 FOR_EACH_OBJECT (obj, oi) |
0 | 763 { |
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
|
764 if (OBJECT_CONFLICT_ARRAY (obj) != conflicts[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
|
765 ira_free (conflicts[OBJECT_CONFLICT_ID (obj)]); |
0 | 766 } |
767 ira_free (conflicts); | |
768 } | |
769 } | |
111 | 770 base = base_reg_class (VOIDmode, ADDR_SPACE_GENERIC, ADDRESS, SCRATCH); |
771 if (! targetm.class_likely_spilled_p (base)) | |
0 | 772 CLEAR_HARD_REG_SET (temp_hard_reg_set); |
773 else | |
145 | 774 temp_hard_reg_set = reg_class_contents[base] & ~ira_no_alloc_regs; |
0 | 775 FOR_EACH_ALLOCNO (a, ai) |
776 { | |
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
|
777 int i, n = ALLOCNO_NUM_OBJECTS (a); |
111 | 778 |
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
|
779 for (i = 0; i < n; i++) |
0 | 780 { |
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
|
781 ira_object_t obj = ALLOCNO_OBJECT (a, i); |
111 | 782 rtx allocno_reg = regno_reg_rtx [ALLOCNO_REGNO (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
|
783 |
145 | 784 /* For debugging purposes don't put user defined variables in |
785 callee-clobbered registers. However, do allow parameters | |
786 in callee-clobbered registers to improve debugging. This | |
787 is a bit of a fragile hack. */ | |
788 if (optimize == 0 | |
789 && REG_USERVAR_P (allocno_reg) | |
790 && ! reg_is_parm_p (allocno_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
|
791 { |
145 | 792 HARD_REG_SET new_conflict_regs = crtl->abi->full_reg_clobbers (); |
793 OBJECT_TOTAL_CONFLICT_HARD_REGS (obj) |= new_conflict_regs; | |
794 OBJECT_CONFLICT_HARD_REGS (obj) |= new_conflict_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
|
795 } |
145 | 796 |
797 if (ALLOCNO_CALLS_CROSSED_NUM (a) != 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
|
798 { |
145 | 799 HARD_REG_SET new_conflict_regs = ira_need_caller_save_regs (a); |
800 if (flag_caller_saves) | |
801 new_conflict_regs &= (~savable_regs | temp_hard_reg_set); | |
802 OBJECT_TOTAL_CONFLICT_HARD_REGS (obj) |= new_conflict_regs; | |
803 OBJECT_CONFLICT_HARD_REGS (obj) |= new_conflict_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
|
804 } |
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
805 |
111 | 806 /* Now we deal with paradoxical subreg cases where certain registers |
807 cannot be accessed in the widest mode. */ | |
808 machine_mode outer_mode = ALLOCNO_WMODE (a); | |
809 machine_mode inner_mode = ALLOCNO_MODE (a); | |
810 if (paradoxical_subreg_p (outer_mode, inner_mode)) | |
811 { | |
812 enum reg_class aclass = ALLOCNO_CLASS (a); | |
813 for (int j = ira_class_hard_regs_num[aclass] - 1; j >= 0; --j) | |
814 { | |
815 int inner_regno = ira_class_hard_regs[aclass][j]; | |
816 int outer_regno = simplify_subreg_regno (inner_regno, | |
817 inner_mode, 0, | |
818 outer_mode); | |
819 if (outer_regno < 0 | |
820 || !in_hard_reg_set_p (reg_class_contents[aclass], | |
821 outer_mode, outer_regno)) | |
822 { | |
823 SET_HARD_REG_BIT (OBJECT_TOTAL_CONFLICT_HARD_REGS (obj), | |
824 inner_regno); | |
825 SET_HARD_REG_BIT (OBJECT_CONFLICT_HARD_REGS (obj), | |
826 inner_regno); | |
827 } | |
828 } | |
829 } | |
0 | 830 } |
831 } | |
832 if (optimize && ira_conflicts_p | |
833 && internal_flag_ira_verbose > 2 && ira_dump_file != NULL) | |
834 print_conflicts (ira_dump_file, false); | |
835 } |