* tree-ssa.c (target_for_debug_bind, verify_phi_args,
[official-gcc.git] / gcc / gimple-low.c
blob8e98762e6fd27cec9fc6a7e76e2f566bba43905c
1 /* GIMPLE lowering pass. Converts High GIMPLE into Low GIMPLE.
3 Copyright (C) 2003-2016 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 "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"
34 /* The differences between High GIMPLE and Low GIMPLE are the
35 following:
37 1- Lexical scopes are removed (i.e., GIMPLE_BIND disappears).
39 2- GIMPLE_TRY and GIMPLE_CATCH are converted to abnormal control
40 flow and exception regions are built as an on-the-side region
41 hierarchy (See tree-eh.c:lower_eh_constructs).
43 3- Multiple identical return statements are grouped into a single
44 return and gotos to the unique return site. */
46 /* Match a return statement with a label. During lowering, we identify
47 identical return statements and replace duplicates with a jump to
48 the corresponding label. */
49 struct return_statements_t
51 tree label;
52 greturn *stmt;
54 typedef struct return_statements_t return_statements_t;
57 struct lower_data
59 /* Block the current statement belongs to. */
60 tree block;
62 /* A vector of label and return statements to be moved to the end
63 of the function. */
64 vec<return_statements_t> return_statements;
66 /* True if the current statement cannot fall through. */
67 bool cannot_fallthru;
70 static void lower_stmt (gimple_stmt_iterator *, struct lower_data *);
71 static void lower_gimple_bind (gimple_stmt_iterator *, struct lower_data *);
72 static void lower_try_catch (gimple_stmt_iterator *, struct lower_data *);
73 static void lower_gimple_return (gimple_stmt_iterator *, struct lower_data *);
74 static void lower_builtin_setjmp (gimple_stmt_iterator *);
75 static void lower_builtin_posix_memalign (gimple_stmt_iterator *);
78 /* Lower the body of current_function_decl from High GIMPLE into Low
79 GIMPLE. */
81 static unsigned int
82 lower_function_body (void)
84 struct lower_data data;
85 gimple_seq body = gimple_body (current_function_decl);
86 gimple_seq lowered_body;
87 gimple_stmt_iterator i;
88 gimple *bind;
89 gimple *x;
91 /* The gimplifier should've left a body of exactly one statement,
92 namely a GIMPLE_BIND. */
93 gcc_assert (gimple_seq_first (body) == gimple_seq_last (body)
94 && gimple_code (gimple_seq_first_stmt (body)) == GIMPLE_BIND);
96 memset (&data, 0, sizeof (data));
97 data.block = DECL_INITIAL (current_function_decl);
98 BLOCK_SUBBLOCKS (data.block) = NULL_TREE;
99 BLOCK_CHAIN (data.block) = NULL_TREE;
100 TREE_ASM_WRITTEN (data.block) = 1;
101 data.return_statements.create (8);
103 bind = gimple_seq_first_stmt (body);
104 lowered_body = NULL;
105 gimple_seq_add_stmt (&lowered_body, bind);
106 i = gsi_start (lowered_body);
107 lower_gimple_bind (&i, &data);
109 i = gsi_last (lowered_body);
111 /* If the function falls off the end, we need a null return statement.
112 If we've already got one in the return_statements vector, we don't
113 need to do anything special. Otherwise build one by hand. */
114 bool may_fallthru = gimple_seq_may_fallthru (lowered_body);
115 if (may_fallthru
116 && (data.return_statements.is_empty ()
117 || (gimple_return_retval (data.return_statements.last().stmt)
118 != NULL)))
120 x = gimple_build_return (NULL);
121 gimple_set_location (x, cfun->function_end_locus);
122 gimple_set_block (x, DECL_INITIAL (current_function_decl));
123 gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
124 may_fallthru = false;
127 /* If we lowered any return statements, emit the representative
128 at the end of the function. */
129 while (!data.return_statements.is_empty ())
131 return_statements_t t = data.return_statements.pop ();
132 x = gimple_build_label (t.label);
133 gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
134 gsi_insert_after (&i, t.stmt, GSI_CONTINUE_LINKING);
135 if (may_fallthru)
137 /* Remove the line number from the representative return statement.
138 It now fills in for the fallthru too. Failure to remove this
139 will result in incorrect results for coverage analysis. */
140 gimple_set_location (t.stmt, UNKNOWN_LOCATION);
141 may_fallthru = false;
145 /* Once the old body has been lowered, replace it with the new
146 lowered sequence. */
147 gimple_set_body (current_function_decl, lowered_body);
149 gcc_assert (data.block == DECL_INITIAL (current_function_decl));
150 BLOCK_SUBBLOCKS (data.block)
151 = blocks_nreverse (BLOCK_SUBBLOCKS (data.block));
153 clear_block_marks (data.block);
154 data.return_statements.release ();
155 return 0;
158 namespace {
160 const pass_data pass_data_lower_cf =
162 GIMPLE_PASS, /* type */
163 "lower", /* name */
164 OPTGROUP_NONE, /* optinfo_flags */
165 TV_NONE, /* tv_id */
166 PROP_gimple_any, /* properties_required */
167 PROP_gimple_lcf, /* properties_provided */
168 0, /* properties_destroyed */
169 0, /* todo_flags_start */
170 0, /* todo_flags_finish */
173 class pass_lower_cf : public gimple_opt_pass
175 public:
176 pass_lower_cf (gcc::context *ctxt)
177 : gimple_opt_pass (pass_data_lower_cf, ctxt)
180 /* opt_pass methods: */
181 virtual unsigned int execute (function *) { return lower_function_body (); }
183 }; // class pass_lower_cf
185 } // anon namespace
187 gimple_opt_pass *
188 make_pass_lower_cf (gcc::context *ctxt)
190 return new pass_lower_cf (ctxt);
193 /* Lower sequence SEQ. Unlike gimplification the statements are not relowered
194 when they are changed -- if this has to be done, the lowering routine must
195 do it explicitly. DATA is passed through the recursion. */
197 static void
198 lower_sequence (gimple_seq *seq, struct lower_data *data)
200 gimple_stmt_iterator gsi;
202 for (gsi = gsi_start (*seq); !gsi_end_p (gsi); )
203 lower_stmt (&gsi, data);
207 /* Lower the OpenMP directive statement pointed by GSI. DATA is
208 passed through the recursion. */
210 static void
211 lower_omp_directive (gimple_stmt_iterator *gsi, struct lower_data *data)
213 gimple *stmt;
215 stmt = gsi_stmt (*gsi);
217 lower_sequence (gimple_omp_body_ptr (stmt), data);
218 gsi_insert_seq_after (gsi, gimple_omp_body (stmt), GSI_CONTINUE_LINKING);
219 gimple_omp_set_body (stmt, NULL);
220 gsi_next (gsi);
224 /* Lower statement GSI. DATA is passed through the recursion. We try to
225 track the fallthruness of statements and get rid of unreachable return
226 statements in order to prevent the EH lowering pass from adding useless
227 edges that can cause bogus warnings to be issued later; this guess need
228 not be 100% accurate, simply be conservative and reset cannot_fallthru
229 to false if we don't know. */
231 static void
232 lower_stmt (gimple_stmt_iterator *gsi, struct lower_data *data)
234 gimple *stmt = gsi_stmt (*gsi);
236 gimple_set_block (stmt, data->block);
238 switch (gimple_code (stmt))
240 case GIMPLE_BIND:
241 lower_gimple_bind (gsi, data);
242 /* Propagate fallthruness. */
243 return;
245 case GIMPLE_COND:
246 case GIMPLE_GOTO:
247 case GIMPLE_SWITCH:
248 data->cannot_fallthru = true;
249 gsi_next (gsi);
250 return;
252 case GIMPLE_RETURN:
253 if (data->cannot_fallthru)
255 gsi_remove (gsi, false);
256 /* Propagate fallthruness. */
258 else
260 lower_gimple_return (gsi, data);
261 data->cannot_fallthru = true;
263 return;
265 case GIMPLE_TRY:
266 if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
267 lower_try_catch (gsi, data);
268 else
270 /* It must be a GIMPLE_TRY_FINALLY. */
271 bool cannot_fallthru;
272 lower_sequence (gimple_try_eval_ptr (stmt), data);
273 cannot_fallthru = data->cannot_fallthru;
275 /* The finally clause is always executed after the try clause,
276 so if it does not fall through, then the try-finally will not
277 fall through. Otherwise, if the try clause does not fall
278 through, then when the finally clause falls through it will
279 resume execution wherever the try clause was going. So the
280 whole try-finally will only fall through if both the try
281 clause and the finally clause fall through. */
282 data->cannot_fallthru = false;
283 lower_sequence (gimple_try_cleanup_ptr (stmt), data);
284 data->cannot_fallthru |= cannot_fallthru;
285 gsi_next (gsi);
287 return;
289 case GIMPLE_EH_ELSE:
291 geh_else *eh_else_stmt = as_a <geh_else *> (stmt);
292 lower_sequence (gimple_eh_else_n_body_ptr (eh_else_stmt), data);
293 lower_sequence (gimple_eh_else_e_body_ptr (eh_else_stmt), data);
295 break;
297 case GIMPLE_NOP:
298 case GIMPLE_ASM:
299 case GIMPLE_ASSIGN:
300 case GIMPLE_PREDICT:
301 case GIMPLE_LABEL:
302 case GIMPLE_EH_MUST_NOT_THROW:
303 case GIMPLE_OMP_FOR:
304 case GIMPLE_OMP_SECTIONS:
305 case GIMPLE_OMP_SECTIONS_SWITCH:
306 case GIMPLE_OMP_SECTION:
307 case GIMPLE_OMP_SINGLE:
308 case GIMPLE_OMP_MASTER:
309 case GIMPLE_OMP_TASKGROUP:
310 case GIMPLE_OMP_ORDERED:
311 case GIMPLE_OMP_CRITICAL:
312 case GIMPLE_OMP_RETURN:
313 case GIMPLE_OMP_ATOMIC_LOAD:
314 case GIMPLE_OMP_ATOMIC_STORE:
315 case GIMPLE_OMP_CONTINUE:
316 break;
318 case GIMPLE_CALL:
320 tree decl = gimple_call_fndecl (stmt);
321 unsigned i;
323 for (i = 0; i < gimple_call_num_args (stmt); i++)
325 tree arg = gimple_call_arg (stmt, i);
326 if (EXPR_P (arg))
327 TREE_SET_BLOCK (arg, data->block);
330 if (decl
331 && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL)
333 if (DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP)
335 lower_builtin_setjmp (gsi);
336 data->cannot_fallthru = false;
337 return;
339 else if (DECL_FUNCTION_CODE (decl) == BUILT_IN_POSIX_MEMALIGN
340 && flag_tree_bit_ccp
341 && gimple_builtin_call_types_compatible_p (stmt, decl))
343 lower_builtin_posix_memalign (gsi);
344 return;
348 if (decl && (flags_from_decl_or_type (decl) & ECF_NORETURN))
350 data->cannot_fallthru = true;
351 gsi_next (gsi);
352 return;
355 break;
357 case GIMPLE_OMP_PARALLEL:
358 case GIMPLE_OMP_TASK:
359 case GIMPLE_OMP_TARGET:
360 case GIMPLE_OMP_TEAMS:
361 case GIMPLE_OMP_GRID_BODY:
362 data->cannot_fallthru = false;
363 lower_omp_directive (gsi, data);
364 data->cannot_fallthru = false;
365 return;
367 case GIMPLE_TRANSACTION:
368 lower_sequence (gimple_transaction_body_ptr (
369 as_a <gtransaction *> (stmt)),
370 data);
371 break;
373 default:
374 gcc_unreachable ();
377 data->cannot_fallthru = false;
378 gsi_next (gsi);
381 /* Lower a bind_expr TSI. DATA is passed through the recursion. */
383 static void
384 lower_gimple_bind (gimple_stmt_iterator *gsi, struct lower_data *data)
386 tree old_block = data->block;
387 gbind *stmt = as_a <gbind *> (gsi_stmt (*gsi));
388 tree new_block = gimple_bind_block (stmt);
390 if (new_block)
392 if (new_block == old_block)
394 /* The outermost block of the original function may not be the
395 outermost statement chain of the gimplified function. So we
396 may see the outermost block just inside the function. */
397 gcc_assert (new_block == DECL_INITIAL (current_function_decl));
398 new_block = NULL;
400 else
402 /* We do not expect to handle duplicate blocks. */
403 gcc_assert (!TREE_ASM_WRITTEN (new_block));
404 TREE_ASM_WRITTEN (new_block) = 1;
406 /* Block tree may get clobbered by inlining. Normally this would
407 be fixed in rest_of_decl_compilation using block notes, but
408 since we are not going to emit them, it is up to us. */
409 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (old_block);
410 BLOCK_SUBBLOCKS (old_block) = new_block;
411 BLOCK_SUBBLOCKS (new_block) = NULL_TREE;
412 BLOCK_SUPERCONTEXT (new_block) = old_block;
414 data->block = new_block;
418 record_vars (gimple_bind_vars (stmt));
420 /* Scrap DECL_CHAIN up to BLOCK_VARS to ease GC after we no longer
421 need gimple_bind_vars. */
422 tree next;
423 tree end = NULL_TREE;
424 if (gimple_bind_block (stmt))
425 end = BLOCK_VARS (gimple_bind_block (stmt));
426 for (tree var = gimple_bind_vars (stmt); var != end; var = next)
428 /* Ugh, something is violating the constraint that BLOCK_VARS
429 is a sub-chain of gimple_bind_vars. */
430 if (! var)
431 break;
432 next = DECL_CHAIN (var);
433 DECL_CHAIN (var) = NULL_TREE;
436 lower_sequence (gimple_bind_body_ptr (stmt), data);
438 if (new_block)
440 gcc_assert (data->block == new_block);
442 BLOCK_SUBBLOCKS (new_block)
443 = blocks_nreverse (BLOCK_SUBBLOCKS (new_block));
444 data->block = old_block;
447 /* The GIMPLE_BIND no longer carries any useful information -- kill it. */
448 gsi_insert_seq_before (gsi, gimple_bind_body (stmt), GSI_SAME_STMT);
449 gsi_remove (gsi, false);
452 /* Same as above, but for a GIMPLE_TRY_CATCH. */
454 static void
455 lower_try_catch (gimple_stmt_iterator *gsi, struct lower_data *data)
457 bool cannot_fallthru;
458 gimple *stmt = gsi_stmt (*gsi);
459 gimple_stmt_iterator i;
461 /* We don't handle GIMPLE_TRY_FINALLY. */
462 gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
464 lower_sequence (gimple_try_eval_ptr (stmt), data);
465 cannot_fallthru = data->cannot_fallthru;
467 i = gsi_start (*gimple_try_cleanup_ptr (stmt));
468 switch (gimple_code (gsi_stmt (i)))
470 case GIMPLE_CATCH:
471 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
472 catch expression and a body. The whole try/catch may fall
473 through iff any of the catch bodies falls through. */
474 for (; !gsi_end_p (i); gsi_next (&i))
476 data->cannot_fallthru = false;
477 lower_sequence (gimple_catch_handler_ptr (
478 as_a <gcatch *> (gsi_stmt (i))),
479 data);
480 if (!data->cannot_fallthru)
481 cannot_fallthru = false;
483 break;
485 case GIMPLE_EH_FILTER:
486 /* The exception filter expression only matters if there is an
487 exception. If the exception does not match EH_FILTER_TYPES,
488 we will execute EH_FILTER_FAILURE, and we will fall through
489 if that falls through. If the exception does match
490 EH_FILTER_TYPES, the stack unwinder will continue up the
491 stack, so we will not fall through. We don't know whether we
492 will throw an exception which matches EH_FILTER_TYPES or not,
493 so we just ignore EH_FILTER_TYPES and assume that we might
494 throw an exception which doesn't match. */
495 data->cannot_fallthru = false;
496 lower_sequence (gimple_eh_filter_failure_ptr (gsi_stmt (i)), data);
497 if (!data->cannot_fallthru)
498 cannot_fallthru = false;
499 break;
501 default:
502 /* This case represents statements to be executed when an
503 exception occurs. Those statements are implicitly followed
504 by a GIMPLE_RESX to resume execution after the exception. So
505 in this case the try/catch never falls through. */
506 data->cannot_fallthru = false;
507 lower_sequence (gimple_try_cleanup_ptr (stmt), data);
508 break;
511 data->cannot_fallthru = cannot_fallthru;
512 gsi_next (gsi);
516 /* Try to determine whether a TRY_CATCH expression can fall through.
517 This is a subroutine of gimple_stmt_may_fallthru. */
519 static bool
520 gimple_try_catch_may_fallthru (gtry *stmt)
522 gimple_stmt_iterator i;
524 /* We don't handle GIMPLE_TRY_FINALLY. */
525 gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
527 /* If the TRY block can fall through, the whole TRY_CATCH can
528 fall through. */
529 if (gimple_seq_may_fallthru (gimple_try_eval (stmt)))
530 return true;
532 i = gsi_start (*gimple_try_cleanup_ptr (stmt));
533 switch (gimple_code (gsi_stmt (i)))
535 case GIMPLE_CATCH:
536 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
537 catch expression and a body. The whole try/catch may fall
538 through iff any of the catch bodies falls through. */
539 for (; !gsi_end_p (i); gsi_next (&i))
541 if (gimple_seq_may_fallthru (gimple_catch_handler (
542 as_a <gcatch *> (gsi_stmt (i)))))
543 return true;
545 return false;
547 case GIMPLE_EH_FILTER:
548 /* The exception filter expression only matters if there is an
549 exception. If the exception does not match EH_FILTER_TYPES,
550 we will execute EH_FILTER_FAILURE, and we will fall through
551 if that falls through. If the exception does match
552 EH_FILTER_TYPES, the stack unwinder will continue up the
553 stack, so we will not fall through. We don't know whether we
554 will throw an exception which matches EH_FILTER_TYPES or not,
555 so we just ignore EH_FILTER_TYPES and assume that we might
556 throw an exception which doesn't match. */
557 return gimple_seq_may_fallthru (gimple_eh_filter_failure (gsi_stmt (i)));
559 default:
560 /* This case represents statements to be executed when an
561 exception occurs. Those statements are implicitly followed
562 by a GIMPLE_RESX to resume execution after the exception. So
563 in this case the try/catch never falls through. */
564 return false;
569 /* Try to determine if we can continue executing the statement
570 immediately following STMT. This guess need not be 100% accurate;
571 simply be conservative and return true if we don't know. This is
572 used only to avoid stupidly generating extra code. If we're wrong,
573 we'll just delete the extra code later. */
575 bool
576 gimple_stmt_may_fallthru (gimple *stmt)
578 if (!stmt)
579 return true;
581 switch (gimple_code (stmt))
583 case GIMPLE_GOTO:
584 case GIMPLE_RETURN:
585 case GIMPLE_RESX:
586 /* Easy cases. If the last statement of the seq implies
587 control transfer, then we can't fall through. */
588 return false;
590 case GIMPLE_SWITCH:
591 /* Switch has already been lowered and represents a branch
592 to a selected label and hence can't fall through. */
593 return false;
595 case GIMPLE_COND:
596 /* GIMPLE_COND's are already lowered into a two-way branch. They
597 can't fall through. */
598 return false;
600 case GIMPLE_BIND:
601 return gimple_seq_may_fallthru (
602 gimple_bind_body (as_a <gbind *> (stmt)));
604 case GIMPLE_TRY:
605 if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
606 return gimple_try_catch_may_fallthru (as_a <gtry *> (stmt));
608 /* It must be a GIMPLE_TRY_FINALLY. */
610 /* The finally clause is always executed after the try clause,
611 so if it does not fall through, then the try-finally will not
612 fall through. Otherwise, if the try clause does not fall
613 through, then when the finally clause falls through it will
614 resume execution wherever the try clause was going. So the
615 whole try-finally will only fall through if both the try
616 clause and the finally clause fall through. */
617 return (gimple_seq_may_fallthru (gimple_try_eval (stmt))
618 && gimple_seq_may_fallthru (gimple_try_cleanup (stmt)));
620 case GIMPLE_EH_ELSE:
622 geh_else *eh_else_stmt = as_a <geh_else *> (stmt);
623 return (gimple_seq_may_fallthru (gimple_eh_else_n_body (eh_else_stmt))
624 || gimple_seq_may_fallthru (gimple_eh_else_e_body (
625 eh_else_stmt)));
628 case GIMPLE_CALL:
629 /* Functions that do not return do not fall through. */
630 return !gimple_call_noreturn_p (stmt);
632 default:
633 return true;
638 /* Same as gimple_stmt_may_fallthru, but for the gimple sequence SEQ. */
640 bool
641 gimple_seq_may_fallthru (gimple_seq seq)
643 return gimple_stmt_may_fallthru (gimple_seq_last_stmt (seq));
647 /* Lower a GIMPLE_RETURN GSI. DATA is passed through the recursion. */
649 static void
650 lower_gimple_return (gimple_stmt_iterator *gsi, struct lower_data *data)
652 greturn *stmt = as_a <greturn *> (gsi_stmt (*gsi));
653 gimple *t;
654 int i;
655 return_statements_t tmp_rs;
657 /* Match this up with an existing return statement that's been created. */
658 for (i = data->return_statements.length () - 1;
659 i >= 0; i--)
661 tmp_rs = data->return_statements[i];
663 if (gimple_return_retval (stmt) == gimple_return_retval (tmp_rs.stmt))
665 /* Remove the line number from the representative return statement.
666 It now fills in for many such returns. Failure to remove this
667 will result in incorrect results for coverage analysis. */
668 gimple_set_location (tmp_rs.stmt, UNKNOWN_LOCATION);
670 goto found;
674 /* Not found. Create a new label and record the return statement. */
675 tmp_rs.label = create_artificial_label (cfun->function_end_locus);
676 tmp_rs.stmt = stmt;
677 data->return_statements.safe_push (tmp_rs);
679 /* Generate a goto statement and remove the return statement. */
680 found:
681 /* When not optimizing, make sure user returns are preserved. */
682 if (!optimize && gimple_has_location (stmt))
683 DECL_ARTIFICIAL (tmp_rs.label) = 0;
684 t = gimple_build_goto (tmp_rs.label);
685 gimple_set_location (t, gimple_location (stmt));
686 gimple_set_block (t, gimple_block (stmt));
687 gsi_insert_before (gsi, t, GSI_SAME_STMT);
688 gsi_remove (gsi, false);
691 /* Lower a __builtin_setjmp GSI.
693 __builtin_setjmp is passed a pointer to an array of five words (not
694 all will be used on all machines). It operates similarly to the C
695 library function of the same name, but is more efficient.
697 It is lowered into 2 other builtins, namely __builtin_setjmp_setup,
698 __builtin_setjmp_receiver.
700 After full lowering, the body of the function should look like:
703 int D.1844;
704 int D.2844;
706 [...]
708 __builtin_setjmp_setup (&buf, &<D1847>);
709 D.1844 = 0;
710 goto <D1846>;
711 <D1847>:;
712 __builtin_setjmp_receiver (&<D1847>);
713 D.1844 = 1;
714 <D1846>:;
715 if (D.1844 == 0) goto <D1848>; else goto <D1849>;
717 [...]
719 __builtin_setjmp_setup (&buf, &<D2847>);
720 D.2844 = 0;
721 goto <D2846>;
722 <D2847>:;
723 __builtin_setjmp_receiver (&<D2847>);
724 D.2844 = 1;
725 <D2846>:;
726 if (D.2844 == 0) goto <D2848>; else goto <D2849>;
728 [...]
730 <D3850>:;
731 return;
734 During cfg creation an extra per-function (or per-OpenMP region)
735 block with ABNORMAL_DISPATCHER internal call will be added, unique
736 destination of all the abnormal call edges and the unique source of
737 all the abnormal edges to the receivers, thus keeping the complexity
738 explosion localized. */
740 static void
741 lower_builtin_setjmp (gimple_stmt_iterator *gsi)
743 gimple *stmt = gsi_stmt (*gsi);
744 location_t loc = gimple_location (stmt);
745 tree cont_label = create_artificial_label (loc);
746 tree next_label = create_artificial_label (loc);
747 tree dest, t, arg;
748 gimple *g;
750 /* __builtin_setjmp_{setup,receiver} aren't ECF_RETURNS_TWICE and for RTL
751 these builtins are modelled as non-local label jumps to the label
752 that is passed to these two builtins, so pretend we have a non-local
753 label during GIMPLE passes too. See PR60003. */
754 cfun->has_nonlocal_label = 1;
756 /* NEXT_LABEL is the label __builtin_longjmp will jump to. Its address is
757 passed to both __builtin_setjmp_setup and __builtin_setjmp_receiver. */
758 FORCED_LABEL (next_label) = 1;
760 tree orig_dest = dest = gimple_call_lhs (stmt);
761 if (orig_dest && TREE_CODE (orig_dest) == SSA_NAME)
762 dest = create_tmp_reg (TREE_TYPE (orig_dest));
764 /* Build '__builtin_setjmp_setup (BUF, NEXT_LABEL)' and insert. */
765 arg = build_addr (next_label);
766 t = builtin_decl_implicit (BUILT_IN_SETJMP_SETUP);
767 g = gimple_build_call (t, 2, gimple_call_arg (stmt, 0), arg);
768 gimple_set_location (g, loc);
769 gimple_set_block (g, gimple_block (stmt));
770 gsi_insert_before (gsi, g, GSI_SAME_STMT);
772 /* Build 'DEST = 0' and insert. */
773 if (dest)
775 g = gimple_build_assign (dest, build_zero_cst (TREE_TYPE (dest)));
776 gimple_set_location (g, loc);
777 gimple_set_block (g, gimple_block (stmt));
778 gsi_insert_before (gsi, g, GSI_SAME_STMT);
781 /* Build 'goto CONT_LABEL' and insert. */
782 g = gimple_build_goto (cont_label);
783 gsi_insert_before (gsi, g, GSI_SAME_STMT);
785 /* Build 'NEXT_LABEL:' and insert. */
786 g = gimple_build_label (next_label);
787 gsi_insert_before (gsi, g, GSI_SAME_STMT);
789 /* Build '__builtin_setjmp_receiver (NEXT_LABEL)' and insert. */
790 arg = build_addr (next_label);
791 t = builtin_decl_implicit (BUILT_IN_SETJMP_RECEIVER);
792 g = gimple_build_call (t, 1, arg);
793 gimple_set_location (g, loc);
794 gimple_set_block (g, gimple_block (stmt));
795 gsi_insert_before (gsi, g, GSI_SAME_STMT);
797 /* Build 'DEST = 1' and insert. */
798 if (dest)
800 g = gimple_build_assign (dest, fold_convert_loc (loc, TREE_TYPE (dest),
801 integer_one_node));
802 gimple_set_location (g, loc);
803 gimple_set_block (g, gimple_block (stmt));
804 gsi_insert_before (gsi, g, GSI_SAME_STMT);
807 /* Build 'CONT_LABEL:' and insert. */
808 g = gimple_build_label (cont_label);
809 gsi_insert_before (gsi, g, GSI_SAME_STMT);
811 /* Build orig_dest = dest if necessary. */
812 if (dest != orig_dest)
814 g = gimple_build_assign (orig_dest, dest);
815 gsi_insert_before (gsi, g, GSI_SAME_STMT);
818 /* Remove the call to __builtin_setjmp. */
819 gsi_remove (gsi, false);
822 /* Lower calls to posix_memalign to
823 res = posix_memalign (ptr, align, size);
824 if (res == 0)
825 *ptr = __builtin_assume_aligned (*ptr, align);
826 or to
827 void *tem;
828 res = posix_memalign (&tem, align, size);
829 if (res == 0)
830 ptr = __builtin_assume_aligned (tem, align);
831 in case the first argument was &ptr. That way we can get at the
832 alignment of the heap pointer in CCP. */
834 static void
835 lower_builtin_posix_memalign (gimple_stmt_iterator *gsi)
837 gimple *stmt, *call = gsi_stmt (*gsi);
838 tree pptr = gimple_call_arg (call, 0);
839 tree align = gimple_call_arg (call, 1);
840 tree res = gimple_call_lhs (call);
841 tree ptr = create_tmp_reg (ptr_type_node);
842 if (TREE_CODE (pptr) == ADDR_EXPR)
844 tree tem = create_tmp_var (ptr_type_node);
845 TREE_ADDRESSABLE (tem) = 1;
846 gimple_call_set_arg (call, 0, build_fold_addr_expr (tem));
847 stmt = gimple_build_assign (ptr, tem);
849 else
850 stmt = gimple_build_assign (ptr,
851 fold_build2 (MEM_REF, ptr_type_node, pptr,
852 build_int_cst (ptr_type_node, 0)));
853 if (res == NULL_TREE)
855 res = create_tmp_reg (integer_type_node);
856 gimple_call_set_lhs (call, res);
858 tree align_label = create_artificial_label (UNKNOWN_LOCATION);
859 tree noalign_label = create_artificial_label (UNKNOWN_LOCATION);
860 gimple *cond = gimple_build_cond (EQ_EXPR, res, integer_zero_node,
861 align_label, noalign_label);
862 gsi_insert_after (gsi, cond, GSI_NEW_STMT);
863 gsi_insert_after (gsi, gimple_build_label (align_label), GSI_NEW_STMT);
864 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
865 stmt = gimple_build_call (builtin_decl_implicit (BUILT_IN_ASSUME_ALIGNED),
866 2, ptr, align);
867 gimple_call_set_lhs (stmt, ptr);
868 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
869 stmt = gimple_build_assign (fold_build2 (MEM_REF, ptr_type_node, pptr,
870 build_int_cst (ptr_type_node, 0)),
871 ptr);
872 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
873 gsi_insert_after (gsi, gimple_build_label (noalign_label), GSI_NEW_STMT);
877 /* Record the variables in VARS into function FN. */
879 void
880 record_vars_into (tree vars, tree fn)
882 for (; vars; vars = DECL_CHAIN (vars))
884 tree var = vars;
886 /* BIND_EXPRs contains also function/type/constant declarations
887 we don't need to care about. */
888 if (!VAR_P (var))
889 continue;
891 /* Nothing to do in this case. */
892 if (DECL_EXTERNAL (var))
893 continue;
895 /* Record the variable. */
896 add_local_decl (DECL_STRUCT_FUNCTION (fn), var);
901 /* Record the variables in VARS into current_function_decl. */
903 void
904 record_vars (tree vars)
906 record_vars_into (vars, current_function_decl);