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
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"
26 #include "tree-nested.h"
28 #include "basic-block.h"
29 #include "tree-ssa-alias.h"
30 #include "internal-fn.h"
31 #include "gimple-expr.h"
34 #include "gimple-iterator.h"
35 #include "tree-iterator.h"
36 #include "tree-inline.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
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
65 typedef struct return_statements_t return_statements_t
;
70 /* Block the current statement belongs to. */
73 /* A vector of label and return statements to be moved to the end
75 vec
<return_statements_t
> return_statements
;
77 /* True if the current statement cannot fall through. */
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
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
;
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
);
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
)
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
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 ();
161 const pass_data pass_data_lower_cf
=
163 GIMPLE_PASS
, /* type */
165 OPTGROUP_NONE
, /* optinfo_flags */
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
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
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. */
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. */
212 lower_omp_directive (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
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
);
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. */
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
))
242 lower_gimple_bind (gsi
, data
);
243 /* Propagate fallthruness. */
249 data
->cannot_fallthru
= true;
254 if (data
->cannot_fallthru
)
256 gsi_remove (gsi
, false);
257 /* Propagate fallthruness. */
261 lower_gimple_return (gsi
, data
);
262 data
->cannot_fallthru
= true;
267 if (gimple_try_kind (stmt
) == GIMPLE_TRY_CATCH
)
268 lower_try_catch (gsi
, data
);
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
;
292 geh_else
*eh_else_stmt
= as_a
<geh_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
);
303 case GIMPLE_EH_MUST_NOT_THROW
:
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
:
321 tree decl
= gimple_call_fndecl (stmt
);
324 for (i
= 0; i
< gimple_call_num_args (stmt
); i
++)
326 tree arg
= gimple_call_arg (stmt
, i
);
328 TREE_SET_BLOCK (arg
, data
->block
);
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;
340 else if (DECL_FUNCTION_CODE (decl
) == BUILT_IN_POSIX_MEMALIGN
341 && flag_tree_bit_ccp
)
343 lower_builtin_posix_memalign (gsi
);
348 if (decl
&& (flags_from_decl_or_type (decl
) & ECF_NORETURN
))
350 data
->cannot_fallthru
= true;
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;
366 case GIMPLE_TRANSACTION
:
367 lower_sequence (gimple_transaction_body_ptr (
368 as_a
<gtransaction
*> (stmt
)),
376 data
->cannot_fallthru
= false;
380 /* Lower a bind_expr TSI. DATA is passed through the recursion. */
383 lower_gimple_bind (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
385 tree old_block
= data
->block
;
386 gbind
*stmt
= as_a
<gbind
*> (gsi_stmt (*gsi
));
387 tree new_block
= gimple_bind_block (stmt
);
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
));
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
);
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. */
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
)))
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
<gcatch
*> (gsi_stmt (i
))),
462 if (!data
->cannot_fallthru
)
463 cannot_fallthru
= false;
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;
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
);
493 data
->cannot_fallthru
= cannot_fallthru
;
498 /* Try to determine whether a TRY_CATCH expression can fall through.
499 This is a subroutine of gimple_stmt_may_fallthru. */
502 gimple_try_catch_may_fallthru (gtry
*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
511 if (gimple_seq_may_fallthru (gimple_try_eval (stmt
)))
514 i
= gsi_start (*gimple_try_cleanup_ptr (stmt
));
515 switch (gimple_code (gsi_stmt (i
)))
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
<gcatch
*> (gsi_stmt (i
)))))
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
)));
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. */
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. */
558 gimple_stmt_may_fallthru (gimple stmt
)
563 switch (gimple_code (stmt
))
568 /* Easy cases. If the last statement of the seq implies
569 control transfer, then we can't fall through. */
573 /* Switch has already been lowered and represents a branch
574 to a selected label and hence can't fall through. */
578 /* GIMPLE_COND's are already lowered into a two-way branch. They
579 can't fall through. */
583 return gimple_seq_may_fallthru (
584 gimple_bind_body (as_a
<gbind
*> (stmt
)));
587 if (gimple_try_kind (stmt
) == GIMPLE_TRY_CATCH
)
588 return gimple_try_catch_may_fallthru (as_a
<gtry
*> (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
)));
604 geh_else
*eh_else_stmt
= as_a
<geh_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 (
611 /* Functions that do not return do not fall through. */
612 return (gimple_call_flags (stmt
) & ECF_NORETURN
) == 0;
620 /* Same as gimple_stmt_may_fallthru, but for the gimple sequence SEQ. */
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. */
632 lower_gimple_return (gimple_stmt_iterator
*gsi
, struct lower_data
*data
)
634 greturn
*stmt
= as_a
<greturn
*> (gsi_stmt (*gsi
));
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;
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
);
656 /* Not found. Create a new label and record the return statement. */
657 tmp_rs
.label
= create_artificial_label (cfun
->function_end_locus
);
659 data
->return_statements
.safe_push (tmp_rs
);
661 /* Generate a goto statement and remove the return statement. */
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:
690 __builtin_setjmp_setup (&buf, &<D1847>);
694 __builtin_setjmp_receiver (&<D1847>);
697 if (D.1844 == 0) goto <D1848>; else goto <D1849>;
701 __builtin_setjmp_setup (&buf, &<D2847>);
705 __builtin_setjmp_receiver (&<D2847>);
708 if (D.2844 == 0) goto <D2848>; else goto <D2849>;
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. */
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
);
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. */
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. */
780 g
= gimple_build_assign (dest
, fold_convert_loc (loc
, TREE_TYPE (dest
),
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);
798 *ptr = __builtin_assume_aligned (*ptr, align);
801 res = posix_memalign (&tem, align, size);
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. */
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
);
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
),
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)),
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. */
853 record_vars_into (tree vars
, tree fn
)
855 for (; vars
; vars
= DECL_CHAIN (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
)
864 /* Nothing to do in this case. */
865 if (DECL_EXTERNAL (var
))
868 /* Record the variable. */
869 add_local_decl (DECL_STRUCT_FUNCTION (fn
), var
);
874 /* Record the variables in VARS into current_function_decl. */
877 record_vars (tree vars
)
879 record_vars_into (vars
, current_function_decl
);