Branch data Line data Source code
1 : : /* GIMPLE lowering pass. Converts High GIMPLE into Low GIMPLE.
2 : :
3 : : Copyright (C) 2003-2024 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 : : #include "config.h"
22 : : #include "system.h"
23 : : #include "coretypes.h"
24 : : #include "backend.h"
25 : : #include "tree.h"
26 : : #include "gimple.h"
27 : : #include "tree-pass.h"
28 : : #include "fold-const.h"
29 : : #include "tree-nested.h"
30 : : #include "calls.h"
31 : : #include "gimple-iterator.h"
32 : : #include "gimple-low.h"
33 : : #include "predict.h"
34 : : #include "gimple-predict.h"
35 : : #include "gimple-fold.h"
36 : : #include "cgraph.h"
37 : : #include "tree-ssa.h"
38 : : #include "value-range.h"
39 : : #include "stringpool.h"
40 : : #include "tree-ssanames.h"
41 : : #include "tree-inline.h"
42 : : #include "gimple-walk.h"
43 : : #include "attribs.h"
44 : :
45 : : /* The differences between High GIMPLE and Low GIMPLE are the
46 : : following:
47 : :
48 : : 1- Lexical scopes are removed (i.e., GIMPLE_BIND disappears).
49 : :
50 : : 2- GIMPLE_TRY and GIMPLE_CATCH are converted to abnormal control
51 : : flow and exception regions are built as an on-the-side region
52 : : hierarchy (See tree-eh.cc:lower_eh_constructs).
53 : :
54 : : 3- Multiple identical return statements are grouped into a single
55 : : return and gotos to the unique return site. */
56 : :
57 : : /* Match a return statement with a label. During lowering, we identify
58 : : identical return statements and replace duplicates with a jump to
59 : : the corresponding label. */
60 : : struct return_statements_t
61 : : {
62 : : tree label;
63 : : greturn *stmt;
64 : : };
65 : : typedef struct return_statements_t return_statements_t;
66 : :
67 : :
68 : : struct lower_data
69 : : {
70 : : /* Block the current statement belongs to. */
71 : : tree block;
72 : :
73 : : /* A vector of label and return statements to be moved to the end
74 : : of the function. */
75 : : vec<return_statements_t> return_statements;
76 : :
77 : : /* True if the current statement cannot fall through. */
78 : : bool cannot_fallthru;
79 : : };
80 : :
81 : : static void lower_stmt (gimple_stmt_iterator *, struct lower_data *);
82 : : static void lower_gimple_bind (gimple_stmt_iterator *, struct lower_data *);
83 : : static void lower_try_catch (gimple_stmt_iterator *, struct lower_data *);
84 : : static void lower_gimple_return (gimple_stmt_iterator *, struct lower_data *);
85 : : static void lower_builtin_setjmp (gimple_stmt_iterator *);
86 : : static void lower_builtin_posix_memalign (gimple_stmt_iterator *);
87 : : static void lower_builtin_assume_aligned (gimple_stmt_iterator *);
88 : :
89 : :
90 : : /* Lower the body of current_function_decl from High GIMPLE into Low
91 : : GIMPLE. */
92 : :
93 : : static unsigned int
94 : 2688918 : lower_function_body (void)
95 : : {
96 : 2688918 : struct lower_data data;
97 : 2688918 : gimple_seq body = gimple_body (current_function_decl);
98 : 2688918 : gimple_seq lowered_body;
99 : 2688918 : gimple_stmt_iterator i;
100 : 2688918 : gimple *bind;
101 : 2688918 : gimple *x;
102 : :
103 : : /* The gimplifier should've left a body of exactly one statement,
104 : : namely a GIMPLE_BIND. */
105 : 2688918 : gcc_assert (gimple_seq_first (body) == gimple_seq_last (body)
106 : : && gimple_code (gimple_seq_first_stmt (body)) == GIMPLE_BIND);
107 : :
108 : 2688918 : memset (&data, 0, sizeof (data));
109 : 2688918 : data.block = DECL_INITIAL (current_function_decl);
110 : 2688918 : BLOCK_SUBBLOCKS (data.block) = NULL_TREE;
111 : 2688918 : BLOCK_CHAIN (data.block) = NULL_TREE;
112 : 2688918 : TREE_ASM_WRITTEN (data.block) = 1;
113 : 2688918 : data.return_statements.create (8);
114 : :
115 : 2688918 : bind = gimple_seq_first_stmt (body);
116 : 2688918 : lowered_body = NULL;
117 : 2688918 : gimple_seq_add_stmt (&lowered_body, bind);
118 : 2688918 : i = gsi_start (lowered_body);
119 : 2688918 : lower_gimple_bind (&i, &data);
120 : :
121 : 2688918 : i = gsi_last (lowered_body);
122 : :
123 : : /* If we had begin stmt markers from e.g. PCH, but this compilation
124 : : doesn't want them, lower_stmt will have cleaned them up; we can
125 : : now clear the flag that indicates we had them. */
126 : 2688918 : if (!MAY_HAVE_DEBUG_MARKER_STMTS && cfun->debug_nonbind_markers)
127 : : {
128 : : /* This counter needs not be exact, but before lowering it will
129 : : most certainly be. */
130 : 0 : gcc_assert (cfun->debug_marker_count == 0);
131 : 0 : cfun->debug_nonbind_markers = false;
132 : : }
133 : :
134 : : /* If the function falls off the end, we need a null return statement.
135 : : If we've already got one in the return_statements vector, we don't
136 : : need to do anything special. Otherwise build one by hand. */
137 : 2688918 : bool may_fallthru = gimple_seq_may_fallthru (lowered_body);
138 : 2688918 : if (may_fallthru
139 : 2734753 : && (data.return_statements.is_empty ()
140 : 45835 : || (gimple_return_retval (data.return_statements.last().stmt)
141 : : != NULL)))
142 : : {
143 : 1186911 : x = gimple_build_return (NULL);
144 : 1186911 : gimple_set_location (x, cfun->function_end_locus);
145 : 1186911 : gimple_set_block (x, DECL_INITIAL (current_function_decl));
146 : 1186911 : gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
147 : 1186911 : may_fallthru = false;
148 : : }
149 : :
150 : : /* If we lowered any return statements, emit the representative
151 : : at the end of the function. */
152 : 4179845 : while (!data.return_statements.is_empty ())
153 : : {
154 : 1490927 : return_statements_t t = data.return_statements.pop ();
155 : 1490927 : x = gimple_build_label (t.label);
156 : 1490927 : gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
157 : 1490927 : gsi_insert_after (&i, t.stmt, GSI_CONTINUE_LINKING);
158 : 1490927 : if (may_fallthru)
159 : : {
160 : : /* Remove the line number from the representative return statement.
161 : : It now fills in for the fallthru too. Failure to remove this
162 : : will result in incorrect results for coverage analysis. */
163 : 33096 : gimple_set_location (t.stmt, UNKNOWN_LOCATION);
164 : 33096 : may_fallthru = false;
165 : : }
166 : : }
167 : :
168 : : /* Once the old body has been lowered, replace it with the new
169 : : lowered sequence. */
170 : 2688918 : gimple_set_body (current_function_decl, lowered_body);
171 : :
172 : 2688918 : gcc_assert (data.block == DECL_INITIAL (current_function_decl));
173 : 2688918 : BLOCK_SUBBLOCKS (data.block)
174 : 2688918 : = blocks_nreverse (BLOCK_SUBBLOCKS (data.block));
175 : :
176 : 2688918 : clear_block_marks (data.block);
177 : 2688918 : data.return_statements.release ();
178 : 2688918 : return 0;
179 : : }
180 : :
181 : : namespace {
182 : :
183 : : const pass_data pass_data_lower_cf =
184 : : {
185 : : GIMPLE_PASS, /* type */
186 : : "lower", /* name */
187 : : OPTGROUP_NONE, /* optinfo_flags */
188 : : TV_NONE, /* tv_id */
189 : : PROP_gimple_any, /* properties_required */
190 : : PROP_gimple_lcf, /* properties_provided */
191 : : 0, /* properties_destroyed */
192 : : 0, /* todo_flags_start */
193 : : 0, /* todo_flags_finish */
194 : : };
195 : :
196 : : class pass_lower_cf : public gimple_opt_pass
197 : : {
198 : : public:
199 : 281930 : pass_lower_cf (gcc::context *ctxt)
200 : 563860 : : gimple_opt_pass (pass_data_lower_cf, ctxt)
201 : : {}
202 : :
203 : : /* opt_pass methods: */
204 : 2688918 : unsigned int execute (function *) final override
205 : : {
206 : 2688918 : return lower_function_body ();
207 : : }
208 : :
209 : : }; // class pass_lower_cf
210 : :
211 : : } // anon namespace
212 : :
213 : : gimple_opt_pass *
214 : 281930 : make_pass_lower_cf (gcc::context *ctxt)
215 : : {
216 : 281930 : return new pass_lower_cf (ctxt);
217 : : }
218 : :
219 : : /* Lower sequence SEQ. Unlike gimplification the statements are not relowered
220 : : when they are changed -- if this has to be done, the lowering routine must
221 : : do it explicitly. DATA is passed through the recursion. */
222 : :
223 : : static void
224 : 11422647 : lower_sequence (gimple_seq *seq, struct lower_data *data)
225 : : {
226 : 11422647 : gimple_stmt_iterator gsi;
227 : :
228 : 103868700 : for (gsi = gsi_start (*seq); !gsi_end_p (gsi); )
229 : 81250897 : lower_stmt (&gsi, data);
230 : 11422647 : }
231 : :
232 : :
233 : : /* Lower the OpenMP directive statement pointed by GSI. DATA is
234 : : passed through the recursion. */
235 : :
236 : : static void
237 : 63942 : lower_omp_directive (gimple_stmt_iterator *gsi, struct lower_data *data)
238 : : {
239 : 63942 : gimple *stmt;
240 : :
241 : 63942 : stmt = gsi_stmt (*gsi);
242 : :
243 : 63942 : lower_sequence (gimple_omp_body_ptr (stmt), data);
244 : 63942 : gsi_insert_seq_after (gsi, gimple_omp_body (stmt), GSI_CONTINUE_LINKING);
245 : 63942 : gimple_omp_set_body (stmt, NULL);
246 : 63942 : gsi_next (gsi);
247 : 63942 : }
248 : :
249 : : /* Create an artificial FUNCTION_DECL for assumption at LOC. */
250 : :
251 : : static tree
252 : 101 : create_assumption_fn (location_t loc)
253 : : {
254 : 101 : tree name = clone_function_name_numbered (current_function_decl, "_assume");
255 : : /* Temporarily, until we determine all the arguments. */
256 : 101 : tree type = build_varargs_function_type_list (boolean_type_node, NULL_TREE);
257 : 101 : tree decl = build_decl (loc, FUNCTION_DECL, name, type);
258 : 101 : TREE_STATIC (decl) = 1;
259 : 101 : TREE_USED (decl) = 1;
260 : 101 : DECL_ARTIFICIAL (decl) = 1;
261 : 101 : DECL_IGNORED_P (decl) = 1;
262 : 101 : DECL_NAMELESS (decl) = 1;
263 : 101 : TREE_PUBLIC (decl) = 0;
264 : 101 : DECL_UNINLINABLE (decl) = 1;
265 : 101 : DECL_EXTERNAL (decl) = 0;
266 : 101 : DECL_CONTEXT (decl) = NULL_TREE;
267 : 101 : DECL_INITIAL (decl) = make_node (BLOCK);
268 : 101 : tree attributes = DECL_ATTRIBUTES (current_function_decl);
269 : 101 : if (lookup_attribute ("noipa", attributes) == NULL)
270 : : {
271 : 98 : attributes = tree_cons (get_identifier ("noipa"), NULL, attributes);
272 : 98 : if (lookup_attribute ("noinline", attributes) == NULL)
273 : 98 : attributes = tree_cons (get_identifier ("noinline"), NULL, attributes);
274 : 98 : if (lookup_attribute ("noclone", attributes) == NULL)
275 : 98 : attributes = tree_cons (get_identifier ("noclone"), NULL, attributes);
276 : 98 : if (lookup_attribute ("no_icf", attributes) == NULL)
277 : 98 : attributes = tree_cons (get_identifier ("no_icf"), NULL, attributes);
278 : : }
279 : 101 : DECL_ATTRIBUTES (decl) = attributes;
280 : 101 : BLOCK_SUPERCONTEXT (DECL_INITIAL (decl)) = decl;
281 : 202 : DECL_FUNCTION_SPECIFIC_OPTIMIZATION (decl)
282 : 101 : = DECL_FUNCTION_SPECIFIC_OPTIMIZATION (current_function_decl);
283 : 202 : DECL_FUNCTION_SPECIFIC_TARGET (decl)
284 : 101 : = DECL_FUNCTION_SPECIFIC_TARGET (current_function_decl);
285 : 101 : tree t = build_decl (DECL_SOURCE_LOCATION (decl),
286 : : RESULT_DECL, NULL_TREE, boolean_type_node);
287 : 101 : DECL_ARTIFICIAL (t) = 1;
288 : 101 : DECL_IGNORED_P (t) = 1;
289 : 101 : DECL_CONTEXT (t) = decl;
290 : 101 : DECL_RESULT (decl) = t;
291 : 101 : push_struct_function (decl);
292 : 101 : cfun->function_end_locus = loc;
293 : 101 : init_tree_ssa (cfun);
294 : 101 : return decl;
295 : : }
296 : :
297 : 303 : struct lower_assumption_data
298 : : {
299 : : copy_body_data id;
300 : : tree return_false_label;
301 : : tree guard_copy;
302 : : auto_vec<tree> decls;
303 : : };
304 : :
305 : : /* Helper function for lower_assumptions. Find local vars and labels
306 : : in the assumption sequence and remove debug stmts. */
307 : :
308 : : static tree
309 : 656 : find_assumption_locals_r (gimple_stmt_iterator *gsi_p, bool *,
310 : : struct walk_stmt_info *wi)
311 : : {
312 : 656 : lower_assumption_data *data = (lower_assumption_data *) wi->info;
313 : 656 : gimple *stmt = gsi_stmt (*gsi_p);
314 : 656 : tree lhs = gimple_get_lhs (stmt);
315 : 656 : if (lhs && TREE_CODE (lhs) == SSA_NAME)
316 : : {
317 : 0 : gcc_assert (SSA_NAME_VAR (lhs) == NULL_TREE);
318 : 0 : data->id.decl_map->put (lhs, NULL_TREE);
319 : 0 : data->decls.safe_push (lhs);
320 : : }
321 : 656 : switch (gimple_code (stmt))
322 : : {
323 : 107 : case GIMPLE_BIND:
324 : 107 : for (tree var = gimple_bind_vars (as_a <gbind *> (stmt));
325 : 250 : var; var = DECL_CHAIN (var))
326 : 143 : if (VAR_P (var)
327 : 143 : && !DECL_EXTERNAL (var)
328 : 286 : && DECL_CONTEXT (var) == data->id.src_fn)
329 : : {
330 : 143 : data->id.decl_map->put (var, var);
331 : 143 : data->decls.safe_push (var);
332 : : }
333 : 107 : break;
334 : 118 : case GIMPLE_LABEL:
335 : 118 : {
336 : 118 : tree label = gimple_label_label (as_a <glabel *> (stmt));
337 : 118 : data->id.decl_map->put (label, label);
338 : 118 : break;
339 : : }
340 : 3 : case GIMPLE_RETURN:
341 : : /* If something in assumption tries to return from parent function,
342 : : if it would be reached in hypothetical evaluation, it would be UB,
343 : : so transform such returns into return false; */
344 : 3 : {
345 : 3 : gimple *g = gimple_build_assign (data->guard_copy, boolean_false_node);
346 : 3 : gsi_insert_before (gsi_p, g, GSI_SAME_STMT);
347 : 3 : gimple_return_set_retval (as_a <greturn *> (stmt), data->guard_copy);
348 : 3 : break;
349 : : }
350 : 0 : case GIMPLE_DEBUG:
351 : : /* As assumptions won't be emitted, debug info stmts in them
352 : : are useless. */
353 : 0 : gsi_remove (gsi_p, true);
354 : 0 : wi->removed_stmt = true;
355 : 0 : break;
356 : : default:
357 : : break;
358 : : }
359 : 656 : return NULL_TREE;
360 : : }
361 : :
362 : : /* Create a new PARM_DECL that is indentical in all respect to DECL except that
363 : : DECL can be either a VAR_DECL, a PARM_DECL or RESULT_DECL. The original
364 : : DECL must come from ID->src_fn and the copy will be part of ID->dst_fn. */
365 : :
366 : : static tree
367 : 135 : assumption_copy_decl (tree decl, copy_body_data *id)
368 : : {
369 : 135 : tree type = TREE_TYPE (decl);
370 : :
371 : 135 : if (is_global_var (decl))
372 : : return decl;
373 : :
374 : 126 : gcc_assert (VAR_P (decl)
375 : : || TREE_CODE (decl) == PARM_DECL
376 : : || TREE_CODE (decl) == RESULT_DECL);
377 : 126 : if (TREE_THIS_VOLATILE (decl))
378 : 4 : type = build_pointer_type (type);
379 : 126 : tree copy = build_decl (DECL_SOURCE_LOCATION (decl),
380 : 126 : PARM_DECL, DECL_NAME (decl), type);
381 : 126 : if (DECL_PT_UID_SET_P (decl))
382 : 0 : SET_DECL_PT_UID (copy, DECL_PT_UID (decl));
383 : 126 : TREE_THIS_VOLATILE (copy) = 0;
384 : 126 : if (TREE_THIS_VOLATILE (decl))
385 : 4 : TREE_READONLY (copy) = 1;
386 : : else
387 : : {
388 : 122 : TREE_ADDRESSABLE (copy) = TREE_ADDRESSABLE (decl);
389 : 122 : TREE_READONLY (copy) = TREE_READONLY (decl);
390 : 122 : DECL_NOT_GIMPLE_REG_P (copy) = DECL_NOT_GIMPLE_REG_P (decl);
391 : 122 : DECL_BY_REFERENCE (copy) = DECL_BY_REFERENCE (decl);
392 : : }
393 : 126 : DECL_ARG_TYPE (copy) = type;
394 : 126 : ((lower_assumption_data *) id)->decls.safe_push (decl);
395 : 126 : return copy_decl_for_dup_finish (id, decl, copy);
396 : : }
397 : :
398 : : /* Transform gotos out of the assumption into return false. */
399 : :
400 : : static tree
401 : 659 : adjust_assumption_stmt_r (gimple_stmt_iterator *gsi_p, bool *,
402 : : struct walk_stmt_info *wi)
403 : : {
404 : 659 : lower_assumption_data *data = (lower_assumption_data *) wi->info;
405 : 659 : gimple *stmt = gsi_stmt (*gsi_p);
406 : 659 : tree lab = NULL_TREE;
407 : 659 : unsigned int idx = 0;
408 : 659 : if (gimple_code (stmt) == GIMPLE_GOTO)
409 : 25 : lab = gimple_goto_dest (stmt);
410 : 634 : else if (gimple_code (stmt) == GIMPLE_COND)
411 : : {
412 : 59 : repeat:
413 : 118 : if (idx == 0)
414 : 59 : lab = gimple_cond_true_label (as_a <gcond *> (stmt));
415 : : else
416 : 59 : lab = gimple_cond_false_label (as_a <gcond *> (stmt));
417 : : }
418 : 575 : else if (gimple_code (stmt) == GIMPLE_LABEL)
419 : : {
420 : 118 : tree label = gimple_label_label (as_a <glabel *> (stmt));
421 : 118 : DECL_CONTEXT (label) = current_function_decl;
422 : : }
423 : 718 : if (lab)
424 : : {
425 : 143 : if (!data->id.decl_map->get (lab))
426 : : {
427 : 3 : if (!data->return_false_label)
428 : 3 : data->return_false_label
429 : 3 : = create_artificial_label (UNKNOWN_LOCATION);
430 : 3 : if (gimple_code (stmt) == GIMPLE_GOTO)
431 : 3 : gimple_goto_set_dest (as_a <ggoto *> (stmt),
432 : : data->return_false_label);
433 : 0 : else if (idx == 0)
434 : 0 : gimple_cond_set_true_label (as_a <gcond *> (stmt),
435 : : data->return_false_label);
436 : : else
437 : 0 : gimple_cond_set_false_label (as_a <gcond *> (stmt),
438 : : data->return_false_label);
439 : : }
440 : 143 : if (gimple_code (stmt) == GIMPLE_COND && idx == 0)
441 : : {
442 : 59 : idx = 1;
443 : 59 : goto repeat;
444 : : }
445 : : }
446 : 659 : return NULL_TREE;
447 : : }
448 : :
449 : : /* Adjust trees in the assumption body. Called through walk_tree. */
450 : :
451 : : static tree
452 : 1388 : adjust_assumption_stmt_op (tree *tp, int *, void *datap)
453 : : {
454 : 1388 : struct walk_stmt_info *wi = (struct walk_stmt_info *) datap;
455 : 1388 : lower_assumption_data *data = (lower_assumption_data *) wi->info;
456 : 1388 : tree t = *tp;
457 : 1388 : tree *newt;
458 : 1388 : switch (TREE_CODE (t))
459 : : {
460 : 0 : case SSA_NAME:
461 : 0 : newt = data->id.decl_map->get (t);
462 : : /* There shouldn't be SSA_NAMEs other than ones defined in the
463 : : assumption's body. */
464 : 0 : gcc_assert (newt);
465 : 0 : *tp = *newt;
466 : 0 : break;
467 : 261 : case LABEL_DECL:
468 : 261 : newt = data->id.decl_map->get (t);
469 : 261 : if (newt)
470 : 258 : *tp = *newt;
471 : : break;
472 : 659 : case VAR_DECL:
473 : 659 : case PARM_DECL:
474 : 659 : case RESULT_DECL:
475 : 659 : *tp = remap_decl (t, &data->id);
476 : 659 : if (TREE_THIS_VOLATILE (t) && *tp != t)
477 : : {
478 : 4 : *tp = build_simple_mem_ref (*tp);
479 : 4 : TREE_THIS_NOTRAP (*tp) = 1;
480 : : }
481 : : break;
482 : : default:
483 : : break;
484 : : }
485 : 1388 : return NULL_TREE;
486 : : }
487 : :
488 : : /* Lower assumption.
489 : : The gimplifier transformed:
490 : : .ASSUME (cond);
491 : : into:
492 : : [[assume (guard)]]
493 : : {
494 : : guard = cond;
495 : : }
496 : : which we should transform into:
497 : : .ASSUME (&artificial_fn, args...);
498 : : where artificial_fn will look like:
499 : : bool artificial_fn (args...)
500 : : {
501 : : guard = cond;
502 : : return guard;
503 : : }
504 : : with any debug stmts in the block removed and jumps out of
505 : : the block or return stmts replaced with return false; */
506 : :
507 : : static void
508 : 101 : lower_assumption (gimple_stmt_iterator *gsi, struct lower_data *data)
509 : : {
510 : 101 : gimple *stmt = gsi_stmt (*gsi);
511 : 101 : tree guard = gimple_assume_guard (stmt);
512 : 101 : gimple *bind = gimple_assume_body (stmt);
513 : 101 : location_t loc = gimple_location (stmt);
514 : 101 : gcc_assert (gimple_code (bind) == GIMPLE_BIND);
515 : :
516 : 101 : lower_assumption_data lad;
517 : 101 : hash_map<tree, tree> decl_map;
518 : 101 : memset (&lad.id, 0, sizeof (lad.id));
519 : 101 : lad.return_false_label = NULL_TREE;
520 : 101 : lad.id.src_fn = current_function_decl;
521 : 101 : lad.id.dst_fn = create_assumption_fn (loc);
522 : 101 : lad.id.src_cfun = DECL_STRUCT_FUNCTION (lad.id.src_fn);
523 : 101 : lad.id.decl_map = &decl_map;
524 : 101 : lad.id.copy_decl = assumption_copy_decl;
525 : 101 : lad.id.transform_call_graph_edges = CB_CGE_DUPLICATE;
526 : 101 : lad.id.transform_parameter = true;
527 : 101 : lad.id.do_not_unshare = true;
528 : 101 : lad.id.do_not_fold = true;
529 : 101 : cfun->curr_properties = lad.id.src_cfun->curr_properties;
530 : 101 : lad.guard_copy = create_tmp_var (boolean_type_node);
531 : 101 : decl_map.put (lad.guard_copy, lad.guard_copy);
532 : 101 : decl_map.put (guard, lad.guard_copy);
533 : 101 : cfun->assume_function = 1;
534 : :
535 : : /* Find variables, labels and SSA_NAMEs local to the assume GIMPLE_BIND. */
536 : 101 : gimple_stmt_iterator gsi2 = gsi_start (*gimple_assume_body_ptr (stmt));
537 : 101 : struct walk_stmt_info wi;
538 : 101 : memset (&wi, 0, sizeof (wi));
539 : 101 : wi.info = (void *) &lad;
540 : 101 : walk_gimple_stmt (&gsi2, find_assumption_locals_r, NULL, &wi);
541 : 101 : unsigned int sz = lad.decls.length ();
542 : 244 : for (unsigned i = 0; i < sz; ++i)
543 : : {
544 : 143 : tree v = lad.decls[i];
545 : 143 : tree newv;
546 : : /* SSA_NAMEs defined in the assume condition should be replaced
547 : : by new SSA_NAMEs in the artificial function. */
548 : 143 : if (TREE_CODE (v) == SSA_NAME)
549 : : {
550 : 0 : newv = make_ssa_name (remap_type (TREE_TYPE (v), &lad.id));
551 : 0 : decl_map.put (v, newv);
552 : : }
553 : : /* Local vars should have context and type adjusted to the
554 : : new artificial function. */
555 : 143 : else if (VAR_P (v))
556 : : {
557 : 143 : if (is_global_var (v) && !DECL_ASSEMBLER_NAME_SET_P (v))
558 : 3 : DECL_ASSEMBLER_NAME (v);
559 : 143 : TREE_TYPE (v) = remap_type (TREE_TYPE (v), &lad.id);
560 : 143 : DECL_CONTEXT (v) = current_function_decl;
561 : : }
562 : : }
563 : : /* References to other automatic vars should be replaced by
564 : : PARM_DECLs to the artificial function. */
565 : 101 : memset (&wi, 0, sizeof (wi));
566 : 101 : wi.info = (void *) &lad;
567 : 101 : walk_gimple_stmt (&gsi2, adjust_assumption_stmt_r,
568 : : adjust_assumption_stmt_op, &wi);
569 : :
570 : : /* At the start prepend guard = false; */
571 : 101 : gimple_seq body = NULL;
572 : 101 : gimple *g = gimple_build_assign (lad.guard_copy, boolean_false_node);
573 : 101 : gimple_seq_add_stmt (&body, g);
574 : 101 : gimple_seq_add_stmt (&body, bind);
575 : : /* At the end add return guard; */
576 : 101 : greturn *gr = gimple_build_return (lad.guard_copy);
577 : 101 : gimple_seq_add_stmt (&body, gr);
578 : : /* If there were any jumps to labels outside of the condition,
579 : : replace them with a jump to
580 : : return_false_label:
581 : : guard = false;
582 : : return guard; */
583 : 101 : if (lad.return_false_label)
584 : : {
585 : 3 : g = gimple_build_label (lad.return_false_label);
586 : 3 : gimple_seq_add_stmt (&body, g);
587 : 3 : g = gimple_build_assign (lad.guard_copy, boolean_false_node);
588 : 3 : gimple_seq_add_stmt (&body, g);
589 : 3 : gr = gimple_build_return (lad.guard_copy);
590 : 3 : gimple_seq_add_stmt (&body, gr);
591 : : }
592 : 101 : bind = gimple_build_bind (NULL_TREE, body, NULL_TREE);
593 : 101 : body = NULL;
594 : 101 : gimple_seq_add_stmt (&body, bind);
595 : 101 : gimple_set_body (current_function_decl, body);
596 : 101 : pop_cfun ();
597 : :
598 : 101 : tree parms = NULL_TREE;
599 : 101 : tree parmt = void_list_node;
600 : 101 : auto_vec<tree, 8> vargs;
601 : 196 : vargs.safe_grow (1 + (lad.decls.length () - sz), true);
602 : : /* First argument to IFN_ASSUME will be address of the
603 : : artificial function. */
604 : 101 : vargs[0] = build_fold_addr_expr (lad.id.dst_fn);
605 : 328 : for (unsigned i = lad.decls.length (); i > sz; --i)
606 : : {
607 : 126 : tree *v = decl_map.get (lad.decls[i - 1]);
608 : 126 : gcc_assert (v && TREE_CODE (*v) == PARM_DECL);
609 : 126 : DECL_CHAIN (*v) = parms;
610 : 126 : parms = *v;
611 : 126 : parmt = tree_cons (NULL_TREE, TREE_TYPE (*v), parmt);
612 : : /* Remaining arguments will be the variables/parameters
613 : : mentioned in the condition. */
614 : 126 : vargs[i - sz] = lad.decls[i - 1];
615 : 126 : if (TREE_THIS_VOLATILE (lad.decls[i - 1]))
616 : : {
617 : 4 : TREE_ADDRESSABLE (lad.decls[i - 1]) = 1;
618 : 4 : vargs[i - sz] = build_fold_addr_expr (lad.decls[i - 1]);
619 : : }
620 : : /* If they have gimple types, we might need to regimplify
621 : : them to make the IFN_ASSUME call valid. */
622 : 126 : if (is_gimple_reg_type (TREE_TYPE (vargs[i - sz]))
623 : 126 : && !is_gimple_val (vargs[i - sz]))
624 : : {
625 : 6 : tree t = make_ssa_name (TREE_TYPE (vargs[i - sz]));
626 : 6 : g = gimple_build_assign (t, vargs[i - sz]);
627 : 6 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
628 : 6 : vargs[i - sz] = t;
629 : : }
630 : : }
631 : 101 : DECL_ARGUMENTS (lad.id.dst_fn) = parms;
632 : 101 : TREE_TYPE (lad.id.dst_fn) = build_function_type (boolean_type_node, parmt);
633 : :
634 : 101 : cgraph_node::add_new_function (lad.id.dst_fn, false);
635 : :
636 : 244 : for (unsigned i = 0; i < sz; ++i)
637 : : {
638 : 143 : tree v = lad.decls[i];
639 : 143 : if (TREE_CODE (v) == SSA_NAME)
640 : 0 : release_ssa_name (v);
641 : : }
642 : :
643 : 101 : data->cannot_fallthru = false;
644 : : /* Replace GIMPLE_ASSUME statement with IFN_ASSUME call. */
645 : 101 : gcall *call = gimple_build_call_internal_vec (IFN_ASSUME, vargs);
646 : 101 : gimple_set_location (call, loc);
647 : 101 : gsi_replace (gsi, call, true);
648 : 101 : }
649 : :
650 : : /* Lower statement GSI. DATA is passed through the recursion. We try to
651 : : track the fallthruness of statements and get rid of unreachable return
652 : : statements in order to prevent the EH lowering pass from adding useless
653 : : edges that can cause bogus warnings to be issued later; this guess need
654 : : not be 100% accurate, simply be conservative and reset cannot_fallthru
655 : : to false if we don't know. */
656 : :
657 : : static void
658 : 81250897 : lower_stmt (gimple_stmt_iterator *gsi, struct lower_data *data)
659 : : {
660 : 81250897 : gimple *stmt = gsi_stmt (*gsi);
661 : :
662 : 81250897 : gimple_set_block (stmt, data->block);
663 : :
664 : 81250897 : switch (gimple_code (stmt))
665 : : {
666 : 4263907 : case GIMPLE_BIND:
667 : 4263907 : lower_gimple_bind (gsi, data);
668 : : /* Propagate fallthruness. */
669 : 4263907 : return;
670 : :
671 : 7918516 : case GIMPLE_COND:
672 : 7918516 : case GIMPLE_GOTO:
673 : 7918516 : case GIMPLE_SWITCH:
674 : 7918516 : data->cannot_fallthru = true;
675 : 7918516 : gsi_next (gsi);
676 : 7918516 : return;
677 : :
678 : 2039063 : case GIMPLE_RETURN:
679 : 2039063 : if (data->cannot_fallthru)
680 : : {
681 : 358 : gsi_remove (gsi, false);
682 : : /* Propagate fallthruness. */
683 : : }
684 : : else
685 : : {
686 : 2038705 : lower_gimple_return (gsi, data);
687 : 2038705 : data->cannot_fallthru = true;
688 : : }
689 : : return;
690 : :
691 : 2201029 : case GIMPLE_TRY:
692 : 2201029 : if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
693 : 776789 : lower_try_catch (gsi, data);
694 : : else
695 : : {
696 : : /* It must be a GIMPLE_TRY_FINALLY. */
697 : 1424240 : bool cannot_fallthru;
698 : 1424240 : lower_sequence (gimple_try_eval_ptr (stmt), data);
699 : 1424240 : cannot_fallthru = data->cannot_fallthru;
700 : :
701 : : /* The finally clause is always executed after the try clause,
702 : : so if it does not fall through, then the try-finally will not
703 : : fall through. Otherwise, if the try clause does not fall
704 : : through, then when the finally clause falls through it will
705 : : resume execution wherever the try clause was going. So the
706 : : whole try-finally will only fall through if both the try
707 : : clause and the finally clause fall through. */
708 : 1424240 : data->cannot_fallthru = false;
709 : 1424240 : lower_sequence (gimple_try_cleanup_ptr (stmt), data);
710 : 1424240 : data->cannot_fallthru |= cannot_fallthru;
711 : 1424240 : gsi_next (gsi);
712 : : }
713 : : return;
714 : :
715 : 2 : case GIMPLE_EH_ELSE:
716 : 2 : {
717 : 2 : geh_else *eh_else_stmt = as_a <geh_else *> (stmt);
718 : 2 : lower_sequence (gimple_eh_else_n_body_ptr (eh_else_stmt), data);
719 : 2 : lower_sequence (gimple_eh_else_e_body_ptr (eh_else_stmt), data);
720 : : }
721 : 2 : break;
722 : :
723 : 2544974 : case GIMPLE_DEBUG:
724 : 2544974 : gcc_checking_assert (cfun->debug_nonbind_markers);
725 : : /* We can't possibly have debug bind stmts before lowering, we
726 : : first emit them when entering SSA. */
727 : 2544974 : gcc_checking_assert (gimple_debug_nonbind_marker_p (stmt));
728 : : /* Propagate fallthruness. */
729 : : /* If the function (e.g. from PCH) had debug stmts, but they're
730 : : disabled for this compilation, remove them. */
731 : 2544974 : if (!MAY_HAVE_DEBUG_MARKER_STMTS)
732 : 0 : gsi_remove (gsi, true);
733 : : else
734 : 2544974 : gsi_next (gsi);
735 : : return;
736 : :
737 : 0 : case GIMPLE_OMP_STRUCTURED_BLOCK:
738 : : /* These are supposed to be removed already in OMP lowering. */
739 : 0 : gcc_unreachable ();
740 : :
741 : : case GIMPLE_NOP:
742 : : case GIMPLE_ASM:
743 : : case GIMPLE_ASSIGN:
744 : : case GIMPLE_PREDICT:
745 : : case GIMPLE_LABEL:
746 : : case GIMPLE_EH_MUST_NOT_THROW:
747 : : case GIMPLE_OMP_FOR:
748 : : case GIMPLE_OMP_SCOPE:
749 : : case GIMPLE_OMP_SECTIONS:
750 : : case GIMPLE_OMP_SECTIONS_SWITCH:
751 : : case GIMPLE_OMP_SECTION:
752 : : case GIMPLE_OMP_SINGLE:
753 : : case GIMPLE_OMP_MASTER:
754 : : case GIMPLE_OMP_MASKED:
755 : : case GIMPLE_OMP_TASKGROUP:
756 : : case GIMPLE_OMP_ORDERED:
757 : : case GIMPLE_OMP_SCAN:
758 : : case GIMPLE_OMP_CRITICAL:
759 : : case GIMPLE_OMP_RETURN:
760 : : case GIMPLE_OMP_ATOMIC_LOAD:
761 : : case GIMPLE_OMP_ATOMIC_STORE:
762 : : case GIMPLE_OMP_CONTINUE:
763 : : break;
764 : :
765 : 9971740 : case GIMPLE_CALL:
766 : 9971740 : {
767 : 9971740 : tree decl = gimple_call_fndecl (stmt);
768 : 9971740 : unsigned i;
769 : :
770 : 28058316 : for (i = 0; i < gimple_call_num_args (stmt); i++)
771 : : {
772 : 18086576 : tree arg = gimple_call_arg (stmt, i);
773 : 18086576 : if (EXPR_P (arg))
774 : 4542229 : TREE_SET_BLOCK (arg, data->block);
775 : : }
776 : :
777 : 9971740 : if (decl
778 : 9971740 : && fndecl_built_in_p (decl, BUILT_IN_NORMAL))
779 : : {
780 : 2033969 : if (DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP)
781 : : {
782 : 797 : lower_builtin_setjmp (gsi);
783 : 797 : data->cannot_fallthru = false;
784 : 797 : return;
785 : : }
786 : 2033172 : else if (DECL_FUNCTION_CODE (decl) == BUILT_IN_POSIX_MEMALIGN
787 : 121 : && flag_tree_bit_ccp
788 : 2033280 : && gimple_builtin_call_types_compatible_p (stmt, decl))
789 : : {
790 : 36 : lower_builtin_posix_memalign (gsi);
791 : 36 : return;
792 : : }
793 : 2033136 : else if (DECL_FUNCTION_CODE (decl) == BUILT_IN_ASSUME_ALIGNED
794 : 2033136 : && !optimize)
795 : : {
796 : 91 : lower_builtin_assume_aligned (gsi);
797 : 91 : data->cannot_fallthru = false;
798 : 91 : gsi_next (gsi);
799 : 91 : return;
800 : : }
801 : : }
802 : :
803 : 9970816 : if (decl && (flags_from_decl_or_type (decl) & ECF_NORETURN))
804 : : {
805 : 1477422 : data->cannot_fallthru = true;
806 : 1477422 : gsi_next (gsi);
807 : 1477422 : return;
808 : : }
809 : :
810 : 8493394 : if (gimple_call_internal_p (stmt, IFN_ASAN_MARK))
811 : : {
812 : 4369 : tree base = gimple_call_arg (stmt, 1);
813 : 4369 : gcc_checking_assert (TREE_CODE (base) == ADDR_EXPR);
814 : 4369 : tree decl = TREE_OPERAND (base, 0);
815 : 4369 : if (VAR_P (decl) && TREE_STATIC (decl))
816 : : {
817 : : /* Don't poison a variable with static storage; it might have
818 : : gotten marked before gimplify_init_constructor promoted it
819 : : to static. */
820 : 16 : gsi_remove (gsi, true);
821 : 16 : return;
822 : : }
823 : : }
824 : :
825 : : /* We delay folding of built calls from gimplification to
826 : : here so the IL is in consistent state for the diagnostic
827 : : machineries job. */
828 : 8493378 : if (gimple_call_builtin_p (stmt))
829 : 1362223 : fold_stmt (gsi);
830 : : }
831 : : break;
832 : :
833 : 63942 : case GIMPLE_OMP_PARALLEL:
834 : 63942 : case GIMPLE_OMP_TASK:
835 : 63942 : case GIMPLE_OMP_TARGET:
836 : 63942 : case GIMPLE_OMP_TEAMS:
837 : 63942 : data->cannot_fallthru = false;
838 : 63942 : lower_omp_directive (gsi, data);
839 : 63942 : data->cannot_fallthru = false;
840 : 63942 : return;
841 : :
842 : 101 : case GIMPLE_ASSUME:
843 : 101 : lower_assumption (gsi, data);
844 : 101 : return;
845 : :
846 : 545 : case GIMPLE_TRANSACTION:
847 : 545 : lower_sequence (gimple_transaction_body_ptr (
848 : : as_a <gtransaction *> (stmt)),
849 : : data);
850 : 545 : break;
851 : :
852 : 0 : default:
853 : 0 : gcc_unreachable ();
854 : : }
855 : :
856 : 60741003 : data->cannot_fallthru = false;
857 : 60741003 : gsi_next (gsi);
858 : : }
859 : :
860 : : /* Lower a bind_expr TSI. DATA is passed through the recursion. */
861 : :
862 : : static void
863 : 6952825 : lower_gimple_bind (gimple_stmt_iterator *gsi, struct lower_data *data)
864 : : {
865 : 6952825 : tree old_block = data->block;
866 : 6952825 : gbind *stmt = as_a <gbind *> (gsi_stmt (*gsi));
867 : 6952825 : tree new_block = gimple_bind_block (stmt);
868 : :
869 : 6952825 : if (new_block)
870 : : {
871 : 5509846 : if (new_block == old_block)
872 : : {
873 : : /* The outermost block of the original function may not be the
874 : : outermost statement chain of the gimplified function. So we
875 : : may see the outermost block just inside the function. */
876 : 1429672 : gcc_assert (new_block == DECL_INITIAL (current_function_decl));
877 : : new_block = NULL;
878 : : }
879 : : else
880 : : {
881 : : /* We do not expect to handle duplicate blocks. */
882 : 4080174 : gcc_assert (!TREE_ASM_WRITTEN (new_block));
883 : 4080174 : TREE_ASM_WRITTEN (new_block) = 1;
884 : :
885 : : /* Block tree may get clobbered by inlining. Normally this would
886 : : be fixed in rest_of_decl_compilation using block notes, but
887 : : since we are not going to emit them, it is up to us. */
888 : 4080174 : BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (old_block);
889 : 4080174 : BLOCK_SUBBLOCKS (old_block) = new_block;
890 : 4080174 : BLOCK_SUBBLOCKS (new_block) = NULL_TREE;
891 : 4080174 : BLOCK_SUPERCONTEXT (new_block) = old_block;
892 : :
893 : 4080174 : data->block = new_block;
894 : : }
895 : : }
896 : :
897 : 6952825 : record_vars (gimple_bind_vars (stmt));
898 : :
899 : : /* Scrap DECL_CHAIN up to BLOCK_VARS to ease GC after we no longer
900 : : need gimple_bind_vars. */
901 : 6952825 : tree next;
902 : : /* BLOCK_VARS and gimple_bind_vars share a common sub-chain. Find
903 : : it by marking all BLOCK_VARS. */
904 : 6952825 : if (gimple_bind_block (stmt))
905 : 11693459 : for (tree t = BLOCK_VARS (gimple_bind_block (stmt)); t; t = DECL_CHAIN (t))
906 : 6183613 : TREE_VISITED (t) = 1;
907 : 6952825 : for (tree var = gimple_bind_vars (stmt);
908 : 10755416 : var && ! TREE_VISITED (var); var = next)
909 : : {
910 : 3802591 : next = DECL_CHAIN (var);
911 : 3802591 : DECL_CHAIN (var) = NULL_TREE;
912 : : }
913 : : /* Unmark BLOCK_VARS. */
914 : 6952825 : if (gimple_bind_block (stmt))
915 : 11693459 : for (tree t = BLOCK_VARS (gimple_bind_block (stmt)); t; t = DECL_CHAIN (t))
916 : 6183613 : TREE_VISITED (t) = 0;
917 : :
918 : 6952825 : lower_sequence (gimple_bind_body_ptr (stmt), data);
919 : :
920 : 6952825 : if (new_block)
921 : : {
922 : 4080174 : gcc_assert (data->block == new_block);
923 : :
924 : 4080174 : BLOCK_SUBBLOCKS (new_block)
925 : 4080174 : = blocks_nreverse (BLOCK_SUBBLOCKS (new_block));
926 : 4080174 : data->block = old_block;
927 : : }
928 : :
929 : : /* The GIMPLE_BIND no longer carries any useful information -- kill it. */
930 : 6952825 : gsi_insert_seq_before (gsi, gimple_bind_body (stmt), GSI_SAME_STMT);
931 : 6952825 : gsi_remove (gsi, false);
932 : 6952825 : }
933 : :
934 : : /* Same as above, but for a GIMPLE_TRY_CATCH. */
935 : :
936 : : static void
937 : 776789 : lower_try_catch (gimple_stmt_iterator *gsi, struct lower_data *data)
938 : : {
939 : 776789 : bool cannot_fallthru;
940 : 776789 : gimple *stmt = gsi_stmt (*gsi);
941 : 776789 : gimple_stmt_iterator i;
942 : :
943 : : /* We don't handle GIMPLE_TRY_FINALLY. */
944 : 776789 : gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
945 : :
946 : 776789 : lower_sequence (gimple_try_eval_ptr (stmt), data);
947 : 776789 : cannot_fallthru = data->cannot_fallthru;
948 : :
949 : 776789 : i = gsi_start (*gimple_try_cleanup_ptr (stmt));
950 : 776789 : switch (gimple_code (gsi_stmt (i)))
951 : : {
952 : : case GIMPLE_CATCH:
953 : : /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
954 : : catch expression and a body. The whole try/catch may fall
955 : : through iff any of the catch bodies falls through. */
956 : 78649 : for (; !gsi_end_p (i); gsi_next (&i))
957 : : {
958 : 40961 : data->cannot_fallthru = false;
959 : 40961 : lower_sequence (gimple_catch_handler_ptr (
960 : : as_a <gcatch *> (gsi_stmt (i))),
961 : : data);
962 : 40961 : if (!data->cannot_fallthru)
963 : 15176 : cannot_fallthru = false;
964 : : }
965 : : break;
966 : :
967 : 5324 : case GIMPLE_EH_FILTER:
968 : : /* The exception filter expression only matters if there is an
969 : : exception. If the exception does not match EH_FILTER_TYPES,
970 : : we will execute EH_FILTER_FAILURE, and we will fall through
971 : : if that falls through. If the exception does match
972 : : EH_FILTER_TYPES, the stack unwinder will continue up the
973 : : stack, so we will not fall through. We don't know whether we
974 : : will throw an exception which matches EH_FILTER_TYPES or not,
975 : : so we just ignore EH_FILTER_TYPES and assume that we might
976 : : throw an exception which doesn't match. */
977 : 5324 : data->cannot_fallthru = false;
978 : 5324 : lower_sequence (gimple_eh_filter_failure_ptr (gsi_stmt (i)), data);
979 : 5324 : if (!data->cannot_fallthru)
980 : 776789 : cannot_fallthru = false;
981 : : break;
982 : :
983 : 0 : case GIMPLE_DEBUG:
984 : 0 : gcc_checking_assert (gimple_debug_begin_stmt_p (stmt));
985 : : break;
986 : :
987 : 733777 : default:
988 : : /* This case represents statements to be executed when an
989 : : exception occurs. Those statements are implicitly followed
990 : : by a GIMPLE_RESX to resume execution after the exception. So
991 : : in this case the try/catch never falls through. */
992 : 733777 : data->cannot_fallthru = false;
993 : 733777 : lower_sequence (gimple_try_cleanup_ptr (stmt), data);
994 : 733777 : break;
995 : : }
996 : :
997 : 776789 : data->cannot_fallthru = cannot_fallthru;
998 : 776789 : gsi_next (gsi);
999 : 776789 : }
1000 : :
1001 : :
1002 : : /* Try to determine whether a TRY_CATCH expression can fall through.
1003 : : This is a subroutine of gimple_stmt_may_fallthru. */
1004 : :
1005 : : static bool
1006 : 422090 : gimple_try_catch_may_fallthru (gtry *stmt)
1007 : : {
1008 : 422090 : gimple_stmt_iterator i;
1009 : :
1010 : : /* We don't handle GIMPLE_TRY_FINALLY. */
1011 : 422090 : gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
1012 : :
1013 : : /* If the TRY block can fall through, the whole TRY_CATCH can
1014 : : fall through. */
1015 : 422090 : if (gimple_seq_may_fallthru (gimple_try_eval (stmt)))
1016 : : return true;
1017 : :
1018 : 5975 : i = gsi_start (*gimple_try_cleanup_ptr (stmt));
1019 : 5975 : switch (gimple_code (gsi_stmt (i)))
1020 : : {
1021 : : case GIMPLE_CATCH:
1022 : : /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
1023 : : catch expression and a body. The whole try/catch may fall
1024 : : through iff any of the catch bodies falls through. */
1025 : 8001 : for (; !gsi_end_p (i); gsi_next (&i))
1026 : : {
1027 : 4390 : if (gimple_seq_may_fallthru (gimple_catch_handler (
1028 : 4390 : as_a <gcatch *> (gsi_stmt (i)))))
1029 : : return true;
1030 : : }
1031 : : return false;
1032 : :
1033 : 73 : case GIMPLE_EH_FILTER:
1034 : : /* The exception filter expression only matters if there is an
1035 : : exception. If the exception does not match EH_FILTER_TYPES,
1036 : : we will execute EH_FILTER_FAILURE, and we will fall through
1037 : : if that falls through. If the exception does match
1038 : : EH_FILTER_TYPES, the stack unwinder will continue up the
1039 : : stack, so we will not fall through. We don't know whether we
1040 : : will throw an exception which matches EH_FILTER_TYPES or not,
1041 : : so we just ignore EH_FILTER_TYPES and assume that we might
1042 : : throw an exception which doesn't match. */
1043 : 73 : return gimple_seq_may_fallthru (gimple_eh_filter_failure (gsi_stmt (i)));
1044 : :
1045 : : default:
1046 : : /* This case represents statements to be executed when an
1047 : : exception occurs. Those statements are implicitly followed
1048 : : by a GIMPLE_RESX to resume execution after the exception. So
1049 : : in this case the try/catch never falls through. */
1050 : : return false;
1051 : : }
1052 : : }
1053 : :
1054 : :
1055 : : /* Try to determine if we can continue executing the statement
1056 : : immediately following STMT. This guess need not be 100% accurate;
1057 : : simply be conservative and return true if we don't know. This is
1058 : : used only to avoid stupidly generating extra code. If we're wrong,
1059 : : we'll just delete the extra code later. */
1060 : :
1061 : : bool
1062 : 15922761 : gimple_stmt_may_fallthru (gimple *stmt)
1063 : : {
1064 : 15922761 : if (!stmt)
1065 : : return true;
1066 : :
1067 : 15668398 : switch (gimple_code (stmt))
1068 : : {
1069 : : case GIMPLE_GOTO:
1070 : : case GIMPLE_RETURN:
1071 : : case GIMPLE_RESX:
1072 : : /* Easy cases. If the last statement of the seq implies
1073 : : control transfer, then we can't fall through. */
1074 : : return false;
1075 : :
1076 : : case GIMPLE_SWITCH:
1077 : : /* Switch has already been lowered and represents a branch
1078 : : to a selected label and hence can't fall through. */
1079 : : return false;
1080 : :
1081 : : case GIMPLE_COND:
1082 : : /* GIMPLE_COND's are already lowered into a two-way branch. They
1083 : : can't fall through. */
1084 : : return false;
1085 : :
1086 : 362277 : case GIMPLE_BIND:
1087 : 362277 : return gimple_seq_may_fallthru (
1088 : 362277 : gimple_bind_body (as_a <gbind *> (stmt)));
1089 : :
1090 : 1244437 : case GIMPLE_TRY:
1091 : 1244437 : if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
1092 : 422090 : return gimple_try_catch_may_fallthru (as_a <gtry *> (stmt));
1093 : :
1094 : : /* It must be a GIMPLE_TRY_FINALLY. */
1095 : :
1096 : : /* The finally clause is always executed after the try clause,
1097 : : so if it does not fall through, then the try-finally will not
1098 : : fall through. Otherwise, if the try clause does not fall
1099 : : through, then when the finally clause falls through it will
1100 : : resume execution wherever the try clause was going. So the
1101 : : whole try-finally will only fall through if both the try
1102 : : clause and the finally clause fall through. */
1103 : 822347 : return (gimple_seq_may_fallthru (gimple_try_eval (stmt))
1104 : 1301379 : && gimple_seq_may_fallthru (gimple_try_cleanup (stmt)));
1105 : :
1106 : 361 : case GIMPLE_EH_ELSE:
1107 : 361 : {
1108 : 361 : geh_else *eh_else_stmt = as_a <geh_else *> (stmt);
1109 : 361 : return (gimple_seq_may_fallthru (gimple_eh_else_n_body (eh_else_stmt))
1110 : 361 : || gimple_seq_may_fallthru (gimple_eh_else_e_body (
1111 : : eh_else_stmt)));
1112 : : }
1113 : :
1114 : 4054222 : case GIMPLE_CALL:
1115 : : /* Functions that do not return do not fall through. */
1116 : 4054222 : return !gimple_call_noreturn_p (stmt);
1117 : :
1118 : : default:
1119 : : return true;
1120 : : }
1121 : : }
1122 : :
1123 : :
1124 : : /* Same as gimple_stmt_may_fallthru, but for the gimple sequence SEQ. */
1125 : :
1126 : : bool
1127 : 13460083 : gimple_seq_may_fallthru (gimple_seq seq)
1128 : : {
1129 : 13460083 : return gimple_stmt_may_fallthru (gimple_seq_last_nondebug_stmt (seq));
1130 : : }
1131 : :
1132 : :
1133 : : /* Lower a GIMPLE_RETURN GSI. DATA is passed through the recursion. */
1134 : :
1135 : : static void
1136 : 2038705 : lower_gimple_return (gimple_stmt_iterator *gsi, struct lower_data *data)
1137 : : {
1138 : 2038705 : greturn *stmt = as_a <greturn *> (gsi_stmt (*gsi));
1139 : 2038705 : gimple *t;
1140 : 2038705 : int i;
1141 : 2038705 : return_statements_t tmp_rs;
1142 : :
1143 : : /* Match this up with an existing return statement that's been created. */
1144 : 4077431 : for (i = data->return_statements.length () - 1;
1145 : 2038726 : i >= 0; i--)
1146 : : {
1147 : 547799 : tmp_rs = data->return_statements[i];
1148 : :
1149 : 547799 : if (gimple_return_retval (stmt) == gimple_return_retval (tmp_rs.stmt))
1150 : : {
1151 : : /* Remove the line number from the representative return statement.
1152 : : It now fills in for many such returns. Failure to remove this
1153 : : will result in incorrect results for coverage analysis. */
1154 : 547778 : gimple_set_location (tmp_rs.stmt, UNKNOWN_LOCATION);
1155 : :
1156 : 547778 : goto found;
1157 : : }
1158 : : }
1159 : :
1160 : : /* Not found. Create a new label and record the return statement. */
1161 : 1490927 : tmp_rs.label = create_artificial_label (cfun->function_end_locus);
1162 : 1490927 : tmp_rs.stmt = stmt;
1163 : 1490927 : data->return_statements.safe_push (tmp_rs);
1164 : :
1165 : : /* Generate a goto statement and remove the return statement. */
1166 : 2038705 : found:
1167 : : /* When not optimizing, make sure user returns are preserved. */
1168 : 2038705 : if (!optimize && gimple_has_location (stmt))
1169 : 250332 : DECL_ARTIFICIAL (tmp_rs.label) = 0;
1170 : 2038705 : t = gimple_build_goto (tmp_rs.label);
1171 : : /* location includes block. */
1172 : 2038705 : gimple_set_location (t, gimple_location (stmt));
1173 : 2038705 : gsi_insert_before (gsi, t, GSI_SAME_STMT);
1174 : 2038705 : gsi_remove (gsi, false);
1175 : 2038705 : }
1176 : :
1177 : : /* Lower a __builtin_setjmp GSI.
1178 : :
1179 : : __builtin_setjmp is passed a pointer to an array of five words (not
1180 : : all will be used on all machines). It operates similarly to the C
1181 : : library function of the same name, but is more efficient.
1182 : :
1183 : : It is lowered into 2 other builtins, namely __builtin_setjmp_setup,
1184 : : __builtin_setjmp_receiver.
1185 : :
1186 : : After full lowering, the body of the function should look like:
1187 : :
1188 : : {
1189 : : int D.1844;
1190 : : int D.2844;
1191 : :
1192 : : [...]
1193 : :
1194 : : __builtin_setjmp_setup (&buf, &<D1847>);
1195 : : D.1844 = 0;
1196 : : goto <D1846>;
1197 : : <D1847>:;
1198 : : __builtin_setjmp_receiver (&<D1847>);
1199 : : D.1844 = 1;
1200 : : <D1846>:;
1201 : : if (D.1844 == 0) goto <D1848>; else goto <D1849>;
1202 : :
1203 : : [...]
1204 : :
1205 : : __builtin_setjmp_setup (&buf, &<D2847>);
1206 : : D.2844 = 0;
1207 : : goto <D2846>;
1208 : : <D2847>:;
1209 : : __builtin_setjmp_receiver (&<D2847>);
1210 : : D.2844 = 1;
1211 : : <D2846>:;
1212 : : if (D.2844 == 0) goto <D2848>; else goto <D2849>;
1213 : :
1214 : : [...]
1215 : :
1216 : : <D3850>:;
1217 : : return;
1218 : : }
1219 : :
1220 : : During cfg creation an extra per-function (or per-OpenMP region)
1221 : : block with ABNORMAL_DISPATCHER internal call will be added, unique
1222 : : destination of all the abnormal call edges and the unique source of
1223 : : all the abnormal edges to the receivers, thus keeping the complexity
1224 : : explosion localized. */
1225 : :
1226 : : static void
1227 : 797 : lower_builtin_setjmp (gimple_stmt_iterator *gsi)
1228 : : {
1229 : 797 : gimple *stmt = gsi_stmt (*gsi);
1230 : 797 : location_t loc = gimple_location (stmt);
1231 : 797 : tree cont_label = create_artificial_label (loc);
1232 : 797 : tree next_label = create_artificial_label (loc);
1233 : 797 : tree dest, t, arg;
1234 : 797 : gimple *g;
1235 : :
1236 : : /* __builtin_setjmp_{setup,receiver} aren't ECF_RETURNS_TWICE and for RTL
1237 : : these builtins are modelled as non-local label jumps to the label
1238 : : that is passed to these two builtins, so pretend we have a non-local
1239 : : label during GIMPLE passes too. See PR60003. */
1240 : 797 : cfun->has_nonlocal_label = 1;
1241 : :
1242 : : /* NEXT_LABEL is the label __builtin_longjmp will jump to. Its address is
1243 : : passed to both __builtin_setjmp_setup and __builtin_setjmp_receiver. */
1244 : 797 : FORCED_LABEL (next_label) = 1;
1245 : :
1246 : 797 : tree orig_dest = dest = gimple_call_lhs (stmt);
1247 : 797 : if (orig_dest && TREE_CODE (orig_dest) == SSA_NAME)
1248 : 725 : dest = create_tmp_reg (TREE_TYPE (orig_dest));
1249 : :
1250 : : /* Build '__builtin_setjmp_setup (BUF, NEXT_LABEL)' and insert. */
1251 : 797 : arg = build_addr (next_label);
1252 : 797 : t = builtin_decl_implicit (BUILT_IN_SETJMP_SETUP);
1253 : 797 : g = gimple_build_call (t, 2, gimple_call_arg (stmt, 0), arg);
1254 : : /* location includes block. */
1255 : 797 : gimple_set_location (g, loc);
1256 : 797 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1257 : :
1258 : : /* Build 'DEST = 0' and insert. */
1259 : 797 : if (dest)
1260 : : {
1261 : 745 : g = gimple_build_assign (dest, build_zero_cst (TREE_TYPE (dest)));
1262 : 745 : gimple_set_location (g, loc);
1263 : 745 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1264 : : }
1265 : :
1266 : : /* Build 'goto CONT_LABEL' and insert. */
1267 : 797 : g = gimple_build_goto (cont_label);
1268 : 797 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1269 : :
1270 : : /* Build 'NEXT_LABEL:' and insert. */
1271 : 797 : g = gimple_build_label (next_label);
1272 : 797 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1273 : :
1274 : : /* Build '__builtin_setjmp_receiver (NEXT_LABEL)' and insert. */
1275 : 797 : arg = build_addr (next_label);
1276 : 797 : t = builtin_decl_implicit (BUILT_IN_SETJMP_RECEIVER);
1277 : 797 : g = gimple_build_call (t, 1, arg);
1278 : 797 : gimple_set_location (g, loc);
1279 : 797 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1280 : :
1281 : : /* Build 'DEST = 1' and insert. */
1282 : 797 : if (dest)
1283 : : {
1284 : 745 : g = gimple_build_assign (dest, fold_convert_loc (loc, TREE_TYPE (dest),
1285 : : integer_one_node));
1286 : 745 : gimple_set_location (g, loc);
1287 : 745 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1288 : : }
1289 : :
1290 : : /* Build 'CONT_LABEL:' and insert. */
1291 : 797 : g = gimple_build_label (cont_label);
1292 : 797 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1293 : :
1294 : : /* Build orig_dest = dest if necessary. */
1295 : 797 : if (dest != orig_dest)
1296 : : {
1297 : 725 : g = gimple_build_assign (orig_dest, dest);
1298 : 725 : gsi_insert_before (gsi, g, GSI_SAME_STMT);
1299 : : }
1300 : :
1301 : : /* Remove the call to __builtin_setjmp. */
1302 : 797 : gsi_remove (gsi, false);
1303 : 797 : }
1304 : :
1305 : : /* Lower calls to posix_memalign to
1306 : : res = posix_memalign (ptr, align, size);
1307 : : if (res == 0)
1308 : : *ptr = __builtin_assume_aligned (*ptr, align);
1309 : : or to
1310 : : void *tem;
1311 : : res = posix_memalign (&tem, align, size);
1312 : : if (res == 0)
1313 : : ptr = __builtin_assume_aligned (tem, align);
1314 : : in case the first argument was &ptr. That way we can get at the
1315 : : alignment of the heap pointer in CCP. */
1316 : :
1317 : : static void
1318 : 36 : lower_builtin_posix_memalign (gimple_stmt_iterator *gsi)
1319 : : {
1320 : 36 : gimple *stmt, *call = gsi_stmt (*gsi);
1321 : 36 : tree pptr = gimple_call_arg (call, 0);
1322 : 36 : tree align = gimple_call_arg (call, 1);
1323 : 36 : tree res = gimple_call_lhs (call);
1324 : 36 : tree ptr = create_tmp_reg (ptr_type_node);
1325 : 36 : if (TREE_CODE (pptr) == ADDR_EXPR)
1326 : : {
1327 : 36 : tree tem = create_tmp_var (ptr_type_node);
1328 : 36 : TREE_ADDRESSABLE (tem) = 1;
1329 : 36 : gimple_call_set_arg (call, 0, build_fold_addr_expr (tem));
1330 : 36 : stmt = gimple_build_assign (ptr, tem);
1331 : : }
1332 : : else
1333 : 0 : stmt = gimple_build_assign (ptr,
1334 : 0 : fold_build2 (MEM_REF, ptr_type_node, pptr,
1335 : : build_int_cst (ptr_type_node, 0)));
1336 : 36 : if (res == NULL_TREE)
1337 : : {
1338 : 0 : res = create_tmp_reg (integer_type_node);
1339 : 0 : gimple_call_set_lhs (call, res);
1340 : : }
1341 : 36 : tree align_label = create_artificial_label (UNKNOWN_LOCATION);
1342 : 36 : tree noalign_label = create_artificial_label (UNKNOWN_LOCATION);
1343 : 36 : gimple *cond = gimple_build_cond (EQ_EXPR, res, integer_zero_node,
1344 : : align_label, noalign_label);
1345 : 36 : gsi_insert_after (gsi, cond, GSI_NEW_STMT);
1346 : 36 : gsi_insert_after (gsi, gimple_build_label (align_label), GSI_NEW_STMT);
1347 : 36 : gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
1348 : 72 : stmt = gimple_build_call (builtin_decl_implicit (BUILT_IN_ASSUME_ALIGNED),
1349 : : 2, ptr, align);
1350 : 36 : gimple_call_set_lhs (stmt, ptr);
1351 : 36 : gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
1352 : 36 : stmt = gimple_build_assign (fold_build2 (MEM_REF, ptr_type_node, pptr,
1353 : : build_int_cst (ptr_type_node, 0)),
1354 : : ptr);
1355 : 36 : gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
1356 : 36 : gsi_insert_after (gsi, gimple_build_label (noalign_label), GSI_NEW_STMT);
1357 : 36 : }
1358 : :
1359 : : /* Lower calls to __builtin_assume_aligned when not optimizing. */
1360 : :
1361 : : static void
1362 : 91 : lower_builtin_assume_aligned (gimple_stmt_iterator *gsi)
1363 : : {
1364 : 91 : gcall *call = as_a <gcall *> (gsi_stmt (*gsi));
1365 : :
1366 : 91 : tree lhs = gimple_call_lhs (call);
1367 : 91 : if (!lhs || !POINTER_TYPE_P (TREE_TYPE (lhs)) || TREE_CODE (lhs) != SSA_NAME)
1368 : : return;
1369 : :
1370 : 2 : tree align = gimple_call_arg (call, 1);
1371 : 2 : tree misalign = (gimple_call_num_args (call) > 2
1372 : 2 : ? gimple_call_arg (call, 2) : NULL_TREE);
1373 : 2 : if (!tree_fits_uhwi_p (align)
1374 : 2 : || (misalign && !tree_fits_uhwi_p (misalign)))
1375 : : return;
1376 : :
1377 : 2 : unsigned aligni = TREE_INT_CST_LOW (align);
1378 : 2 : unsigned misaligni = misalign ? TREE_INT_CST_LOW (misalign) : 0;
1379 : 2 : if (aligni <= 1
1380 : 1 : || (aligni & (aligni - 1)) != 0
1381 : 1 : || (misaligni & ~(aligni - 1)) != 0)
1382 : : return;
1383 : :
1384 : : /* For lowering we simply transfer alignment information to the
1385 : : result and leave the call otherwise unchanged, it will be elided
1386 : : at RTL expansion time. */
1387 : 1 : ptr_info_def *pi = get_ptr_info (lhs);
1388 : 1 : set_ptr_info_alignment (pi, aligni, misaligni);
1389 : : }
1390 : :
1391 : :
1392 : : /* Record the variables in VARS into function FN. */
1393 : :
1394 : : void
1395 : 22888925 : record_vars_into (tree vars, tree fn)
1396 : : {
1397 : 44984918 : for (; vars; vars = DECL_CHAIN (vars))
1398 : : {
1399 : 22095993 : tree var = vars;
1400 : :
1401 : : /* BIND_EXPRs contains also function/type/constant declarations
1402 : : we don't need to care about. */
1403 : 22095993 : if (!VAR_P (var))
1404 : 537137 : continue;
1405 : :
1406 : : /* Nothing to do in this case. */
1407 : 21558856 : if (DECL_EXTERNAL (var))
1408 : 2809 : continue;
1409 : :
1410 : : /* Record the variable. */
1411 : 21556047 : add_local_decl (DECL_STRUCT_FUNCTION (fn), var);
1412 : : }
1413 : 22888925 : }
1414 : :
1415 : :
1416 : : /* Record the variables in VARS into current_function_decl. */
1417 : :
1418 : : void
1419 : 22783033 : record_vars (tree vars)
1420 : : {
1421 : 22783033 : record_vars_into (vars, current_function_decl);
1422 : 22783033 : }
|