Daily bump.
[official-gcc.git] / gcc / gimple-low.c
blobd4697e21ac66d4842c00185a2e90b5b837b66d8d
1 /* GIMPLE lowering pass. Converts High GIMPLE into Low GIMPLE.
3 Copyright (C) 2003-2015 Free Software Foundation, Inc.
5 This file is part of GCC.
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.
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.
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/>. */
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 "hard-reg-set.h"
28 #include "alias.h"
29 #include "fold-const.h"
30 #include "tree-nested.h"
31 #include "calls.h"
32 #include "internal-fn.h"
33 #include "gimple-iterator.h"
34 #include "tree-iterator.h"
35 #include "tree-inline.h"
36 #include "flags.h"
37 #include "diagnostic-core.h"
38 #include "tree-pass.h"
39 #include "langhooks.h"
40 #include "gimple-low.h"
41 #include "tree-nested.h"
43 /* The differences between High GIMPLE and Low GIMPLE are the
44 following:
46 1- Lexical scopes are removed (i.e., GIMPLE_BIND disappears).
48 2- GIMPLE_TRY and GIMPLE_CATCH are converted to abnormal control
49 flow and exception regions are built as an on-the-side region
50 hierarchy (See tree-eh.c:lower_eh_constructs).
52 3- Multiple identical return statements are grouped into a single
53 return and gotos to the unique return site. */
55 /* Match a return statement with a label. During lowering, we identify
56 identical return statements and replace duplicates with a jump to
57 the corresponding label. */
58 struct return_statements_t
60 tree label;
61 greturn *stmt;
63 typedef struct return_statements_t return_statements_t;
66 struct lower_data
68 /* Block the current statement belongs to. */
69 tree block;
71 /* A vector of label and return statements to be moved to the end
72 of the function. */
73 vec<return_statements_t> return_statements;
75 /* True if the current statement cannot fall through. */
76 bool cannot_fallthru;
79 static void lower_stmt (gimple_stmt_iterator *, struct lower_data *);
80 static void lower_gimple_bind (gimple_stmt_iterator *, struct lower_data *);
81 static void lower_try_catch (gimple_stmt_iterator *, struct lower_data *);
82 static void lower_gimple_return (gimple_stmt_iterator *, struct lower_data *);
83 static void lower_builtin_setjmp (gimple_stmt_iterator *);
84 static void lower_builtin_posix_memalign (gimple_stmt_iterator *);
87 /* Lower the body of current_function_decl from High GIMPLE into Low
88 GIMPLE. */
90 static unsigned int
91 lower_function_body (void)
93 struct lower_data data;
94 gimple_seq body = gimple_body (current_function_decl);
95 gimple_seq lowered_body;
96 gimple_stmt_iterator i;
97 gimple bind;
98 gimple x;
100 /* The gimplifier should've left a body of exactly one statement,
101 namely a GIMPLE_BIND. */
102 gcc_assert (gimple_seq_first (body) == gimple_seq_last (body)
103 && gimple_code (gimple_seq_first_stmt (body)) == GIMPLE_BIND);
105 memset (&data, 0, sizeof (data));
106 data.block = DECL_INITIAL (current_function_decl);
107 BLOCK_SUBBLOCKS (data.block) = NULL_TREE;
108 BLOCK_CHAIN (data.block) = NULL_TREE;
109 TREE_ASM_WRITTEN (data.block) = 1;
110 data.return_statements.create (8);
112 bind = gimple_seq_first_stmt (body);
113 lowered_body = NULL;
114 gimple_seq_add_stmt (&lowered_body, bind);
115 i = gsi_start (lowered_body);
116 lower_gimple_bind (&i, &data);
118 i = gsi_last (lowered_body);
120 /* If the function falls off the end, we need a null return statement.
121 If we've already got one in the return_statements vector, we don't
122 need to do anything special. Otherwise build one by hand. */
123 bool may_fallthru = gimple_seq_may_fallthru (lowered_body);
124 if (may_fallthru
125 && (data.return_statements.is_empty ()
126 || (gimple_return_retval (data.return_statements.last().stmt)
127 != NULL)))
129 x = gimple_build_return (NULL);
130 gimple_set_location (x, cfun->function_end_locus);
131 gimple_set_block (x, DECL_INITIAL (current_function_decl));
132 gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
133 may_fallthru = false;
136 /* If we lowered any return statements, emit the representative
137 at the end of the function. */
138 while (!data.return_statements.is_empty ())
140 return_statements_t t = data.return_statements.pop ();
141 x = gimple_build_label (t.label);
142 gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
143 gsi_insert_after (&i, t.stmt, GSI_CONTINUE_LINKING);
144 if (may_fallthru)
146 /* Remove the line number from the representative return statement.
147 It now fills in for the fallthru too. Failure to remove this
148 will result in incorrect results for coverage analysis. */
149 gimple_set_location (t.stmt, UNKNOWN_LOCATION);
150 may_fallthru = false;
154 /* Once the old body has been lowered, replace it with the new
155 lowered sequence. */
156 gimple_set_body (current_function_decl, lowered_body);
158 gcc_assert (data.block == DECL_INITIAL (current_function_decl));
159 BLOCK_SUBBLOCKS (data.block)
160 = blocks_nreverse (BLOCK_SUBBLOCKS (data.block));
162 clear_block_marks (data.block);
163 data.return_statements.release ();
164 return 0;
167 namespace {
169 const pass_data pass_data_lower_cf =
171 GIMPLE_PASS, /* type */
172 "lower", /* name */
173 OPTGROUP_NONE, /* optinfo_flags */
174 TV_NONE, /* tv_id */
175 PROP_gimple_any, /* properties_required */
176 PROP_gimple_lcf, /* properties_provided */
177 0, /* properties_destroyed */
178 0, /* todo_flags_start */
179 0, /* todo_flags_finish */
182 class pass_lower_cf : public gimple_opt_pass
184 public:
185 pass_lower_cf (gcc::context *ctxt)
186 : gimple_opt_pass (pass_data_lower_cf, ctxt)
189 /* opt_pass methods: */
190 virtual unsigned int execute (function *) { return lower_function_body (); }
192 }; // class pass_lower_cf
194 } // anon namespace
196 gimple_opt_pass *
197 make_pass_lower_cf (gcc::context *ctxt)
199 return new pass_lower_cf (ctxt);
202 /* Lower sequence SEQ. Unlike gimplification the statements are not relowered
203 when they are changed -- if this has to be done, the lowering routine must
204 do it explicitly. DATA is passed through the recursion. */
206 static void
207 lower_sequence (gimple_seq *seq, struct lower_data *data)
209 gimple_stmt_iterator gsi;
211 for (gsi = gsi_start (*seq); !gsi_end_p (gsi); )
212 lower_stmt (&gsi, data);
216 /* Lower the OpenMP directive statement pointed by GSI. DATA is
217 passed through the recursion. */
219 static void
220 lower_omp_directive (gimple_stmt_iterator *gsi, struct lower_data *data)
222 gimple stmt;
224 stmt = gsi_stmt (*gsi);
226 lower_sequence (gimple_omp_body_ptr (stmt), data);
227 gsi_insert_seq_after (gsi, gimple_omp_body (stmt), GSI_CONTINUE_LINKING);
228 gimple_omp_set_body (stmt, NULL);
229 gsi_next (gsi);
233 /* Lower statement GSI. DATA is passed through the recursion. We try to
234 track the fallthruness of statements and get rid of unreachable return
235 statements in order to prevent the EH lowering pass from adding useless
236 edges that can cause bogus warnings to be issued later; this guess need
237 not be 100% accurate, simply be conservative and reset cannot_fallthru
238 to false if we don't know. */
240 static void
241 lower_stmt (gimple_stmt_iterator *gsi, struct lower_data *data)
243 gimple stmt = gsi_stmt (*gsi);
245 gimple_set_block (stmt, data->block);
247 switch (gimple_code (stmt))
249 case GIMPLE_BIND:
250 lower_gimple_bind (gsi, data);
251 /* Propagate fallthruness. */
252 return;
254 case GIMPLE_COND:
255 case GIMPLE_GOTO:
256 case GIMPLE_SWITCH:
257 data->cannot_fallthru = true;
258 gsi_next (gsi);
259 return;
261 case GIMPLE_RETURN:
262 if (data->cannot_fallthru)
264 gsi_remove (gsi, false);
265 /* Propagate fallthruness. */
267 else
269 lower_gimple_return (gsi, data);
270 data->cannot_fallthru = true;
272 return;
274 case GIMPLE_TRY:
275 if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
276 lower_try_catch (gsi, data);
277 else
279 /* It must be a GIMPLE_TRY_FINALLY. */
280 bool cannot_fallthru;
281 lower_sequence (gimple_try_eval_ptr (stmt), data);
282 cannot_fallthru = data->cannot_fallthru;
284 /* The finally clause is always executed after the try clause,
285 so if it does not fall through, then the try-finally will not
286 fall through. Otherwise, if the try clause does not fall
287 through, then when the finally clause falls through it will
288 resume execution wherever the try clause was going. So the
289 whole try-finally will only fall through if both the try
290 clause and the finally clause fall through. */
291 data->cannot_fallthru = false;
292 lower_sequence (gimple_try_cleanup_ptr (stmt), data);
293 data->cannot_fallthru |= cannot_fallthru;
294 gsi_next (gsi);
296 return;
298 case GIMPLE_EH_ELSE:
300 geh_else *eh_else_stmt = as_a <geh_else *> (stmt);
301 lower_sequence (gimple_eh_else_n_body_ptr (eh_else_stmt), data);
302 lower_sequence (gimple_eh_else_e_body_ptr (eh_else_stmt), data);
304 break;
306 case GIMPLE_NOP:
307 case GIMPLE_ASM:
308 case GIMPLE_ASSIGN:
309 case GIMPLE_PREDICT:
310 case GIMPLE_LABEL:
311 case GIMPLE_EH_MUST_NOT_THROW:
312 case GIMPLE_OMP_FOR:
313 case GIMPLE_OMP_SECTIONS:
314 case GIMPLE_OMP_SECTIONS_SWITCH:
315 case GIMPLE_OMP_SECTION:
316 case GIMPLE_OMP_SINGLE:
317 case GIMPLE_OMP_MASTER:
318 case GIMPLE_OMP_TASKGROUP:
319 case GIMPLE_OMP_ORDERED:
320 case GIMPLE_OMP_CRITICAL:
321 case GIMPLE_OMP_RETURN:
322 case GIMPLE_OMP_ATOMIC_LOAD:
323 case GIMPLE_OMP_ATOMIC_STORE:
324 case GIMPLE_OMP_CONTINUE:
325 break;
327 case GIMPLE_CALL:
329 tree decl = gimple_call_fndecl (stmt);
330 unsigned i;
332 for (i = 0; i < gimple_call_num_args (stmt); i++)
334 tree arg = gimple_call_arg (stmt, i);
335 if (EXPR_P (arg))
336 TREE_SET_BLOCK (arg, data->block);
339 if (decl
340 && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL)
342 if (DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP)
344 lower_builtin_setjmp (gsi);
345 data->cannot_fallthru = false;
346 return;
348 else if (DECL_FUNCTION_CODE (decl) == BUILT_IN_POSIX_MEMALIGN
349 && flag_tree_bit_ccp)
351 lower_builtin_posix_memalign (gsi);
352 return;
356 if (decl && (flags_from_decl_or_type (decl) & ECF_NORETURN))
358 data->cannot_fallthru = true;
359 gsi_next (gsi);
360 return;
363 break;
365 case GIMPLE_OMP_PARALLEL:
366 case GIMPLE_OMP_TASK:
367 case GIMPLE_OMP_TARGET:
368 case GIMPLE_OMP_TEAMS:
369 data->cannot_fallthru = false;
370 lower_omp_directive (gsi, data);
371 data->cannot_fallthru = false;
372 return;
374 case GIMPLE_TRANSACTION:
375 lower_sequence (gimple_transaction_body_ptr (
376 as_a <gtransaction *> (stmt)),
377 data);
378 break;
380 default:
381 gcc_unreachable ();
384 data->cannot_fallthru = false;
385 gsi_next (gsi);
388 /* Lower a bind_expr TSI. DATA is passed through the recursion. */
390 static void
391 lower_gimple_bind (gimple_stmt_iterator *gsi, struct lower_data *data)
393 tree old_block = data->block;
394 gbind *stmt = as_a <gbind *> (gsi_stmt (*gsi));
395 tree new_block = gimple_bind_block (stmt);
397 if (new_block)
399 if (new_block == old_block)
401 /* The outermost block of the original function may not be the
402 outermost statement chain of the gimplified function. So we
403 may see the outermost block just inside the function. */
404 gcc_assert (new_block == DECL_INITIAL (current_function_decl));
405 new_block = NULL;
407 else
409 /* We do not expect to handle duplicate blocks. */
410 gcc_assert (!TREE_ASM_WRITTEN (new_block));
411 TREE_ASM_WRITTEN (new_block) = 1;
413 /* Block tree may get clobbered by inlining. Normally this would
414 be fixed in rest_of_decl_compilation using block notes, but
415 since we are not going to emit them, it is up to us. */
416 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (old_block);
417 BLOCK_SUBBLOCKS (old_block) = new_block;
418 BLOCK_SUBBLOCKS (new_block) = NULL_TREE;
419 BLOCK_SUPERCONTEXT (new_block) = old_block;
421 data->block = new_block;
425 record_vars (gimple_bind_vars (stmt));
426 lower_sequence (gimple_bind_body_ptr (stmt), data);
428 if (new_block)
430 gcc_assert (data->block == new_block);
432 BLOCK_SUBBLOCKS (new_block)
433 = blocks_nreverse (BLOCK_SUBBLOCKS (new_block));
434 data->block = old_block;
437 /* The GIMPLE_BIND no longer carries any useful information -- kill it. */
438 gsi_insert_seq_before (gsi, gimple_bind_body (stmt), GSI_SAME_STMT);
439 gsi_remove (gsi, false);
442 /* Same as above, but for a GIMPLE_TRY_CATCH. */
444 static void
445 lower_try_catch (gimple_stmt_iterator *gsi, struct lower_data *data)
447 bool cannot_fallthru;
448 gimple stmt = gsi_stmt (*gsi);
449 gimple_stmt_iterator i;
451 /* We don't handle GIMPLE_TRY_FINALLY. */
452 gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
454 lower_sequence (gimple_try_eval_ptr (stmt), data);
455 cannot_fallthru = data->cannot_fallthru;
457 i = gsi_start (*gimple_try_cleanup_ptr (stmt));
458 switch (gimple_code (gsi_stmt (i)))
460 case GIMPLE_CATCH:
461 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
462 catch expression and a body. The whole try/catch may fall
463 through iff any of the catch bodies falls through. */
464 for (; !gsi_end_p (i); gsi_next (&i))
466 data->cannot_fallthru = false;
467 lower_sequence (gimple_catch_handler_ptr (
468 as_a <gcatch *> (gsi_stmt (i))),
469 data);
470 if (!data->cannot_fallthru)
471 cannot_fallthru = false;
473 break;
475 case GIMPLE_EH_FILTER:
476 /* The exception filter expression only matters if there is an
477 exception. If the exception does not match EH_FILTER_TYPES,
478 we will execute EH_FILTER_FAILURE, and we will fall through
479 if that falls through. If the exception does match
480 EH_FILTER_TYPES, the stack unwinder will continue up the
481 stack, so we will not fall through. We don't know whether we
482 will throw an exception which matches EH_FILTER_TYPES or not,
483 so we just ignore EH_FILTER_TYPES and assume that we might
484 throw an exception which doesn't match. */
485 data->cannot_fallthru = false;
486 lower_sequence (gimple_eh_filter_failure_ptr (gsi_stmt (i)), data);
487 if (!data->cannot_fallthru)
488 cannot_fallthru = false;
489 break;
491 default:
492 /* This case represents statements to be executed when an
493 exception occurs. Those statements are implicitly followed
494 by a GIMPLE_RESX to resume execution after the exception. So
495 in this case the try/catch never falls through. */
496 data->cannot_fallthru = false;
497 lower_sequence (gimple_try_cleanup_ptr (stmt), data);
498 break;
501 data->cannot_fallthru = cannot_fallthru;
502 gsi_next (gsi);
506 /* Try to determine whether a TRY_CATCH expression can fall through.
507 This is a subroutine of gimple_stmt_may_fallthru. */
509 static bool
510 gimple_try_catch_may_fallthru (gtry *stmt)
512 gimple_stmt_iterator i;
514 /* We don't handle GIMPLE_TRY_FINALLY. */
515 gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
517 /* If the TRY block can fall through, the whole TRY_CATCH can
518 fall through. */
519 if (gimple_seq_may_fallthru (gimple_try_eval (stmt)))
520 return true;
522 i = gsi_start (*gimple_try_cleanup_ptr (stmt));
523 switch (gimple_code (gsi_stmt (i)))
525 case GIMPLE_CATCH:
526 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
527 catch expression and a body. The whole try/catch may fall
528 through iff any of the catch bodies falls through. */
529 for (; !gsi_end_p (i); gsi_next (&i))
531 if (gimple_seq_may_fallthru (gimple_catch_handler (
532 as_a <gcatch *> (gsi_stmt (i)))))
533 return true;
535 return false;
537 case GIMPLE_EH_FILTER:
538 /* The exception filter expression only matters if there is an
539 exception. If the exception does not match EH_FILTER_TYPES,
540 we will execute EH_FILTER_FAILURE, and we will fall through
541 if that falls through. If the exception does match
542 EH_FILTER_TYPES, the stack unwinder will continue up the
543 stack, so we will not fall through. We don't know whether we
544 will throw an exception which matches EH_FILTER_TYPES or not,
545 so we just ignore EH_FILTER_TYPES and assume that we might
546 throw an exception which doesn't match. */
547 return gimple_seq_may_fallthru (gimple_eh_filter_failure (gsi_stmt (i)));
549 default:
550 /* This case represents statements to be executed when an
551 exception occurs. Those statements are implicitly followed
552 by a GIMPLE_RESX to resume execution after the exception. So
553 in this case the try/catch never falls through. */
554 return false;
559 /* Try to determine if we can continue executing the statement
560 immediately following STMT. This guess need not be 100% accurate;
561 simply be conservative and return true if we don't know. This is
562 used only to avoid stupidly generating extra code. If we're wrong,
563 we'll just delete the extra code later. */
565 bool
566 gimple_stmt_may_fallthru (gimple stmt)
568 if (!stmt)
569 return true;
571 switch (gimple_code (stmt))
573 case GIMPLE_GOTO:
574 case GIMPLE_RETURN:
575 case GIMPLE_RESX:
576 /* Easy cases. If the last statement of the seq implies
577 control transfer, then we can't fall through. */
578 return false;
580 case GIMPLE_SWITCH:
581 /* Switch has already been lowered and represents a branch
582 to a selected label and hence can't fall through. */
583 return false;
585 case GIMPLE_COND:
586 /* GIMPLE_COND's are already lowered into a two-way branch. They
587 can't fall through. */
588 return false;
590 case GIMPLE_BIND:
591 return gimple_seq_may_fallthru (
592 gimple_bind_body (as_a <gbind *> (stmt)));
594 case GIMPLE_TRY:
595 if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
596 return gimple_try_catch_may_fallthru (as_a <gtry *> (stmt));
598 /* It must be a GIMPLE_TRY_FINALLY. */
600 /* The finally clause is always executed after the try clause,
601 so if it does not fall through, then the try-finally will not
602 fall through. Otherwise, if the try clause does not fall
603 through, then when the finally clause falls through it will
604 resume execution wherever the try clause was going. So the
605 whole try-finally will only fall through if both the try
606 clause and the finally clause fall through. */
607 return (gimple_seq_may_fallthru (gimple_try_eval (stmt))
608 && gimple_seq_may_fallthru (gimple_try_cleanup (stmt)));
610 case GIMPLE_EH_ELSE:
612 geh_else *eh_else_stmt = as_a <geh_else *> (stmt);
613 return (gimple_seq_may_fallthru (gimple_eh_else_n_body (eh_else_stmt))
614 || gimple_seq_may_fallthru (gimple_eh_else_e_body (
615 eh_else_stmt)));
618 case GIMPLE_CALL:
619 /* Functions that do not return do not fall through. */
620 return (gimple_call_flags (stmt) & ECF_NORETURN) == 0;
622 default:
623 return true;
628 /* Same as gimple_stmt_may_fallthru, but for the gimple sequence SEQ. */
630 bool
631 gimple_seq_may_fallthru (gimple_seq seq)
633 return gimple_stmt_may_fallthru (gimple_seq_last_stmt (seq));
637 /* Lower a GIMPLE_RETURN GSI. DATA is passed through the recursion. */
639 static void
640 lower_gimple_return (gimple_stmt_iterator *gsi, struct lower_data *data)
642 greturn *stmt = as_a <greturn *> (gsi_stmt (*gsi));
643 gimple t;
644 int i;
645 return_statements_t tmp_rs;
647 /* Match this up with an existing return statement that's been created. */
648 for (i = data->return_statements.length () - 1;
649 i >= 0; i--)
651 tmp_rs = data->return_statements[i];
653 if (gimple_return_retval (stmt) == gimple_return_retval (tmp_rs.stmt))
655 /* Remove the line number from the representative return statement.
656 It now fills in for many such returns. Failure to remove this
657 will result in incorrect results for coverage analysis. */
658 gimple_set_location (tmp_rs.stmt, UNKNOWN_LOCATION);
660 goto found;
664 /* Not found. Create a new label and record the return statement. */
665 tmp_rs.label = create_artificial_label (cfun->function_end_locus);
666 tmp_rs.stmt = stmt;
667 data->return_statements.safe_push (tmp_rs);
669 /* Generate a goto statement and remove the return statement. */
670 found:
671 /* When not optimizing, make sure user returns are preserved. */
672 if (!optimize && gimple_has_location (stmt))
673 DECL_ARTIFICIAL (tmp_rs.label) = 0;
674 t = gimple_build_goto (tmp_rs.label);
675 gimple_set_location (t, gimple_location (stmt));
676 gimple_set_block (t, gimple_block (stmt));
677 gsi_insert_before (gsi, t, GSI_SAME_STMT);
678 gsi_remove (gsi, false);
681 /* Lower a __builtin_setjmp GSI.
683 __builtin_setjmp is passed a pointer to an array of five words (not
684 all will be used on all machines). It operates similarly to the C
685 library function of the same name, but is more efficient.
687 It is lowered into 2 other builtins, namely __builtin_setjmp_setup,
688 __builtin_setjmp_receiver.
690 After full lowering, the body of the function should look like:
693 int D.1844;
694 int D.2844;
696 [...]
698 __builtin_setjmp_setup (&buf, &<D1847>);
699 D.1844 = 0;
700 goto <D1846>;
701 <D1847>:;
702 __builtin_setjmp_receiver (&<D1847>);
703 D.1844 = 1;
704 <D1846>:;
705 if (D.1844 == 0) goto <D1848>; else goto <D1849>;
707 [...]
709 __builtin_setjmp_setup (&buf, &<D2847>);
710 D.2844 = 0;
711 goto <D2846>;
712 <D2847>:;
713 __builtin_setjmp_receiver (&<D2847>);
714 D.2844 = 1;
715 <D2846>:;
716 if (D.2844 == 0) goto <D2848>; else goto <D2849>;
718 [...]
720 <D3850>:;
721 return;
724 During cfg creation an extra per-function (or per-OpenMP region)
725 block with ABNORMAL_DISPATCHER internal call will be added, unique
726 destination of all the abnormal call edges and the unique source of
727 all the abnormal edges to the receivers, thus keeping the complexity
728 explosion localized. */
730 static void
731 lower_builtin_setjmp (gimple_stmt_iterator *gsi)
733 gimple stmt = gsi_stmt (*gsi);
734 location_t loc = gimple_location (stmt);
735 tree cont_label = create_artificial_label (loc);
736 tree next_label = create_artificial_label (loc);
737 tree dest, t, arg;
738 gimple g;
740 /* __builtin_setjmp_{setup,receiver} aren't ECF_RETURNS_TWICE and for RTL
741 these builtins are modelled as non-local label jumps to the label
742 that is passed to these two builtins, so pretend we have a non-local
743 label during GIMPLE passes too. See PR60003. */
744 cfun->has_nonlocal_label = 1;
746 /* NEXT_LABEL is the label __builtin_longjmp will jump to. Its address is
747 passed to both __builtin_setjmp_setup and __builtin_setjmp_receiver. */
748 FORCED_LABEL (next_label) = 1;
750 dest = gimple_call_lhs (stmt);
752 /* Build '__builtin_setjmp_setup (BUF, NEXT_LABEL)' and insert. */
753 arg = build_addr (next_label, current_function_decl);
754 t = builtin_decl_implicit (BUILT_IN_SETJMP_SETUP);
755 g = gimple_build_call (t, 2, gimple_call_arg (stmt, 0), arg);
756 gimple_set_location (g, loc);
757 gimple_set_block (g, gimple_block (stmt));
758 gsi_insert_before (gsi, g, GSI_SAME_STMT);
760 /* Build 'DEST = 0' and insert. */
761 if (dest)
763 g = gimple_build_assign (dest, build_zero_cst (TREE_TYPE (dest)));
764 gimple_set_location (g, loc);
765 gimple_set_block (g, gimple_block (stmt));
766 gsi_insert_before (gsi, g, GSI_SAME_STMT);
769 /* Build 'goto CONT_LABEL' and insert. */
770 g = gimple_build_goto (cont_label);
771 gsi_insert_before (gsi, g, GSI_SAME_STMT);
773 /* Build 'NEXT_LABEL:' and insert. */
774 g = gimple_build_label (next_label);
775 gsi_insert_before (gsi, g, GSI_SAME_STMT);
777 /* Build '__builtin_setjmp_receiver (NEXT_LABEL)' and insert. */
778 arg = build_addr (next_label, current_function_decl);
779 t = builtin_decl_implicit (BUILT_IN_SETJMP_RECEIVER);
780 g = gimple_build_call (t, 1, arg);
781 gimple_set_location (g, loc);
782 gimple_set_block (g, gimple_block (stmt));
783 gsi_insert_before (gsi, g, GSI_SAME_STMT);
785 /* Build 'DEST = 1' and insert. */
786 if (dest)
788 g = gimple_build_assign (dest, fold_convert_loc (loc, TREE_TYPE (dest),
789 integer_one_node));
790 gimple_set_location (g, loc);
791 gimple_set_block (g, gimple_block (stmt));
792 gsi_insert_before (gsi, g, GSI_SAME_STMT);
795 /* Build 'CONT_LABEL:' and insert. */
796 g = gimple_build_label (cont_label);
797 gsi_insert_before (gsi, g, GSI_SAME_STMT);
799 /* Remove the call to __builtin_setjmp. */
800 gsi_remove (gsi, false);
803 /* Lower calls to posix_memalign to
804 res = posix_memalign (ptr, align, size);
805 if (res == 0)
806 *ptr = __builtin_assume_aligned (*ptr, align);
807 or to
808 void *tem;
809 res = posix_memalign (&tem, align, size);
810 if (res == 0)
811 ptr = __builtin_assume_aligned (tem, align);
812 in case the first argument was &ptr. That way we can get at the
813 alignment of the heap pointer in CCP. */
815 static void
816 lower_builtin_posix_memalign (gimple_stmt_iterator *gsi)
818 gimple stmt, call = gsi_stmt (*gsi);
819 tree pptr = gimple_call_arg (call, 0);
820 tree align = gimple_call_arg (call, 1);
821 tree res = gimple_call_lhs (call);
822 tree ptr = create_tmp_reg (ptr_type_node);
823 if (TREE_CODE (pptr) == ADDR_EXPR)
825 tree tem = create_tmp_var (ptr_type_node);
826 TREE_ADDRESSABLE (tem) = 1;
827 gimple_call_set_arg (call, 0, build_fold_addr_expr (tem));
828 stmt = gimple_build_assign (ptr, tem);
830 else
831 stmt = gimple_build_assign (ptr,
832 fold_build2 (MEM_REF, ptr_type_node, pptr,
833 build_int_cst (ptr_type_node, 0)));
834 if (res == NULL_TREE)
836 res = create_tmp_reg (integer_type_node);
837 gimple_call_set_lhs (call, res);
839 tree align_label = create_artificial_label (UNKNOWN_LOCATION);
840 tree noalign_label = create_artificial_label (UNKNOWN_LOCATION);
841 gimple cond = gimple_build_cond (EQ_EXPR, res, integer_zero_node,
842 align_label, noalign_label);
843 gsi_insert_after (gsi, cond, GSI_NEW_STMT);
844 gsi_insert_after (gsi, gimple_build_label (align_label), GSI_NEW_STMT);
845 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
846 stmt = gimple_build_call (builtin_decl_implicit (BUILT_IN_ASSUME_ALIGNED),
847 2, ptr, align);
848 gimple_call_set_lhs (stmt, ptr);
849 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
850 stmt = gimple_build_assign (fold_build2 (MEM_REF, ptr_type_node, pptr,
851 build_int_cst (ptr_type_node, 0)),
852 ptr);
853 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
854 gsi_insert_after (gsi, gimple_build_label (noalign_label), GSI_NEW_STMT);
858 /* Record the variables in VARS into function FN. */
860 void
861 record_vars_into (tree vars, tree fn)
863 for (; vars; vars = DECL_CHAIN (vars))
865 tree var = vars;
867 /* BIND_EXPRs contains also function/type/constant declarations
868 we don't need to care about. */
869 if (TREE_CODE (var) != VAR_DECL)
870 continue;
872 /* Nothing to do in this case. */
873 if (DECL_EXTERNAL (var))
874 continue;
876 /* Record the variable. */
877 add_local_decl (DECL_STRUCT_FUNCTION (fn), var);
882 /* Record the variables in VARS into current_function_decl. */
884 void
885 record_vars (tree vars)
887 record_vars_into (vars, current_function_decl);