Branch data Line data Source code
1 : : /* Shared code for before and after reload gcse implementations.
2 : : Copyright (C) 1997-2024 Free Software Foundation, Inc.
3 : :
4 : : This file is part of GCC.
5 : :
6 : : GCC is free software; you can redistribute it and/or modify it under
7 : : the terms of the GNU General Public License as published by the Free
8 : : Software Foundation; either version 3, or (at your option) any later
9 : : version.
10 : :
11 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 : : for more details.
15 : :
16 : : You should have received a copy of the GNU General Public License
17 : : along with GCC; see the file COPYING3. If not see
18 : : <http://www.gnu.org/licenses/>.
19 : :
20 : : It is expected that more hunks of gcse.cc and postreload-gcse.cc should
21 : : migrate into this file. */
22 : :
23 : : #include "config.h"
24 : : #include "system.h"
25 : : #include "coretypes.h"
26 : : #include "backend.h"
27 : : #include "rtl.h"
28 : : #include "df.h"
29 : : #include "gcse-common.h"
30 : :
31 : :
32 : : /* Record all of the canonicalized MEMs of record_last_mem_set_info's insn.
33 : : Note we store a pair of elements in the list, so they have to be
34 : : taken off pairwise. */
35 : :
36 : : void
37 : 6664370 : canon_list_insert (rtx dest, const_rtx x ATTRIBUTE_UNUSED, void *data)
38 : : {
39 : 6664370 : rtx dest_addr;
40 : 6664370 : int bb;
41 : 6664370 : modify_pair pair;
42 : :
43 : 6664370 : while (GET_CODE (dest) == SUBREG
44 : 6664370 : || GET_CODE (dest) == ZERO_EXTRACT
45 : 13328740 : || GET_CODE (dest) == STRICT_LOW_PART)
46 : 0 : dest = XEXP (dest, 0);
47 : :
48 : : /* If DEST is not a MEM, then it will not conflict with a load. Note
49 : : that function calls are assumed to clobber memory, but are handled
50 : : elsewhere. */
51 : :
52 : 6664370 : if (! MEM_P (dest))
53 : 321654 : return;
54 : :
55 : 6342716 : dest_addr = get_addr (XEXP (dest, 0));
56 : 6342716 : dest_addr = canon_rtx (dest_addr);
57 : 6342716 : rtx_insn *insn = ((struct gcse_note_stores_info *)data)->insn;
58 : 6342716 : bb = BLOCK_FOR_INSN (insn)->index;
59 : :
60 : 6342716 : pair.dest = dest;
61 : 6342716 : pair.dest_addr = dest_addr;
62 : 6342716 : vec<modify_pair> *canon_mem_list
63 : : = ((struct gcse_note_stores_info *)data)->canon_mem_list;
64 : 6342716 : canon_mem_list[bb].safe_push (pair);
65 : : }
66 : :
67 : : /* Record memory modification information for INSN. We do not actually care
68 : : about the memory location(s) that are set, or even how they are set (consider
69 : : a CALL_INSN). We merely need to record which insns modify memory. */
70 : :
71 : : void
72 : 10001117 : record_last_mem_set_info_common (rtx_insn *insn,
73 : : vec<rtx_insn *> *modify_mem_list,
74 : : vec<modify_pair> *canon_modify_mem_list,
75 : : bitmap modify_mem_list_set,
76 : : bitmap blocks_with_calls)
77 : :
78 : : {
79 : 10001117 : int bb;
80 : :
81 : 10001117 : bb = BLOCK_FOR_INSN (insn)->index;
82 : 10001117 : modify_mem_list[bb].safe_push (insn);
83 : 10001117 : bitmap_set_bit (modify_mem_list_set, bb);
84 : :
85 : 10001117 : if (CALL_P (insn))
86 : 3659307 : bitmap_set_bit (blocks_with_calls, bb);
87 : : else
88 : : {
89 : 6341810 : struct gcse_note_stores_info data;
90 : 6341810 : data.insn = insn;
91 : 6341810 : data.canon_mem_list = canon_modify_mem_list;
92 : 6341810 : note_stores (insn, canon_list_insert, (void*) &data);
93 : : }
94 : 10001117 : }
95 : :
96 : :
97 : : /* For each block, compute whether X is transparent. X is either an
98 : : expression or an assignment [though we don't care which, for this context
99 : : an assignment is treated as an expression]. For each block where an
100 : : element of X is modified, reset the INDX bit in BMAP.
101 : :
102 : : BLOCKS_WITH_CALLS indicates which blocks contain CALL_INSNs which kill
103 : : memory.
104 : :
105 : : MODIFY_MEM_LIST_SET indicates which blocks have memory stores which might
106 : : kill a particular memory location.
107 : :
108 : : CANON_MODIFY_MEM_LIST is the canonicalized list of memory locations modified
109 : : for each block. */
110 : :
111 : : void
112 : 18615939 : compute_transp (const_rtx x, int indx, sbitmap *bmap,
113 : : bitmap blocks_with_calls,
114 : : bitmap modify_mem_list_set,
115 : : vec<modify_pair> *canon_modify_mem_list)
116 : : {
117 : 32414152 : int i, j;
118 : 32414152 : enum rtx_code code;
119 : 32414152 : const char *fmt;
120 : :
121 : : /* repeat is used to turn tail-recursion into iteration since GCC
122 : : can't do it when there's no return value. */
123 : 32414152 : repeat:
124 : :
125 : 32414152 : if (x == 0)
126 : : return;
127 : :
128 : 32414152 : code = GET_CODE (x);
129 : 32414152 : switch (code)
130 : : {
131 : 11042369 : case REG:
132 : 11042369 : {
133 : 11042369 : df_ref def;
134 : 11042369 : for (def = DF_REG_DEF_CHAIN (REGNO (x));
135 : 73820404 : def;
136 : 62778035 : def = DF_REF_NEXT_REG (def))
137 : 62778035 : bitmap_clear_bit (bmap[DF_REF_BB (def)->index], indx);
138 : : }
139 : :
140 : : return;
141 : :
142 : 4349158 : case MEM:
143 : 4349158 : if (! MEM_READONLY_P (x))
144 : : {
145 : 4005580 : bitmap_iterator bi;
146 : 4005580 : unsigned bb_index;
147 : 4005580 : rtx x_addr;
148 : :
149 : 4005580 : x_addr = get_addr (XEXP (x, 0));
150 : 4005580 : x_addr = canon_rtx (x_addr);
151 : :
152 : : /* First handle all the blocks with calls. We don't need to
153 : : do any list walking for them. */
154 : 145317117 : EXECUTE_IF_SET_IN_BITMAP (blocks_with_calls, 0, bb_index, bi)
155 : : {
156 : 141311537 : bitmap_clear_bit (bmap[bb_index], indx);
157 : : }
158 : :
159 : : /* Now iterate over the blocks which have memory modifications
160 : : but which do not have any calls. */
161 : 93330970 : EXECUTE_IF_AND_COMPL_IN_BITMAP (modify_mem_list_set,
162 : : blocks_with_calls,
163 : : 0, bb_index, bi)
164 : : {
165 : 89325390 : vec<modify_pair> list
166 : 89325390 : = canon_modify_mem_list[bb_index];
167 : 89325390 : modify_pair *pair;
168 : 89325390 : unsigned ix;
169 : :
170 : 403242209 : FOR_EACH_VEC_ELT_REVERSE (list, ix, pair)
171 : : {
172 : 166385325 : rtx dest = pair->dest;
173 : 166385325 : rtx dest_addr = pair->dest_addr;
174 : :
175 : 166385325 : if (canon_true_dependence (dest, GET_MODE (dest),
176 : : dest_addr, x, x_addr))
177 : : {
178 : 31119286 : bitmap_clear_bit (bmap[bb_index], indx);
179 : 31119286 : break;
180 : : }
181 : : }
182 : : }
183 : : }
184 : :
185 : 4349158 : x = XEXP (x, 0);
186 : 4349158 : goto repeat;
187 : :
188 : : case PC:
189 : : case CONST:
190 : : CASE_CONST_ANY:
191 : : case SYMBOL_REF:
192 : : case LABEL_REF:
193 : : case ADDR_VEC:
194 : : case ADDR_DIFF_VEC:
195 : : return;
196 : :
197 : 9675271 : default:
198 : 9675271 : break;
199 : : }
200 : :
201 : 18496141 : for (i = GET_RTX_LENGTH (code) - 1, fmt = GET_RTX_FORMAT (code); i >= 0; i--)
202 : : {
203 : 18269925 : if (fmt[i] == 'e')
204 : : {
205 : : /* If we are about to do the last recursive call
206 : : needed at this level, change it into iteration.
207 : : This function is called enough to be worth it. */
208 : 17704098 : if (i == 0)
209 : : {
210 : 9449055 : x = XEXP (x, i);
211 : 9449055 : goto repeat;
212 : : }
213 : :
214 : 8255043 : compute_transp (XEXP (x, i), indx, bmap, blocks_with_calls,
215 : : modify_mem_list_set, canon_modify_mem_list);
216 : : }
217 : 565827 : else if (fmt[i] == 'E')
218 : 994810 : for (j = 0; j < XVECLEN (x, i); j++)
219 : 768594 : compute_transp (XVECEXP (x, i, j), indx, bmap, blocks_with_calls,
220 : : modify_mem_list_set, canon_modify_mem_list);
221 : : }
222 : : }
|
