Branch data Line data Source code
1 : : /* Callgraph based analysis of static variables.
2 : : Copyright (C) 2004-2024 Free Software Foundation, Inc.
3 : : Contributed by Kenneth Zadeck <zadeck@naturalbridge.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 : : /* This file marks functions as being either const (TREE_READONLY) or
22 : : pure (DECL_PURE_P). It can also set a variant of these that
23 : : are allowed to loop indefinitely (DECL_LOOPING_CONST_PURE_P).
24 : :
25 : : This must be run after inlining decisions have been made since
26 : : otherwise, the local sets will not contain information that is
27 : : consistent with post inlined state. The global sets are not prone
28 : : to this problem since they are by definition transitive. */
29 : :
30 : : /* The code in this module is called by the ipa pass manager. It
31 : : should be one of the later passes since it's information is used by
32 : : the rest of the compilation. */
33 : :
34 : : #include "config.h"
35 : : #include "system.h"
36 : : #include "coretypes.h"
37 : : #include "backend.h"
38 : : #include "target.h"
39 : : #include "tree.h"
40 : : #include "gimple.h"
41 : : #include "tree-pass.h"
42 : : #include "tree-streamer.h"
43 : : #include "cgraph.h"
44 : : #include "diagnostic.h"
45 : : #include "calls.h"
46 : : #include "cfganal.h"
47 : : #include "tree-eh.h"
48 : : #include "gimple-iterator.h"
49 : : #include "gimple-walk.h"
50 : : #include "tree-cfg.h"
51 : : #include "tree-ssa-loop-niter.h"
52 : : #include "langhooks.h"
53 : : #include "ipa-utils.h"
54 : : #include "gimple-pretty-print.h"
55 : : #include "cfgloop.h"
56 : : #include "tree-scalar-evolution.h"
57 : : #include "intl.h"
58 : : #include "opts.h"
59 : : #include "ssa.h"
60 : : #include "alloc-pool.h"
61 : : #include "symbol-summary.h"
62 : : #include "sreal.h"
63 : : #include "ipa-cp.h"
64 : : #include "ipa-prop.h"
65 : : #include "ipa-fnsummary.h"
66 : : #include "symtab-thunks.h"
67 : : #include "dbgcnt.h"
68 : : #include "gcc-urlifier.h"
69 : :
70 : : /* Lattice values for const and pure functions. Everything starts out
71 : : being const, then may drop to pure and then neither depending on
72 : : what is found. */
73 : : enum pure_const_state_e
74 : : {
75 : : IPA_CONST,
76 : : IPA_PURE,
77 : : IPA_NEITHER
78 : : };
79 : :
80 : : static const char *pure_const_names[3] = {"const", "pure", "neither"};
81 : :
82 : : enum malloc_state_e
83 : : {
84 : : STATE_MALLOC_TOP,
85 : : STATE_MALLOC,
86 : : STATE_MALLOC_BOTTOM
87 : : };
88 : :
89 : : static const char *malloc_state_names[] = {"malloc_top", "malloc", "malloc_bottom"};
90 : :
91 : : /* Holder for the const_state. There is one of these per function
92 : : decl. */
93 : : class funct_state_d
94 : : {
95 : : public:
96 : 2448052 : funct_state_d (): pure_const_state (IPA_NEITHER),
97 : 2448052 : state_previously_known (IPA_NEITHER), looping_previously_known (true),
98 : 2448052 : looping (true), can_throw (true), can_free (true),
99 : 0 : malloc_state (STATE_MALLOC_BOTTOM) {}
100 : :
101 : 2340025 : funct_state_d (const funct_state_d &s): pure_const_state (s.pure_const_state),
102 : 2340025 : state_previously_known (s.state_previously_known),
103 : 2340025 : looping_previously_known (s.looping_previously_known),
104 : 2340025 : looping (s.looping), can_throw (s.can_throw), can_free (s.can_free),
105 : 2340025 : malloc_state (s.malloc_state) {}
106 : :
107 : : /* See above. */
108 : : enum pure_const_state_e pure_const_state;
109 : : /* What user set here; we can be always sure about this. */
110 : : enum pure_const_state_e state_previously_known;
111 : : bool looping_previously_known;
112 : :
113 : : /* True if the function could possibly infinite loop. There are a
114 : : lot of ways that this could be determined. We are pretty
115 : : conservative here. While it is possible to cse pure and const
116 : : calls, it is not legal to have dce get rid of the call if there
117 : : is a possibility that the call could infinite loop since this is
118 : : a behavioral change. */
119 : : bool looping;
120 : :
121 : : bool can_throw;
122 : :
123 : : /* If function can call free, munmap or otherwise make previously
124 : : non-trapping memory accesses trapping. */
125 : : bool can_free;
126 : :
127 : : enum malloc_state_e malloc_state;
128 : : };
129 : :
130 : : typedef class funct_state_d * funct_state;
131 : :
132 : : /* The storage of the funct_state is abstracted because there is the
133 : : possibility that it may be desirable to move this to the cgraph
134 : : local info. */
135 : :
136 : : class funct_state_summary_t:
137 : : public fast_function_summary <funct_state_d *, va_heap>
138 : : {
139 : : public:
140 : 156097 : funct_state_summary_t (symbol_table *symtab):
141 : 312194 : fast_function_summary <funct_state_d *, va_heap> (symtab) {}
142 : :
143 : : void insert (cgraph_node *, funct_state_d *state) final override;
144 : : void duplicate (cgraph_node *src_node, cgraph_node *dst_node,
145 : : funct_state_d *src_data,
146 : : funct_state_d *dst_data) final override;
147 : : };
148 : :
149 : : static funct_state_summary_t *funct_state_summaries = NULL;
150 : :
151 : : static bool gate_pure_const (void);
152 : :
153 : : namespace {
154 : :
155 : : const pass_data pass_data_ipa_pure_const =
156 : : {
157 : : IPA_PASS, /* type */
158 : : "pure-const", /* name */
159 : : OPTGROUP_NONE, /* optinfo_flags */
160 : : TV_IPA_PURE_CONST, /* tv_id */
161 : : 0, /* properties_required */
162 : : 0, /* properties_provided */
163 : : 0, /* properties_destroyed */
164 : : 0, /* todo_flags_start */
165 : : 0, /* todo_flags_finish */
166 : : };
167 : :
168 : : class pass_ipa_pure_const : public ipa_opt_pass_d
169 : : {
170 : : public:
171 : : pass_ipa_pure_const(gcc::context *ctxt);
172 : :
173 : : /* opt_pass methods: */
174 : 1154006 : bool gate (function *) final override { return gate_pure_const (); }
175 : : unsigned int execute (function *fun) final override;
176 : :
177 : : void register_hooks (void);
178 : :
179 : : private:
180 : : bool init_p;
181 : : }; // class pass_ipa_pure_const
182 : :
183 : : } // anon namespace
184 : :
185 : : /* Try to guess if function body will always be visible to compiler
186 : : when compiling the call and whether compiler will be able
187 : : to propagate the information by itself. */
188 : :
189 : : static bool
190 : 26 : function_always_visible_to_compiler_p (tree decl)
191 : : {
192 : 22 : return (!TREE_PUBLIC (decl) || DECL_DECLARED_INLINE_P (decl)
193 : 48 : || DECL_COMDAT (decl));
194 : : }
195 : :
196 : : /* Emit suggestion about attribute ATTRIB_NAME for DECL. KNOWN_FINITE
197 : : is true if the function is known to be finite. The diagnostic is
198 : : controlled by OPTION. WARNED_ABOUT is a hash_set<tree> unique for
199 : : OPTION, this function may initialize it and it is always returned
200 : : by the function. */
201 : :
202 : : static hash_set<tree> *
203 : 1143315 : suggest_attribute (diagnostic_option_id option, tree decl, bool known_finite,
204 : : hash_set<tree> *warned_about,
205 : : const char * attrib_name)
206 : : {
207 : 1143315 : if (!option_enabled (option.m_idx, lang_hooks.option_lang_mask (),
208 : : &global_options))
209 : : return warned_about;
210 : 30 : if (TREE_THIS_VOLATILE (decl)
211 : 30 : || (known_finite && function_always_visible_to_compiler_p (decl)))
212 : : return warned_about;
213 : :
214 : 26 : if (!warned_about)
215 : 14 : warned_about = new hash_set<tree>;
216 : 26 : if (warned_about->contains (decl))
217 : : return warned_about;
218 : 26 : warned_about->add (decl);
219 : 26 : auto_urlify_attributes sentinel;
220 : 30 : warning_at (DECL_SOURCE_LOCATION (decl),
221 : : option,
222 : : known_finite
223 : : ? G_("function might be candidate for attribute %qs")
224 : : : G_("function might be candidate for attribute %qs"
225 : : " if it is known to return normally"), attrib_name);
226 : 26 : return warned_about;
227 : 26 : }
228 : :
229 : : /* Emit suggestion about __attribute_((pure)) for DECL. KNOWN_FINITE
230 : : is true if the function is known to be finite. */
231 : :
232 : : static void
233 : 329920 : warn_function_pure (tree decl, bool known_finite)
234 : : {
235 : : /* Declaring a void function pure makes no sense and is diagnosed
236 : : by -Wattributes because calling it would have no effect. */
237 : 329920 : if (VOID_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
238 : : return;
239 : :
240 : 302530 : static hash_set<tree> *warned_about;
241 : 302530 : warned_about
242 : 302530 : = suggest_attribute (OPT_Wsuggest_attribute_pure, decl,
243 : : known_finite, warned_about, "pure");
244 : : }
245 : :
246 : : /* Emit suggestion about __attribute_((const)) for DECL. KNOWN_FINITE
247 : : is true if the function is known to be finite. */
248 : :
249 : : static void
250 : 865915 : warn_function_const (tree decl, bool known_finite)
251 : : {
252 : : /* Declaring a void function const makes no sense is diagnosed
253 : : by -Wattributes because calling it would have no effect. */
254 : 865915 : if (VOID_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
255 : : return;
256 : :
257 : 624287 : static hash_set<tree> *warned_about;
258 : 624287 : warned_about
259 : 624287 : = suggest_attribute (OPT_Wsuggest_attribute_const, decl,
260 : : known_finite, warned_about, "const");
261 : : }
262 : :
263 : : /* Emit suggestion about __attribute__((malloc)) for DECL. */
264 : :
265 : : static void
266 : 3 : warn_function_malloc (tree decl)
267 : : {
268 : 3 : static hash_set<tree> *warned_about;
269 : 3 : warned_about
270 : 3 : = suggest_attribute (OPT_Wsuggest_attribute_malloc, decl,
271 : : true, warned_about, "malloc");
272 : 3 : }
273 : :
274 : : /* Emit suggestion about __attribute__((noreturn)) for DECL. */
275 : :
276 : : static void
277 : 30895 : warn_function_noreturn (tree decl)
278 : : {
279 : 30895 : tree original_decl = decl;
280 : :
281 : 30895 : static hash_set<tree> *warned_about;
282 : 30895 : if (!lang_hooks.missing_noreturn_ok_p (decl)
283 : 30895 : && targetm.warn_func_return (decl))
284 : 18772 : warned_about
285 : 18772 : = suggest_attribute (OPT_Wsuggest_attribute_noreturn, original_decl,
286 : : true, warned_about, "noreturn");
287 : 30895 : }
288 : :
289 : : void
290 : 13402 : warn_function_cold (tree decl)
291 : : {
292 : 13402 : tree original_decl = decl;
293 : :
294 : 13402 : static hash_set<tree> *warned_about;
295 : 13402 : warned_about
296 : 13402 : = suggest_attribute (OPT_Wsuggest_attribute_cold, original_decl,
297 : : true, warned_about, "cold");
298 : 13402 : }
299 : :
300 : : void
301 : 184321 : warn_function_returns_nonnull (tree decl)
302 : : {
303 : 184321 : static hash_set<tree> *warned_about;
304 : 184321 : warned_about
305 : 184321 : = suggest_attribute (OPT_Wsuggest_attribute_returns_nonnull, decl,
306 : : true, warned_about, "returns_nonnull");
307 : 184321 : }
308 : :
309 : : /* Check to see if the use (or definition when CHECKING_WRITE is true)
310 : : variable T is legal in a function that is either pure or const. */
311 : :
312 : : static inline void
313 : 20392471 : check_decl (funct_state local,
314 : : tree t, bool checking_write, bool ipa)
315 : : {
316 : : /* Do not want to do anything with volatile except mark any
317 : : function that uses one to be not const or pure. */
318 : 20392471 : if (TREE_THIS_VOLATILE (t))
319 : : {
320 : 1442742 : local->pure_const_state = IPA_NEITHER;
321 : 1442742 : if (dump_file)
322 : 30 : fprintf (dump_file, " Volatile operand is not const/pure\n");
323 : 1442742 : return;
324 : : }
325 : :
326 : : /* Do not care about a local automatic that is not static. */
327 : 18949729 : if (!TREE_STATIC (t) && !DECL_EXTERNAL (t))
328 : : return;
329 : :
330 : : /* If the variable has the "used" attribute, treat it as if it had a
331 : : been touched by the devil. */
332 : 3412198 : if (DECL_PRESERVE_P (t))
333 : : {
334 : 2996 : local->pure_const_state = IPA_NEITHER;
335 : 2996 : if (dump_file)
336 : 0 : fprintf (dump_file, " Used static/global variable is not const/pure\n");
337 : 2996 : return;
338 : : }
339 : :
340 : : /* In IPA mode we are not interested in checking actual loads and stores;
341 : : they will be processed at propagation time using ipa_ref. */
342 : 3409202 : if (ipa)
343 : : return;
344 : :
345 : : /* Since we have dealt with the locals and params cases above, if we
346 : : are CHECKING_WRITE, this cannot be a pure or constant
347 : : function. */
348 : 2193679 : if (checking_write)
349 : : {
350 : 788569 : local->pure_const_state = IPA_NEITHER;
351 : 788569 : if (dump_file)
352 : 1 : fprintf (dump_file, " static/global memory write is not const/pure\n");
353 : 788569 : return;
354 : : }
355 : :
356 : 1405110 : if (DECL_EXTERNAL (t) || TREE_PUBLIC (t))
357 : : {
358 : : /* Readonly reads are safe. */
359 : 809729 : if (TREE_READONLY (t))
360 : : return; /* Read of a constant, do not change the function state. */
361 : : else
362 : : {
363 : 806145 : if (dump_file)
364 : 0 : fprintf (dump_file, " global memory read is not const\n");
365 : : /* Just a regular read. */
366 : 806145 : if (local->pure_const_state == IPA_CONST)
367 : 162239 : local->pure_const_state = IPA_PURE;
368 : : }
369 : : }
370 : : else
371 : : {
372 : : /* Compilation level statics can be read if they are readonly
373 : : variables. */
374 : 595381 : if (TREE_READONLY (t))
375 : : return;
376 : :
377 : 567172 : if (dump_file)
378 : 1 : fprintf (dump_file, " static memory read is not const\n");
379 : : /* Just a regular read. */
380 : 567172 : if (local->pure_const_state == IPA_CONST)
381 : 31405 : local->pure_const_state = IPA_PURE;
382 : : }
383 : : }
384 : :
385 : :
386 : : /* Check to see if the use (or definition when CHECKING_WRITE is true)
387 : : variable T is legal in a function that is either pure or const. */
388 : :
389 : : static inline void
390 : 16526817 : check_op (funct_state local, tree t, bool checking_write)
391 : : {
392 : 16526817 : t = get_base_address (t);
393 : 16526817 : if (t && TREE_THIS_VOLATILE (t))
394 : : {
395 : 19003 : local->pure_const_state = IPA_NEITHER;
396 : 19003 : if (dump_file)
397 : 2 : fprintf (dump_file, " Volatile indirect ref is not const/pure\n");
398 : 19003 : return;
399 : : }
400 : 16507814 : else if (refs_local_or_readonly_memory_p (t))
401 : : {
402 : 3706620 : if (dump_file)
403 : 10 : fprintf (dump_file, " Indirect ref to local or readonly "
404 : : "memory is OK\n");
405 : 3706620 : return;
406 : : }
407 : 12801194 : else if (checking_write)
408 : : {
409 : 4501740 : local->pure_const_state = IPA_NEITHER;
410 : 4501740 : if (dump_file)
411 : 65 : fprintf (dump_file, " Indirect ref write is not const/pure\n");
412 : 4501740 : return;
413 : : }
414 : : else
415 : : {
416 : 8299454 : if (dump_file)
417 : 175 : fprintf (dump_file, " Indirect ref read is not const\n");
418 : 8299454 : if (local->pure_const_state == IPA_CONST)
419 : 1201274 : local->pure_const_state = IPA_PURE;
420 : : }
421 : : }
422 : :
423 : : /* compute state based on ECF FLAGS and store to STATE and LOOPING. */
424 : :
425 : : static void
426 : 14783839 : state_from_flags (enum pure_const_state_e *state, bool *looping,
427 : : int flags, bool cannot_lead_to_return)
428 : : {
429 : 14783839 : *looping = false;
430 : 14783839 : if (flags & ECF_LOOPING_CONST_OR_PURE)
431 : : {
432 : 194058 : *looping = true;
433 : 194058 : if (dump_file && (dump_flags & TDF_DETAILS))
434 : 0 : fprintf (dump_file, " looping\n");
435 : : }
436 : 14783839 : if (flags & ECF_CONST)
437 : : {
438 : 1058965 : *state = IPA_CONST;
439 : 1058965 : if (dump_file && (dump_flags & TDF_DETAILS))
440 : 3 : fprintf (dump_file, " const\n");
441 : : }
442 : 13724874 : else if (flags & ECF_PURE)
443 : : {
444 : 1147129 : *state = IPA_PURE;
445 : 1147129 : if (dump_file && (dump_flags & TDF_DETAILS))
446 : 3 : fprintf (dump_file, " pure\n");
447 : : }
448 : 12577745 : else if (cannot_lead_to_return)
449 : : {
450 : 902056 : *state = IPA_PURE;
451 : 902056 : *looping = true;
452 : 902056 : if (dump_file && (dump_flags & TDF_DETAILS))
453 : 1 : fprintf (dump_file, " ignoring side effects->pure looping\n");
454 : : }
455 : : else
456 : : {
457 : 11675689 : if (dump_file && (dump_flags & TDF_DETAILS))
458 : 42 : fprintf (dump_file, " neither\n");
459 : 11675689 : *state = IPA_NEITHER;
460 : 11675689 : *looping = true;
461 : : }
462 : 14783839 : }
463 : :
464 : : /* Merge STATE and STATE2 and LOOPING and LOOPING2 and store
465 : : into STATE and LOOPING better of the two variants.
466 : : Be sure to merge looping correctly. IPA_NEITHER functions
467 : : have looping 0 even if they don't have to return. */
468 : :
469 : : static inline void
470 : 6441407 : better_state (enum pure_const_state_e *state, bool *looping,
471 : : enum pure_const_state_e state2, bool looping2)
472 : : {
473 : 6441407 : if (state2 < *state)
474 : : {
475 : 31678 : if (*state == IPA_NEITHER)
476 : 30195 : *looping = looping2;
477 : : else
478 : 1483 : *looping = MIN (*looping, looping2);
479 : 31678 : *state = state2;
480 : : }
481 : 6409729 : else if (state2 != IPA_NEITHER)
482 : 1491514 : *looping = MIN (*looping, looping2);
483 : 6441407 : }
484 : :
485 : : /* Merge STATE and STATE2 and LOOPING and LOOPING2 and store
486 : : into STATE and LOOPING worse of the two variants.
487 : : N is the actual node called. */
488 : :
489 : : static inline void
490 : 13815239 : worse_state (enum pure_const_state_e *state, bool *looping,
491 : : enum pure_const_state_e state2, bool looping2,
492 : : struct symtab_node *from,
493 : : struct symtab_node *to)
494 : : {
495 : : /* Consider function:
496 : :
497 : : bool a(int *p)
498 : : {
499 : : return *p==*p;
500 : : }
501 : :
502 : : During early optimization we will turn this into:
503 : :
504 : : bool a(int *p)
505 : : {
506 : : return true;
507 : : }
508 : :
509 : : Now if this function will be detected as CONST however when interposed it
510 : : may end up being just pure. We always must assume the worst scenario here.
511 : : */
512 : 13815239 : if (*state == IPA_CONST && state2 == IPA_CONST
513 : 13815239 : && to && !TREE_READONLY (to->decl) && !to->binds_to_current_def_p (from))
514 : : {
515 : 3584 : if (dump_file && (dump_flags & TDF_DETAILS))
516 : 0 : fprintf (dump_file, "Dropping state to PURE because call to %s may not "
517 : : "bind to current def.\n", to->dump_name ());
518 : : state2 = IPA_PURE;
519 : : }
520 : 13815239 : *state = MAX (*state, state2);
521 : 13815239 : *looping = MAX (*looping, looping2);
522 : 13815239 : }
523 : :
524 : : /* Recognize special cases of builtins that are by themselves not const
525 : : but function using them is. */
526 : : bool
527 : 22455423 : builtin_safe_for_const_function_p (bool *looping, tree callee)
528 : : {
529 : 22455423 : if (DECL_BUILT_IN_CLASS (callee) == BUILT_IN_NORMAL)
530 : 6302508 : switch (DECL_FUNCTION_CODE (callee))
531 : : {
532 : 800083 : case BUILT_IN_RETURN:
533 : 800083 : case BUILT_IN_UNREACHABLE:
534 : 800083 : CASE_BUILT_IN_ALLOCA:
535 : 800083 : case BUILT_IN_STACK_SAVE:
536 : 800083 : case BUILT_IN_STACK_RESTORE:
537 : 800083 : case BUILT_IN_EH_POINTER:
538 : 800083 : case BUILT_IN_EH_FILTER:
539 : 800083 : case BUILT_IN_UNWIND_RESUME:
540 : 800083 : case BUILT_IN_CXA_END_CLEANUP:
541 : 800083 : case BUILT_IN_EH_COPY_VALUES:
542 : 800083 : case BUILT_IN_FRAME_ADDRESS:
543 : 800083 : case BUILT_IN_APPLY_ARGS:
544 : 800083 : case BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT:
545 : 800083 : case BUILT_IN_ASAN_AFTER_DYNAMIC_INIT:
546 : 800083 : case BUILT_IN_DWARF_CFA:
547 : 800083 : case BUILT_IN_RETURN_ADDRESS:
548 : 800083 : *looping = false;
549 : 800083 : return true;
550 : 9717 : case BUILT_IN_PREFETCH:
551 : 9717 : *looping = true;
552 : 9717 : return true;
553 : : default:
554 : : break;
555 : : }
556 : : return false;
557 : : }
558 : :
559 : : /* Check the parameters of a function call to CALL_EXPR to see if
560 : : there are any references in the parameters that are not allowed for
561 : : pure or const functions. Also check to see if this is either an
562 : : indirect call, a call outside the compilation unit, or has special
563 : : attributes that may also effect the purity. The CALL_EXPR node for
564 : : the entire call expression. */
565 : :
566 : : static void
567 : 14594342 : check_call (funct_state local, gcall *call, bool ipa)
568 : : {
569 : 14594342 : int flags = gimple_call_flags (call);
570 : 14594342 : tree callee_t = gimple_call_fndecl (call);
571 : 14594342 : bool possibly_throws = stmt_could_throw_p (cfun, call);
572 : 14594342 : bool possibly_throws_externally = (possibly_throws
573 : 14594342 : && stmt_can_throw_external (cfun, call));
574 : :
575 : 5393959 : if (possibly_throws)
576 : : {
577 : : unsigned int i;
578 : 32420786 : for (i = 0; i < gimple_num_ops (call); i++)
579 : 27026827 : if (gimple_op (call, i)
580 : 27026827 : && tree_could_throw_p (gimple_op (call, i)))
581 : : {
582 : 80160 : if (possibly_throws && cfun->can_throw_non_call_exceptions)
583 : : {
584 : 80160 : if (dump_file)
585 : 0 : fprintf (dump_file, " operand can throw; looping\n");
586 : 80160 : local->looping = true;
587 : : }
588 : 80160 : if (possibly_throws_externally)
589 : : {
590 : 66807 : if (dump_file)
591 : 0 : fprintf (dump_file, " operand can throw externally\n");
592 : 66807 : local->can_throw = true;
593 : : }
594 : : }
595 : : }
596 : :
597 : : /* The const and pure flags are set by a variety of places in the
598 : : compiler (including here). If someone has already set the flags
599 : : for the callee, (such as for some of the builtins) we will use
600 : : them, otherwise we will compute our own information.
601 : :
602 : : Const and pure functions have less clobber effects than other
603 : : functions so we process these first. Otherwise if it is a call
604 : : outside the compilation unit or an indirect call we punt. This
605 : : leaves local calls which will be processed by following the call
606 : : graph. */
607 : 14594342 : if (callee_t)
608 : : {
609 : 13679578 : bool call_looping;
610 : :
611 : 13679578 : if (gimple_call_builtin_p (call, BUILT_IN_NORMAL)
612 : 13679578 : && !nonfreeing_call_p (call))
613 : 668715 : local->can_free = true;
614 : :
615 : 13679578 : if (builtin_safe_for_const_function_p (&call_looping, callee_t))
616 : : {
617 : 286481 : worse_state (&local->pure_const_state, &local->looping,
618 : : IPA_CONST, call_looping,
619 : : NULL, NULL);
620 : 286481 : return;
621 : : }
622 : : /* When bad things happen to bad functions, they cannot be const
623 : : or pure. */
624 : 13393097 : if (setjmp_call_p (callee_t))
625 : : {
626 : 2494 : if (dump_file)
627 : 0 : fprintf (dump_file, " setjmp is not const/pure\n");
628 : 2494 : local->looping = true;
629 : 2494 : local->pure_const_state = IPA_NEITHER;
630 : : }
631 : :
632 : 13393097 : if (DECL_BUILT_IN_CLASS (callee_t) == BUILT_IN_NORMAL)
633 : 3166853 : switch (DECL_FUNCTION_CODE (callee_t))
634 : : {
635 : 1856 : case BUILT_IN_LONGJMP:
636 : 1856 : case BUILT_IN_NONLOCAL_GOTO:
637 : 1856 : if (dump_file)
638 : 0 : fprintf (dump_file,
639 : : " longjmp and nonlocal goto is not const/pure\n");
640 : 1856 : local->pure_const_state = IPA_NEITHER;
641 : 1856 : local->looping = true;
642 : 1856 : break;
643 : : default:
644 : : break;
645 : : }
646 : : }
647 : 914764 : else if (gimple_call_internal_p (call) && !nonfreeing_call_p (call))
648 : 139257 : local->can_free = true;
649 : :
650 : : /* When not in IPA mode, we can still handle self recursion. */
651 : 14307861 : if (!ipa && callee_t
652 : 14307861 : && recursive_call_p (current_function_decl, callee_t))
653 : : {
654 : 19127 : if (dump_file)
655 : 0 : fprintf (dump_file, " Recursive call can loop.\n");
656 : 19127 : local->looping = true;
657 : : }
658 : : /* Either callee is unknown or we are doing local analysis.
659 : : Look to see if there are any bits available for the callee (such as by
660 : : declaration or because it is builtin) and process solely on the basis of
661 : : those bits. Handle internal calls always, those calls don't have
662 : : corresponding cgraph edges and thus aren't processed during
663 : : the propagation. */
664 : 14288734 : else if (!ipa || gimple_call_internal_p (call))
665 : : {
666 : 9330347 : enum pure_const_state_e call_state;
667 : 9330347 : bool call_looping;
668 : 9330347 : if (possibly_throws && cfun->can_throw_non_call_exceptions)
669 : : {
670 : 2146883 : if (dump_file)
671 : 0 : fprintf (dump_file, " can throw; looping\n");
672 : 2146883 : local->looping = true;
673 : : }
674 : 9330347 : if (possibly_throws_externally)
675 : : {
676 : 2497462 : if (dump_file)
677 : : {
678 : 0 : fprintf (dump_file, " can throw externally to lp %i\n",
679 : : lookup_stmt_eh_lp (call));
680 : 0 : if (callee_t)
681 : 0 : fprintf (dump_file, " callee:%s\n",
682 : 0 : IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (callee_t)));
683 : : }
684 : 2497462 : local->can_throw = true;
685 : : }
686 : 9330347 : if (dump_file && (dump_flags & TDF_DETAILS))
687 : 22 : fprintf (dump_file, " checking flags for call:");
688 : 9330347 : state_from_flags (&call_state, &call_looping, flags,
689 : 9330347 : ((flags & (ECF_NORETURN | ECF_NOTHROW))
690 : : == (ECF_NORETURN | ECF_NOTHROW))
691 : 9330347 : || (!flag_exceptions && (flags & ECF_NORETURN)));
692 : 9330347 : worse_state (&local->pure_const_state, &local->looping,
693 : : call_state, call_looping, NULL, NULL);
694 : : }
695 : : /* Direct functions calls are handled by IPA propagation. */
696 : : }
697 : :
698 : : /* Wrapper around check_decl for loads in local more. */
699 : :
700 : : static bool
701 : 11892347 : check_load (gimple *, tree op, tree, void *data)
702 : : {
703 : 11892347 : if (DECL_P (op))
704 : 5340450 : check_decl ((funct_state)data, op, false, false);
705 : : else
706 : 6551897 : check_op ((funct_state)data, op, false);
707 : 11892347 : return false;
708 : : }
709 : :
710 : : /* Wrapper around check_decl for stores in local more. */
711 : :
712 : : static bool
713 : 12893338 : check_store (gimple *, tree op, tree, void *data)
714 : : {
715 : 12893338 : if (DECL_P (op))
716 : 7781481 : check_decl ((funct_state)data, op, true, false);
717 : : else
718 : 5111857 : check_op ((funct_state)data, op, true);
719 : 12893338 : return false;
720 : : }
721 : :
722 : : /* Wrapper around check_decl for loads in ipa mode. */
723 : :
724 : : static bool
725 : 5957698 : check_ipa_load (gimple *, tree op, tree, void *data)
726 : : {
727 : 5957698 : if (DECL_P (op))
728 : 3044506 : check_decl ((funct_state)data, op, false, true);
729 : : else
730 : 2913192 : check_op ((funct_state)data, op, false);
731 : 5957698 : return false;
732 : : }
733 : :
734 : : /* Wrapper around check_decl for stores in ipa mode. */
735 : :
736 : : static bool
737 : 6175905 : check_ipa_store (gimple *, tree op, tree, void *data)
738 : : {
739 : 6175905 : if (DECL_P (op))
740 : 4226034 : check_decl ((funct_state)data, op, true, true);
741 : : else
742 : 1949871 : check_op ((funct_state)data, op, true);
743 : 6175905 : return false;
744 : : }
745 : :
746 : : /* Look into pointer pointed to by GSIP and figure out what interesting side
747 : : effects it has. */
748 : : static void
749 : 165108608 : check_stmt (gimple_stmt_iterator *gsip, funct_state local, bool ipa)
750 : : {
751 : 165108608 : gimple *stmt = gsi_stmt (*gsip);
752 : :
753 : 165108608 : if (is_gimple_debug (stmt))
754 : : return;
755 : :
756 : : /* Do consider clobber as side effects before IPA, so we rather inline
757 : : C++ destructors and keep clobber semantics than eliminate them.
758 : :
759 : : Similar logic is in ipa-modref.
760 : :
761 : : TODO: We may get smarter during early optimizations on these and let
762 : : functions containing only clobbers to be optimized more. This is a common
763 : : case of C++ destructors. */
764 : :
765 : 87878856 : if ((ipa || cfun->after_inlining) && gimple_clobber_p (stmt))
766 : : return;
767 : :
768 : 85603042 : if (dump_file)
769 : : {
770 : 1709 : fprintf (dump_file, " scanning: ");
771 : 1709 : print_gimple_stmt (dump_file, stmt, 0);
772 : : }
773 : :
774 : 85603042 : if (gimple_has_volatile_ops (stmt)
775 : 73044775 : && !gimple_clobber_p (stmt))
776 : : {
777 : 1463756 : local->pure_const_state = IPA_NEITHER;
778 : 1463756 : if (dump_file)
779 : 33 : fprintf (dump_file, " Volatile stmt is not const/pure\n");
780 : : }
781 : :
782 : : /* Look for loads and stores. */
783 : 143339946 : walk_stmt_load_store_ops (stmt, local,
784 : : ipa ? check_ipa_load : check_load,
785 : : ipa ? check_ipa_store : check_store);
786 : :
787 : 85603042 : if (gimple_code (stmt) != GIMPLE_CALL
788 : 85603042 : && stmt_could_throw_p (cfun, stmt))
789 : : {
790 : 2511562 : if (cfun->can_throw_non_call_exceptions)
791 : : {
792 : 2215965 : if (dump_file)
793 : 0 : fprintf (dump_file, " can throw; looping\n");
794 : 2215965 : local->looping = true;
795 : : }
796 : 2511562 : if (stmt_can_throw_external (cfun, stmt))
797 : : {
798 : 2088544 : if (dump_file)
799 : 6 : fprintf (dump_file, " can throw externally\n");
800 : 2088544 : local->can_throw = true;
801 : : }
802 : : else
803 : 423018 : if (dump_file)
804 : 0 : fprintf (dump_file, " can throw\n");
805 : : }
806 : 85603042 : switch (gimple_code (stmt))
807 : : {
808 : 14594342 : case GIMPLE_CALL:
809 : 14594342 : check_call (local, as_a <gcall *> (stmt), ipa);
810 : 14594342 : break;
811 : 1641690 : case GIMPLE_LABEL:
812 : 1641690 : if (DECL_NONLOCAL (gimple_label_label (as_a <glabel *> (stmt))))
813 : : /* Target of long jump. */
814 : : {
815 : 812 : if (dump_file)
816 : 0 : fprintf (dump_file, " nonlocal label is not const/pure\n");
817 : 812 : local->pure_const_state = IPA_NEITHER;
818 : : }
819 : : break;
820 : 253900 : case GIMPLE_ASM:
821 : 253900 : if (gimple_asm_clobbers_memory_p (as_a <gasm *> (stmt)))
822 : : {
823 : 112830 : if (dump_file)
824 : 3 : fprintf (dump_file, " memory asm clobber is not const/pure\n");
825 : : /* Abandon all hope, ye who enter here. */
826 : 112830 : local->pure_const_state = IPA_NEITHER;
827 : 112830 : local->can_free = true;
828 : : }
829 : 253900 : if (gimple_asm_volatile_p (as_a <gasm *> (stmt)))
830 : : {
831 : 231642 : if (dump_file)
832 : 3 : fprintf (dump_file, " volatile is not const/pure\n");
833 : : /* Abandon all hope, ye who enter here. */
834 : 231642 : local->pure_const_state = IPA_NEITHER;
835 : 231642 : local->looping = true;
836 : 231642 : local->can_free = true;
837 : : }
838 : : return;
839 : : default:
840 : : break;
841 : : }
842 : : }
843 : :
844 : : /* Check that RETVAL is used only in STMT and in comparisons against 0.
845 : : RETVAL is return value of the function and STMT is return stmt. */
846 : :
847 : : static bool
848 : 402210 : check_retval_uses (tree retval, gimple *stmt)
849 : : {
850 : 402210 : imm_use_iterator use_iter;
851 : 402210 : gimple *use_stmt;
852 : :
853 : 866975 : FOR_EACH_IMM_USE_STMT (use_stmt, use_iter, retval)
854 : 583690 : if (gcond *cond = dyn_cast<gcond *> (use_stmt))
855 : : {
856 : 11904 : tree op2 = gimple_cond_rhs (cond);
857 : 11904 : if (!integer_zerop (op2))
858 : : return false;
859 : : }
860 : 571786 : else if (gassign *ga = dyn_cast<gassign *> (use_stmt))
861 : : {
862 : 79601 : enum tree_code code = gimple_assign_rhs_code (ga);
863 : 79601 : if (TREE_CODE_CLASS (code) != tcc_comparison)
864 : : return false;
865 : 2458 : if (!integer_zerop (gimple_assign_rhs2 (ga)))
866 : : return false;
867 : : }
868 : 492185 : else if (is_gimple_debug (use_stmt))
869 : : ;
870 : 394695 : else if (use_stmt != stmt)
871 : 402210 : return false;
872 : :
873 : 283285 : return true;
874 : : }
875 : :
876 : : /* malloc_candidate_p() checks if FUN can possibly be annotated with malloc
877 : : attribute. Currently this function does a very conservative analysis.
878 : : FUN is considered to be a candidate if
879 : : 1) It returns a value of pointer type.
880 : : 2) SSA_NAME_DEF_STMT (return_value) is either a function call or
881 : : a phi, and element of phi is either NULL or
882 : : SSA_NAME_DEF_STMT(element) is function call.
883 : : 3) The return-value has immediate uses only within comparisons (gcond or gassign)
884 : : and return_stmt (and likewise a phi arg has immediate use only within comparison
885 : : or the phi stmt). */
886 : :
887 : : #define DUMP_AND_RETURN(reason) \
888 : : { \
889 : : if (dump_file && (dump_flags & TDF_DETAILS)) \
890 : : fprintf (dump_file, "\n%s is not a malloc candidate, reason: %s\n", \
891 : : (node->dump_name ()), (reason)); \
892 : : return false; \
893 : : }
894 : :
895 : : static bool
896 : 339489 : malloc_candidate_p_1 (function *fun, tree retval, gimple *ret_stmt, bool ipa,
897 : : bitmap visited)
898 : : {
899 : 339489 : cgraph_node *node = cgraph_node::get_create (fun->decl);
900 : 339489 : if (!bitmap_set_bit (visited, SSA_NAME_VERSION (retval)))
901 : : return true;
902 : :
903 : 339489 : if (!check_retval_uses (retval, ret_stmt))
904 : 92854 : DUMP_AND_RETURN("Return value has uses outside return stmt"
905 : : " and comparisons against 0.")
906 : :
907 : 246635 : gimple *def = SSA_NAME_DEF_STMT (retval);
908 : :
909 : 246635 : if (gcall *call_stmt = dyn_cast<gcall *> (def))
910 : : {
911 : 52150 : tree callee_decl = gimple_call_fndecl (call_stmt);
912 : 52150 : if (!callee_decl)
913 : : return false;
914 : :
915 : 92766 : if (!ipa && !DECL_IS_MALLOC (callee_decl))
916 : 24512 : DUMP_AND_RETURN("callee_decl does not have malloc attribute for"
917 : : " non-ipa mode.")
918 : :
919 : 26190 : cgraph_edge *cs = node->get_edge (call_stmt);
920 : 26190 : if (cs)
921 : : {
922 : 8638 : ipa_call_summary *es = ipa_call_summaries->get_create (cs);
923 : 8638 : es->is_return_callee_uncaptured = true;
924 : : }
925 : : }
926 : :
927 : 194485 : else if (gphi *phi = dyn_cast<gphi *> (def))
928 : : {
929 : : bool all_args_zero = true;
930 : 87517 : for (unsigned i = 0; i < gimple_phi_num_args (phi); ++i)
931 : : {
932 : 82899 : tree arg = gimple_phi_arg_def (phi, i);
933 : 82899 : if (integer_zerop (arg))
934 : 17578 : continue;
935 : :
936 : 65321 : all_args_zero = false;
937 : 65321 : if (TREE_CODE (arg) != SSA_NAME)
938 : 2600 : DUMP_AND_RETURN ("phi arg is not SSA_NAME.");
939 : 62721 : if (!check_retval_uses (arg, phi))
940 : 26071 : DUMP_AND_RETURN ("phi arg has uses outside phi"
941 : : " and comparisons against 0.")
942 : :
943 : 36650 : gimple *arg_def = SSA_NAME_DEF_STMT (arg);
944 : 36650 : if (is_a<gphi *> (arg_def))
945 : : {
946 : 3098 : if (!malloc_candidate_p_1 (fun, arg, phi, ipa, visited))
947 : 3014 : DUMP_AND_RETURN ("nested phi fail")
948 : 84 : continue;
949 : : }
950 : :
951 : 33552 : gcall *call_stmt = dyn_cast<gcall *> (arg_def);
952 : 33552 : if (!call_stmt)
953 : 17975 : DUMP_AND_RETURN ("phi arg is a not a call_stmt.")
954 : :
955 : 15577 : tree callee_decl = gimple_call_fndecl (call_stmt);
956 : 15577 : if (!callee_decl)
957 : : return false;
958 : 20382 : if (!ipa && !DECL_IS_MALLOC (callee_decl))
959 : 4892 : DUMP_AND_RETURN("callee_decl does not have malloc attribute"
960 : : " for non-ipa mode.")
961 : :
962 : 7916 : cgraph_edge *cs = node->get_edge (call_stmt);
963 : 7916 : if (cs)
964 : : {
965 : 5334 : ipa_call_summary *es = ipa_call_summaries->get_create (cs);
966 : 5334 : es->is_return_callee_uncaptured = true;
967 : : }
968 : : }
969 : :
970 : 4618 : if (all_args_zero)
971 : 4 : DUMP_AND_RETURN ("Return value is a phi with all args equal to 0.")
972 : : }
973 : :
974 : : else
975 : 132546 : DUMP_AND_RETURN("def_stmt of return value is not a call or phi-stmt.")
976 : :
977 : : return true;
978 : : }
979 : :
980 : : static bool
981 : 5620651 : malloc_candidate_p (function *fun, bool ipa)
982 : : {
983 : 5620651 : basic_block exit_block = EXIT_BLOCK_PTR_FOR_FN (fun);
984 : 5620651 : edge e;
985 : 5620651 : edge_iterator ei;
986 : 5620651 : cgraph_node *node = cgraph_node::get_create (fun->decl);
987 : :
988 : 5620651 : if (EDGE_COUNT (exit_block->preds) == 0
989 : 5618373 : || !flag_delete_null_pointer_checks)
990 : : return false;
991 : :
992 : 5489627 : auto_bitmap visited;
993 : 5520347 : FOR_EACH_EDGE (e, ei, exit_block->preds)
994 : : {
995 : 5489627 : gimple_stmt_iterator gsi = gsi_last_bb (e->src);
996 : 10947283 : greturn *ret_stmt = dyn_cast<greturn *> (gsi_stmt (gsi));
997 : :
998 : 5488376 : if (!ret_stmt)
999 : 5489627 : return false;
1000 : :
1001 : 5488376 : tree retval = gimple_return_retval (ret_stmt);
1002 : 5488376 : if (!retval)
1003 : 2478488 : DUMP_AND_RETURN("No return value.")
1004 : :
1005 : 3009888 : if (TREE_CODE (retval) != SSA_NAME
1006 : 3009888 : || TREE_CODE (TREE_TYPE (retval)) != POINTER_TYPE)
1007 : 2673497 : DUMP_AND_RETURN("Return value is not SSA_NAME or not a pointer type.")
1008 : :
1009 : 336391 : if (!malloc_candidate_p_1 (fun, retval, ret_stmt, ipa, visited))
1010 : : return false;
1011 : : }
1012 : :
1013 : 30720 : if (dump_file && (dump_flags & TDF_DETAILS))
1014 : 8 : fprintf (dump_file, "\nFound %s to be candidate for malloc attribute\n",
1015 : 4 : IDENTIFIER_POINTER (DECL_NAME (fun->decl)));
1016 : : return true;
1017 : 5489627 : }
1018 : :
1019 : : #undef DUMP_AND_RETURN
1020 : :
1021 : : /* Return true if function is known to be finite. */
1022 : :
1023 : : bool
1024 : 3984291 : finite_function_p ()
1025 : : {
1026 : : /* Const functions cannot have back edges (an
1027 : : indication of possible infinite loop side
1028 : : effect. */
1029 : 3984291 : bool finite = true;
1030 : 3984291 : if (mark_dfs_back_edges ())
1031 : : {
1032 : : /* Preheaders are needed for SCEV to work.
1033 : : Simple latches and recorded exits improve chances that loop will
1034 : : proved to be finite in testcases such as in loop-15.c
1035 : : and loop-24.c */
1036 : 392246 : loop_optimizer_init (LOOPS_HAVE_PREHEADERS
1037 : : | LOOPS_HAVE_SIMPLE_LATCHES
1038 : : | LOOPS_HAVE_RECORDED_EXITS);
1039 : 392246 : if (dump_file && (dump_flags & TDF_DETAILS))
1040 : 0 : flow_loops_dump (dump_file, NULL, 0);
1041 : 392246 : if (mark_irreducible_loops ())
1042 : : {
1043 : 1873 : if (dump_file)
1044 : 0 : fprintf (dump_file, " has irreducible loops\n");
1045 : : finite = false;
1046 : : }
1047 : : else
1048 : : {
1049 : 390373 : scev_initialize ();
1050 : 1954756 : for (auto loop : loops_list (cfun, 0))
1051 : 856823 : if (!finite_loop_p (loop))
1052 : : {
1053 : 73186 : if (dump_file)
1054 : 1 : fprintf (dump_file, " cannot prove finiteness of "
1055 : : "loop %i\n", loop->num);
1056 : : finite =false;
1057 : : break;
1058 : 390373 : }
1059 : 390373 : scev_finalize ();
1060 : : }
1061 : 392246 : loop_optimizer_finalize ();
1062 : : }
1063 : 3984291 : return finite;
1064 : : }
1065 : :
1066 : : /* This is the main routine for finding the reference patterns for
1067 : : global variables within a function FN. */
1068 : :
1069 : : static funct_state
1070 : 4421534 : analyze_function (struct cgraph_node *fn, bool ipa)
1071 : : {
1072 : 4421534 : tree decl = fn->decl;
1073 : 4421534 : funct_state l;
1074 : 4421534 : basic_block this_block;
1075 : :
1076 : 4421534 : l = XCNEW (class funct_state_d);
1077 : 4421534 : l->pure_const_state = IPA_CONST;
1078 : 4421534 : l->state_previously_known = IPA_NEITHER;
1079 : 4421534 : l->looping_previously_known = true;
1080 : 4421534 : l->looping = false;
1081 : 4421534 : l->can_throw = false;
1082 : 4421534 : l->can_free = false;
1083 : 4421534 : state_from_flags (&l->state_previously_known, &l->looping_previously_known,
1084 : 4421534 : flags_from_decl_or_type (fn->decl),
1085 : 4421534 : fn->cannot_return_p ());
1086 : :
1087 : 4421534 : if (fn->thunk || fn->alias)
1088 : : {
1089 : : /* Thunk gets propagated through, so nothing interesting happens. */
1090 : 62065 : gcc_assert (ipa);
1091 : 62065 : if (fn->thunk && thunk_info::get (fn)->virtual_offset_p)
1092 : 739 : l->pure_const_state = IPA_NEITHER;
1093 : 62065 : return l;
1094 : : }
1095 : :
1096 : 4359469 : if (dump_file)
1097 : : {
1098 : 189 : fprintf (dump_file, "\n\n local analysis of %s\n ",
1099 : : fn->dump_name ());
1100 : : }
1101 : :
1102 : 4359469 : push_cfun (DECL_STRUCT_FUNCTION (decl));
1103 : :
1104 : 34049960 : FOR_EACH_BB_FN (this_block, cfun)
1105 : : {
1106 : 29757759 : gimple_stmt_iterator gsi;
1107 : 29757759 : struct walk_stmt_info wi;
1108 : :
1109 : 29757759 : memset (&wi, 0, sizeof (wi));
1110 : 59515518 : for (gsi = gsi_start_bb (this_block);
1111 : 194799099 : !gsi_end_p (gsi);
1112 : 165041340 : gsi_next (&gsi))
1113 : : {
1114 : : /* NULL memory accesses terminates BB. These accesses are known
1115 : : to trip undefined behaviour. gimple-ssa-isolate-paths turns them
1116 : : to volatile accesses and adds builtin_trap call which would
1117 : : confuse us otherwise. */
1118 : 165110837 : if (infer_nonnull_range_by_dereference (gsi_stmt (gsi),
1119 : : null_pointer_node))
1120 : : {
1121 : 2229 : if (dump_file)
1122 : 0 : fprintf (dump_file, " NULL memory access; terminating BB%s\n",
1123 : 0 : flag_non_call_exceptions ? "; looping" : "");
1124 : 2229 : if (flag_non_call_exceptions)
1125 : : {
1126 : 401 : l->looping = true;
1127 : 401 : if (stmt_can_throw_external (cfun, gsi_stmt (gsi)))
1128 : : {
1129 : 305 : if (dump_file)
1130 : 0 : fprintf (dump_file, " can throw externally\n");
1131 : 305 : l->can_throw = true;
1132 : : }
1133 : : }
1134 : : break;
1135 : : }
1136 : 165108608 : check_stmt (&gsi, l, ipa);
1137 : 165108608 : if (l->pure_const_state == IPA_NEITHER
1138 : 106661800 : && l->looping
1139 : 86529902 : && l->can_throw
1140 : 41557385 : && l->can_free)
1141 : 67268 : goto end;
1142 : : }
1143 : : }
1144 : :
1145 : 4292201 : end:
1146 : 4359469 : if (l->pure_const_state != IPA_NEITHER
1147 : 1917357 : && !l->looping
1148 : 6096600 : && !finite_function_p ())
1149 : 23333 : l->looping = true;
1150 : :
1151 : 4359469 : if (dump_file && (dump_flags & TDF_DETAILS))
1152 : 22 : fprintf (dump_file, " checking previously known:");
1153 : :
1154 : 4359469 : better_state (&l->pure_const_state, &l->looping,
1155 : : l->state_previously_known,
1156 : 4359469 : l->looping_previously_known);
1157 : 4359469 : if (TREE_NOTHROW (decl))
1158 : 2963304 : l->can_throw = false;
1159 : :
1160 : 4359469 : l->malloc_state = STATE_MALLOC_BOTTOM;
1161 : 4359469 : if (DECL_IS_MALLOC (decl))
1162 : 6049 : l->malloc_state = STATE_MALLOC;
1163 : 4353420 : else if (ipa && malloc_candidate_p (DECL_STRUCT_FUNCTION (decl), true))
1164 : 10835 : l->malloc_state = STATE_MALLOC_TOP;
1165 : 4342585 : else if (malloc_candidate_p (DECL_STRUCT_FUNCTION (decl), false))
1166 : 19885 : l->malloc_state = STATE_MALLOC;
1167 : :
1168 : 4359469 : pop_cfun ();
1169 : 4359469 : if (dump_file)
1170 : : {
1171 : 189 : if (l->looping)
1172 : 50 : fprintf (dump_file, "Function is locally looping.\n");
1173 : 189 : if (l->can_throw)
1174 : 6 : fprintf (dump_file, "Function is locally throwing.\n");
1175 : 189 : if (l->pure_const_state == IPA_CONST)
1176 : 102 : fprintf (dump_file, "Function is locally const.\n");
1177 : 189 : if (l->pure_const_state == IPA_PURE)
1178 : 7 : fprintf (dump_file, "Function is locally pure.\n");
1179 : 189 : if (l->can_free)
1180 : 3 : fprintf (dump_file, "Function can locally free.\n");
1181 : 189 : if (l->malloc_state == STATE_MALLOC)
1182 : 8 : fprintf (dump_file, "Function is locally malloc.\n");
1183 : : }
1184 : : return l;
1185 : : }
1186 : :
1187 : : void
1188 : 18361 : funct_state_summary_t::insert (cgraph_node *node, funct_state_d *state)
1189 : : {
1190 : : /* There are some shared nodes, in particular the initializers on
1191 : : static declarations. We do not need to scan them more than once
1192 : : since all we would be interested in are the addressof
1193 : : operations. */
1194 : 18361 : if (opt_for_fn (node->decl, flag_ipa_pure_const))
1195 : : {
1196 : 18360 : funct_state_d *a = analyze_function (node, true);
1197 : 18360 : new (state) funct_state_d (*a);
1198 : 18360 : free (a);
1199 : : }
1200 : : else
1201 : : /* Do not keep stale summaries. */
1202 : 1 : funct_state_summaries->remove (node);
1203 : 18361 : }
1204 : :
1205 : : /* Called when new clone is inserted to callgraph late. */
1206 : :
1207 : : void
1208 : 994533 : funct_state_summary_t::duplicate (cgraph_node *, cgraph_node *dst,
1209 : : funct_state_d *src_data,
1210 : : funct_state_d *dst_data)
1211 : : {
1212 : 994533 : new (dst_data) funct_state_d (*src_data);
1213 : 994533 : if (dst_data->malloc_state == STATE_MALLOC
1214 : 994533 : && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (dst->decl))))
1215 : 11 : dst_data->malloc_state = STATE_MALLOC_BOTTOM;
1216 : 994533 : }
1217 : :
1218 : :
1219 : : void
1220 : 156097 : pass_ipa_pure_const::
1221 : : register_hooks (void)
1222 : : {
1223 : 156097 : if (init_p)
1224 : : return;
1225 : :
1226 : 156097 : init_p = true;
1227 : :
1228 : 156097 : funct_state_summaries = new funct_state_summary_t (symtab);
1229 : : }
1230 : :
1231 : :
1232 : : /* Analyze each function in the cgraph to see if it is locally PURE or
1233 : : CONST. */
1234 : :
1235 : : static void
1236 : 143443 : pure_const_generate_summary (void)
1237 : : {
1238 : 143443 : struct cgraph_node *node;
1239 : :
1240 : 143443 : pass_ipa_pure_const *pass = static_cast <pass_ipa_pure_const *> (current_pass);
1241 : 143443 : pass->register_hooks ();
1242 : :
1243 : : /* Process all of the functions.
1244 : :
1245 : : We process AVAIL_INTERPOSABLE functions. We cannot use the results
1246 : : by default, but the info can be used at LTO with -fwhole-program or
1247 : : when function got cloned and the clone is AVAILABLE. */
1248 : :
1249 : 1470820 : FOR_EACH_DEFINED_FUNCTION (node)
1250 : 1327377 : if (opt_for_fn (node->decl, flag_ipa_pure_const))
1251 : : {
1252 : 1327132 : funct_state_d *a = analyze_function (node, true);
1253 : 1327132 : new (funct_state_summaries->get_create (node)) funct_state_d (*a);
1254 : 1327132 : free (a);
1255 : : }
1256 : 143443 : }
1257 : :
1258 : :
1259 : : /* Serialize the ipa info for lto. */
1260 : :
1261 : : static void
1262 : 18994 : pure_const_write_summary (void)
1263 : : {
1264 : 18994 : struct cgraph_node *node;
1265 : 18994 : struct lto_simple_output_block *ob
1266 : 18994 : = lto_create_simple_output_block (LTO_section_ipa_pure_const);
1267 : 18994 : unsigned int count = 0;
1268 : 18994 : lto_symtab_encoder_iterator lsei;
1269 : 18994 : lto_symtab_encoder_t encoder;
1270 : :
1271 : 18994 : encoder = lto_get_out_decl_state ()->symtab_node_encoder;
1272 : :
1273 : 109519 : for (lsei = lsei_start_function_in_partition (encoder); !lsei_end_p (lsei);
1274 : 90525 : lsei_next_function_in_partition (&lsei))
1275 : : {
1276 : 90525 : node = lsei_cgraph_node (lsei);
1277 : 90525 : if (node->definition && funct_state_summaries->exists (node))
1278 : 90372 : count++;
1279 : : }
1280 : :
1281 : 18994 : streamer_write_uhwi_stream (ob->main_stream, count);
1282 : :
1283 : : /* Process all of the functions. */
1284 : 109519 : for (lsei = lsei_start_function_in_partition (encoder); !lsei_end_p (lsei);
1285 : 90525 : lsei_next_function_in_partition (&lsei))
1286 : : {
1287 : 90525 : node = lsei_cgraph_node (lsei);
1288 : 90525 : funct_state_d *fs = funct_state_summaries->get (node);
1289 : 90525 : if (node->definition && fs != NULL)
1290 : : {
1291 : 90372 : struct bitpack_d bp;
1292 : 90372 : int node_ref;
1293 : 90372 : lto_symtab_encoder_t encoder;
1294 : :
1295 : 90372 : encoder = ob->decl_state->symtab_node_encoder;
1296 : 90372 : node_ref = lto_symtab_encoder_encode (encoder, node);
1297 : 90372 : streamer_write_uhwi_stream (ob->main_stream, node_ref);
1298 : :
1299 : : /* Note that flags will need to be read in the opposite
1300 : : order as we are pushing the bitflags into FLAGS. */
1301 : 90372 : bp = bitpack_create (ob->main_stream);
1302 : 90372 : bp_pack_value (&bp, fs->pure_const_state, 2);
1303 : 90372 : bp_pack_value (&bp, fs->state_previously_known, 2);
1304 : 90372 : bp_pack_value (&bp, fs->looping_previously_known, 1);
1305 : 90372 : bp_pack_value (&bp, fs->looping, 1);
1306 : 90372 : bp_pack_value (&bp, fs->can_throw, 1);
1307 : 90372 : bp_pack_value (&bp, fs->can_free, 1);
1308 : 90372 : bp_pack_value (&bp, fs->malloc_state, 2);
1309 : 90372 : streamer_write_bitpack (&bp);
1310 : : }
1311 : : }
1312 : :
1313 : 18994 : lto_destroy_simple_output_block (ob);
1314 : 18994 : }
1315 : :
1316 : :
1317 : : /* Deserialize the ipa info for lto. */
1318 : :
1319 : : static void
1320 : 12654 : pure_const_read_summary (void)
1321 : : {
1322 : 12654 : struct lto_file_decl_data **file_data_vec = lto_get_file_decl_data ();
1323 : 12654 : struct lto_file_decl_data *file_data;
1324 : 12654 : unsigned int j = 0;
1325 : :
1326 : 12654 : pass_ipa_pure_const *pass = static_cast <pass_ipa_pure_const *> (current_pass);
1327 : 12654 : pass->register_hooks ();
1328 : :
1329 : 38986 : while ((file_data = file_data_vec[j++]))
1330 : : {
1331 : 13678 : const char *data;
1332 : 13678 : size_t len;
1333 : 13678 : class lto_input_block *ib
1334 : 13678 : = lto_create_simple_input_block (file_data,
1335 : : LTO_section_ipa_pure_const,
1336 : : &data, &len);
1337 : 13678 : if (ib)
1338 : : {
1339 : 10344 : unsigned int i;
1340 : 10344 : unsigned int count = streamer_read_uhwi (ib);
1341 : :
1342 : 85697 : for (i = 0; i < count; i++)
1343 : : {
1344 : 75353 : unsigned int index;
1345 : 75353 : struct cgraph_node *node;
1346 : 75353 : struct bitpack_d bp;
1347 : 75353 : funct_state fs;
1348 : 75353 : lto_symtab_encoder_t encoder;
1349 : :
1350 : 75353 : index = streamer_read_uhwi (ib);
1351 : 75353 : encoder = file_data->symtab_node_encoder;
1352 : 75353 : node = dyn_cast<cgraph_node *> (lto_symtab_encoder_deref (encoder,
1353 : : index));
1354 : :
1355 : 75353 : fs = funct_state_summaries->get_create (node);
1356 : : /* Note that the flags must be read in the opposite
1357 : : order in which they were written (the bitflags were
1358 : : pushed into FLAGS). */
1359 : 75353 : bp = streamer_read_bitpack (ib);
1360 : 75353 : fs->pure_const_state
1361 : 75353 : = (enum pure_const_state_e) bp_unpack_value (&bp, 2);
1362 : 75353 : fs->state_previously_known
1363 : 75353 : = (enum pure_const_state_e) bp_unpack_value (&bp, 2);
1364 : 75353 : fs->looping_previously_known = bp_unpack_value (&bp, 1);
1365 : 75353 : fs->looping = bp_unpack_value (&bp, 1);
1366 : 75353 : fs->can_throw = bp_unpack_value (&bp, 1);
1367 : 75353 : fs->can_free = bp_unpack_value (&bp, 1);
1368 : 75353 : fs->malloc_state
1369 : 75353 : = (enum malloc_state_e) bp_unpack_value (&bp, 2);
1370 : :
1371 : 75353 : if (dump_file)
1372 : : {
1373 : 0 : int flags = flags_from_decl_or_type (node->decl);
1374 : 0 : fprintf (dump_file, "Read info for %s ", node->dump_name ());
1375 : 0 : if (flags & ECF_CONST)
1376 : 0 : fprintf (dump_file, " const");
1377 : 0 : if (flags & ECF_PURE)
1378 : 0 : fprintf (dump_file, " pure");
1379 : 0 : if (flags & ECF_NOTHROW)
1380 : 0 : fprintf (dump_file, " nothrow");
1381 : 0 : fprintf (dump_file, "\n pure const state: %s\n",
1382 : 0 : pure_const_names[fs->pure_const_state]);
1383 : 0 : fprintf (dump_file, " previously known state: %s\n",
1384 : 0 : pure_const_names[fs->state_previously_known]);
1385 : 0 : if (fs->looping)
1386 : 0 : fprintf (dump_file," function is locally looping\n");
1387 : 0 : if (fs->looping_previously_known)
1388 : 0 : fprintf (dump_file," function is previously known looping\n");
1389 : 0 : if (fs->can_throw)
1390 : 0 : fprintf (dump_file," function is locally throwing\n");
1391 : 0 : if (fs->can_free)
1392 : 0 : fprintf (dump_file," function can locally free\n");
1393 : 0 : fprintf (dump_file, "\n malloc state: %s\n",
1394 : 0 : malloc_state_names[fs->malloc_state]);
1395 : : }
1396 : : }
1397 : :
1398 : 10344 : lto_destroy_simple_input_block (file_data,
1399 : : LTO_section_ipa_pure_const,
1400 : : ib, data, len);
1401 : : }
1402 : : }
1403 : 12654 : }
1404 : :
1405 : : /* We only propagate across edges that can throw externally and their callee
1406 : : is not interposable. */
1407 : :
1408 : : static bool
1409 : 6646598 : ignore_edge_for_nothrow (struct cgraph_edge *e)
1410 : : {
1411 : 6646598 : if (!e->can_throw_external || TREE_NOTHROW (e->callee->decl))
1412 : : return true;
1413 : :
1414 : 1911105 : enum availability avail;
1415 : 1911105 : cgraph_node *ultimate_target
1416 : 1911105 : = e->callee->function_or_virtual_thunk_symbol (&avail, e->caller);
1417 : 1911105 : if (avail <= AVAIL_INTERPOSABLE || TREE_NOTHROW (ultimate_target->decl))
1418 : : return true;
1419 : 628740 : return ((opt_for_fn (e->callee->decl, flag_non_call_exceptions)
1420 : 201597 : && !e->callee->binds_to_current_def_p (e->caller))
1421 : 628696 : || !opt_for_fn (e->caller->decl, flag_ipa_pure_const)
1422 : 1256401 : || !opt_for_fn (ultimate_target->decl, flag_ipa_pure_const));
1423 : : }
1424 : :
1425 : : /* Return true if NODE is self recursive function.
1426 : : Indirectly recursive functions appears as non-trivial strongly
1427 : : connected components, so we need to care about self recursion
1428 : : only. */
1429 : :
1430 : : static bool
1431 : 1855749 : self_recursive_p (struct cgraph_node *node)
1432 : : {
1433 : 1855749 : struct cgraph_edge *e;
1434 : 7246366 : for (e = node->callees; e; e = e->next_callee)
1435 : 5393975 : if (e->callee->function_symbol () == node)
1436 : : return true;
1437 : : return false;
1438 : : }
1439 : :
1440 : : /* Return true if N is cdtor that is not const or pure. In this case we may
1441 : : need to remove unreachable function if it is marked const/pure. */
1442 : :
1443 : : static bool
1444 : 47507 : cdtor_p (cgraph_node *n, void *)
1445 : : {
1446 : 47507 : if (DECL_STATIC_CONSTRUCTOR (n->decl) || DECL_STATIC_DESTRUCTOR (n->decl))
1447 : 3 : return ((!TREE_READONLY (n->decl) && !DECL_PURE_P (n->decl))
1448 : 3 : || DECL_LOOPING_CONST_OR_PURE_P (n->decl));
1449 : : return false;
1450 : : }
1451 : :
1452 : : /* Skip edges from and to nodes without ipa_pure_const enabled.
1453 : : Ignore not available symbols. */
1454 : :
1455 : : static bool
1456 : 6646598 : ignore_edge_for_pure_const (struct cgraph_edge *e)
1457 : : {
1458 : 6646598 : enum availability avail;
1459 : 6646598 : cgraph_node *ultimate_target
1460 : 6646598 : = e->callee->function_or_virtual_thunk_symbol (&avail, e->caller);
1461 : :
1462 : 6646598 : return (avail <= AVAIL_INTERPOSABLE
1463 : 2254458 : || !opt_for_fn (e->caller->decl, flag_ipa_pure_const)
1464 : 8891577 : || !opt_for_fn (ultimate_target->decl,
1465 : 6646598 : flag_ipa_pure_const));
1466 : : }
1467 : :
1468 : : /* Return true if function should be skipped for local pure const analysis. */
1469 : :
1470 : : static bool
1471 : 4374913 : skip_function_for_local_pure_const (struct cgraph_node *node)
1472 : : {
1473 : : /* Because we do not schedule pass_fixup_cfg over whole program after early
1474 : : optimizations we must not promote functions that are called by already
1475 : : processed functions. */
1476 : :
1477 : 4374913 : if (function_called_by_processed_nodes_p ())
1478 : : {
1479 : 4674 : if (dump_file)
1480 : 1 : fprintf (dump_file, "Function called in recursive cycle; ignoring\n");
1481 : 4674 : return true;
1482 : : }
1483 : : /* Save some work and do not analyze functions which are interposable and
1484 : : do not have any non-interposable aliases. */
1485 : 4370239 : if (node->get_availability () <= AVAIL_INTERPOSABLE
1486 : 201507 : && !flag_lto
1487 : 4565195 : && !node->has_aliases_p ())
1488 : : {
1489 : 185352 : if (dump_file)
1490 : 0 : fprintf (dump_file,
1491 : : "Function is interposable; not analyzing.\n");
1492 : 185352 : return true;
1493 : : }
1494 : : return false;
1495 : : }
1496 : :
1497 : : /* Make function const and output warning. If LOCAL is true,
1498 : : return true if anything changed. Otherwise return true if
1499 : : we may have introduced removale ctors. */
1500 : :
1501 : : bool
1502 : 1481687 : ipa_make_function_const (struct cgraph_node *node, bool looping, bool local)
1503 : : {
1504 : 1481687 : bool cdtor = false;
1505 : :
1506 : 1481687 : if (TREE_READONLY (node->decl)
1507 : 1481687 : && (looping || !DECL_LOOPING_CONST_OR_PURE_P (node->decl)))
1508 : : return false;
1509 : 865915 : warn_function_const (node->decl, !looping);
1510 : 865915 : if (local && skip_function_for_local_pure_const (node))
1511 : : return false;
1512 : 847141 : if (dump_file)
1513 : 58 : fprintf (dump_file, "Function found to be %sconst: %s\n",
1514 : : looping ? "looping " : "",
1515 : : node->dump_name ());
1516 : 847141 : if (!local && !looping)
1517 : 41377 : cdtor = node->call_for_symbol_and_aliases (cdtor_p, NULL, true);
1518 : 847141 : if (!dbg_cnt (ipa_attr))
1519 : : return false;
1520 : 847141 : if (node->set_const_flag (true, looping))
1521 : : {
1522 : 477948 : if (dump_file)
1523 : 58 : fprintf (dump_file,
1524 : : "Declaration updated to be %sconst: %s\n",
1525 : : looping ? "looping " : "",
1526 : : node->dump_name ());
1527 : 477948 : if (local)
1528 : : return true;
1529 : 2566 : return cdtor;
1530 : : }
1531 : : return false;
1532 : : }
1533 : :
1534 : : /* Make function const and output warning. If LOCAL is true,
1535 : : return true if anything changed. Otherwise return true if
1536 : : we may have introduced removale ctors. */
1537 : :
1538 : : bool
1539 : 956543 : ipa_make_function_pure (struct cgraph_node *node, bool looping, bool local)
1540 : : {
1541 : 956543 : bool cdtor = false;
1542 : :
1543 : 956543 : if (TREE_READONLY (node->decl)
1544 : 956543 : || (DECL_PURE_P (node->decl)
1545 : 625846 : && (looping || !DECL_LOOPING_CONST_OR_PURE_P (node->decl))))
1546 : : return false;
1547 : 329920 : warn_function_pure (node->decl, !looping);
1548 : 329920 : if (local && skip_function_for_local_pure_const (node))
1549 : : return false;
1550 : 321192 : if (dump_file)
1551 : 8 : fprintf (dump_file, "Function found to be %spure: %s\n",
1552 : : looping ? "looping " : "",
1553 : : node->dump_name ());
1554 : 321192 : if (!local && !looping)
1555 : 3179 : cdtor = node->call_for_symbol_and_aliases (cdtor_p, NULL, true);
1556 : 321192 : if (!dbg_cnt (ipa_attr))
1557 : : return false;
1558 : 321192 : if (node->set_pure_flag (true, looping))
1559 : : {
1560 : 309958 : if (dump_file)
1561 : 8 : fprintf (dump_file,
1562 : : "Declaration updated to be %spure: %s\n",
1563 : : looping ? "looping " : "",
1564 : : node->dump_name ());
1565 : 309958 : if (local)
1566 : : return true;
1567 : 7325 : return cdtor;
1568 : : }
1569 : : return false;
1570 : : }
1571 : :
1572 : : /* Produce transitive closure over the callgraph and compute pure/const
1573 : : attributes. */
1574 : :
1575 : : static bool
1576 : 147305 : propagate_pure_const (void)
1577 : : {
1578 : 147305 : struct cgraph_node *node;
1579 : 147305 : struct cgraph_node *w;
1580 : 147305 : struct cgraph_node **order =
1581 : 147305 : XCNEWVEC (struct cgraph_node *, symtab->cgraph_count);
1582 : 147305 : int order_pos;
1583 : 147305 : int i;
1584 : 147305 : struct ipa_dfs_info * w_info;
1585 : 147305 : bool remove_p = false;
1586 : :
1587 : 147305 : order_pos = ipa_reduced_postorder (order, true,
1588 : : ignore_edge_for_pure_const);
1589 : 147305 : if (dump_file)
1590 : : {
1591 : 29 : cgraph_node::dump_cgraph (dump_file);
1592 : 29 : ipa_print_order (dump_file, "reduced", order, order_pos);
1593 : : }
1594 : :
1595 : : /* Propagate the local information through the call graph to produce
1596 : : the global information. All the nodes within a cycle will have
1597 : : the same info so we collapse cycles first. Then we can do the
1598 : : propagation in one pass from the leaves to the roots. */
1599 : 2296940 : for (i = 0; i < order_pos; i++ )
1600 : : {
1601 : 2149635 : enum pure_const_state_e pure_const_state = IPA_CONST;
1602 : 2149635 : bool looping = false;
1603 : 2149635 : int count = 0;
1604 : 2149635 : node = order[i];
1605 : :
1606 : 2149635 : if (node->alias)
1607 : 35940 : continue;
1608 : :
1609 : 2113695 : if (dump_file && (dump_flags & TDF_DETAILS))
1610 : 5 : fprintf (dump_file, "Starting cycle\n");
1611 : :
1612 : : /* Find the worst state for any node in the cycle. */
1613 : : w = node;
1614 : 3569701 : while (w && pure_const_state != IPA_NEITHER)
1615 : : {
1616 : 2116473 : struct cgraph_edge *e;
1617 : 2116473 : struct cgraph_edge *ie;
1618 : 2116473 : int i;
1619 : 2116473 : struct ipa_ref *ref = NULL;
1620 : :
1621 : 2116473 : funct_state w_l = funct_state_summaries->get_create (w);
1622 : 2116473 : if (dump_file && (dump_flags & TDF_DETAILS))
1623 : 6 : fprintf (dump_file, " Visiting %s state:%s looping %i\n",
1624 : : w->dump_name (),
1625 : 6 : pure_const_names[w_l->pure_const_state],
1626 : 6 : w_l->looping);
1627 : :
1628 : : /* First merge in function body properties.
1629 : : We are safe to pass NULL as FROM and TO because we will take care
1630 : : of possible interposition when walking callees. */
1631 : 2116473 : worse_state (&pure_const_state, &looping,
1632 : 2116473 : w_l->pure_const_state, w_l->looping,
1633 : : NULL, NULL);
1634 : 2116473 : if (pure_const_state == IPA_NEITHER)
1635 : : break;
1636 : :
1637 : 1456006 : count++;
1638 : :
1639 : : /* We consider recursive cycles as possibly infinite.
1640 : : This might be relaxed since infinite recursion leads to stack
1641 : : overflow. */
1642 : 1456006 : if (count > 1)
1643 : 2778 : looping = true;
1644 : :
1645 : : /* Now walk the edges and merge in callee properties. */
1646 : 2207948 : for (e = w->callees; e && pure_const_state != IPA_NEITHER;
1647 : 751942 : e = e->next_callee)
1648 : : {
1649 : 1717966 : enum availability avail;
1650 : 1717966 : struct cgraph_node *y = e->callee->
1651 : 3435932 : function_or_virtual_thunk_symbol (&avail,
1652 : 1717966 : e->caller);
1653 : 1717966 : enum pure_const_state_e edge_state = IPA_CONST;
1654 : 1717966 : bool edge_looping = false;
1655 : :
1656 : 1717966 : if (e->recursive_p ())
1657 : 5813 : looping = true;
1658 : :
1659 : 1717966 : if (dump_file && (dump_flags & TDF_DETAILS))
1660 : : {
1661 : 7 : fprintf (dump_file, " Call to %s",
1662 : 7 : e->callee->dump_name ());
1663 : : }
1664 : 1717966 : if (avail > AVAIL_INTERPOSABLE)
1665 : : {
1666 : 577753 : funct_state y_l = funct_state_summaries->get_create (y);
1667 : :
1668 : 577753 : if (dump_file && (dump_flags & TDF_DETAILS))
1669 : : {
1670 : 2 : fprintf (dump_file,
1671 : : " state:%s looping:%i\n",
1672 : 2 : pure_const_names[y_l->pure_const_state],
1673 : 2 : y_l->looping);
1674 : : }
1675 : 577753 : if (y_l->pure_const_state > IPA_PURE
1676 : 577753 : && e->cannot_lead_to_return_p ())
1677 : : {
1678 : 8189 : if (dump_file && (dump_flags & TDF_DETAILS))
1679 : 0 : fprintf (dump_file,
1680 : : " Ignoring side effects"
1681 : : " -> pure, looping\n");
1682 : 8189 : edge_state = IPA_PURE;
1683 : 8189 : edge_looping = true;
1684 : : }
1685 : : else
1686 : : {
1687 : 569564 : edge_state = y_l->pure_const_state;
1688 : 569564 : edge_looping = y_l->looping;
1689 : : }
1690 : : }
1691 : 1140213 : else if (builtin_safe_for_const_function_p (&edge_looping,
1692 : : y->decl))
1693 : : edge_state = IPA_CONST;
1694 : : else
1695 : 1005808 : state_from_flags (&edge_state, &edge_looping,
1696 : 1005808 : flags_from_decl_or_type (y->decl),
1697 : 1005808 : e->cannot_lead_to_return_p ());
1698 : :
1699 : : /* Merge the results with what we already know. */
1700 : 1717966 : better_state (&edge_state, &edge_looping,
1701 : : w_l->state_previously_known,
1702 : 1717966 : w_l->looping_previously_known);
1703 : 1717966 : worse_state (&pure_const_state, &looping,
1704 : 1717966 : edge_state, edge_looping, e->caller, e->callee);
1705 : 1717966 : if (pure_const_state == IPA_NEITHER)
1706 : : break;
1707 : : }
1708 : :
1709 : : /* Now process the indirect call. */
1710 : 1456006 : for (ie = w->indirect_calls;
1711 : 1456706 : ie && pure_const_state != IPA_NEITHER; ie = ie->next_callee)
1712 : : {
1713 : 26150 : enum pure_const_state_e edge_state = IPA_CONST;
1714 : 26150 : bool edge_looping = false;
1715 : :
1716 : 26150 : if (dump_file && (dump_flags & TDF_DETAILS))
1717 : 0 : fprintf (dump_file, " Indirect call");
1718 : 52300 : state_from_flags (&edge_state, &edge_looping,
1719 : 26150 : ie->indirect_info->ecf_flags,
1720 : 26150 : ie->cannot_lead_to_return_p ());
1721 : : /* Merge the results with what we already know. */
1722 : 26150 : better_state (&edge_state, &edge_looping,
1723 : : w_l->state_previously_known,
1724 : 26150 : w_l->looping_previously_known);
1725 : 26150 : worse_state (&pure_const_state, &looping,
1726 : : edge_state, edge_looping, NULL, NULL);
1727 : 26150 : if (pure_const_state == IPA_NEITHER)
1728 : : break;
1729 : : }
1730 : :
1731 : : /* And finally all loads and stores. */
1732 : 311398 : for (i = 0; w->iterate_reference (i, ref)
1733 : 2395681 : && pure_const_state != IPA_NEITHER; i++)
1734 : : {
1735 : 337822 : enum pure_const_state_e ref_state = IPA_CONST;
1736 : 337822 : bool ref_looping = false;
1737 : 337822 : switch (ref->use)
1738 : : {
1739 : 214448 : case IPA_REF_LOAD:
1740 : : /* readonly reads are safe. */
1741 : 214448 : if (TREE_READONLY (ref->referred->decl))
1742 : : break;
1743 : 200978 : if (dump_file && (dump_flags & TDF_DETAILS))
1744 : 0 : fprintf (dump_file, " nonreadonly global var read\n");
1745 : 200978 : ref_state = IPA_PURE;
1746 : 200978 : break;
1747 : 88054 : case IPA_REF_STORE:
1748 : 88054 : if (ref->cannot_lead_to_return ())
1749 : : break;
1750 : 26482 : ref_state = IPA_NEITHER;
1751 : 26482 : if (dump_file && (dump_flags & TDF_DETAILS))
1752 : 0 : fprintf (dump_file, " global var write\n");
1753 : : break;
1754 : : case IPA_REF_ADDR:
1755 : : break;
1756 : 0 : default:
1757 : 0 : gcc_unreachable ();
1758 : : }
1759 : 337822 : better_state (&ref_state, &ref_looping,
1760 : : w_l->state_previously_known,
1761 : 337822 : w_l->looping_previously_known);
1762 : 337822 : worse_state (&pure_const_state, &looping,
1763 : : ref_state, ref_looping, NULL, NULL);
1764 : 337822 : if (pure_const_state == IPA_NEITHER)
1765 : : break;
1766 : : }
1767 : 1456006 : w_info = (struct ipa_dfs_info *) w->aux;
1768 : 1456006 : w = w_info->next_cycle;
1769 : : }
1770 : 2113695 : if (dump_file && (dump_flags & TDF_DETAILS))
1771 : 5 : fprintf (dump_file, "Result %s looping %i\n",
1772 : 5 : pure_const_names [pure_const_state],
1773 : : looping);
1774 : :
1775 : : /* Find the worst state of can_free for any node in the cycle. */
1776 : : bool can_free = false;
1777 : : w = node;
1778 : 4230686 : while (w && !can_free)
1779 : : {
1780 : 2116991 : struct cgraph_edge *e;
1781 : 2116991 : funct_state w_l = funct_state_summaries->get (w);
1782 : :
1783 : 2116991 : if (w_l->can_free
1784 : 1933469 : || w->get_availability () == AVAIL_INTERPOSABLE
1785 : 3973958 : || w->indirect_calls)
1786 : : can_free = true;
1787 : :
1788 : 3644391 : for (e = w->callees; e && !can_free; e = e->next_callee)
1789 : : {
1790 : 1527400 : enum availability avail;
1791 : 1527400 : struct cgraph_node *y = e->callee->
1792 : 3054800 : function_or_virtual_thunk_symbol (&avail,
1793 : 1527400 : e->caller);
1794 : :
1795 : 1527400 : if (avail > AVAIL_INTERPOSABLE)
1796 : 696486 : can_free = funct_state_summaries->get (y)->can_free;
1797 : : else
1798 : : can_free = true;
1799 : : }
1800 : 2116991 : w_info = (struct ipa_dfs_info *) w->aux;
1801 : 2116991 : w = w_info->next_cycle;
1802 : : }
1803 : :
1804 : : /* Copy back the region's pure_const_state which is shared by
1805 : : all nodes in the region. */
1806 : : w = node;
1807 : 4248241 : while (w)
1808 : : {
1809 : 2134546 : funct_state w_l = funct_state_summaries->get (w);
1810 : 2134546 : enum pure_const_state_e this_state = pure_const_state;
1811 : 2134546 : bool this_looping = looping;
1812 : :
1813 : 2134546 : w_l->can_free = can_free;
1814 : 2134546 : w->nonfreeing_fn = !can_free;
1815 : 2134546 : if (!can_free && dump_file)
1816 : 28 : fprintf (dump_file, "Function found not to call free: %s\n",
1817 : : w->dump_name ());
1818 : :
1819 : 2134546 : if (w_l->state_previously_known != IPA_NEITHER
1820 : 355775 : && this_state > w_l->state_previously_known)
1821 : : {
1822 : 1150 : if (this_state == IPA_NEITHER)
1823 : 50 : this_looping = w_l->looping_previously_known;
1824 : : this_state = w_l->state_previously_known;
1825 : : }
1826 : 2134546 : if (!this_looping && self_recursive_p (w))
1827 : : this_looping = true;
1828 : 2134546 : if (!w_l->looping_previously_known)
1829 : 271656 : this_looping = false;
1830 : :
1831 : : /* All nodes within a cycle share the same info. */
1832 : 2134546 : w_l->pure_const_state = this_state;
1833 : 2134546 : w_l->looping = this_looping;
1834 : :
1835 : : /* Inline clones share declaration with their offline copies;
1836 : : do not modify their declarations since the offline copy may
1837 : : be different. */
1838 : 2134546 : if (!w->inlined_to)
1839 : 1003810 : switch (this_state)
1840 : : {
1841 : 157012 : case IPA_CONST:
1842 : 157012 : remove_p |= ipa_make_function_const (w, this_looping, false);
1843 : 157012 : break;
1844 : :
1845 : 94001 : case IPA_PURE:
1846 : 94001 : remove_p |= ipa_make_function_pure (w, this_looping, false);
1847 : 94001 : break;
1848 : :
1849 : : default:
1850 : : break;
1851 : : }
1852 : 2134546 : w_info = (struct ipa_dfs_info *) w->aux;
1853 : 2134546 : w = w_info->next_cycle;
1854 : : }
1855 : : }
1856 : :
1857 : 147305 : ipa_free_postorder_info ();
1858 : 147305 : free (order);
1859 : 147305 : return remove_p;
1860 : : }
1861 : :
1862 : : /* Produce transitive closure over the callgraph and compute nothrow
1863 : : attributes. */
1864 : :
1865 : : static void
1866 : 147305 : propagate_nothrow (void)
1867 : : {
1868 : 147305 : struct cgraph_node *node;
1869 : 147305 : struct cgraph_node *w;
1870 : 147305 : struct cgraph_node **order =
1871 : 147305 : XCNEWVEC (struct cgraph_node *, symtab->cgraph_count);
1872 : 147305 : int order_pos;
1873 : 147305 : int i;
1874 : 147305 : struct ipa_dfs_info * w_info;
1875 : :
1876 : 147305 : order_pos = ipa_reduced_postorder (order, true,
1877 : : ignore_edge_for_nothrow);
1878 : 147305 : if (dump_file)
1879 : : {
1880 : 29 : cgraph_node::dump_cgraph (dump_file);
1881 : 29 : ipa_print_order (dump_file, "reduced for nothrow", order, order_pos);
1882 : : }
1883 : :
1884 : : /* Propagate the local information through the call graph to produce
1885 : : the global information. All the nodes within a cycle will have
1886 : : the same info so we collapse cycles first. Then we can do the
1887 : : propagation in one pass from the leaves to the roots. */
1888 : 2312878 : for (i = 0; i < order_pos; i++ )
1889 : : {
1890 : 2165573 : bool can_throw = false;
1891 : 2165573 : node = order[i];
1892 : :
1893 : 2165573 : if (node->alias)
1894 : 35940 : continue;
1895 : :
1896 : : /* Find the worst state for any node in the cycle. */
1897 : : w = node;
1898 : 4259419 : while (w && !can_throw)
1899 : : {
1900 : 2129786 : struct cgraph_edge *e, *ie;
1901 : :
1902 : 2129786 : if (!TREE_NOTHROW (w->decl))
1903 : : {
1904 : 848400 : funct_state w_l = funct_state_summaries->get_create (w);
1905 : :
1906 : 848400 : if (w_l->can_throw
1907 : 848400 : || w->get_availability () == AVAIL_INTERPOSABLE)
1908 : : can_throw = true;
1909 : :
1910 : 1563649 : for (e = w->callees; e && !can_throw; e = e->next_callee)
1911 : : {
1912 : 715249 : enum availability avail;
1913 : :
1914 : 715249 : if (!e->can_throw_external || TREE_NOTHROW (e->callee->decl))
1915 : 188728 : continue;
1916 : :
1917 : 526521 : struct cgraph_node *y = e->callee->
1918 : 1053042 : function_or_virtual_thunk_symbol (&avail,
1919 : 526521 : e->caller);
1920 : :
1921 : : /* We can use info about the callee only if we know it
1922 : : cannot be interposed.
1923 : : When callee is compiled with non-call exceptions we also
1924 : : must check that the declaration is bound to current
1925 : : body as other semantically equivalent body may still
1926 : : throw. */
1927 : 526521 : if (avail <= AVAIL_INTERPOSABLE
1928 : 526521 : || (!TREE_NOTHROW (y->decl)
1929 : 253279 : && (funct_state_summaries->get_create (y)->can_throw
1930 : 2091 : || (opt_for_fn (y->decl, flag_non_call_exceptions)
1931 : 483 : && !e->callee->binds_to_current_def_p (w)))))
1932 : : can_throw = true;
1933 : : }
1934 : 862196 : for (ie = w->indirect_calls; ie && !can_throw;
1935 : 13796 : ie = ie->next_callee)
1936 : 13796 : if (ie->can_throw_external
1937 : 12324 : && !(ie->indirect_info->ecf_flags & ECF_NOTHROW))
1938 : 13796 : can_throw = true;
1939 : : }
1940 : 2129786 : w_info = (struct ipa_dfs_info *) w->aux;
1941 : 2129786 : w = w_info->next_cycle;
1942 : : }
1943 : :
1944 : : /* Copy back the region's pure_const_state which is shared by
1945 : : all nodes in the region. */
1946 : : w = node;
1947 : 4264179 : while (w)
1948 : : {
1949 : 2134546 : funct_state w_l = funct_state_summaries->get_create (w);
1950 : 2134546 : if (!can_throw && !TREE_NOTHROW (w->decl))
1951 : : {
1952 : : /* Inline clones share declaration with their offline copies;
1953 : : do not modify their declarations since the offline copy may
1954 : : be different. */
1955 : 12386 : if (!w->inlined_to)
1956 : : {
1957 : 2851 : w->set_nothrow_flag (true);
1958 : 2851 : if (dump_file)
1959 : 0 : fprintf (dump_file, "Function found to be nothrow: %s\n",
1960 : : w->dump_name ());
1961 : : }
1962 : : }
1963 : 840738 : else if (can_throw && !TREE_NOTHROW (w->decl))
1964 : 840738 : w_l->can_throw = true;
1965 : 2134546 : w_info = (struct ipa_dfs_info *) w->aux;
1966 : 2134546 : w = w_info->next_cycle;
1967 : : }
1968 : : }
1969 : :
1970 : 147305 : ipa_free_postorder_info ();
1971 : 147305 : free (order);
1972 : 147305 : }
1973 : :
1974 : : /* Debugging function to dump state of malloc lattice. */
1975 : :
1976 : : DEBUG_FUNCTION
1977 : : static void
1978 : 294610 : dump_malloc_lattice (FILE *dump_file, const char *s)
1979 : : {
1980 : 294610 : if (!dump_file)
1981 : : return;
1982 : :
1983 : 58 : fprintf (dump_file, "\n\nMALLOC LATTICE %s:\n", s);
1984 : 58 : cgraph_node *node;
1985 : 580 : FOR_EACH_FUNCTION (node)
1986 : : {
1987 : 232 : funct_state fs = funct_state_summaries->get (node);
1988 : 232 : if (fs)
1989 : 156 : fprintf (dump_file, "%s: %s\n", node->dump_name (),
1990 : 156 : malloc_state_names[fs->malloc_state]);
1991 : : }
1992 : : }
1993 : :
1994 : : /* Propagate malloc attribute across the callgraph. */
1995 : :
1996 : : static void
1997 : 147305 : propagate_malloc (void)
1998 : : {
1999 : 147305 : cgraph_node *node;
2000 : 7384468 : FOR_EACH_FUNCTION (node)
2001 : : {
2002 : 3544929 : if (DECL_IS_MALLOC (node->decl))
2003 : 43414 : if (!funct_state_summaries->exists (node))
2004 : : {
2005 : 20969 : funct_state fs = funct_state_summaries->get_create (node);
2006 : 20969 : fs->malloc_state = STATE_MALLOC;
2007 : : }
2008 : : }
2009 : :
2010 : 147305 : dump_malloc_lattice (dump_file, "Initial");
2011 : 147305 : struct cgraph_node **order
2012 : 147305 : = XNEWVEC (struct cgraph_node *, symtab->cgraph_count);
2013 : 147305 : int order_pos = ipa_reverse_postorder (order);
2014 : 147305 : bool changed = true;
2015 : :
2016 : 443673 : while (changed)
2017 : : {
2018 : 149063 : changed = false;
2019 : : /* Walk in postorder. */
2020 : 4359125 : for (int i = order_pos - 1; i >= 0; --i)
2021 : : {
2022 : 4210062 : cgraph_node *node = order[i];
2023 : 5765446 : if (node->alias
2024 : 4210062 : || !node->definition
2025 : 4210062 : || !funct_state_summaries->exists (node))
2026 : 4158281 : continue;
2027 : :
2028 : 2654678 : funct_state l = funct_state_summaries->get (node);
2029 : :
2030 : : /* FIXME: add support for indirect-calls. */
2031 : 2654678 : if (node->indirect_calls)
2032 : : {
2033 : 138150 : l->malloc_state = STATE_MALLOC_BOTTOM;
2034 : 138150 : continue;
2035 : : }
2036 : :
2037 : 2516528 : if (node->get_availability () <= AVAIL_INTERPOSABLE)
2038 : : {
2039 : 90230 : l->malloc_state = STATE_MALLOC_BOTTOM;
2040 : 90230 : continue;
2041 : : }
2042 : :
2043 : 2426298 : if (l->malloc_state == STATE_MALLOC_BOTTOM)
2044 : 2374517 : continue;
2045 : :
2046 : 51781 : auto_vec<cgraph_node *, 16> callees;
2047 : 198692 : for (cgraph_edge *cs = node->callees; cs; cs = cs->next_callee)
2048 : : {
2049 : 146911 : ipa_call_summary *es = ipa_call_summaries->get_create (cs);
2050 : 146911 : if (es && es->is_return_callee_uncaptured)
2051 : 12733 : callees.safe_push (cs->callee);
2052 : : }
2053 : :
2054 : 51781 : malloc_state_e new_state = l->malloc_state;
2055 : 64514 : for (unsigned j = 0; j < callees.length (); j++)
2056 : : {
2057 : 12733 : cgraph_node *callee = callees[j];
2058 : 12733 : if (!funct_state_summaries->exists (node))
2059 : : {
2060 : : new_state = STATE_MALLOC_BOTTOM;
2061 : : break;
2062 : : }
2063 : 12733 : malloc_state_e callee_state
2064 : 12733 : = funct_state_summaries->get_create (callee)->malloc_state;
2065 : 12733 : if (new_state < callee_state)
2066 : 10871 : new_state = callee_state;
2067 : : }
2068 : 51781 : if (new_state != l->malloc_state)
2069 : : {
2070 : 10853 : changed = true;
2071 : 10853 : l->malloc_state = new_state;
2072 : : }
2073 : 51781 : }
2074 : : }
2075 : :
2076 : 2317795 : FOR_EACH_DEFINED_FUNCTION (node)
2077 : 2170490 : if (funct_state_summaries->exists (node))
2078 : : {
2079 : 2158542 : funct_state l = funct_state_summaries->get (node);
2080 : 2158542 : if (!node->alias
2081 : 2134546 : && l->malloc_state == STATE_MALLOC
2082 : 17660 : && !node->inlined_to
2083 : 2158967 : && !VOID_TYPE_P (TREE_TYPE (TREE_TYPE (node->decl))))
2084 : : {
2085 : 425 : if (dump_file && (dump_flags & TDF_DETAILS))
2086 : 6 : fprintf (dump_file, "Function %s found to be malloc\n",
2087 : : node->dump_name ());
2088 : :
2089 : 425 : bool malloc_decl_p = DECL_IS_MALLOC (node->decl);
2090 : 425 : node->set_malloc_flag (true);
2091 : 425 : if (!malloc_decl_p && warn_suggest_attribute_malloc)
2092 : 0 : warn_function_malloc (node->decl);
2093 : : }
2094 : : }
2095 : :
2096 : 147305 : dump_malloc_lattice (dump_file, "after propagation");
2097 : 147305 : ipa_free_postorder_info ();
2098 : 147305 : free (order);
2099 : 147305 : }
2100 : :
2101 : : /* Produce the global information by preforming a transitive closure
2102 : : on the local information that was produced by generate_summary. */
2103 : :
2104 : : unsigned int
2105 : 147305 : pass_ipa_pure_const::
2106 : : execute (function *)
2107 : : {
2108 : 147305 : bool remove_p;
2109 : :
2110 : : /* Nothrow makes more function to not lead to return and improve
2111 : : later analysis. */
2112 : 147305 : propagate_nothrow ();
2113 : 147305 : propagate_malloc ();
2114 : 147305 : remove_p = propagate_pure_const ();
2115 : :
2116 : 147305 : delete funct_state_summaries;
2117 : 147305 : return remove_p ? TODO_remove_functions : 0;
2118 : : }
2119 : :
2120 : : static bool
2121 : 3815874 : gate_pure_const (void)
2122 : : {
2123 : 577251 : return flag_ipa_pure_const || in_lto_p;
2124 : : }
2125 : :
2126 : 279404 : pass_ipa_pure_const::pass_ipa_pure_const(gcc::context *ctxt)
2127 : : : ipa_opt_pass_d(pass_data_ipa_pure_const, ctxt,
2128 : : pure_const_generate_summary, /* generate_summary */
2129 : : pure_const_write_summary, /* write_summary */
2130 : : pure_const_read_summary, /* read_summary */
2131 : : NULL, /* write_optimization_summary */
2132 : : NULL, /* read_optimization_summary */
2133 : : NULL, /* stmt_fixup */
2134 : : 0, /* function_transform_todo_flags_start */
2135 : : NULL, /* function_transform */
2136 : : NULL), /* variable_transform */
2137 : 279404 : init_p (false) {}
2138 : :
2139 : : ipa_opt_pass_d *
2140 : 279404 : make_pass_ipa_pure_const (gcc::context *ctxt)
2141 : : {
2142 : 279404 : return new pass_ipa_pure_const (ctxt);
2143 : : }
2144 : :
2145 : : /* Simple local pass for pure const discovery reusing the analysis from
2146 : : ipa_pure_const. This pass is effective when executed together with
2147 : : other optimization passes in early optimization pass queue. */
2148 : :
2149 : : namespace {
2150 : :
2151 : : const pass_data pass_data_local_pure_const =
2152 : : {
2153 : : GIMPLE_PASS, /* type */
2154 : : "local-pure-const", /* name */
2155 : : OPTGROUP_NONE, /* optinfo_flags */
2156 : : TV_IPA_PURE_CONST, /* tv_id */
2157 : : 0, /* properties_required */
2158 : : 0, /* properties_provided */
2159 : : 0, /* properties_destroyed */
2160 : : 0, /* todo_flags_start */
2161 : : 0, /* todo_flags_finish */
2162 : : };
2163 : :
2164 : : class pass_local_pure_const : public gimple_opt_pass
2165 : : {
2166 : : public:
2167 : 558808 : pass_local_pure_const (gcc::context *ctxt)
2168 : 1117616 : : gimple_opt_pass (pass_data_local_pure_const, ctxt)
2169 : : {}
2170 : :
2171 : : /* opt_pass methods: */
2172 : 279404 : opt_pass * clone () final override
2173 : : {
2174 : 279404 : return new pass_local_pure_const (m_ctxt);
2175 : : }
2176 : 3238871 : bool gate (function *) final override { return gate_pure_const (); }
2177 : : unsigned int execute (function *) final override;
2178 : :
2179 : : }; // class pass_local_pure_const
2180 : :
2181 : : unsigned int
2182 : 3238566 : pass_local_pure_const::execute (function *fun)
2183 : : {
2184 : 3238566 : bool changed = false;
2185 : 3238566 : funct_state l;
2186 : 3238566 : bool skip;
2187 : 3238566 : struct cgraph_node *node;
2188 : :
2189 : 3238566 : node = cgraph_node::get (current_function_decl);
2190 : 3238566 : skip = skip_function_for_local_pure_const (node);
2191 : :
2192 : 3238566 : if (!warn_suggest_attribute_const
2193 : 3238543 : && !warn_suggest_attribute_pure
2194 : 3238522 : && skip)
2195 : : return 0;
2196 : :
2197 : 3076042 : l = analyze_function (node, false);
2198 : :
2199 : : /* Do NORETURN discovery. */
2200 : 3076042 : if (!skip && !TREE_THIS_VOLATILE (current_function_decl)
2201 : 6127328 : && EDGE_COUNT (EXIT_BLOCK_PTR_FOR_FN (fun)->preds) == 0)
2202 : : {
2203 : 30891 : warn_function_noreturn (fun->decl);
2204 : 30891 : if (dump_file)
2205 : 1 : fprintf (dump_file, "Function found to be noreturn: %s\n",
2206 : : current_function_name ());
2207 : :
2208 : : /* Update declaration and reduce profile to executed once. */
2209 : 30891 : if (cgraph_node::get (current_function_decl)->set_noreturn_flag (true))
2210 : : changed = true;
2211 : 30891 : if (node->frequency > NODE_FREQUENCY_EXECUTED_ONCE)
2212 : 11866 : node->frequency = NODE_FREQUENCY_EXECUTED_ONCE;
2213 : : }
2214 : :
2215 : 3076042 : switch (l->pure_const_state)
2216 : : {
2217 : 619341 : case IPA_CONST:
2218 : 1238682 : changed |= ipa_make_function_const
2219 : 619341 : (cgraph_node::get (current_function_decl), l->looping, true);
2220 : 619341 : break;
2221 : :
2222 : 384202 : case IPA_PURE:
2223 : 768404 : changed |= ipa_make_function_pure
2224 : 384202 : (cgraph_node::get (current_function_decl), l->looping, true);
2225 : 384202 : break;
2226 : :
2227 : : default:
2228 : : break;
2229 : : }
2230 : 3076042 : if (!l->can_throw && !TREE_NOTHROW (current_function_decl))
2231 : : {
2232 : 21436 : node->set_nothrow_flag (true);
2233 : 21436 : changed = true;
2234 : 21436 : if (dump_file)
2235 : 2 : fprintf (dump_file, "Function found to be nothrow: %s\n",
2236 : : current_function_name ());
2237 : : }
2238 : :
2239 : 3076042 : if (l->malloc_state == STATE_MALLOC
2240 : 3076042 : && !DECL_IS_MALLOC (current_function_decl))
2241 : : {
2242 : 19885 : node->set_malloc_flag (true);
2243 : 19885 : if (warn_suggest_attribute_malloc)
2244 : 3 : warn_function_malloc (node->decl);
2245 : 19885 : changed = true;
2246 : 19885 : if (dump_file)
2247 : 2 : fprintf (dump_file, "Function found to be malloc: %s\n",
2248 : : node->dump_name ());
2249 : : }
2250 : :
2251 : 3076042 : free (l);
2252 : 3076042 : if (changed)
2253 : 826610 : return execute_fixup_cfg ();
2254 : : else
2255 : : return 0;
2256 : : }
2257 : :
2258 : : } // anon namespace
2259 : :
2260 : : gimple_opt_pass *
2261 : 279404 : make_pass_local_pure_const (gcc::context *ctxt)
2262 : : {
2263 : 279404 : return new pass_local_pure_const (ctxt);
2264 : : }
2265 : :
2266 : : /* Emit noreturn warnings. */
2267 : :
2268 : : namespace {
2269 : :
2270 : : const pass_data pass_data_warn_function_noreturn =
2271 : : {
2272 : : GIMPLE_PASS, /* type */
2273 : : "*warn_function_noreturn", /* name */
2274 : : OPTGROUP_NONE, /* optinfo_flags */
2275 : : TV_NONE, /* tv_id */
2276 : : PROP_cfg, /* properties_required */
2277 : : 0, /* properties_provided */
2278 : : 0, /* properties_destroyed */
2279 : : 0, /* todo_flags_start */
2280 : : 0, /* todo_flags_finish */
2281 : : };
2282 : :
2283 : : class pass_warn_function_noreturn : public gimple_opt_pass
2284 : : {
2285 : : public:
2286 : 279404 : pass_warn_function_noreturn (gcc::context *ctxt)
2287 : 558808 : : gimple_opt_pass (pass_data_warn_function_noreturn, ctxt)
2288 : : {}
2289 : :
2290 : : /* opt_pass methods: */
2291 : 1427962 : bool gate (function *) final override
2292 : : {
2293 : 1427962 : return warn_suggest_attribute_noreturn;
2294 : : }
2295 : 27 : unsigned int execute (function *fun) final override
2296 : : {
2297 : 27 : if (!TREE_THIS_VOLATILE (current_function_decl)
2298 : 27 : && EDGE_COUNT (EXIT_BLOCK_PTR_FOR_FN (fun)->preds) == 0)
2299 : 4 : warn_function_noreturn (current_function_decl);
2300 : 27 : return 0;
2301 : : }
2302 : :
2303 : : }; // class pass_warn_function_noreturn
2304 : :
2305 : : } // anon namespace
2306 : :
2307 : : gimple_opt_pass *
2308 : 279404 : make_pass_warn_function_noreturn (gcc::context *ctxt)
2309 : : {
2310 : 279404 : return new pass_warn_function_noreturn (ctxt);
2311 : : }
2312 : :
2313 : : /* Simple local pass for pure const discovery reusing the analysis from
2314 : : ipa_pure_const. This pass is effective when executed together with
2315 : : other optimization passes in early optimization pass queue. */
2316 : :
2317 : : namespace {
2318 : :
2319 : : const pass_data pass_data_nothrow =
2320 : : {
2321 : : GIMPLE_PASS, /* type */
2322 : : "nothrow", /* name */
2323 : : OPTGROUP_NONE, /* optinfo_flags */
2324 : : TV_IPA_PURE_CONST, /* tv_id */
2325 : : 0, /* properties_required */
2326 : : 0, /* properties_provided */
2327 : : 0, /* properties_destroyed */
2328 : : 0, /* todo_flags_start */
2329 : : 0, /* todo_flags_finish */
2330 : : };
2331 : :
2332 : : class pass_nothrow : public gimple_opt_pass
2333 : : {
2334 : : public:
2335 : 279404 : pass_nothrow (gcc::context *ctxt)
2336 : 558808 : : gimple_opt_pass (pass_data_nothrow, ctxt)
2337 : : {}
2338 : :
2339 : : /* opt_pass methods: */
2340 : 0 : opt_pass * clone () final override { return new pass_nothrow (m_ctxt); }
2341 : 2677050 : bool gate (function *) final override { return optimize; }
2342 : : unsigned int execute (function *) final override;
2343 : :
2344 : : }; // class pass_nothrow
2345 : :
2346 : : unsigned int
2347 : 2241955 : pass_nothrow::execute (function *)
2348 : : {
2349 : 2241955 : struct cgraph_node *node;
2350 : 2241955 : basic_block this_block;
2351 : :
2352 : 2241955 : if (TREE_NOTHROW (current_function_decl))
2353 : : return 0;
2354 : :
2355 : 1392080 : node = cgraph_node::get (current_function_decl);
2356 : :
2357 : : /* We run during lowering, we cannot really use availability yet. */
2358 : 1392080 : if (cgraph_node::get (current_function_decl)->get_availability ()
2359 : : <= AVAIL_INTERPOSABLE)
2360 : : {
2361 : 78679 : if (dump_file)
2362 : 0 : fprintf (dump_file, "Function is interposable;"
2363 : : " not analyzing.\n");
2364 : 78679 : return true;
2365 : : }
2366 : :
2367 : 10297179 : FOR_EACH_BB_FN (this_block, cfun)
2368 : : {
2369 : 19057614 : for (gimple_stmt_iterator gsi = gsi_start_bb (this_block);
2370 : 46871064 : !gsi_end_p (gsi);
2371 : 37342257 : gsi_next (&gsi))
2372 : 37887286 : if (stmt_can_throw_external (cfun, gsi_stmt (gsi)))
2373 : : {
2374 : 546244 : if (is_gimple_call (gsi_stmt (gsi)))
2375 : : {
2376 : 339203 : tree callee_t = gimple_call_fndecl (gsi_stmt (gsi));
2377 : 339203 : if (callee_t && recursive_call_p (current_function_decl,
2378 : : callee_t))
2379 : 1215 : continue;
2380 : : }
2381 : :
2382 : 545029 : if (dump_file)
2383 : : {
2384 : 0 : fprintf (dump_file, "Statement can throw: ");
2385 : 0 : print_gimple_stmt (dump_file, gsi_stmt (gsi), 0);
2386 : : }
2387 : 545029 : return 0;
2388 : : }
2389 : : }
2390 : :
2391 : 768372 : node->set_nothrow_flag (true);
2392 : :
2393 : 768372 : bool cfg_changed = false;
2394 : 768372 : if (self_recursive_p (node))
2395 : 29303 : FOR_EACH_BB_FN (this_block, cfun)
2396 : 79653 : if (gcall *g = safe_dyn_cast <gcall *> (*gsi_last_bb (this_block)))
2397 : : {
2398 : 1967 : tree callee_t = gimple_call_fndecl (g);
2399 : 1967 : if (callee_t
2400 : 1867 : && recursive_call_p (current_function_decl, callee_t)
2401 : 559 : && maybe_clean_eh_stmt (g)
2402 : 1970 : && gimple_purge_dead_eh_edges (this_block))
2403 : : cfg_changed = true;
2404 : : }
2405 : :
2406 : 768372 : if (dump_file)
2407 : 33 : fprintf (dump_file, "Function found to be nothrow: %s\n",
2408 : : current_function_name ());
2409 : 768372 : return cfg_changed ? TODO_cleanup_cfg : 0;
2410 : : }
2411 : :
2412 : : } // anon namespace
2413 : :
2414 : : gimple_opt_pass *
2415 : 279404 : make_pass_nothrow (gcc::context *ctxt)
2416 : : {
2417 : 279404 : return new pass_nothrow (ctxt);
2418 : : }
|
