xref: /dragonfly/contrib/gcc-8.0/gcc/web.c (revision 8bf5b238)
1 /* Web construction code for GNU compiler.
2    Contributed by Jan Hubicka.
3    Copyright (C) 2001-2018 Free Software Foundation, Inc.
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 /* Simple optimization pass that splits independent uses of each pseudo,
22    increasing effectiveness of other optimizations.  The optimization can
23    serve as an example of use for the dataflow module.
24 
25    TODO
26     - We may use profile information and ignore infrequent use for the
27       purpose of web unifying, inserting the compensation code later to
28       implement full induction variable expansion for loops (currently
29       we expand only if the induction variable is dead afterward, which
30       is often the case).  */
31 
32 #include "config.h"
33 #include "system.h"
34 #include "coretypes.h"
35 #include "backend.h"
36 #include "rtl.h"
37 #include "df.h"
38 #include "insn-config.h"
39 #include "recog.h"
40 
41 #include "tree-pass.h"
42 
43 
44 /* Find the root of unionfind tree (the representative of set).  */
45 
46 web_entry_base *
47 web_entry_base::unionfind_root ()
48 {
49   web_entry_base *element = this, *element1 = this, *element2;
50 
51   while (element->pred ())
52     element = element->pred ();
53   while (element1->pred ())
54     {
55       element2 = element1->pred ();
56       element1->set_pred (element);
57       element1 = element2;
58     }
59   return element;
60 }
61 
62 /* Union sets.
63    Return true if FIRST and SECOND points to the same web entry structure and
64    nothing is done.  Otherwise, return false.  */
65 
66 bool
67 unionfind_union (web_entry_base *first, web_entry_base *second)
68 {
69   first = first->unionfind_root ();
70   second = second->unionfind_root ();
71   if (first == second)
72     return true;
73   second->set_pred (first);
74   return false;
75 }
76 
77 class web_entry : public web_entry_base
78 {
79  private:
80   rtx reg_pvt;
81 
82  public:
83   rtx reg () { return reg_pvt; }
84   void set_reg (rtx r) { reg_pvt = r; }
85 };
86 
87 /* For INSN, union all defs and uses that are linked by match_dup.
88    FUN is the function that does the union.  */
89 
90 static void
91 union_match_dups (rtx_insn *insn, web_entry *def_entry, web_entry *use_entry,
92 		  bool (*fun) (web_entry_base *, web_entry_base *))
93 {
94   struct df_insn_info *insn_info = DF_INSN_INFO_GET (insn);
95   df_ref use_link = DF_INSN_INFO_USES (insn_info);
96   df_ref def_link = DF_INSN_INFO_DEFS (insn_info);
97   struct web_entry *dup_entry;
98   int i;
99 
100   extract_insn (insn);
101 
102   for (i = 0; i < recog_data.n_dups; i++)
103     {
104       int op = recog_data.dup_num[i];
105       enum op_type type = recog_data.operand_type[op];
106       df_ref ref, dupref;
107       struct web_entry *entry;
108 
109       dup_entry = use_entry;
110       for (dupref = use_link; dupref; dupref = DF_REF_NEXT_LOC (dupref))
111 	if (DF_REF_LOC (dupref) == recog_data.dup_loc[i])
112 	  break;
113 
114       if (dupref == NULL && type == OP_INOUT)
115 	{
116 	  dup_entry = def_entry;
117 	  for (dupref = def_link; dupref; dupref = DF_REF_NEXT_LOC (dupref))
118 	    if (DF_REF_LOC (dupref) == recog_data.dup_loc[i])
119 	      break;
120 	}
121       /* ??? *DUPREF can still be zero, because when an operand matches
122 	 a memory, DF_REF_LOC (use_link[n]) points to the register part
123 	 of the address, whereas recog_data.dup_loc[m] points to the
124 	 entire memory ref, thus we fail to find the duplicate entry,
125          even though it is there.
126          Example: i686-pc-linux-gnu gcc.c-torture/compile/950607-1.c
127 		  -O3 -fomit-frame-pointer -funroll-loops  */
128       if (dupref == NULL
129 	  || DF_REF_REGNO (dupref) < FIRST_PSEUDO_REGISTER)
130 	continue;
131 
132       ref = type == OP_IN ? use_link : def_link;
133       entry = type == OP_IN ? use_entry : def_entry;
134       for (; ref; ref = DF_REF_NEXT_LOC (ref))
135 	{
136 	  rtx *l = DF_REF_LOC (ref);
137 	  if (l == recog_data.operand_loc[op])
138 	    break;
139 	  if (l && DF_REF_REAL_LOC (ref) == recog_data.operand_loc[op])
140 	    break;
141 	}
142 
143       if (!ref && type == OP_INOUT)
144 	{
145 	  entry = use_entry;
146 	  for (ref = use_link; ref; ref = DF_REF_NEXT_LOC (ref))
147 	    {
148 	      rtx *l = DF_REF_LOC (ref);
149 	      if (l == recog_data.operand_loc[op])
150 		break;
151 	      if (l && DF_REF_REAL_LOC (ref) == recog_data.operand_loc[op])
152 		break;
153 	    }
154 	}
155 
156       gcc_assert (ref);
157       (*fun) (dup_entry + DF_REF_ID (dupref), entry + DF_REF_ID (ref));
158     }
159 }
160 
161 /* For each use, all possible defs reaching it must come in the same
162    register, union them.
163    FUN is the function that does the union.
164 
165    In USED, we keep the DF_REF_ID of the first uninitialized uses of a
166    register, so that all uninitialized uses of the register can be
167    combined into a single web.  We actually offset it by 2, because
168    the values 0 and 1 are reserved for use by entry_register.  */
169 
170 void
171 union_defs (df_ref use, web_entry *def_entry,
172 	    unsigned int *used, web_entry *use_entry,
173  	    bool (*fun) (web_entry_base *, web_entry_base *))
174 {
175   struct df_insn_info *insn_info = DF_REF_INSN_INFO (use);
176   struct df_link *link = DF_REF_CHAIN (use);
177   rtx set;
178 
179   if (insn_info)
180     {
181       df_ref eq_use;
182 
183       set = single_set (insn_info->insn);
184       FOR_EACH_INSN_INFO_EQ_USE (eq_use, insn_info)
185 	if (use != eq_use
186 	    && DF_REF_REAL_REG (use) == DF_REF_REAL_REG (eq_use))
187 	  (*fun) (use_entry + DF_REF_ID (use), use_entry + DF_REF_ID (eq_use));
188     }
189   else
190     set = NULL;
191 
192   /* Union all occurrences of the same register in reg notes.  */
193 
194   /* Recognize trivial noop moves and attempt to keep them as noop.  */
195 
196   if (set
197       && SET_SRC (set) == DF_REF_REG (use)
198       && SET_SRC (set) == SET_DEST (set))
199     {
200       df_ref def;
201 
202       FOR_EACH_INSN_INFO_DEF (def, insn_info)
203 	if (DF_REF_REAL_REG (use) == DF_REF_REAL_REG (def))
204 	  (*fun) (use_entry + DF_REF_ID (use), def_entry + DF_REF_ID (def));
205     }
206 
207   /* UD chains of uninitialized REGs are empty.  Keeping all uses of
208      the same uninitialized REG in a single web is not necessary for
209      correctness, since the uses are undefined, but it's wasteful to
210      allocate one register or slot for each reference.  Furthermore,
211      creating new pseudos for uninitialized references in debug insns
212      (see PR 42631) causes -fcompare-debug failures.  We record the
213      number of the first uninitialized reference we found, and merge
214      with it any other uninitialized references to the same
215      register.  */
216   if (!link)
217     {
218       int regno = REGNO (DF_REF_REAL_REG (use));
219       if (used[regno])
220 	(*fun) (use_entry + DF_REF_ID (use), use_entry + used[regno] - 2);
221       else
222 	used[regno] = DF_REF_ID (use) + 2;
223     }
224 
225   while (link)
226     {
227       (*fun) (use_entry + DF_REF_ID (use),
228 	      def_entry + DF_REF_ID (link->ref));
229       link = link->next;
230     }
231 
232   /* A READ_WRITE use requires the corresponding def to be in the same
233      register.  Find it and union.  */
234   if (DF_REF_FLAGS (use) & DF_REF_READ_WRITE)
235     if (insn_info)
236       {
237 	df_ref def;
238 
239 	FOR_EACH_INSN_INFO_DEF (def, insn_info)
240 	  if (DF_REF_REAL_REG (use) == DF_REF_REAL_REG (def))
241 	    (*fun) (use_entry + DF_REF_ID (use), def_entry + DF_REF_ID (def));
242       }
243 }
244 
245 /* Find the corresponding register for the given entry.  */
246 
247 static rtx
248 entry_register (web_entry *entry, df_ref ref, unsigned int *used)
249 {
250   web_entry *root;
251   rtx reg, newreg;
252 
253   /* Find the corresponding web and see if it has been visited.  */
254   root = (web_entry *)entry->unionfind_root ();
255   if (root->reg ())
256     return root->reg ();
257 
258   /* We are seeing this web for the first time, do the assignment.  */
259   reg = DF_REF_REAL_REG (ref);
260 
261   /* In case the original register is already assigned, generate new
262      one.  Since we use USED to merge uninitialized refs into a single
263      web, we might found an element to be nonzero without our having
264      used it.  Test for 1, because union_defs saves it for our use,
265      and there won't be any use for the other values when we get to
266      this point.  */
267   if (used[REGNO (reg)] != 1)
268     newreg = reg, used[REGNO (reg)] = 1;
269   else
270     {
271       newreg = gen_reg_rtx (GET_MODE (reg));
272       REG_USERVAR_P (newreg) = REG_USERVAR_P (reg);
273       REG_POINTER (newreg) = REG_POINTER (reg);
274       REG_ATTRS (newreg) = REG_ATTRS (reg);
275       if (dump_file)
276 	fprintf (dump_file, "Web oldreg=%i newreg=%i\n", REGNO (reg),
277 		 REGNO (newreg));
278     }
279 
280   root->set_reg (newreg);
281   return newreg;
282 }
283 
284 /* Replace the reference by REG.  */
285 
286 static void
287 replace_ref (df_ref ref, rtx reg)
288 {
289   rtx oldreg = DF_REF_REAL_REG (ref);
290   rtx *loc = DF_REF_REAL_LOC (ref);
291   unsigned int uid = DF_REF_INSN_UID (ref);
292 
293   if (oldreg == reg)
294     return;
295   if (dump_file)
296     fprintf (dump_file, "Updating insn %i (%i->%i)\n",
297 	     uid, REGNO (oldreg), REGNO (reg));
298   *loc = reg;
299   df_insn_rescan (DF_REF_INSN (ref));
300 }
301 
302 
303 namespace {
304 
305 const pass_data pass_data_web =
306 {
307   RTL_PASS, /* type */
308   "web", /* name */
309   OPTGROUP_NONE, /* optinfo_flags */
310   TV_WEB, /* tv_id */
311   0, /* properties_required */
312   0, /* properties_provided */
313   0, /* properties_destroyed */
314   0, /* todo_flags_start */
315   TODO_df_finish, /* todo_flags_finish */
316 };
317 
318 class pass_web : public rtl_opt_pass
319 {
320 public:
321   pass_web (gcc::context *ctxt)
322     : rtl_opt_pass (pass_data_web, ctxt)
323   {}
324 
325   /* opt_pass methods: */
326   virtual bool gate (function *) { return (optimize > 0 && flag_web); }
327   virtual unsigned int execute (function *);
328 
329 }; // class pass_web
330 
331 unsigned int
332 pass_web::execute (function *fun)
333 {
334   web_entry *def_entry;
335   web_entry *use_entry;
336   unsigned int max = max_reg_num ();
337   unsigned int *used;
338   basic_block bb;
339   unsigned int uses_num = 0;
340   rtx_insn *insn;
341 
342   df_set_flags (DF_NO_HARD_REGS + DF_EQ_NOTES);
343   df_set_flags (DF_RD_PRUNE_DEAD_DEFS);
344   df_chain_add_problem (DF_UD_CHAIN);
345   df_analyze ();
346   df_set_flags (DF_DEFER_INSN_RESCAN);
347 
348   /* Assign ids to the uses.  */
349   FOR_ALL_BB_FN (bb, fun)
350     FOR_BB_INSNS (bb, insn)
351     {
352       if (NONDEBUG_INSN_P (insn))
353 	{
354 	  struct df_insn_info *insn_info = DF_INSN_INFO_GET (insn);
355 	  df_ref use;
356 	  FOR_EACH_INSN_INFO_USE (use, insn_info)
357 	    if (DF_REF_REGNO (use) >= FIRST_PSEUDO_REGISTER)
358 	      DF_REF_ID (use) = uses_num++;
359 	  FOR_EACH_INSN_INFO_EQ_USE (use, insn_info)
360 	    if (DF_REF_REGNO (use) >= FIRST_PSEUDO_REGISTER)
361 	      DF_REF_ID (use) = uses_num++;
362 	}
363     }
364 
365   /* Record the number of uses and defs at the beginning of the optimization.  */
366   def_entry = XCNEWVEC (web_entry, DF_DEFS_TABLE_SIZE ());
367   used = XCNEWVEC (unsigned, max);
368   use_entry = XCNEWVEC (web_entry, uses_num);
369 
370   /* Produce the web.  */
371   FOR_ALL_BB_FN (bb, fun)
372     FOR_BB_INSNS (bb, insn)
373       if (NONDEBUG_INSN_P (insn))
374 	{
375 	  struct df_insn_info *insn_info = DF_INSN_INFO_GET (insn);
376 	  df_ref use;
377 	  union_match_dups (insn, def_entry, use_entry, unionfind_union);
378 	  FOR_EACH_INSN_INFO_USE (use, insn_info)
379 	    if (DF_REF_REGNO (use) >= FIRST_PSEUDO_REGISTER)
380 	      union_defs (use, def_entry, used, use_entry, unionfind_union);
381 	  FOR_EACH_INSN_INFO_EQ_USE (use, insn_info)
382 	    if (DF_REF_REGNO (use) >= FIRST_PSEUDO_REGISTER)
383 	      union_defs (use, def_entry, used, use_entry, unionfind_union);
384 	}
385 
386   /* Update the instruction stream, allocating new registers for split pseudos
387      in progress.  */
388   FOR_ALL_BB_FN (bb, fun)
389     FOR_BB_INSNS (bb, insn)
390       if (NONDEBUG_INSN_P (insn)
391 	  /* Ignore naked clobber.  For example, reg 134 in the second insn
392 	     of the following sequence will not be replaced.
393 
394 	       (insn (clobber (reg:SI 134)))
395 
396 	       (insn (set (reg:SI 0 r0) (reg:SI 134)))
397 
398 	     Thus the later passes can optimize them away.  */
399 	  && GET_CODE (PATTERN (insn)) != CLOBBER)
400 	{
401 	  struct df_insn_info *insn_info = DF_INSN_INFO_GET (insn);
402 	  df_ref def, use;
403 	  FOR_EACH_INSN_INFO_USE (use, insn_info)
404 	    if (DF_REF_REGNO (use) >= FIRST_PSEUDO_REGISTER)
405 	      replace_ref (use, entry_register (use_entry + DF_REF_ID (use),
406 						use, used));
407 	  FOR_EACH_INSN_INFO_EQ_USE (use, insn_info)
408 	    if (DF_REF_REGNO (use) >= FIRST_PSEUDO_REGISTER)
409 	      replace_ref (use, entry_register (use_entry + DF_REF_ID (use),
410 						use, used));
411 	  FOR_EACH_INSN_INFO_DEF (def, insn_info)
412 	    if (DF_REF_REGNO (def) >= FIRST_PSEUDO_REGISTER)
413 	      replace_ref (def, entry_register (def_entry + DF_REF_ID (def),
414 						def, used));
415 	}
416 
417   free (def_entry);
418   free (use_entry);
419   free (used);
420   return 0;
421 }
422 
423 } // anon namespace
424 
425 rtl_opt_pass *
426 make_pass_web (gcc::context *ctxt)
427 {
428   return new pass_web (ctxt);
429 }
430