-
- /* Actually do the initialization. */
- if (stmts_are_full_exprs_p ())
- expand_start_target_temps ();
-
- expand_decl_init (decl);
-
- if (stmts_are_full_exprs_p ())
- expand_end_target_temps ();
-}
-
-/* Helper for generating the RTL at the beginning of a scope. */
-
-void
-genrtl_do_pushlevel ()
-{
- emit_line_note (input_filename, input_line);
- clear_last_expr ();
-}
-
-/* Generate the RTL for DESTINATION, which is a GOTO_STMT. */
-
-void
-genrtl_goto_stmt (destination)
- tree destination;
-{
- if (TREE_CODE (destination) == IDENTIFIER_NODE)
- abort ();
-
- /* We warn about unused labels with -Wunused. That means we have to
- mark the used labels as used. */
- if (TREE_CODE (destination) == LABEL_DECL)
- TREE_USED (destination) = 1;
-
- emit_line_note (input_filename, input_line);
-
- if (TREE_CODE (destination) == LABEL_DECL)
- {
- label_rtx (destination);
- expand_goto (destination);
- }
- else
- expand_computed_goto (destination);
-}
-
-/* Generate the RTL for EXPR, which is an EXPR_STMT. Provided just
- for backward compatibility. genrtl_expr_stmt_value() should be
- used for new code. */
-
-void
-genrtl_expr_stmt (expr)
- tree expr;
-{
- genrtl_expr_stmt_value (expr, -1, 1);
-}
-
-/* Generate the RTL for EXPR, which is an EXPR_STMT. WANT_VALUE tells
- whether to (1) save the value of the expression, (0) discard it or
- (-1) use expr_stmts_for_value to tell. The use of -1 is
- deprecated, and retained only for backward compatibility.
- MAYBE_LAST is nonzero if this EXPR_STMT might be the last statement
- in expression statement. */
-
-void
-genrtl_expr_stmt_value (expr, want_value, maybe_last)
- tree expr;
- int want_value, maybe_last;
-{
- if (expr != NULL_TREE)
- {
- emit_line_note (input_filename, input_line);
-
- if (stmts_are_full_exprs_p ())
- expand_start_target_temps ();
-
- if (expr != error_mark_node)
- expand_expr_stmt_value (expr, want_value, maybe_last);
-
- if (stmts_are_full_exprs_p ())
- expand_end_target_temps ();
- }
-}
-
-/* Generate the RTL for T, which is a DECL_STMT. */
-
-void
-genrtl_decl_stmt (t)
- tree t;
-{
- tree decl;
- emit_line_note (input_filename, input_line);
- decl = DECL_STMT_DECL (t);
- /* If this is a declaration for an automatic local
- variable, initialize it. Note that we might also see a
- declaration for a namespace-scope object (declared with
- `extern'). We don't have to handle the initialization
- of those objects here; they can only be declarations,
- rather than definitions. */
- if (TREE_CODE (decl) == VAR_DECL
- && !TREE_STATIC (decl)
- && !DECL_EXTERNAL (decl))
- {
- /* Let the back-end know about this variable. */
- if (!anon_aggr_type_p (TREE_TYPE (decl)))
- emit_local_var (decl);
- else
- expand_anon_union_decl (decl, NULL_TREE,
- DECL_ANON_UNION_ELEMS (decl));
- }
- else if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
- make_rtl_for_local_static (decl);
- else if (TREE_CODE (decl) == LABEL_DECL
- && C_DECLARED_LABEL_FLAG (decl))
- declare_nonlocal_label (decl);
- else if (lang_expand_decl_stmt)
- (*lang_expand_decl_stmt) (t);
-}
-
-/* Generate the RTL for T, which is an IF_STMT. */
-
-void
-genrtl_if_stmt (t)
- tree t;
-{
- tree cond;
- genrtl_do_pushlevel ();
- cond = expand_cond (IF_COND (t));
- emit_line_note (input_filename, input_line);
- expand_start_cond (cond, 0);
- if (THEN_CLAUSE (t))
- {
- if (cond && integer_zerop (cond))
- expand_unreachable_stmt (THEN_CLAUSE (t), warn_notreached);
- else
- expand_stmt (THEN_CLAUSE (t));
- }
-
- if (ELSE_CLAUSE (t))
- {
- expand_start_else ();
- if (cond && integer_nonzerop (cond))
- expand_unreachable_stmt (ELSE_CLAUSE (t), warn_notreached);
- else
- expand_stmt (ELSE_CLAUSE (t));
- }
- expand_end_cond ();
-}
-
-/* Generate the RTL for T, which is a WHILE_STMT. */
-
-void
-genrtl_while_stmt (t)
- tree t;
-{
- tree cond = WHILE_COND (t);
-
- emit_nop ();
- emit_line_note (input_filename, input_line);
- expand_start_loop (1);
- genrtl_do_pushlevel ();
-
- if (cond && !integer_nonzerop (cond))
- {
- cond = expand_cond (cond);
- emit_line_note (input_filename, input_line);
- expand_exit_loop_top_cond (0, cond);
- genrtl_do_pushlevel ();
- }
-
- expand_stmt (WHILE_BODY (t));
-
- expand_end_loop ();
-}
-
-/* Generate the RTL for T, which is a DO_STMT. */
-
-void
-genrtl_do_stmt (t)
- tree t;
-{
- tree cond = DO_COND (t);
-
- /* Recognize the common special-case of do { ... } while (0) and do
- not emit the loop widgetry in this case. In particular this
- avoids cluttering the rtl with dummy loop notes, which can affect
- alignment of adjacent labels. COND can be NULL due to parse
- errors. */
- if (!cond || integer_zerop (cond))
- {
- expand_start_null_loop ();
- expand_stmt (DO_BODY (t));
- expand_end_null_loop ();
- }
- else if (integer_nonzerop (cond))
- {
- emit_nop ();
- emit_line_note (input_filename, input_line);
- expand_start_loop (1);
-
- expand_stmt (DO_BODY (t));
-
- emit_line_note (input_filename, input_line);
- expand_end_loop ();
- }
- else
- {
- emit_nop ();
- emit_line_note (input_filename, input_line);
- expand_start_loop_continue_elsewhere (1);
-
- expand_stmt (DO_BODY (t));
-
- expand_loop_continue_here ();
- cond = expand_cond (cond);
- emit_line_note (input_filename, input_line);
- expand_exit_loop_if_false (0, cond);
- expand_end_loop ();
- }
-}
-
-/* Build the node for a return statement and return it. */
-
-tree
-build_return_stmt (expr)
- tree expr;
-{
- return (build_stmt (RETURN_STMT, expr));
-}
-
-/* Generate the RTL for STMT, which is a RETURN_STMT. */
-
-void
-genrtl_return_stmt (stmt)
- tree stmt;
-{
- tree expr;
-
- expr = RETURN_STMT_EXPR (stmt);
-
- emit_line_note (input_filename, input_line);
- if (!expr)
- expand_null_return ();
- else
- {
- expand_start_target_temps ();
- expand_return (expr);
- expand_end_target_temps ();
- }
-}
-
-/* Generate the RTL for T, which is a FOR_STMT. */
-
-void
-genrtl_for_stmt (t)
- tree t;
-{
- tree cond = FOR_COND (t);
- const char *saved_filename;
- int saved_lineno;
-
- if (NEW_FOR_SCOPE_P (t))
- genrtl_do_pushlevel ();
-
- expand_stmt (FOR_INIT_STMT (t));
-
- /* Expand the initialization. */
- emit_nop ();
- emit_line_note (input_filename, input_line);
- if (FOR_EXPR (t))
- expand_start_loop_continue_elsewhere (1);
- else
- expand_start_loop (1);
- genrtl_do_pushlevel ();
-
- /* Save the filename and line number so that we expand the FOR_EXPR
- we can reset them back to the saved values. */
- saved_filename = input_filename;
- saved_lineno = input_line;
-
- /* Expand the condition. */
- if (cond && !integer_nonzerop (cond))
- {
- cond = expand_cond (cond);
- emit_line_note (input_filename, input_line);
- expand_exit_loop_top_cond (0, cond);
- genrtl_do_pushlevel ();
- }
-
- /* Expand the body. */
- expand_stmt (FOR_BODY (t));
-
- /* Expand the increment expression. */
- input_filename = saved_filename;
- input_line = saved_lineno;
- emit_line_note (input_filename, input_line);
- if (FOR_EXPR (t))
- {
- expand_loop_continue_here ();
- genrtl_expr_stmt (FOR_EXPR (t));
- }
- expand_end_loop ();
-}
-
-/* Build a break statement node and return it. */
-
-tree
-build_break_stmt ()
-{
- return (build_stmt (BREAK_STMT));
-}
-
-/* Generate the RTL for a BREAK_STMT. */
-
-void
-genrtl_break_stmt ()
-{
- emit_line_note (input_filename, input_line);
- if ( ! expand_exit_something ())
- error ("break statement not within loop or switch");
OSDN Git Service
