Concretize gimple_cond_set_code
[official-gcc.git] / gcc / gimple-low.c
bloba9121aac468f8aa74ba4c7f232f50dae78563fa5
1 /* GIMPLE lowering pass. Converts High GIMPLE into Low GIMPLE.
3 Copyright (C) 2003-2014 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 "tm.h"
25 #include "tree.h"
26 #include "tree-nested.h"
27 #include "calls.h"
28 #include "basic-block.h"
29 #include "tree-ssa-alias.h"
30 #include "internal-fn.h"
31 #include "gimple-expr.h"
32 #include "is-a.h"
33 #include "gimple.h"
34 #include "gimple-iterator.h"
35 #include "tree-iterator.h"
36 #include "tree-inline.h"
37 #include "flags.h"
38 #include "function.h"
39 #include "diagnostic-core.h"
40 #include "tree-pass.h"
41 #include "langhooks.h"
42 #include "gimple-low.h"
43 #include "tree-nested.h"
45 /* The differences between High GIMPLE and Low GIMPLE are the
46 following:
48 1- Lexical scopes are removed (i.e., GIMPLE_BIND disappears).
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.c:lower_eh_constructs).
54 3- Multiple identical return statements are grouped into a single
55 return and gotos to the unique return site. */
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
62 tree label;
63 gimple_return stmt;
65 typedef struct return_statements_t return_statements_t;
68 struct lower_data
70 /* Block the current statement belongs to. */
71 tree block;
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;
77 /* True if the current statement cannot fall through. */
78 bool cannot_fallthru;
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 *);
89 /* Lower the body of current_function_decl from High GIMPLE into Low
90 GIMPLE. */
92 static unsigned int
93 lower_function_body (void)
95 struct lower_data data;
96 gimple_seq body = gimple_body (current_function_decl);
97 gimple_seq lowered_body;
98 gimple_stmt_iterator i;
99 gimple bind;
100 gimple x;
102 /* The gimplifier should've left a body of exactly one statement,
103 namely a GIMPLE_BIND. */
104 gcc_assert (gimple_seq_first (body) == gimple_seq_last (body)
105 && gimple_code (gimple_seq_first_stmt (body)) == GIMPLE_BIND);
107 memset (&data, 0, sizeof (data));
108 data.block = DECL_INITIAL (current_function_decl);
109 BLOCK_SUBBLOCKS (data.block) = NULL_TREE;
110 BLOCK_CHAIN (data.block) = NULL_TREE;
111 TREE_ASM_WRITTEN (data.block) = 1;
112 data.return_statements.create (8);
114 bind = gimple_seq_first_stmt (body);
115 lowered_body = NULL;
116 gimple_seq_add_stmt (&lowered_body, bind);
117 i = gsi_start (lowered_body);
118 lower_gimple_bind (&i, &data);
120 i = gsi_last (lowered_body);
122 /* If the function falls off the end, we need a null return statement.
123 If we've already got one in the return_statements vector, we don't
124 need to do anything special. Otherwise build one by hand. */
125 if (gimple_seq_may_fallthru (lowered_body)
126 && (data.return_statements.is_empty ()
127 || (gimple_return_retval (data.return_statements.last().stmt)
128 != NULL)))
130 x = gimple_build_return (NULL);
131 gimple_set_location (x, cfun->function_end_locus);
132 gimple_set_block (x, DECL_INITIAL (current_function_decl));
133 gsi_insert_after (&i, x, GSI_CONTINUE_LINKING);
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);
146 /* Once the old body has been lowered, replace it with the new
147 lowered sequence. */
148 gimple_set_body (current_function_decl, lowered_body);
150 gcc_assert (data.block == DECL_INITIAL (current_function_decl));
151 BLOCK_SUBBLOCKS (data.block)
152 = blocks_nreverse (BLOCK_SUBBLOCKS (data.block));
154 clear_block_marks (data.block);
155 data.return_statements.release ();
156 return 0;
159 namespace {
161 const pass_data pass_data_lower_cf =
163 GIMPLE_PASS, /* type */
164 "lower", /* name */
165 OPTGROUP_NONE, /* optinfo_flags */
166 TV_NONE, /* tv_id */
167 PROP_gimple_any, /* properties_required */
168 PROP_gimple_lcf, /* properties_provided */
169 0, /* properties_destroyed */
170 0, /* todo_flags_start */
171 0, /* todo_flags_finish */
174 class pass_lower_cf : public gimple_opt_pass
176 public:
177 pass_lower_cf (gcc::context *ctxt)
178 : gimple_opt_pass (pass_data_lower_cf, ctxt)
181 /* opt_pass methods: */
182 virtual unsigned int execute (function *) { return lower_function_body (); }
184 }; // class pass_lower_cf
186 } // anon namespace
188 gimple_opt_pass *
189 make_pass_lower_cf (gcc::context *ctxt)
191 return new pass_lower_cf (ctxt);
194 /* Lower sequence SEQ. Unlike gimplification the statements are not relowered
195 when they are changed -- if this has to be done, the lowering routine must
196 do it explicitly. DATA is passed through the recursion. */
198 static void
199 lower_sequence (gimple_seq *seq, struct lower_data *data)
201 gimple_stmt_iterator gsi;
203 for (gsi = gsi_start (*seq); !gsi_end_p (gsi); )
204 lower_stmt (&gsi, data);
208 /* Lower the OpenMP directive statement pointed by GSI. DATA is
209 passed through the recursion. */
211 static void
212 lower_omp_directive (gimple_stmt_iterator *gsi, struct lower_data *data)
214 gimple stmt;
216 stmt = gsi_stmt (*gsi);
218 lower_sequence (gimple_omp_body_ptr (stmt), data);
219 gsi_insert_seq_after (gsi, gimple_omp_body (stmt), GSI_CONTINUE_LINKING);
220 gimple_omp_set_body (stmt, NULL);
221 gsi_next (gsi);
225 /* Lower statement GSI. DATA is passed through the recursion. We try to
226 track the fallthruness of statements and get rid of unreachable return
227 statements in order to prevent the EH lowering pass from adding useless
228 edges that can cause bogus warnings to be issued later; this guess need
229 not be 100% accurate, simply be conservative and reset cannot_fallthru
230 to false if we don't know. */
232 static void
233 lower_stmt (gimple_stmt_iterator *gsi, struct lower_data *data)
235 gimple stmt = gsi_stmt (*gsi);
237 gimple_set_block (stmt, data->block);
239 switch (gimple_code (stmt))
241 case GIMPLE_BIND:
242 lower_gimple_bind (gsi, data);
243 /* Propagate fallthruness. */
244 return;
246 case GIMPLE_COND:
247 case GIMPLE_GOTO:
248 case GIMPLE_SWITCH:
249 data->cannot_fallthru = true;
250 gsi_next (gsi);
251 return;
253 case GIMPLE_RETURN:
254 if (data->cannot_fallthru)
256 gsi_remove (gsi, false);
257 /* Propagate fallthruness. */
259 else
261 lower_gimple_return (gsi, data);
262 data->cannot_fallthru = true;
264 return;
266 case GIMPLE_TRY:
267 if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
268 lower_try_catch (gsi, data);
269 else
271 /* It must be a GIMPLE_TRY_FINALLY. */
272 bool cannot_fallthru;
273 lower_sequence (gimple_try_eval_ptr (stmt), data);
274 cannot_fallthru = data->cannot_fallthru;
276 /* The finally clause is always executed after the try clause,
277 so if it does not fall through, then the try-finally will not
278 fall through. Otherwise, if the try clause does not fall
279 through, then when the finally clause falls through it will
280 resume execution wherever the try clause was going. So the
281 whole try-finally will only fall through if both the try
282 clause and the finally clause fall through. */
283 data->cannot_fallthru = false;
284 lower_sequence (gimple_try_cleanup_ptr (stmt), data);
285 data->cannot_fallthru |= cannot_fallthru;
286 gsi_next (gsi);
288 return;
290 case GIMPLE_EH_ELSE:
292 gimple_eh_else eh_else_stmt = as_a <gimple_eh_else> (stmt);
293 lower_sequence (gimple_eh_else_n_body_ptr (eh_else_stmt), data);
294 lower_sequence (gimple_eh_else_e_body_ptr (eh_else_stmt), data);
296 break;
298 case GIMPLE_NOP:
299 case GIMPLE_ASM:
300 case GIMPLE_ASSIGN:
301 case GIMPLE_PREDICT:
302 case GIMPLE_LABEL:
303 case GIMPLE_EH_MUST_NOT_THROW:
304 case GIMPLE_OMP_FOR:
305 case GIMPLE_OMP_SECTIONS:
306 case GIMPLE_OMP_SECTIONS_SWITCH:
307 case GIMPLE_OMP_SECTION:
308 case GIMPLE_OMP_SINGLE:
309 case GIMPLE_OMP_MASTER:
310 case GIMPLE_OMP_TASKGROUP:
311 case GIMPLE_OMP_ORDERED:
312 case GIMPLE_OMP_CRITICAL:
313 case GIMPLE_OMP_RETURN:
314 case GIMPLE_OMP_ATOMIC_LOAD:
315 case GIMPLE_OMP_ATOMIC_STORE:
316 case GIMPLE_OMP_CONTINUE:
317 break;
319 case GIMPLE_CALL:
321 tree decl = gimple_call_fndecl (stmt);
322 unsigned i;
324 for (i = 0; i < gimple_call_num_args (stmt); i++)
326 tree arg = gimple_call_arg (stmt, i);
327 if (EXPR_P (arg))
328 TREE_SET_BLOCK (arg, data->block);
331 if (decl
332 && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL)
334 if (DECL_FUNCTION_CODE (decl) == BUILT_IN_SETJMP)
336 lower_builtin_setjmp (gsi);
337 data->cannot_fallthru = false;
338 return;
340 else if (DECL_FUNCTION_CODE (decl) == BUILT_IN_POSIX_MEMALIGN
341 && flag_tree_bit_ccp)
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 data->cannot_fallthru = false;
362 lower_omp_directive (gsi, data);
363 data->cannot_fallthru = false;
364 return;
366 case GIMPLE_TRANSACTION:
367 lower_sequence (gimple_transaction_body_ptr (
368 as_a <gimple_transaction> (stmt)),
369 data);
370 break;
372 default:
373 gcc_unreachable ();
376 data->cannot_fallthru = false;
377 gsi_next (gsi);
380 /* Lower a bind_expr TSI. DATA is passed through the recursion. */
382 static void
383 lower_gimple_bind (gimple_stmt_iterator *gsi, struct lower_data *data)
385 tree old_block = data->block;
386 gimple_bind stmt = as_a <gimple_bind> (gsi_stmt (*gsi));
387 tree new_block = gimple_bind_block (stmt);
389 if (new_block)
391 if (new_block == old_block)
393 /* The outermost block of the original function may not be the
394 outermost statement chain of the gimplified function. So we
395 may see the outermost block just inside the function. */
396 gcc_assert (new_block == DECL_INITIAL (current_function_decl));
397 new_block = NULL;
399 else
401 /* We do not expect to handle duplicate blocks. */
402 gcc_assert (!TREE_ASM_WRITTEN (new_block));
403 TREE_ASM_WRITTEN (new_block) = 1;
405 /* Block tree may get clobbered by inlining. Normally this would
406 be fixed in rest_of_decl_compilation using block notes, but
407 since we are not going to emit them, it is up to us. */
408 BLOCK_CHAIN (new_block) = BLOCK_SUBBLOCKS (old_block);
409 BLOCK_SUBBLOCKS (old_block) = new_block;
410 BLOCK_SUBBLOCKS (new_block) = NULL_TREE;
411 BLOCK_SUPERCONTEXT (new_block) = old_block;
413 data->block = new_block;
417 record_vars (gimple_bind_vars (stmt));
418 lower_sequence (gimple_bind_body_ptr (stmt), data);
420 if (new_block)
422 gcc_assert (data->block == new_block);
424 BLOCK_SUBBLOCKS (new_block)
425 = blocks_nreverse (BLOCK_SUBBLOCKS (new_block));
426 data->block = old_block;
429 /* The GIMPLE_BIND no longer carries any useful information -- kill it. */
430 gsi_insert_seq_before (gsi, gimple_bind_body (stmt), GSI_SAME_STMT);
431 gsi_remove (gsi, false);
434 /* Same as above, but for a GIMPLE_TRY_CATCH. */
436 static void
437 lower_try_catch (gimple_stmt_iterator *gsi, struct lower_data *data)
439 bool cannot_fallthru;
440 gimple stmt = gsi_stmt (*gsi);
441 gimple_stmt_iterator i;
443 /* We don't handle GIMPLE_TRY_FINALLY. */
444 gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
446 lower_sequence (gimple_try_eval_ptr (stmt), data);
447 cannot_fallthru = data->cannot_fallthru;
449 i = gsi_start (*gimple_try_cleanup_ptr (stmt));
450 switch (gimple_code (gsi_stmt (i)))
452 case GIMPLE_CATCH:
453 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
454 catch expression and a body. The whole try/catch may fall
455 through iff any of the catch bodies falls through. */
456 for (; !gsi_end_p (i); gsi_next (&i))
458 data->cannot_fallthru = false;
459 lower_sequence (gimple_catch_handler_ptr (
460 as_a <gimple_catch> (gsi_stmt (i))),
461 data);
462 if (!data->cannot_fallthru)
463 cannot_fallthru = false;
465 break;
467 case GIMPLE_EH_FILTER:
468 /* The exception filter expression only matters if there is an
469 exception. If the exception does not match EH_FILTER_TYPES,
470 we will execute EH_FILTER_FAILURE, and we will fall through
471 if that falls through. If the exception does match
472 EH_FILTER_TYPES, the stack unwinder will continue up the
473 stack, so we will not fall through. We don't know whether we
474 will throw an exception which matches EH_FILTER_TYPES or not,
475 so we just ignore EH_FILTER_TYPES and assume that we might
476 throw an exception which doesn't match. */
477 data->cannot_fallthru = false;
478 lower_sequence (gimple_eh_filter_failure_ptr (gsi_stmt (i)), data);
479 if (!data->cannot_fallthru)
480 cannot_fallthru = false;
481 break;
483 default:
484 /* This case represents statements to be executed when an
485 exception occurs. Those statements are implicitly followed
486 by a GIMPLE_RESX to resume execution after the exception. So
487 in this case the try/catch never falls through. */
488 data->cannot_fallthru = false;
489 lower_sequence (gimple_try_cleanup_ptr (stmt), data);
490 break;
493 data->cannot_fallthru = cannot_fallthru;
494 gsi_next (gsi);
498 /* Try to determine whether a TRY_CATCH expression can fall through.
499 This is a subroutine of gimple_stmt_may_fallthru. */
501 static bool
502 gimple_try_catch_may_fallthru (gimple_try stmt)
504 gimple_stmt_iterator i;
506 /* We don't handle GIMPLE_TRY_FINALLY. */
507 gcc_assert (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH);
509 /* If the TRY block can fall through, the whole TRY_CATCH can
510 fall through. */
511 if (gimple_seq_may_fallthru (gimple_try_eval (stmt)))
512 return true;
514 i = gsi_start (*gimple_try_cleanup_ptr (stmt));
515 switch (gimple_code (gsi_stmt (i)))
517 case GIMPLE_CATCH:
518 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
519 catch expression and a body. The whole try/catch may fall
520 through iff any of the catch bodies falls through. */
521 for (; !gsi_end_p (i); gsi_next (&i))
523 if (gimple_seq_may_fallthru (gimple_catch_handler (
524 as_a <gimple_catch> (gsi_stmt (i)))))
525 return true;
527 return false;
529 case GIMPLE_EH_FILTER:
530 /* The exception filter expression only matters if there is an
531 exception. If the exception does not match EH_FILTER_TYPES,
532 we will execute EH_FILTER_FAILURE, and we will fall through
533 if that falls through. If the exception does match
534 EH_FILTER_TYPES, the stack unwinder will continue up the
535 stack, so we will not fall through. We don't know whether we
536 will throw an exception which matches EH_FILTER_TYPES or not,
537 so we just ignore EH_FILTER_TYPES and assume that we might
538 throw an exception which doesn't match. */
539 return gimple_seq_may_fallthru (gimple_eh_filter_failure (gsi_stmt (i)));
541 default:
542 /* This case represents statements to be executed when an
543 exception occurs. Those statements are implicitly followed
544 by a GIMPLE_RESX to resume execution after the exception. So
545 in this case the try/catch never falls through. */
546 return false;
551 /* Try to determine if we can continue executing the statement
552 immediately following STMT. This guess need not be 100% accurate;
553 simply be conservative and return true if we don't know. This is
554 used only to avoid stupidly generating extra code. If we're wrong,
555 we'll just delete the extra code later. */
557 bool
558 gimple_stmt_may_fallthru (gimple stmt)
560 if (!stmt)
561 return true;
563 switch (gimple_code (stmt))
565 case GIMPLE_GOTO:
566 case GIMPLE_RETURN:
567 case GIMPLE_RESX:
568 /* Easy cases. If the last statement of the seq implies
569 control transfer, then we can't fall through. */
570 return false;
572 case GIMPLE_SWITCH:
573 /* Switch has already been lowered and represents a branch
574 to a selected label and hence can't fall through. */
575 return false;
577 case GIMPLE_COND:
578 /* GIMPLE_COND's are already lowered into a two-way branch. They
579 can't fall through. */
580 return false;
582 case GIMPLE_BIND:
583 return gimple_seq_may_fallthru (
584 gimple_bind_body (as_a <gimple_bind> (stmt)));
586 case GIMPLE_TRY:
587 if (gimple_try_kind (stmt) == GIMPLE_TRY_CATCH)
588 return gimple_try_catch_may_fallthru (as_a <gimple_try> (stmt));
590 /* It must be a GIMPLE_TRY_FINALLY. */
592 /* The finally clause is always executed after the try clause,
593 so if it does not fall through, then the try-finally will not
594 fall through. Otherwise, if the try clause does not fall
595 through, then when the finally clause falls through it will
596 resume execution wherever the try clause was going. So the
597 whole try-finally will only fall through if both the try
598 clause and the finally clause fall through. */
599 return (gimple_seq_may_fallthru (gimple_try_eval (stmt))
600 && gimple_seq_may_fallthru (gimple_try_cleanup (stmt)));
602 case GIMPLE_EH_ELSE:
604 gimple_eh_else eh_else_stmt = as_a <gimple_eh_else> (stmt);
605 return (gimple_seq_may_fallthru (gimple_eh_else_n_body (eh_else_stmt))
606 || gimple_seq_may_fallthru (gimple_eh_else_e_body (
607 eh_else_stmt)));
610 case GIMPLE_CALL:
611 /* Functions that do not return do not fall through. */
612 return (gimple_call_flags (stmt) & ECF_NORETURN) == 0;
614 default:
615 return true;
620 /* Same as gimple_stmt_may_fallthru, but for the gimple sequence SEQ. */
622 bool
623 gimple_seq_may_fallthru (gimple_seq seq)
625 return gimple_stmt_may_fallthru (gimple_seq_last_stmt (seq));
629 /* Lower a GIMPLE_RETURN GSI. DATA is passed through the recursion. */
631 static void
632 lower_gimple_return (gimple_stmt_iterator *gsi, struct lower_data *data)
634 gimple_return stmt = as_a <gimple_return> (gsi_stmt (*gsi));
635 gimple t;
636 int i;
637 return_statements_t tmp_rs;
639 /* Match this up with an existing return statement that's been created. */
640 for (i = data->return_statements.length () - 1;
641 i >= 0; i--)
643 tmp_rs = data->return_statements[i];
645 if (gimple_return_retval (stmt) == gimple_return_retval (tmp_rs.stmt))
647 /* Remove the line number from the representative return statement.
648 It now fills in for many such returns. Failure to remove this
649 will result in incorrect results for coverage analysis. */
650 gimple_set_location (tmp_rs.stmt, UNKNOWN_LOCATION);
652 goto found;
656 /* Not found. Create a new label and record the return statement. */
657 tmp_rs.label = create_artificial_label (cfun->function_end_locus);
658 tmp_rs.stmt = stmt;
659 data->return_statements.safe_push (tmp_rs);
661 /* Generate a goto statement and remove the return statement. */
662 found:
663 /* When not optimizing, make sure user returns are preserved. */
664 if (!optimize && gimple_has_location (stmt))
665 DECL_ARTIFICIAL (tmp_rs.label) = 0;
666 t = gimple_build_goto (tmp_rs.label);
667 gimple_set_location (t, gimple_location (stmt));
668 gimple_set_block (t, gimple_block (stmt));
669 gsi_insert_before (gsi, t, GSI_SAME_STMT);
670 gsi_remove (gsi, false);
673 /* Lower a __builtin_setjmp GSI.
675 __builtin_setjmp is passed a pointer to an array of five words (not
676 all will be used on all machines). It operates similarly to the C
677 library function of the same name, but is more efficient.
679 It is lowered into 2 other builtins, namely __builtin_setjmp_setup,
680 __builtin_setjmp_receiver.
682 After full lowering, the body of the function should look like:
685 int D.1844;
686 int D.2844;
688 [...]
690 __builtin_setjmp_setup (&buf, &<D1847>);
691 D.1844 = 0;
692 goto <D1846>;
693 <D1847>:;
694 __builtin_setjmp_receiver (&<D1847>);
695 D.1844 = 1;
696 <D1846>:;
697 if (D.1844 == 0) goto <D1848>; else goto <D1849>;
699 [...]
701 __builtin_setjmp_setup (&buf, &<D2847>);
702 D.2844 = 0;
703 goto <D2846>;
704 <D2847>:;
705 __builtin_setjmp_receiver (&<D2847>);
706 D.2844 = 1;
707 <D2846>:;
708 if (D.2844 == 0) goto <D2848>; else goto <D2849>;
710 [...]
712 <D3850>:;
713 return;
716 During cfg creation an extra per-function (or per-OpenMP region)
717 block with ABNORMAL_DISPATCHER internal call will be added, unique
718 destination of all the abnormal call edges and the unique source of
719 all the abnormal edges to the receivers, thus keeping the complexity
720 explosion localized. */
722 static void
723 lower_builtin_setjmp (gimple_stmt_iterator *gsi)
725 gimple stmt = gsi_stmt (*gsi);
726 location_t loc = gimple_location (stmt);
727 tree cont_label = create_artificial_label (loc);
728 tree next_label = create_artificial_label (loc);
729 tree dest, t, arg;
730 gimple g;
732 /* __builtin_setjmp_{setup,receiver} aren't ECF_RETURNS_TWICE and for RTL
733 these builtins are modelled as non-local label jumps to the label
734 that is passed to these two builtins, so pretend we have a non-local
735 label during GIMPLE passes too. See PR60003. */
736 cfun->has_nonlocal_label = 1;
738 /* NEXT_LABEL is the label __builtin_longjmp will jump to. Its address is
739 passed to both __builtin_setjmp_setup and __builtin_setjmp_receiver. */
740 FORCED_LABEL (next_label) = 1;
742 dest = gimple_call_lhs (stmt);
744 /* Build '__builtin_setjmp_setup (BUF, NEXT_LABEL)' and insert. */
745 arg = build_addr (next_label, current_function_decl);
746 t = builtin_decl_implicit (BUILT_IN_SETJMP_SETUP);
747 g = gimple_build_call (t, 2, gimple_call_arg (stmt, 0), arg);
748 gimple_set_location (g, loc);
749 gimple_set_block (g, gimple_block (stmt));
750 gsi_insert_before (gsi, g, GSI_SAME_STMT);
752 /* Build 'DEST = 0' and insert. */
753 if (dest)
755 g = gimple_build_assign (dest, build_zero_cst (TREE_TYPE (dest)));
756 gimple_set_location (g, loc);
757 gimple_set_block (g, gimple_block (stmt));
758 gsi_insert_before (gsi, g, GSI_SAME_STMT);
761 /* Build 'goto CONT_LABEL' and insert. */
762 g = gimple_build_goto (cont_label);
763 gsi_insert_before (gsi, g, GSI_SAME_STMT);
765 /* Build 'NEXT_LABEL:' and insert. */
766 g = gimple_build_label (next_label);
767 gsi_insert_before (gsi, g, GSI_SAME_STMT);
769 /* Build '__builtin_setjmp_receiver (NEXT_LABEL)' and insert. */
770 arg = build_addr (next_label, current_function_decl);
771 t = builtin_decl_implicit (BUILT_IN_SETJMP_RECEIVER);
772 g = gimple_build_call (t, 1, arg);
773 gimple_set_location (g, loc);
774 gimple_set_block (g, gimple_block (stmt));
775 gsi_insert_before (gsi, g, GSI_SAME_STMT);
777 /* Build 'DEST = 1' and insert. */
778 if (dest)
780 g = gimple_build_assign (dest, fold_convert_loc (loc, TREE_TYPE (dest),
781 integer_one_node));
782 gimple_set_location (g, loc);
783 gimple_set_block (g, gimple_block (stmt));
784 gsi_insert_before (gsi, g, GSI_SAME_STMT);
787 /* Build 'CONT_LABEL:' and insert. */
788 g = gimple_build_label (cont_label);
789 gsi_insert_before (gsi, g, GSI_SAME_STMT);
791 /* Remove the call to __builtin_setjmp. */
792 gsi_remove (gsi, false);
795 /* Lower calls to posix_memalign to
796 res = posix_memalign (ptr, align, size);
797 if (res == 0)
798 *ptr = __builtin_assume_aligned (*ptr, align);
799 or to
800 void *tem;
801 res = posix_memalign (&tem, align, size);
802 if (res == 0)
803 ptr = __builtin_assume_aligned (tem, align);
804 in case the first argument was &ptr. That way we can get at the
805 alignment of the heap pointer in CCP. */
807 static void
808 lower_builtin_posix_memalign (gimple_stmt_iterator *gsi)
810 gimple stmt, call = gsi_stmt (*gsi);
811 tree pptr = gimple_call_arg (call, 0);
812 tree align = gimple_call_arg (call, 1);
813 tree res = gimple_call_lhs (call);
814 tree ptr = create_tmp_reg (ptr_type_node, NULL);
815 if (TREE_CODE (pptr) == ADDR_EXPR)
817 tree tem = create_tmp_var (ptr_type_node, NULL);
818 TREE_ADDRESSABLE (tem) = 1;
819 gimple_call_set_arg (call, 0, build_fold_addr_expr (tem));
820 stmt = gimple_build_assign (ptr, tem);
822 else
823 stmt = gimple_build_assign (ptr,
824 fold_build2 (MEM_REF, ptr_type_node, pptr,
825 build_int_cst (ptr_type_node, 0)));
826 if (res == NULL_TREE)
828 res = create_tmp_reg (integer_type_node, NULL);
829 gimple_call_set_lhs (call, res);
831 tree align_label = create_artificial_label (UNKNOWN_LOCATION);
832 tree noalign_label = create_artificial_label (UNKNOWN_LOCATION);
833 gimple cond = gimple_build_cond (EQ_EXPR, res, integer_zero_node,
834 align_label, noalign_label);
835 gsi_insert_after (gsi, cond, GSI_NEW_STMT);
836 gsi_insert_after (gsi, gimple_build_label (align_label), GSI_NEW_STMT);
837 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
838 stmt = gimple_build_call (builtin_decl_implicit (BUILT_IN_ASSUME_ALIGNED),
839 2, ptr, align);
840 gimple_call_set_lhs (stmt, ptr);
841 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
842 stmt = gimple_build_assign (fold_build2 (MEM_REF, ptr_type_node, pptr,
843 build_int_cst (ptr_type_node, 0)),
844 ptr);
845 gsi_insert_after (gsi, stmt, GSI_NEW_STMT);
846 gsi_insert_after (gsi, gimple_build_label (noalign_label), GSI_NEW_STMT);
850 /* Record the variables in VARS into function FN. */
852 void
853 record_vars_into (tree vars, tree fn)
855 for (; vars; vars = DECL_CHAIN (vars))
857 tree var = vars;
859 /* BIND_EXPRs contains also function/type/constant declarations
860 we don't need to care about. */
861 if (TREE_CODE (var) != VAR_DECL)
862 continue;
864 /* Nothing to do in this case. */
865 if (DECL_EXTERNAL (var))
866 continue;
868 /* Record the variable. */
869 add_local_decl (DECL_STRUCT_FUNCTION (fn), var);
874 /* Record the variables in VARS into current_function_decl. */
876 void
877 record_vars (tree vars)
879 record_vars_into (vars, current_function_decl);