1 /* GIMPLE lowering pass. Converts High GIMPLE into Low GIMPLE.
3 Copyright (C) 2003-2019 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
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
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/>. */
23 #include "coretypes.h"
27 #include "tree-pass.h"
28 #include "fold-const.h"
29 #include "tree-nested.h"
31 #include "gimple-iterator.h"
32 #include "gimple-low.h"
34 #include "gimple-predict.h"
35 #include "gimple-fold.h"
37 /* The differences between High GIMPLE and Low GIMPLE are the
40 1- Lexical scopes are removed (i.e., GIMPLE_BIND disappears).
42 2- GIMPLE_TRY and GIMPLE_CATCH are converted to abnormal control
43 flow and exception regions are built as an on-the-side region
44 hierarchy (See tree-eh.c:lower_eh_constructs).
46 3- Multiple identical return statements are grouped into a single
47 return and gotos to the unique return site. */
49 /* Match a return statement with a label. During lowering, we identify
50 identical return statements and replace duplicates with a jump to
51 the corresponding label. */
52 struct return_statements_t
57 typedef struct return_statements_t return_statements_t
;
62 /* Block the current statement belongs to. */
65 /* A vector of label and return statements to be moved to the end
67 vec
<return_statements_t
> return_statements
;
69 /* True if the current statement cannot fall through. */
73 static void lower_stmt (gimple_stmt_iterator
*, struct lower_data
*);
74 static void lower_gimple_bind (gimple_stmt_iterator
*, struct lower_data
*);
75 static void lower_try_catch (gimple_stmt_iterator
*, struct lower_data
*);
76 static void lower_gimple_return (gimple_stmt_iterator
*, struct lower_data
*);
77 static void lower_builtin_setjmp (gimple_stmt_iterator
*);
78 static void lower_builtin_posix_memalign (gimple_stmt_iterator
*);
81 /* Lower the body of current_function_decl from High GIMPLE into Low
85 lower_function_body (void)
87 struct lower_data data
;
88 gimple_seq body
= gimple_body (current_function_decl
);
89 gimple_seq lowered_body
;
90 gimple_stmt_iterator i
;
94 /* The gimplifier should've left a body of exactly one statement,
95 namely a GIMPLE_BIND. */
96 gcc_assert (gimple_seq_first (body
) == gimple_seq_last (body
)
97 && gimple_code (gimple_seq_first_stmt (body
)) == GIMPLE_BIND
);
99 memset (&data
, 0, sizeof (data
));
100 data
.block
= DECL_INITIAL (current_function_decl
);
101 BLOCK_SUBBLOCKS (data
.block
) = NULL_TREE
;
102 BLOCK_CHAIN (data
.block
) = NULL_TREE
;
103 TREE_ASM_WRITTEN (data
.block
) = 1;
104 data
.return_statements
.create (8);
106 bind
= gimple_seq_first_stmt (body
);
108 gimple_seq_add_stmt (&lowered_body
, bind
);
109 i
= gsi_start (lowered_body
);
110 lower_gimple_bind (&i
, &data
);
112 i
= gsi_last (lowered_body
);
114 /* If we had begin stmt markers from e.g. PCH, but this compilation
115 doesn't want them, lower_stmt will have cleaned them up; we can
116 now clear the flag that indicates we had them. */
117 if (!MAY_HAVE_DEBUG_MARKER_STMTS
&& cfun
->debug_nonbind_markers
)
119 /* This counter needs not be exact, but before lowering it will
120 most certainly be. */
121 gcc_assert (cfun
->debug_marker_count
== 0);
122 cfun
->debug_nonbind_markers
= false;
125 /* If the function falls off the end, we need a null return statement.
126 If we've already got one in the return_statements vector, we don't
127 need to do anything special. Otherwise build one by hand. */
128 bool may_fallthru
= gimple_seq_may_fallthru (lowered_body
);
130 && (data
.return_statements
.is_empty ()
131 || (gimple_return_retval (data
.return_statements
.last().stmt
)
134 x
= gimple_build_return (NULL
);
135 gimple_set_location (x
, cfun
->function_end_locus
);
136 gimple_set_block (x
, DECL_INITIAL (current_function_decl
));
137 gsi_insert_after (&i
, x
, GSI_CONTINUE_LINKING
);
138 may_fallthru
= false;
141 /* If we lowered any return statements, emit the representative
142 at the end of the function. */
143 while (!data
.return_statements
.is_empty ())
145 return_statements_t t
= data
.return_statements
.pop ();
146 x
= gimple_build_label (t
.label
);
147 gsi_insert_after (&i
, x
, GSI_CONTINUE_LINKING
);
148 gsi_insert_after (&i
, t
.stmt
, GSI_CONTINUE_LINKING
);
151 /* Remove the line number from the representative return statement.
152 It now fills in for the fallthru too. Failure to remove this
153 will result in incorrect results for coverage analysis. */
154 gimple_set_location (t
.stmt
, UNKNOWN_LOCATION
);
155 may_fallthru
= false;
159 /* Once the old body has been lowered, replace it with the new
161 gimple_set_body (current_function_decl
, lowered_body
);
163 gcc_assert (data
.block
== DECL_INITIAL (current_function_decl
));
164 BLOCK_SUBBLOCKS (data
.block
)
165 = blocks_nreverse (BLOCK_SUBBLOCKS (data
.block
));
167 clear_block_marks (data
.block
);
168 data
.return_statements
.release ();
174 const pass_data pass_data_lower_cf
=
176 GIMPLE_PASS
, /* type */
178 OPTGROUP_NONE
, /* optinfo_flags */
180 PROP_gimple_any
, /* properties_required */
181 PROP_gimple_lcf
, /* properties_provided */
182 0, /* properties_destroyed */
183 0, /* todo_flags_start */
184 0, /* todo_flags_finish */
187 class pass_lower_cf
: public gimple_opt_pass
190 pass_lower_cf (gcc::context
*ctxt
)
191 : gimple_opt_pass (pass_data_lower_cf
, ctxt
)
194 /* opt_pass methods: */
195 virtual unsigned int execute (function
*) { return lower_function_body (); }
197 }; // class pass_lower_cf
202 make_pass_lower_cf (gcc::context
*ctxt
)
204 return new pass_lower_cf (ctxt
);
207 /* Lower sequence SEQ. Unlike gimplification the statements are not relowered
208 when they are changed -- if this has to be done, the lowering routine must
209 do it explicitly. DATA is passed through the recursion. */
212 lower_sequence (gimple_seq
*seq
, struct lower_data
*data
)
214 gimple_stmt_iterator gsi
;
216 for (gsi
= gsi_start (*seq
); !gsi_end_p (gsi
); )
217 lower_stmt (&gsi
, data
);
221 /* Lower the OpenMP directive statement pointed by GSI. DATA is
222 passed through the recursion. */
225 lower_omp_directive (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
229 stmt
= gsi_stmt (*gsi
);
231 lower_sequence (gimple_omp_body_ptr (stmt
), data
);
232 gsi_insert_seq_after (gsi
, gimple_omp_body (stmt
), GSI_CONTINUE_LINKING
);
233 gimple_omp_set_body (stmt
, NULL
);
238 /* Lower statement GSI. DATA is passed through the recursion. We try to
239 track the fallthruness of statements and get rid of unreachable return
240 statements in order to prevent the EH lowering pass from adding useless
241 edges that can cause bogus warnings to be issued later; this guess need
242 not be 100% accurate, simply be conservative and reset cannot_fallthru
243 to false if we don't know. */
246 lower_stmt (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
248 gimple
*stmt
= gsi_stmt (*gsi
);
250 gimple_set_block (stmt
, data
->block
);
252 switch (gimple_code (stmt
))
255 lower_gimple_bind (gsi
, data
);
256 /* Propagate fallthruness. */
262 data
->cannot_fallthru
= true;
267 if (data
->cannot_fallthru
)
269 gsi_remove (gsi
, false);
270 /* Propagate fallthruness. */
274 lower_gimple_return (gsi
, data
);
275 data
->cannot_fallthru
= true;
280 if (gimple_try_kind (stmt
) == GIMPLE_TRY_CATCH
)
281 lower_try_catch (gsi
, data
);
284 /* It must be a GIMPLE_TRY_FINALLY. */
285 bool cannot_fallthru
;
286 lower_sequence (gimple_try_eval_ptr (stmt
), data
);
287 cannot_fallthru
= data
->cannot_fallthru
;
289 /* The finally clause is always executed after the try clause,
290 so if it does not fall through, then the try-finally will not
291 fall through. Otherwise, if the try clause does not fall
292 through, then when the finally clause falls through it will
293 resume execution wherever the try clause was going. So the
294 whole try-finally will only fall through if both the try
295 clause and the finally clause fall through. */
296 data
->cannot_fallthru
= false;
297 lower_sequence (gimple_try_cleanup_ptr (stmt
), data
);
298 data
->cannot_fallthru
|= cannot_fallthru
;
305 geh_else
*eh_else_stmt
= as_a
<geh_else
*> (stmt
);
306 lower_sequence (gimple_eh_else_n_body_ptr (eh_else_stmt
), data
);
307 lower_sequence (gimple_eh_else_e_body_ptr (eh_else_stmt
), data
);
312 gcc_checking_assert (cfun
->debug_nonbind_markers
);
313 /* We can't possibly have debug bind stmts before lowering, we
314 first emit them when entering SSA. */
315 gcc_checking_assert (gimple_debug_nonbind_marker_p (stmt
));
316 /* Propagate fallthruness. */
317 /* If the function (e.g. from PCH) had debug stmts, but they're
318 disabled for this compilation, remove them. */
319 if (!MAY_HAVE_DEBUG_MARKER_STMTS
)
320 gsi_remove (gsi
, true);
330 case GIMPLE_EH_MUST_NOT_THROW
:
332 case GIMPLE_OMP_SECTIONS
:
333 case GIMPLE_OMP_SECTIONS_SWITCH
:
334 case GIMPLE_OMP_SECTION
:
335 case GIMPLE_OMP_SINGLE
:
336 case GIMPLE_OMP_MASTER
:
337 case GIMPLE_OMP_TASKGROUP
:
338 case GIMPLE_OMP_ORDERED
:
339 case GIMPLE_OMP_CRITICAL
:
340 case GIMPLE_OMP_RETURN
:
341 case GIMPLE_OMP_ATOMIC_LOAD
:
342 case GIMPLE_OMP_ATOMIC_STORE
:
343 case GIMPLE_OMP_CONTINUE
:
348 tree decl
= gimple_call_fndecl (stmt
);
351 for (i
= 0; i
< gimple_call_num_args (stmt
); i
++)
353 tree arg
= gimple_call_arg (stmt
, i
);
355 TREE_SET_BLOCK (arg
, data
->block
);
359 && fndecl_built_in_p (decl
, BUILT_IN_NORMAL
))
361 if (DECL_FUNCTION_CODE (decl
) == BUILT_IN_SETJMP
)
363 lower_builtin_setjmp (gsi
);
364 data
->cannot_fallthru
= false;
367 else if (DECL_FUNCTION_CODE (decl
) == BUILT_IN_POSIX_MEMALIGN
369 && gimple_builtin_call_types_compatible_p (stmt
, decl
))
371 lower_builtin_posix_memalign (gsi
);
376 if (decl
&& (flags_from_decl_or_type (decl
) & ECF_NORETURN
))
378 data
->cannot_fallthru
= true;
383 /* We delay folding of built calls from gimplification to
384 here so the IL is in consistent state for the diagnostic
386 if (gimple_call_builtin_p (stmt
))
391 case GIMPLE_OMP_PARALLEL
:
392 case GIMPLE_OMP_TASK
:
393 case GIMPLE_OMP_TARGET
:
394 case GIMPLE_OMP_TEAMS
:
395 case GIMPLE_OMP_GRID_BODY
:
396 data
->cannot_fallthru
= false;
397 lower_omp_directive (gsi
, data
);
398 data
->cannot_fallthru
= false;
401 case GIMPLE_TRANSACTION
:
402 lower_sequence (gimple_transaction_body_ptr (
403 as_a
<gtransaction
*> (stmt
)),
411 data
->cannot_fallthru
= false;
415 /* Lower a bind_expr TSI. DATA is passed through the recursion. */
418 lower_gimple_bind (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
420 tree old_block
= data
->block
;
421 gbind
*stmt
= as_a
<gbind
*> (gsi_stmt (*gsi
));
422 tree new_block
= gimple_bind_block (stmt
);
426 if (new_block
== old_block
)
428 /* The outermost block of the original function may not be the
429 outermost statement chain of the gimplified function. So we
430 may see the outermost block just inside the function. */
431 gcc_assert (new_block
== DECL_INITIAL (current_function_decl
));
436 /* We do not expect to handle duplicate blocks. */
437 gcc_assert (!TREE_ASM_WRITTEN (new_block
));
438 TREE_ASM_WRITTEN (new_block
) = 1;
440 /* Block tree may get clobbered by inlining. Normally this would
441 be fixed in rest_of_decl_compilation using block notes, but
442 since we are not going to emit them, it is up to us. */
443 BLOCK_CHAIN (new_block
) = BLOCK_SUBBLOCKS (old_block
);
444 BLOCK_SUBBLOCKS (old_block
) = new_block
;
445 BLOCK_SUBBLOCKS (new_block
) = NULL_TREE
;
446 BLOCK_SUPERCONTEXT (new_block
) = old_block
;
448 data
->block
= new_block
;
452 record_vars (gimple_bind_vars (stmt
));
454 /* Scrap DECL_CHAIN up to BLOCK_VARS to ease GC after we no longer
455 need gimple_bind_vars. */
457 /* BLOCK_VARS and gimple_bind_vars share a common sub-chain. Find
458 it by marking all BLOCK_VARS. */
459 if (gimple_bind_block (stmt
))
460 for (tree t
= BLOCK_VARS (gimple_bind_block (stmt
)); t
; t
= DECL_CHAIN (t
))
461 TREE_VISITED (t
) = 1;
462 for (tree var
= gimple_bind_vars (stmt
);
463 var
&& ! TREE_VISITED (var
); var
= next
)
465 next
= DECL_CHAIN (var
);
466 DECL_CHAIN (var
) = NULL_TREE
;
468 /* Unmark BLOCK_VARS. */
469 if (gimple_bind_block (stmt
))
470 for (tree t
= BLOCK_VARS (gimple_bind_block (stmt
)); t
; t
= DECL_CHAIN (t
))
471 TREE_VISITED (t
) = 0;
473 lower_sequence (gimple_bind_body_ptr (stmt
), data
);
477 gcc_assert (data
->block
== new_block
);
479 BLOCK_SUBBLOCKS (new_block
)
480 = blocks_nreverse (BLOCK_SUBBLOCKS (new_block
));
481 data
->block
= old_block
;
484 /* The GIMPLE_BIND no longer carries any useful information -- kill it. */
485 gsi_insert_seq_before (gsi
, gimple_bind_body (stmt
), GSI_SAME_STMT
);
486 gsi_remove (gsi
, false);
489 /* Same as above, but for a GIMPLE_TRY_CATCH. */
492 lower_try_catch (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
494 bool cannot_fallthru
;
495 gimple
*stmt
= gsi_stmt (*gsi
);
496 gimple_stmt_iterator i
;
498 /* We don't handle GIMPLE_TRY_FINALLY. */
499 gcc_assert (gimple_try_kind (stmt
) == GIMPLE_TRY_CATCH
);
501 lower_sequence (gimple_try_eval_ptr (stmt
), data
);
502 cannot_fallthru
= data
->cannot_fallthru
;
504 i
= gsi_start (*gimple_try_cleanup_ptr (stmt
));
505 switch (gimple_code (gsi_stmt (i
)))
508 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
509 catch expression and a body. The whole try/catch may fall
510 through iff any of the catch bodies falls through. */
511 for (; !gsi_end_p (i
); gsi_next (&i
))
513 data
->cannot_fallthru
= false;
514 lower_sequence (gimple_catch_handler_ptr (
515 as_a
<gcatch
*> (gsi_stmt (i
))),
517 if (!data
->cannot_fallthru
)
518 cannot_fallthru
= false;
522 case GIMPLE_EH_FILTER
:
523 /* The exception filter expression only matters if there is an
524 exception. If the exception does not match EH_FILTER_TYPES,
525 we will execute EH_FILTER_FAILURE, and we will fall through
526 if that falls through. If the exception does match
527 EH_FILTER_TYPES, the stack unwinder will continue up the
528 stack, so we will not fall through. We don't know whether we
529 will throw an exception which matches EH_FILTER_TYPES or not,
530 so we just ignore EH_FILTER_TYPES and assume that we might
531 throw an exception which doesn't match. */
532 data
->cannot_fallthru
= false;
533 lower_sequence (gimple_eh_filter_failure_ptr (gsi_stmt (i
)), data
);
534 if (!data
->cannot_fallthru
)
535 cannot_fallthru
= false;
539 gcc_checking_assert (gimple_debug_begin_stmt_p (stmt
));
543 /* This case represents statements to be executed when an
544 exception occurs. Those statements are implicitly followed
545 by a GIMPLE_RESX to resume execution after the exception. So
546 in this case the try/catch never falls through. */
547 data
->cannot_fallthru
= false;
548 lower_sequence (gimple_try_cleanup_ptr (stmt
), data
);
552 data
->cannot_fallthru
= cannot_fallthru
;
557 /* Try to determine whether a TRY_CATCH expression can fall through.
558 This is a subroutine of gimple_stmt_may_fallthru. */
561 gimple_try_catch_may_fallthru (gtry
*stmt
)
563 gimple_stmt_iterator i
;
565 /* We don't handle GIMPLE_TRY_FINALLY. */
566 gcc_assert (gimple_try_kind (stmt
) == GIMPLE_TRY_CATCH
);
568 /* If the TRY block can fall through, the whole TRY_CATCH can
570 if (gimple_seq_may_fallthru (gimple_try_eval (stmt
)))
573 i
= gsi_start (*gimple_try_cleanup_ptr (stmt
));
574 switch (gimple_code (gsi_stmt (i
)))
577 /* We expect to see a sequence of GIMPLE_CATCH stmts, each with a
578 catch expression and a body. The whole try/catch may fall
579 through iff any of the catch bodies falls through. */
580 for (; !gsi_end_p (i
); gsi_next (&i
))
582 if (gimple_seq_may_fallthru (gimple_catch_handler (
583 as_a
<gcatch
*> (gsi_stmt (i
)))))
588 case GIMPLE_EH_FILTER
:
589 /* The exception filter expression only matters if there is an
590 exception. If the exception does not match EH_FILTER_TYPES,
591 we will execute EH_FILTER_FAILURE, and we will fall through
592 if that falls through. If the exception does match
593 EH_FILTER_TYPES, the stack unwinder will continue up the
594 stack, so we will not fall through. We don't know whether we
595 will throw an exception which matches EH_FILTER_TYPES or not,
596 so we just ignore EH_FILTER_TYPES and assume that we might
597 throw an exception which doesn't match. */
598 return gimple_seq_may_fallthru (gimple_eh_filter_failure (gsi_stmt (i
)));
601 /* This case represents statements to be executed when an
602 exception occurs. Those statements are implicitly followed
603 by a GIMPLE_RESX to resume execution after the exception. So
604 in this case the try/catch never falls through. */
610 /* Try to determine if we can continue executing the statement
611 immediately following STMT. This guess need not be 100% accurate;
612 simply be conservative and return true if we don't know. This is
613 used only to avoid stupidly generating extra code. If we're wrong,
614 we'll just delete the extra code later. */
617 gimple_stmt_may_fallthru (gimple
*stmt
)
622 switch (gimple_code (stmt
))
627 /* Easy cases. If the last statement of the seq implies
628 control transfer, then we can't fall through. */
632 /* Switch has already been lowered and represents a branch
633 to a selected label and hence can't fall through. */
637 /* GIMPLE_COND's are already lowered into a two-way branch. They
638 can't fall through. */
642 return gimple_seq_may_fallthru (
643 gimple_bind_body (as_a
<gbind
*> (stmt
)));
646 if (gimple_try_kind (stmt
) == GIMPLE_TRY_CATCH
)
647 return gimple_try_catch_may_fallthru (as_a
<gtry
*> (stmt
));
649 /* It must be a GIMPLE_TRY_FINALLY. */
651 /* The finally clause is always executed after the try clause,
652 so if it does not fall through, then the try-finally will not
653 fall through. Otherwise, if the try clause does not fall
654 through, then when the finally clause falls through it will
655 resume execution wherever the try clause was going. So the
656 whole try-finally will only fall through if both the try
657 clause and the finally clause fall through. */
658 return (gimple_seq_may_fallthru (gimple_try_eval (stmt
))
659 && gimple_seq_may_fallthru (gimple_try_cleanup (stmt
)));
663 geh_else
*eh_else_stmt
= as_a
<geh_else
*> (stmt
);
664 return (gimple_seq_may_fallthru (gimple_eh_else_n_body (eh_else_stmt
))
665 || gimple_seq_may_fallthru (gimple_eh_else_e_body (
670 /* Functions that do not return do not fall through. */
671 return !gimple_call_noreturn_p (stmt
);
679 /* Same as gimple_stmt_may_fallthru, but for the gimple sequence SEQ. */
682 gimple_seq_may_fallthru (gimple_seq seq
)
684 return gimple_stmt_may_fallthru (gimple_seq_last_nondebug_stmt (seq
));
688 /* Lower a GIMPLE_RETURN GSI. DATA is passed through the recursion. */
691 lower_gimple_return (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
693 greturn
*stmt
= as_a
<greturn
*> (gsi_stmt (*gsi
));
696 return_statements_t tmp_rs
;
698 /* Match this up with an existing return statement that's been created. */
699 for (i
= data
->return_statements
.length () - 1;
702 tmp_rs
= data
->return_statements
[i
];
704 if (gimple_return_retval (stmt
) == gimple_return_retval (tmp_rs
.stmt
))
706 /* Remove the line number from the representative return statement.
707 It now fills in for many such returns. Failure to remove this
708 will result in incorrect results for coverage analysis. */
709 gimple_set_location (tmp_rs
.stmt
, UNKNOWN_LOCATION
);
715 /* Not found. Create a new label and record the return statement. */
716 tmp_rs
.label
= create_artificial_label (cfun
->function_end_locus
);
718 data
->return_statements
.safe_push (tmp_rs
);
720 /* Generate a goto statement and remove the return statement. */
722 /* When not optimizing, make sure user returns are preserved. */
723 if (!optimize
&& gimple_has_location (stmt
))
724 DECL_ARTIFICIAL (tmp_rs
.label
) = 0;
725 t
= gimple_build_goto (tmp_rs
.label
);
726 /* location includes block. */
727 gimple_set_location (t
, gimple_location (stmt
));
728 gsi_insert_before (gsi
, t
, GSI_SAME_STMT
);
729 gsi_remove (gsi
, false);
732 /* Lower a __builtin_setjmp GSI.
734 __builtin_setjmp is passed a pointer to an array of five words (not
735 all will be used on all machines). It operates similarly to the C
736 library function of the same name, but is more efficient.
738 It is lowered into 2 other builtins, namely __builtin_setjmp_setup,
739 __builtin_setjmp_receiver.
741 After full lowering, the body of the function should look like:
749 __builtin_setjmp_setup (&buf, &<D1847>);
753 __builtin_setjmp_receiver (&<D1847>);
756 if (D.1844 == 0) goto <D1848>; else goto <D1849>;
760 __builtin_setjmp_setup (&buf, &<D2847>);
764 __builtin_setjmp_receiver (&<D2847>);
767 if (D.2844 == 0) goto <D2848>; else goto <D2849>;
775 During cfg creation an extra per-function (or per-OpenMP region)
776 block with ABNORMAL_DISPATCHER internal call will be added, unique
777 destination of all the abnormal call edges and the unique source of
778 all the abnormal edges to the receivers, thus keeping the complexity
779 explosion localized. */
782 lower_builtin_setjmp (gimple_stmt_iterator
*gsi
)
784 gimple
*stmt
= gsi_stmt (*gsi
);
785 location_t loc
= gimple_location (stmt
);
786 tree cont_label
= create_artificial_label (loc
);
787 tree next_label
= create_artificial_label (loc
);
791 /* __builtin_setjmp_{setup,receiver} aren't ECF_RETURNS_TWICE and for RTL
792 these builtins are modelled as non-local label jumps to the label
793 that is passed to these two builtins, so pretend we have a non-local
794 label during GIMPLE passes too. See PR60003. */
795 cfun
->has_nonlocal_label
= 1;
797 /* NEXT_LABEL is the label __builtin_longjmp will jump to. Its address is
798 passed to both __builtin_setjmp_setup and __builtin_setjmp_receiver. */
799 FORCED_LABEL (next_label
) = 1;
801 tree orig_dest
= dest
= gimple_call_lhs (stmt
);
802 if (orig_dest
&& TREE_CODE (orig_dest
) == SSA_NAME
)
803 dest
= create_tmp_reg (TREE_TYPE (orig_dest
));
805 /* Build '__builtin_setjmp_setup (BUF, NEXT_LABEL)' and insert. */
806 arg
= build_addr (next_label
);
807 t
= builtin_decl_implicit (BUILT_IN_SETJMP_SETUP
);
808 g
= gimple_build_call (t
, 2, gimple_call_arg (stmt
, 0), arg
);
809 /* location includes block. */
810 gimple_set_location (g
, loc
);
811 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
813 /* Build 'DEST = 0' and insert. */
816 g
= gimple_build_assign (dest
, build_zero_cst (TREE_TYPE (dest
)));
817 gimple_set_location (g
, loc
);
818 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
821 /* Build 'goto CONT_LABEL' and insert. */
822 g
= gimple_build_goto (cont_label
);
823 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
825 /* Build 'NEXT_LABEL:' and insert. */
826 g
= gimple_build_label (next_label
);
827 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
829 /* Build '__builtin_setjmp_receiver (NEXT_LABEL)' and insert. */
830 arg
= build_addr (next_label
);
831 t
= builtin_decl_implicit (BUILT_IN_SETJMP_RECEIVER
);
832 g
= gimple_build_call (t
, 1, arg
);
833 gimple_set_location (g
, loc
);
834 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
836 /* Build 'DEST = 1' and insert. */
839 g
= gimple_build_assign (dest
, fold_convert_loc (loc
, TREE_TYPE (dest
),
841 gimple_set_location (g
, loc
);
842 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
845 /* Build 'CONT_LABEL:' and insert. */
846 g
= gimple_build_label (cont_label
);
847 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
849 /* Build orig_dest = dest if necessary. */
850 if (dest
!= orig_dest
)
852 g
= gimple_build_assign (orig_dest
, dest
);
853 gsi_insert_before (gsi
, g
, GSI_SAME_STMT
);
856 /* Remove the call to __builtin_setjmp. */
857 gsi_remove (gsi
, false);
860 /* Lower calls to posix_memalign to
861 res = posix_memalign (ptr, align, size);
863 *ptr = __builtin_assume_aligned (*ptr, align);
866 res = posix_memalign (&tem, align, size);
868 ptr = __builtin_assume_aligned (tem, align);
869 in case the first argument was &ptr. That way we can get at the
870 alignment of the heap pointer in CCP. */
873 lower_builtin_posix_memalign (gimple_stmt_iterator
*gsi
)
875 gimple
*stmt
, *call
= gsi_stmt (*gsi
);
876 tree pptr
= gimple_call_arg (call
, 0);
877 tree align
= gimple_call_arg (call
, 1);
878 tree res
= gimple_call_lhs (call
);
879 tree ptr
= create_tmp_reg (ptr_type_node
);
880 if (TREE_CODE (pptr
) == ADDR_EXPR
)
882 tree tem
= create_tmp_var (ptr_type_node
);
883 TREE_ADDRESSABLE (tem
) = 1;
884 gimple_call_set_arg (call
, 0, build_fold_addr_expr (tem
));
885 stmt
= gimple_build_assign (ptr
, tem
);
888 stmt
= gimple_build_assign (ptr
,
889 fold_build2 (MEM_REF
, ptr_type_node
, pptr
,
890 build_int_cst (ptr_type_node
, 0)));
891 if (res
== NULL_TREE
)
893 res
= create_tmp_reg (integer_type_node
);
894 gimple_call_set_lhs (call
, res
);
896 tree align_label
= create_artificial_label (UNKNOWN_LOCATION
);
897 tree noalign_label
= create_artificial_label (UNKNOWN_LOCATION
);
898 gimple
*cond
= gimple_build_cond (EQ_EXPR
, res
, integer_zero_node
,
899 align_label
, noalign_label
);
900 gsi_insert_after (gsi
, cond
, GSI_NEW_STMT
);
901 gsi_insert_after (gsi
, gimple_build_label (align_label
), GSI_NEW_STMT
);
902 gsi_insert_after (gsi
, stmt
, GSI_NEW_STMT
);
903 stmt
= gimple_build_call (builtin_decl_implicit (BUILT_IN_ASSUME_ALIGNED
),
905 gimple_call_set_lhs (stmt
, ptr
);
906 gsi_insert_after (gsi
, stmt
, GSI_NEW_STMT
);
907 stmt
= gimple_build_assign (fold_build2 (MEM_REF
, ptr_type_node
, pptr
,
908 build_int_cst (ptr_type_node
, 0)),
910 gsi_insert_after (gsi
, stmt
, GSI_NEW_STMT
);
911 gsi_insert_after (gsi
, gimple_build_label (noalign_label
), GSI_NEW_STMT
);
915 /* Record the variables in VARS into function FN. */
918 record_vars_into (tree vars
, tree fn
)
920 for (; vars
; vars
= DECL_CHAIN (vars
))
924 /* BIND_EXPRs contains also function/type/constant declarations
925 we don't need to care about. */
929 /* Nothing to do in this case. */
930 if (DECL_EXTERNAL (var
))
933 /* Record the variable. */
934 add_local_decl (DECL_STRUCT_FUNCTION (fn
), var
);
939 /* Record the variables in VARS into current_function_decl. */
942 record_vars (tree vars
)
944 record_vars_into (vars
, current_function_decl
);