Make gimple_phi_arg_location_from_edge require a gimple_phi

[official-gcc.git] / gcc / ChangeLog.gimple-classes

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_phi_arg_location_from_edge require a gimple_phi

        * gimple.h (gimple_phi_arg_location_from_edge): Require a
        gimple_phi.

        * tree-parloops.c (create_parallel_loop): Split up local variable
        "stmt", introducing other locals for the various statements created
        by this function.  Reuse "stmt" within the phi-handling code, and
        change to type gimple_phi, since this is the only remaining
        "non-phi" user of gimple_phi_arg_location_from_edge.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize three gimple_try_set_ accessors

        * gimple.c (gimple_copy): Add checked casts to gimple_try.

        * gimple.h (gimple_try_set_kind): Require a gimple_try.
        (gimple_try_set_eval): Likewise.
        (gimple_try_set_cleanup): Likewise.

        * tree-eh.c (optimize_double_finally): Require a pair of gimple_try
        statements.
        (refactor_eh_r): Convert code comparisons to dynamic casts.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize gimple_try_set_catch_is_cleanup

        * gimple.h (gimple_try_set_catch_is_cleanup): Require a gimple_try.

        * gimplify.c (gimplify_expr): Convert local "try_" from a gimple
        to a gimple_try.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize gimple_eh_filter_set_types and gimple_eh_filter_set_failure

        * gimple.h (gimple_eh_filter_set_types): Require a gimple_eh_filter.
        (gimple_eh_filter_set_failure): Likewise.
        * gimple.c (gimple_copy): Add checked casts to gimple_eh_filter
        within GIMPLE_EH_FILTER case.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize gimple_label_label

        * gimple.h (gimple_label_label): Require a const_gimple_label
        rather than just a const_gimple.

        * cfgexpand.c (label_rtx_for_bb): Convert local from gimple to
        gimple_label, replacing a check against GIMPLE_LABEL with a
        dyn_cast<gimple_label>.
        * predict.c (tree_estimate_probability_bb): Likewise.
        * tree-cfg.c (make_edges): Likewise.
        (cleanup_dead_labels): Likewise (twice).
        (gimple_can_merge_blocks_p): Likewise.
        (gimple_block_label): Likewise.
        * tree-eh.c (unsplit_eh): Likewise.
        (cleanup_empty_eh_unsplit): Likewise.
        * tree-inline.c (mark_local_labels_stmt): Likewise.
        * tree-nested.c (convert_nl_goto_receiver): Likewise.

        * cfgexpand.c (expand_gimple_stmt_1): Add a checked cast to
        gimple_label when invoking gimple_label_label in a region where
        we've checked the code is GIMPLE_LABEL.
        * gimple-pretty-print.c (pp_cfg_jump): Likewise.
        * gimple.c (gimple_set_bb): Likewise.
        * ipa-pure-const.c (check_stmt): Likewise.
        * omp-low.c (diagnose_sb_1): Likewise.
        * tree-cfg.c (gimple_verify_flow_info): Likewise.
        * tree-cfgcleanup.c (tree_forwarder_block_p): Likewise.
        (remove_forwarder_block): Likewise.
        * tree-eh.c (collect_finally_tree): Likewise.

        * ipa-split.c (verify_non_ssa_vars): Replace a check against
        GIMPLE_LABEL with a dyn_cast<gimple_label>, introducing a
        gimple_label local.
        * tree-cfg.c (gimple_can_merge_blocks_p): Likewise.
        (gimple_merge_blocks): Likewise.
        (remove_bb): Likewise.
        (stmt_starts_bb_p): Likewise.
        (gimple_verify_flow_info): Likewise.
        (move_block_to_fn): Likewise.
        * tree-cfgcleanup.c (remove_forwarder_block): Likewise.
        (remove_forwarder_block_with_phi): Likewise.
        * tree-ssa-ccp.c (optimize_unreachable): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize gimple_call_use_set and gimple_call_clobber_set

        * gimple.h (gimple_call_use_set): Require a gimple_call.
        (gimple_call_clobber_set): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize gimple_catch_types

        * gimple.h (gimple_catch_types): Require a const_gimple_catch
        rather than a const_gimple.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_goto_set_dest require a gimple_goto

        * gimple.h (gimple_goto_set_dest): Require a gimple_goto.

        * tree-cfg.c (factor_computed_gotos): Add checked cast to
        gimple_goto.
        (cleanup_dead_labels): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_label_set_label require a gimple_label

        * gimple.h (gimple_label_set_label): Require a gimple_label.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize parameter to gimple_call_copy_skip_args

        * gimple.c (gimple_call_copy_skip_args): Require a gimple_call.
        * gimple.h (gimple_call_copy_skip_args): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Various gimple to gimple_call conversions in IPA

        * ipa-prop.c (detect_type_change_from_memory_writes): Require a
        gimple_call rather than a plain gimple.
        (detect_type_change): Likewise.
        (detect_type_change_ssa): Likewise.
        (compute_complex_assign_jump_func): Likewise.
        (compute_complex_ancestor_jump_func): Likewise.
        (compute_known_type_jump_func): Likewise.
        (determine_locally_known_aggregate_parts): Likewise.
        (ipa_compute_jump_functions_for_edge): Strengthen local "call" to
        a gimple_call; add checked cast to gimple_phi.
        (ipa_note_param_call): Require a gimple_call rather than a plain
        gimple.
        (ipa_analyze_indirect_call_uses): Likewise.
        (ipa_analyze_virtual_call_uses): Likewise.
        (ipa_analyze_call_uses): Likewise.
        (ipa_analyze_stmt_uses):Add checked cast to gimple_call.

        * tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
        Replace use of is_gimple_call with dyn_cast<gimple_call> and a
        new local "call_stmt".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Use gimple_call for callgraph edges

        * cgraph.h (cgraph_edge::call_stmt): Strengthen field from plain
        gimple to a gimple_call.
        (cgraph_node::set_call_stmt_including_clones): Likewise for param
        "new_stmt".
        (cgraph_node::create_edge): Likewise for param "call_stmt".
        (cgraph_node::create_indirect_edge): Likewise.
        (cgraph_node::create_edge_including_clones): Likewise for param
        "stmt".
        (cgraph_edge::set_call_stmt): Likewise for param "new_stmt".
        (cgraph_edge::clone): Likewise for param "call_stmt".
        (symbol_table::create_edge): Likewise.

        * cgraph.c (cgraph_edge::set_call_stmt): Require a gimple_call
        rather than a plain gimple.
        (symbol_table::create_edge): Likewise.
        (cgraph_node::create_edge): Likewise.
        (cgraph_node::create_indirect_edge): Likewise.
        (cgraph_edge::redirect_call_stmt_to_callee): Strengthen local
        "new_stmt" from gimple to gimple_call.
        (cgraph_update_edges_for_call_stmt_node): Add checked casts to
        gimple_call.

        * cgraphbuild.c (pass_build_cgraph_edges::execute): Replace
        is_gimple_call with dyn_cast<gimple_call> and new local
        "call_stmt".
        (cgraph_edge::rebuild_edges): Likewise.

        * cgraphclones.c (cgraph_edge::clone): Require a gimple_call
        rather than a plain gimple.
        (cgraph_node::set_call_stmt_including_clones): Likewise.
        (cgraph_node::create_edge_including_clones): Likewise.

        * lto-streamer-in.c (fixup_call_stmt_edges_1): Add checked casts
        to gimple_call.

        * omp-low.c (simd_clone_adjust): Strengthen local "call" from
        gimple to gimple_call.

        * trans-mem.c (ipa_tm_insert_irr_call): Likewise for "g".
        (ipa_tm_insert_gettmclone_call): Likewise; also strengthen "g2"
        to gimple_assign.

        * tree-emutls.c (gen_emutls_addr): Strengthen local "x" from
        gimple to gimple_call.

        * tree-inline.c (copy_bb): Replace is_gimple_call with
        dyn_cast<gimple_call> and new local "call_stmt".

        * value-prof.c (gimple_ic): Require and return a gimple_call,
        rather than a plain gimple.
        * value-prof.h (gimple_ic): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_call_return_slot_opt_p require a gimple_call.

        * gimple.h (gimple_call_return_slot_opt_p): Require a gimple_call
        rather than a plain gimple.

        * gimple-walk.c (walk_stmt_load_store_addr_ops): Convert usage of
        is_gimple_call to dyn_cast<gimple_call>, introducing a new local
        "call_stmt".

        * trans-mem.c (expand_call_tm): Split local "stmt", strengthening
        from plain gimple to a gimple_call, and introducing new local
        gimple_assign "assign_stmt".

        * tree-inline.c (expand_call_inline):  Convert check of code against
        GIMPLE_CALL to dyn_cast<gimple_call>, introducing a new local
        "call_stmt".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        More gimple_phi

        * gimple.h (gimple_phi_set_result): Require a gimple_phi rather
        than a plain gimple.
        (gimple_phi_set_arg): Likewise.

        * tree-outof-ssa.c (remove_gimple_phi_args): Likewise; add a checked
        cast to gimple_phi.

        * tree-sra.c (replace_removed_params_ssa_names): Add a checked
        cast to gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_phi_arg_edge require a gimple_phi

        * gimple.h (gimple_phi_arg_edge): Require a gimple_phi rather
        than a plain gimple.

        * gimple-ssa-strength-reduction.c (ncd_with_phi): Strengthen
        param "phi" from gimple to gimple_phi.  Add a checked cast.
        (ncd_of_cand_and_phis): Add a checked cast.

        * graphite-sese-to-poly.c (rewrite_phi_out_of_ssa): Require a
        gimple_phi_iterator; strengthen local "phi" from gimple to a
        gimple_phi.
        (rewrite_cross_bb_scalar_deps): Strengthen local "psi" from
        a gimple_stmt_iterator to a gimple_phi_iterator.
        (edge_initial_value_for_loop_phi): Require a gimple phi.
        (initial_value_for_loop_phi): Likewise.

        * ipa-split.c (consider_split): Convert "bsi" to a
        gimple_phi_iterator and "stmt" to a gimple_phi.

        * predict.c (predict_extra_loop_exits): Convert "phi_stmt" to be
        a gimple_phi; introduce "lhs_def_stmt" as plain gimple.
        (apply_return_prediction): Convert "phi" to be a gimple_phi.

        * tree-cfg.c (replace_uses_by): Add checked cast to gimple_phi.
        (verify_gimple_in_cfg): Introduce gimple_phi_iterator "gpi" and use
        it to convert "phi" to a gimple_phi.

        * tree-eh.c (cleanup_empty_eh_merge_phis): Convert "ngsi", "ogsi"
        to be gimple_phi_iterators.  Convert "ophi", "nphi" to be
        gimple_phi.

        * tree-into-ssa.c (prepare_use_sites_for): Add checked cast to
        gimple_phi.

        * tree-ssa-coalesce.c (create_outofssa_var_map): Introduce
        gimple_phi_iterator "gpi" and use it to convert "phi" to a
        gimple_phi.

        * tree-ssa-dce.c (propagate_necessity): Introduce local "phi",
        from checked cast to gimple_phi.

        * tree-ssa-live.c (set_var_live_on_entry): Add checked cast to
        gimple_phi.

        * tree-ssa-propagate.c (replace_phi_args_in): Require a gimple_phi
        rather than a plain gimple.
        (substitute_and_fold_dom_walker::before_dom_children): Introduce
        gimple_phi_iterator "gpi".

        * tree-ssa-sink.c (find_bb_for_arg): Require a gimple_phi rather
        than a plain gimple.
        (nearest_common_dominator_of_uses): Replace check of code against
        GIMPLE_PHI with a dyn_cast<gimple_phi>, introducing a new local.
        (statement_sink_location): Add checked cast to gimple_phi.

        * tree-ssa-uninit.c (compute_uninit_opnds_pos): Require a
        gimple_phi rather than a plain gimple.
        (collect_phi_def_edges): Likewise.  Add a checked cast.
        (find_def_preds): Strengthen param "phi" from gimple to
        gimple_phi.
        (prune_uninit_phi_opnds_in_unrealizable_paths): Likewise for
        params "phi" and "flag_def".  Strenghen param "visited_phis" from
        hash_set<gimple> * to hash_set<gimple_phi> *.  Convert
        "flag_arg_def", "phi_arg_def" to gimple_phi using
        dyn_cast<gimple_phi>.  Similarly, introduce new local
        "opnd_def_phi".
        (use_pred_not_overlap_with_undef_path_pred): Strengthen param
        "phi" from gimple to gimple_phi, and param "visited_phis" from
        hash_set<gimple> * to hash_set<gimple_phi> *.  Add a checked cast.
        (is_use_properly_guarded): Likewise for params.
        (find_uninit_use): Replace check of code against GIMPLE_PHI with
        a dyn_cast<gimple_phi>, introducing a new local "use_phi".
        Strengthen local "visited_phis" from hash_set<gimple> to
        hash_set<gimple_phi>.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Update GRAPHITE to use more concrete gimple statement classes

        * graphite-scop-detection.c (canonicalize_loop_closed_ssa):
        Strengthen local "psi" to be a gimple_phi_iterator and "phi" to
        a gimple_phi.

        * graphite-sese-to-poly.c (phi_arg_in_outermost_loop): Require
        a gimple_phi rathen than a plain gimple.
        (remove_simple_copy_phi): Require a gimple_phi_iterator;
        strengthen local "phi" to be a gimple_phi and "stmt" to be a
        gimple_assign.
        (remove_invariant_phi): Likewise.
        (simple_copy_phi_p): Require a gimple_phi.
        (reduction_phi_p): Require a gimple_phi_iterator; strengthen
        local "phi" to be a gimple_phi.
        (add_condition_to_pbb): Require a gimple_cond rather than a
        plain gimple.
        (add_conditions_to_domain): Add checked cast to gimple_cond
        within GIMPLE_COND case of switch statement.
        (single_pred_cond_non_loop_exit): Return a gimple_cond rather
        than a plain gimple, via a checked cast.
        (sese_dom_walker::before_dom_children): Strengthen local "stmt"
        from gimple to gimple_cond.
        (gsi_for_phi_node): Require a gimple_phi, and return a
        gimple_phi_iterator.
        (insert_out_of_ssa_copy): Strengthen local "stmt" from gimple to
        gimple_assign.
        (rewrite_reductions_out_of_ssa): Strengthen "psi" to be a
        gimple_phi_iterator, and "phi" to be a gimple_phi.
        (phi_contains_arg): Require a gimple_phi.
        (follow_ssa_with_commutative_ops): Strengthen return type from
        gimple to gimple_phi, by converting a check for code GIMPLE_PHI to
        a dyn_cast<gimple_phi>, and strengthening local "res" from gimple
        to gimple_phi.
        (detect_commutative_reduction_arg): Strengthen return type from
        gimple to gimple_phi, and strengthen local "phi" to be a
        gimple_phi.
        (detect_commutative_reduction_assign): Strengthen return type from
        gimple to gimple_phi, and strengthen local "res" to be a
        gimple_phi.
        (follow_inital_value_to_phi): Strengthen return type from
        gimple to gimple_phi.  Replace check for code GIMPLE_PHI with
        a dyn_cast<gimple_phi>.
        (detect_commutative_reduction): Strengthen return type and locals
        "loop_phi", "phi", "close_phi" from gimple to gimple_phi,
        introducing a checked cast of "stmt" in region guarded by
        scalar_close_phi_node_p (stmt).
        (translate_scalar_reduction_to_array_for_stmt): Require param
        "loop_phi" to be a gimple_phi.  Strengthen local "assign" from
        gimple to gimple_assign.
        (remove_phi): Require a gimple_phi.
        (close_phi_written_to_memory): Likewise.
        (translate_scalar_reduction_to_array): We expect the first element
        in each vector to be an arbitrary statement, but all of the
        subsequent elements to be phi nodes.  Hence the decls of gimple
        locals "loop_phi" and "close_phi" are replaced with decls of gimple
        "loop_stmt" and "close_stmt", with decls of the more-strongly typed
        gimple_phi "loop_phi" and "close_phi" occurring lower down, within
        the region where we're dealing with i > 0 and hence where we can
        safely assign them using the checked cast as_a <gimple_phi>.
        This allows many of the strengthenings from gimple to gimple_phi
        above.  We eliminate the local "stmt", since we can simply use
        "loop_stmt".
        (rewrite_commutative_reductions_out_of_ssa_close_phi): Strengthen
        param "close_phi" from gimple to gimple_phi, and local "gsi" from
        gimple_stmt_iterator to gimple_phi_iterator, converting uses of
        gsi_stmt to gsi.phi for type-safety.
        (scop_ivs_can_be_represented): Strengthen local "gsi" from
        gimple_stmt_iterator to gimple_phi_iterator, and "phi" from gimple
        to gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_phi_arg_set_location require a gimple_phi

        * gimple.h (gimple_phi_arg_set_location): Require a gimple_phi
        rather than a plain gimple.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make add_phi_arg require a gimple_phi

        * tree-phinodes.h (add_phi_arg): Require a gimple_phi rather than
        a plain gimple.
        * tree-phinodes.c (add_phi_arg): Likewise.

        * gimple-ssa-strength-reduction.c (create_phi_basis): Strengthen
        local "phi" from plain gimple to gimple_phi.

        * graphite-scop-detection.c (canonicalize_loop_closed_ssa):
        Likewise for "close_phi".

        * ipa-split.c (split_function): Convert "psi" to
        gimple_phi_iterator.

        * omp-low.c (expand_omp_for_static_nochunk): Introduce
        gimple_phi_iterator gpi, using it to strengthen "phi" to be a
        gimple_phi.
        (expand_omp_for_static_chunk): Likewise.

        * tree-cfg.c (gimple_duplicate_bb): Make topmost "gsi" decl more
        tightly-scoped, and eliminate decls "phis", "phi", "stmt", "copy"
        in favor of more tightly-scoped gimple_phi_iterator gpi and
        gimple_phi decls "phi" and "copy", and gimple decls "stmt" and
        "copy".

        * tree-parloops.c (create_parallel_loop): Introduce
        gimple_phi_iterator gpi, using it to strengthen "phi" to be a
        gimple_phi.

        * tree-ssa-loop-im.c (execute_sm_if_changed): Likewise.

        * tree-ssa-loop-manip.c (create_iv): Split out new gimple_phi
        local "phi" from "stmt", and convert the latter into being a
        gimple_assign.

        * tree-ssa-pre.c (insert_into_preds_of_block): Strengthen local
        "phi" to be a gimple_phi.

        * tree-ssa-tail-merge.c (vop_phi): Require a gimple_phi rather
        than a plain gimple.
        (replace_block_by): Strengthen local "bb2_phi" to be a gimple_phi.

        * tree-tailcall.c (add_successor_phi_arg): Use gsi.phi when
        invoking add_phi_arg.
        (eliminate_tail_call): Introduce gimple_phi_iterator gpi, using it
        to strengthen "phi" to be a gimple_phi.
        (create_tailcall_accumulator): Strengthen local "phi" to be a
        gimple_phi.
        (tree_optimize_tail_calls_1): Likewise.

        * tree-vect-data-refs.c (vect_setup_realignment): Strengthen
        local "phi_stmt" to be a gimple_phi.

        * tree-vect-loop-manip.c (slpeel_tree_duplicate_loop_to_edge_cfg):
        Strengthen "gsi", "gsi_orig", "gsi_new" to be
        gimple_phi_iterators, and "phi" "orig_phi", "new_phi" to be
        gimple_phi instances.
        (slpeel_tree_peel_loop_to_edge): Strengthen local "new_phi" to be
        a gimple_phi.

        * tree-vect-loop.c (get_initial_def_for_induction): Likewise for
        "induction_phi".
        (vect_create_epilog_for_reduction): Add checked casts to
        gimple_phi; strengthen local "outer_phi" to gimple_phi and
        "new_vec_stmt" to gimple_assign.
        (vect_finalize_reduction): Strengthen local "vect_phi" to
        gimple_phi.
        (vectorizable_reduction): Likewise for "new_phi".

        * tree-vect-stmts.c (vectorizable_simd_clone_call): Likewise.
        (vectorizable_load): Likewise for "phi".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Make gimple_phi_arg_def_ptr and gimple_phi_arg_has_location require a gimple_phi

        * gimple.h (gimple_phi_arg_def_ptr): Require a gimple_phi rather
        than a plain gimple.
        (gimple_phi_arg_has_location): Likewise.

        * gimple-streamer-in.c (input_phi): Return a gimple_phi rather
        than a plain gimple.
        * gimple-streamer-out.c (output_phi): Require a gimple_phi rather
        than a plain gimple.
        (output_bb): Convert iteration to a gimple_phi_iterator, and local
        "phi" to gimple_phi.

        * omp-low.c (expand_omp_for_static_chunk): Convert iterator "psi"
        to a gimple_phi_iterator; convert locals "phi" and "nphi" to be
        gimple_phi.

        * tree-cfg.c (gimple_duplicate_sese_tail): Likewise for "psi" and
        "phi".
        (move_block_to_fn): Introduce new gimple_phi_iterator "psi", using
        it in place of "gsi" where necessary.  Convert "phi" to be a
        gimple_phi.

        * tree-cfgcleanup.c (remove_forwarder_block): Likewise.

        * tree-vect-loop-manip.c (vect_loop_versioning): Convert "gsi" to
        a gimple_phi_iterator, and "orig_phi" and "new_phi" to be
        gimple_phi.

        * tree.c (find_decls_types_in_node): Introduce new
        gimple_phi_iterator "psi", using it in place of "si" where
        necessary.  Convert "phi" to be a gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        omp-low.c: Use more concrete types of gimple statement for various locals

        * omp-low.c (finalize_task_copyfn): Strengthen local "bind" from
        plain gimple to gimple_bind.
        (lower_rec_input_clauses): Strengthen local "g" from
        plain gimple to gimple_assign.
        (lower_lastprivate_clauses): Likewise for "stmt" to gimple_cond
        and "g" to gimple_call.
        (expand_omp_for_init_vars): Likewise, for two decls of "stmt" to
        gimple_assign.
        (expand_omp_atomic_pipeline): Likewise for one decl of "stmt".
        (expand_omp_atomic_mutex): Likewise.
        (lower_omp_master): Likewise for "x" to gimple_call.
        (lower_omp_ordered): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-parloops.c: Use gimple_phi in various places

        * tree-parloops.c (reduction_info::keep_res): Strengthen field
        from plain gimple to gimple_phi.
        (transform_to_exit_first_loop): Strengthen locals "phi", "nphi"
        to gimple_phi.  Eliminate early decl of gimple_stmt_iterator gsi
        in favor of more tightly scoped gimple_phi_iterators, and a final
        later decl as a gimple_stmt_iterator.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_sections

        * coretypes.h (gimple_omp_sections): New typedef.
        (const_gimple_omp_sections): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_sections): Require a
        gimple_omp_sections rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_sections within
        GIMPLE_OMP_SECTIONS case of switch statement.

        * gimple.c (gimple_build_omp_sections): Return a
        gimple_omp_sections rather than a plain gimple.

        * gimple.h (gimple_build_omp_sections): Return a
        gimple_omp_sections rather than a plain gimple.

        * omp-low.c (scan_omp_sections): Require a gimple_omp_sections
        rather than a plain gimple.
        (scan_omp_1_stmt): Add checked cast to gimple_omp_sections within
        GIMPLE_OMP_SECTIONS case of switch statement.
        (expand_omp_sections): Strengthen local "sections_stmt" from gimple
        to gimple_omp_sections.
        (lower_omp_sections): Likewise for "stmt".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_teams

        * coretypes.h (gimple_omp_teams): New typedef.
        (const_gimple_omp_teams): New typedef.

        * gimple.h (gimple_build_omp_teams): Return a gimple_omp_teams
        rather than a plain gimple.
        (gimple_omp_teams_set_clauses): Require a gimple_omp_teams rather
        than a plain gimple.

        * gimple-pretty-print.c (dump_gimple_omp_teams): Require a
        gimple_omp_teams rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_teams within
        GIMPLE_OMP_TEAMS case of switch statement.

        * gimple.c (gimple_build_omp_teams): Return a gimple_omp_teams
        rather than a plain gimple.

        * omp-low.c (scan_omp_teams): Likewise.
        (scan_omp_1_stmt): Add checked cast to gimple_omp_teams within
        GIMPLE_OMP_TEAMS case of switch statement.
        (lower_omp_teams): Strengthen local "teams_stmt" from gimple to
        gimple_omp_teams.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_target

        * coretypes.h (gimple_omp_target): New typedef.
        (const_gimple_omp_target): New typedef.

        * gimple.h (gimple_build_omp_target): Return a gimple_omp_target
        rather than a plain gimple.
        (gimple_omp_target_set_clauses): Require a gimple_omp_target
        rather than a plain gimple.
        (gimple_omp_target_set_kind): Likewise.
        (gimple_omp_target_child_fn_ptr): Likewise.
        (gimple_omp_target_set_child_fn): Likewise.
        (gimple_omp_target_data_arg_ptr): Likewise.
        (gimple_omp_target_set_data_arg): Likewise.
        (gimple_omp_target_child_fn): Require a const_gimple_omp_target
        rather than a plain const_gimple.
        (gimple_omp_target_data_arg): Likewise.

        * gimple-pretty-print.c (dump_gimple_omp_target): Require a
        gimple_omp_target rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_target within
        GIMPLE_OMP_TARGET case of switch statement.

        * gimple.c (gimple_build_omp_target): Return a gimple_omp_target
        rather than a plain gimple.

        * gimplify.c (gimplify_omp_target_update): Strengthen local "stmt"
        from gimple to gimple_omp_target.

        * omp-low.c (scan_omp_target): Require a gimple_omp_target rather
        than a plain gimple.
        (scan_omp_1_stmt): Add checked cast to gimple_omp_target within
        GIMPLE_OMP_TARGET case of switch statement.
        (expand_omp_target): Strengthen local "entry_stmt" from gimple to
        gimple_omp_target.
        (lower_omp_target): Likewise for "stmt".

        * tree-nested.c (convert_nonlocal_reference_stmt): Add checked
        cast to gimple_omp_target.
        (convert_local_reference_stmt): Likewise.
        (convert_gimple_call): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_single

        * coretypes.h (gimple_omp_single): New typedef.
        (const_gimple_omp_single): New typedef.

        * gimple.h (gimple_build_omp_single): Return a gimple_omp_single
        rather than a plain gimple.
        (gimple_omp_single_set_clauses): Require a gimple_omp_single
        rather than a plain gimple.

        * gimple-pretty-print.c (dump_gimple_omp_single): Require a
        gimple_omp_single rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_single within
        GIMPLE_OMP_SINGLE case of switch statement.

        * gimple.c (gimple_build_omp_single): Return a gimple_omp_single
        rather than a plain gimple.

        * omp-low.c (scan_omp_single): Require a gimple_omp_single rather
        than a plain gimple.
        (scan_omp_1_stmt): Add checked cast to gimple_omp_single within
        GIMPLE_OMP_SINGLE case of switch statement.
        (lower_omp_single_simple): Require a gimple_omp_single rather
        than a plain gimple.
        (lower_omp_single_copy): Likewise.
        (lower_omp_single): Strengthen local "single_stmt" from gimple to
        gimple_omp_single.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_task

        * coretypes.h (gimple_omp_task): New typedef.
        (const_gimple_omp_task): New typedef.

        * gimple.h (gimple_build_omp_task): Return a gimple_omp_task
        rather than a plain gimple.

        * gimple-pretty-print.c (dump_gimple_omp_task): Require a
        gimple_omp_task rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_task within
        GIMPLE_OMP_TASK case of switch statement.

        * gimple.c (gimple_build_omp_task): Return a gimple_omp_task
        rather than a plain gimple.

        * omp-low.c (finalize_task_copyfn): Require a gimple_omp_task
        rather than a plain gimple.
        (delete_omp_context): Add checked cast to gimple_omp_task.
        (scan_omp_task): Strengthen local "stmt" from gimple to
        gimple_omp_task.
        (expand_task_call): Require a gimple_omp_task rather than a plain
        gimple.
        (expand_omp_taskreg): Add checked cast to gimple_omp_task.
        (create_task_copyfn): Require a gimple_omp_task rather than a
        plain gimple.
        (lower_omp_taskreg): Add checked cast to gimple_omp_task.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-cfg.c: Make verify_gimple_call require a gimple_call

        * tree-cfg.c (verify_gimple_call): Require a gimple_call rather
        than a plain gimple.
        (verify_gimple_stmt): Add checked cast to gimple_call within
        GIMPLE_CALL case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_parallel

        * coretypes.h (gimple_omp_parallel): New typedef.
        (const_gimple_omp_parallel): New typedef.

        * cgraphbuild.c (build_cgraph_edges): Convert check of code
        against GIMPLE_OMP_PARALLEL to a dyn_cast <gimple_omp_parallel>
        and new local.

        * gimple-pretty-print.c (dump_gimple_omp_parallel): Require a
        gimple_omp_parallel rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_parallel
        within GIMPLE_OMP_PARALLEL case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise, introducing a local.

        * gimple.c (gimple_build_omp_parallel): Return a
        gimple_omp_parallel rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_omp_parallel within
        GIMPLE_OMP_PARALLEL case of switch statement, introducing locals.

        * gimple.h (gimple_build_omp_parallel): Return a
        gimple_omp_parallel rather than a plain gimple.
        (gimple_omp_parallel_clauses_ptr): Require a gimple_omp_parallel
        rather than a plain gimple.
        (gimple_omp_parallel_set_clauses): Likewise.
        (gimple_omp_parallel_data_arg_ptr): Likewise.
        (gimple_omp_parallel_set_data_arg): Likewise.
        (gimple_omp_parallel_child_fn_ptr): Likewise.
        (gimple_omp_parallel_set_child_fn): Likewise.
        (gimple_omp_parallel_child_fn): Require a
        const_gimple_omp_parallel rather than a plain const_gimple.
        (gimple_omp_parallel_data_arg): Likewise.

        * omp-low.c (scan_omp_parallel): Strengthen local "stmt" from
        gimple to gimple_omp_parallel.
        (expand_parallel_call): Require a gimple_omp_parallel for
        "entry_stmt" rather than a plain gimple.
        (remove_exit_barrier):  Strengthen local "parallel_stmt" from
        gimple to gimple_omp_parallel.
        (expand_omp_taskreg): Add checked casts to gimple_omp_parallel.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_omp_parallel within GIMPLE_OMP_PARALLEL case of switch
        statement, introducing local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_for

        * coretypes.h (gimple_omp_for): New.
        (const_gimple_omp_for): New.

        * gimple.h (gimple_build_omp_for): Return a gimple_omp_for rather
        than a plain gimple.
        (gimple_omp_for_set_kind): Require a gimple_omp_for rather than a
        plain gimple.
        (gimple_omp_for_set_combined_p): Likewise.
        (gimple_omp_for_set_combined_into_p): Likewise.

        * gimple-pretty-print.c (dump_gimple_omp_for): Require a
        gimple_omp_for rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_for in
        GIMPLE_OMP_FOR case of switch statement.

        * gimple.c (gimple_build_omp_for): Return a gimple_omp_for rather
        than a plain gimple.
        (gimple_copy): Add a checked cast to gimple_omp_for and a new local.

        * gimplify.c (gimplify_omp_for): Strengthen local "gfor" from
        gimple to gimple_omp_for.

        * omp-low.c (omp_for_data::for_stmt): Strengthen field from gimple
        to gimple_omp_for.
        (extract_omp_for_data): Require a gimple_omp_for rather than a
        plain gimple.
        (workshare_safe_to_combine_p): Add a checked cast to
        gimple_omp_for.
        (get_ws_args_for): Convert check of code against GIMPLE_OMP_FOR
        with a dyn_cast<gimple_omp_for> and a new local.
        (scan_omp_parallel): Add a checked cast to gimple_omp_for and a
        new local.
        (scan_omp_for): Require a gimple_omp_for rather than a plain
        gimple.
        (scan_omp_1_stmt): Add a checked cast to gimple_omp_for in
        GIMPLE_OMP_FOR case of switch statement.
        (expand_omp_for): Add a checked cast to gimple_omp_for.
        (lower_omp_for): Strengthen local "stmt" from gimple to
        gimple_omp_for.

        * tree-nested.c (walk_gimple_omp_for): Require a gimple_omp_for
        rather than a plain gimple.
        (convert_nonlocal_reference_stmt): Add a checked cast to
        gimple_omp_for in GIMPLE_OMP_FOR case of switch statement.
        (convert_local_reference_stmt): Likewise.

        * tree-parloops.c (create_parallel_loop): Strengthen local
        "for_stmt" from gimple to gimple_omp_for.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_critical

        * coretypes.h (gimple_omp_critical): New typedef.
        (const_gimple_omp_critical): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_critical): Require a
        gimple_omp_critical rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_critical
        within GIMPLE_OMP_CRITICAL case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise.

        * gimple.c (gimple_build_omp_critical): Return a gimple_omp_critical
        rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_omp_critical
        within GIMPLE_OMP_CRITICAL case of switch statement.

        * gimple.h (gimple_debug): Likewise.
        (gimple_build_omp_critical): Return a gimple_omp_critical rather
        than a plain gimple.
        (gimple_omp_critical_name): Require a const_gimple_omp_critical
        rather than a plain const_gimple.
        (gimple_omp_critical_name_ptr): Require a gimple_omp_critical
        rather than a plain gimple.
        (gimple_omp_critical_set_name): Likewise.

        * omp-low.c (check_omp_nesting_restrictions): Add a checked cast
        to gimple_omp_critical within GIMPLE_OMP_CRITICAL case of switch
        statement, introducing a new local "other_crit" for type-safety.
        (lower_omp_critical): Strengthen local "stmt" to
        gimple_omp_critical.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_omp_critical within GIMPLE_OMP_CRITICAL case of switch
        statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_continue

        * coretypes.h (gimple_omp_continue): New typedef.
        (const_gimple_omp_continue): New typedef.

        * gimple.h (gimple_build_omp_continue): Return a
        gimple_omp_continue rather than a plain gimple.
        (gimple_omp_continue_control_def): Require a
        const_gimple_omp_continue rather than a plain const_gimple.
        (gimple_omp_continue_control_use): Likewise.
        (gimple_omp_continue_control_def_ptr): Require a gimple_omp_continue
        rather than a plain gimple.
        (gimple_omp_continue_set_control_def): Likewise.
        (gimple_omp_continue_control_use_ptr): Likewise.
        (gimple_omp_continue_set_control_use): Likewise.

        * gimple-pretty-print.c (dump_gimple_omp_continue): Require a
        gimple_omp_continue rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_continue
        within GIMPLE_OMP_CONTINUE case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise, adding a new local.

        * gimple.c (gimple_build_omp_continue): Return a
        gimple_omp_continue rather than a plain gimple.

        * omp-low.c (gimple_build_cond_empty): Return a gimple_cond
        rather than a plain gimple.
        (expand_omp_for_generic): Split local "stmt" into "assign_stmt",
        "cont_stmt", "cond_stmt", "call_stmt" of types gimple_assign,
        gimple_omp_continue, gimple_cond, gimple_call respectively.
        (expand_omp_for_static_nochunk): Likewise, splitting into two
        "cond_stmt" decls. "assign_stmt", "cont_stmt"
        (expand_omp_for_static_chunk): Likewise, splitting into
        "cond_stmt", "assign_stmt", "cont_stmt".
        (expand_omp_sections): Strengthen local "cont" from gimple to
        gimple_omp_continue.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_atomic_store

        * coretypes.h (gimple_omp_atomic_store): New typedef.
        (const_gimple_omp_atomic_store): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_atomic_store): Require
        a gimple_omp_atomic_store rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_atomic_store
        within GIMPLE_OMP_ATOMIC_STORE case of switch statement.
        * gimple-walk.c (walk_gimple_op): Likewise.

        * gimple.c (gimple_build_omp_atomic_store): Return a
        gimple_omp_atomic_store rather than a plain gimple.

        * gimple.h (gimple_build_omp_atomic_store): Return a
        gimple_omp_atomic_store rather than a plain gimple.
        (gimple_omp_atomic_store_set_val): Require a gimple_omp_atomic_store
        rather than a plain gimple.
        (gimple_omp_atomic_store_val_ptr): Likewise.
        (gimple_omp_atomic_store_val): Require a
        const_gimple_omp_atomic_store rather than a plain const_gimple.

        * gimplify.c (gimplify_omp_atomic): Strengthen locals "loadstmt" and
        "storestmt" from gimple to gimple_omp_atomic_load loadstmt and
        gimple_omp_atomic_store storestmt respectively.

        * omp-low.c (expand_omp_atomic): Strengthen local "store" from
        gimple to gimple_omp_atomic_store.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_atomic_load

        * coretypes.h (gimple_omp_atomic_load): New typedef.
        (const_gimple_omp_atomic_load): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_atomic_load): Require a
        gimple_omp_atomic_load rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_atomic_load
        within GIMPLE_OMP_ATOMIC_LOAD case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise, introducing a new local.

        * gimple.c (gimple_build_omp_atomic_load): Return a
        gimple_omp_atomic_load rather than a plain gimple.

        * gimple.h (gimple_build_omp_atomic_load): Return a
        gimple_omp_atomic_load rather than a plain gimple.
        (gimple_omp_atomic_load_set_lhs): Require a
        gimple_omp_atomic_load rather than a plain gimple.
        (gimple_omp_atomic_load_lhs_ptr): Likewise.
        (gimple_omp_atomic_load_set_rhs): Likewise.
        (gimple_omp_atomic_load_rhs_ptr): Likewise.
        (gimple_omp_atomic_load_lhs): Require a
        const_gimple_omp_atomic_load rather than a plain const_gimple.
        (gimple_omp_atomic_load_rhs): Likewise.

        * gimplify-me.c (gimple_regimplify_operands): Add a checked cast
        to gimple_omp_atomic_load within GIMPLE_OMP_ATOMIC_LOAD case of
        switch statement.

        * omp-low.c (expand_omp_atomic): Strengthen type of local "load"
        from gimple to gimple_omp_atomic_load.
        (lower_omp_1): Add a checked cast to gimple_omp_atomic_load within
        GIMPLE_OMP_ATOMIC_LOAD case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Use more concrete types for various gimple statements

        * cgraphunit.c (thunk_adjust): Strengthen local "stmt" from gimple
        to gimple_assign.

        * gimple-ssa-isolate-paths.c
        (insert_trap_and_remove_trailing_statements): Strengthen local
        "new_stmt" from gimple to gimple_call.

        * gimple-ssa-strength-reduction.c (replace_mult_candidate):
        Strengthen local "copy_stmt" from gimple to gimple_assign.
        (create_add_on_incoming_edge): Likewise, for "new_stmt".
        (insert_initializers): Likewise, for "init_stmt".
        (introduce_cast_before_cand): Likewise, for "cast_stmt".
        (replace_one_candidate): Likewise, for "copy_stmt" and
        "cast_stmt".

        * gimplify.c (build_stack_save_restore): Require gimple_calls
        rather than plain gimples.
        (gimplify_bind_expr): Strengthen locals "stack_save" and
        "stack_restore" from gimple to gimple_call.  Strengthen "gs"
        to gimple_try.
        (gimplify_switch_expr): Strengthen local "gimple_switch" from
        gimple to gimple_switch, and "new_default" to gimple_label.
        (gimplify_cond_expr): Strengthen local "gimple_cond" from gimple
        to gimple_cond.
        (gimplify_init_constructor): Strengthen local "init" from gimple
        to gimple_assign.
        (gimplify_cleanup_point_expr): Strengthen local "gtry" from gimple
        to gimple_try.
        (gimple_push_cleanup): Strengthen locals "ffalse" and "ftrue" from
        gimple to gimple_assign.

        * tree-eh.c (do_goto_redirection): Strengthen local to gimple_goto.
        (emit_post_landing_pad): Strengthen local to gimple_label.

        * tree-outof-ssa.c (insert_backedge_copies): Strengthen local
        "stmt" from gimple to gimple_assign.

        * tree-parloops.c (take_address_of): Likewise.

        * tree-predcom.c (replace_ref_with): Likewise, for "new_stmt".
        (initialize_root_vars_lm): Likewise, for "init_stmt".
        (reassociate_to_the_same_stmt): Likewise, for "new_stmt" and "tmp_stmt".

        * tree-profile.c (gimple_gen_edge_profiler): Likewise, for "stmt1",
        "stmt2", "stmt3".
        (gimple_gen_ic_profiler): Likewise.
        (gimple_gen_ic_func_profiler): Strengthen local "stmt1" from
        gimple to gimple_call, and "stmt2" to gimple_assign.

        * tree-scalar-evolution.c (scev_const_prop): Strengthen local
        "ass" from gimple to gimple_assign.

        * tree-sra.c (build_ref_for_offset): Likewise for "stmt".
        (generate_subtree_copies): Likewise; also strengthen "ds" to
        gimple_debug.
        (init_subtree_with_zero): Likewise.
        (sra_modify_expr): Likewise.
        (load_assign_lhs_subreplacements): Likewise.
        (sra_modify_assign): Strengthen "ds" to gimple_debug.
        (sra_ipa_reset_debug_stmts): Likewise for "def_temp".

        * tree-ssa-ccp.c (insert_clobber_before_stack_restore):
        Strengthen local "clobber_stmt" from gimple to gimple_assign.

        * tree-ssa-dce.c (remove_dead_stmt): Strengthen "note" to
        gimple_debug.

        * tree-ssa-dom.c (record_equivalences_from_stmt): Strengthen
        local "new_stmt" from gimple to gimple_assign.
        (optimize_stmt): Likewise.

        * tree-ssa-forwprop.c (simplify_bitwise_binary): Likewise for
        4 declarations of "newop".
        (simplify_rotate): Likewise for "g".

        * tree-ssa-loop-im.c (rewrite_reciprocal): Likewise for 3 locals.
        (rewrite_bittest): Likewise for "stmt" and "stmt2".
        (move_computations_dom_walker::before_dom_children): Likewise for
        "new_stmt".
        (execute_sm): Likewise for "load" and "store".

        * tree-ssa-loop-ivcanon.c (remove_exits_and_undefined_stmts):
        Strengthen local "stmt" from gimple to gimple_call.
        (unloop_loops): Likewise.

        * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Strengthen
        local "ass" from gimple to gimple_assign.
        (remove_unused_ivs): Strengthen "def_temp" to gimple_debug.

        * tree-ssa-loop-manip.c (rewrite_phi_with_iv): Strengthen local "stmt"
        from gimple to gimple_assign.

        * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Strengthen local
        "prefetch" from gimple to gimple_call.

        * tree-ssa-math-opts.c (insert_reciprocals): Strengthen local
        "new_stmt" from gimple to gimple_assign.
        (powi_as_mults_1): Likewise for "mult_stmt".
        (powi_as_mults): Likewise for "div_stmt".
        (build_and_insert_binop): Likewise for "stmt".
        (build_and_insert_cast): Likewise.
        (pass_cse_sincos::execute): Likewise for "stmt" and various decls
        of "new_stmt".
        (convert_mult_to_fma): Likewise for "fma_stmt".

        * tree-ssa-phiopt.c (conditional_replacement): Likewise for "new_stmt".
        (abs_replacement): Likewise.

        * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise for "tmp".

        * tree-ssa-pre.c (create_expression_by_pieces): Likewise for "newstmt".
        (eliminate_insert): Likewise for "tem".

        * tree-ssa-propagate.c (update_gimple_call): Strengthen locals
        "new_stmt" and "stmt" from gimple to gimple_call.
        (update_call_from_tree): Likewise for "new_stmt".

        * tree-ssa-reassoc.c (build_and_add_sum): Likewise for "sum".
        (update_ops): Likewise for "g".
        (maybe_optimize_range_tests): Likewise.
        (rewrite_expr_tree_parallel): Require a gimple_assign rather than
        a plain gimple.
        (reassociate_bb): Add a checked cast to gimple_assign.

        * tree-ssa.c (insert_debug_temp_for_var_def): Strengthen local
        "def_temp" from gimple to gimple_debug.

        * tree-switch-conversion.c (emit_case_bit_tests): Strengthen local
        "shift_stmt" from gimple to gimple_assign.

        * tree-tailcall.c (adjust_return_value_with_ops): Likewise for
        "stmt".
        (update_accumulator_with_ops): Likewise.

        * tree-vect-data-refs.c (bump_vector_ptr): Likewise for
        "incr_stmt".

        * tree-vect-stmts.c (vectorizable_condition): Likewise for
        "new_stmt".

        * tree-vrp.c (build_assert_expr_for): Likewise for "assertion".
        (simplify_truth_ops_using_ranges): Likewise for "newop".
        (simplify_float_conversion_using_ranges): Likewise for "conv".

        * ubsan.c (instrument_mem_ref): Strengthen local "g" from gimple
        to gimple_call.

        * value-prof.c (gimple_divmod_fixed_value): Require a
        gimple_assign rather than a plain gimple; strengthen types of locals.
        (gimple_mod_pow2): Likewise.
        (gimple_mod_subtract): Likewise.
        (gimple_divmod_fixed_value_transform): Strengthen local
        "stmt" from gimple to gimple_assign.
        (gimple_mod_pow2_value_transform): Likewise.
        (gimple_mod_subtract_transform): Likewise.
        (gimple_ic): Strengthen types of locals.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_try

        * coretypes.h (gimple_try): New typedef.
        (const_gimple_try): New typedef.

        * gimple-low.c (gimple_try_catch_may_fallthru): Require a
        gimple_try rather than a plain gimple.
        (gimple_stmt_may_fallthru): Add checked cast to gimple_try.

        * gimple-pretty-print.c (dump_gimple_try): Require a gimple_try
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_try within
        GIMPLE_TRY case of switch statement.

        * tree-eh.c (finally_tree_node::parent): Strengthen field from
        gimple to gimple_try.
        (record_in_finally_tree): Require a gimple_try rather than a plain
        gimple.
        (collect_finally_tree): Likewise.
        (collect_finally_tree_1): Likewise.
        (struct leh_tf_state::try_finally_expr): Strengthen field from
        gimple to gimple_try.
        (struct leh_tf_state::top_p): Likewise.
        (lower_eh_must_not_throw): Require a gimple_try rather than a
        plain gimple.
        (frob_into_branch_around): Likewise.
        (lower_try_finally_dup_block): Strengthen local from gimple to
        gimple_try.
        (honor_protect_cleanup_actions): Split out uses of "x" into new
        locals "eh_mnt" and "try_stmt" with stronger types.
        (lower_try_finally): Require a gimple_try rather than a plain
        gimple.
        (lower_catch): Likewise.
        (lower_eh_filter): Likewise.
        (lower_eh_must_not_throw): Likewise.
        (lower_cleanup): Likewise.
        (lower_eh_constructs_2): Add checked cast to gimple_try within
        GIMPLE_TRY case of switch statement, introducing new local
        "try_stmt", using it for type-safety.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Use subclasses of gimple in various places

        * asan.c (insert_if_then_before_iter): Require a gimple cond
        rathern than a plain gimple.
        (asan_expand_check_ifn): Add a checked cast to gimple_cond.

        * cfgloopmanip.c (create_empty_if_region_on_edge): Likewise.

        * omp-low.c (simd_clone_adjust): Strengthen local from gimple
        to gimple_phi.

        * sese.c (set_ifsese_condition): Strengthen local from gimple to
        gimple_cond.

        * tree-call-cdce.c (gen_one_condition): Strengthen locals from
        gimple to gimple_assign and gimple_cond.

        * tree-ssa-phiopt.c (minmax_replacement): Likewise.
        (cond_store_replacement): Strengthen locals from gimple to
        gimple_phi and gimple_assign.
        (cond_if_else_store_replacement_1): Likewise.

        * tree-ssa-pre.c (do_regular_insertion): Strengthen local from
        gimple to gimple_assign.

        * tree-switch-conversion.c (hoist_edge_and_branch_if_true):
        Strengthen local from gimple to gimple_cond.
        (gen_def_assigns): Return a gimple_assign rather than a plain
        gimple.
        (gen_inbound_check): Strengthen locals from gimple to gimple_cond
        and gimple_assign.

        * tree-vect-loop-manip.c (slpeel_add_loop_guard): Strengthen local
        from gimple to gimple_cond.
        (set_prologue_iterations): Strengthen locals from gimple to
        gimple_phi and gimple_cond.

        * value-prof.c (gimple_ic): Strengthen local from gimple to
        gimple_phi.
        (gimple_stringop_fixed_value): Strengthen locals from gimple to
        gimple_assign, gimple_cond, gimple_call, and gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_dispatch

        * coretypes.h (gimple_eh_dispatch): New typedef.
        (const_gimple_eh_dispatch): New typedef.

        * gimple-pretty-print.c (dump_gimple_eh_dispatch): Require a
        gimple_eh_dispatch rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_eh_dispatch
        within GIMPLE_EH_DISPATCH case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Likewise.

        * gimple-streamer-out.c (output_gimple_stmt): Likewise.

        * gimple.c (gimple_build_eh_dispatch): Return a gimple_eh_dispatch
        rather than a plain gimple.

        * gimple.h (gimple_build_eh_dispatch): Return a gimple_eh_dispatch
        rather than a plain gimple.
        (gimple_eh_dispatch_region): Require a const_gimple_eh_dispatch
        rather than a plain const_gimple.
        (gimple_eh_dispatch_set_region): Require a gimple_eh_dispatch
        rather than a plain gimple.

        * tree-cfg.c (make_edges): Add a checked cast to gimple_eh_dispatch
        within GIMPLE_EH_DISPATCH case of switch statement.
        (gimple_verify_flow_info): Likewise.
        (gimple_redirect_edge_and_branch): Likewise.
        (move_stmt_r): Likewise, adding a local.

        * tree-eh.c (emit_eh_dispatch): Convert local from gimple to
        gimple_eh_dispatch.
        (make_eh_dispatch_edges): Require a gimple_eh_dispatch rather than
        a plain gimple.
        (redirect_eh_dispatch_edge): Likewise.
        (lower_eh_dispatch): Likewise.
        (execute_lower_eh_dispatch): Add a checked cast to
        gimple_eh_dispatch.
        (mark_reachable_handlers): Likewise.
        (verify_eh_dispatch_edge): Require a gimple_eh_dispatch rather
        than a plain gimple.

        * tree-eh.h (make_eh_dispatch_edges): Likewise.
        (redirect_eh_dispatch_edge): Likewise.
        (verify_eh_dispatch_edge): Likewise.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_eh_dispatch within GIMPLE_EH_DISPATCH case of switch
        statement, adding a local.
        (copy_edges_for_bb): Add a checked cast to gimple_eh_dispatch.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_resx

        * coretypes.h (gimple_resx): New typedef.
        (const_gimple_resx): New typedef.

        * gimple.h (gimple_build_resx): Return a gimple_resx rather than a
        plain gimple.
        (gimple_resx_region): Require a const_gimple_resx rather than a
        plain const_gimple.
        (gimple_resx_set_region): Require a gimple_resx rather than a
        plain gimple.

        * gimple-pretty-print.c (dump_gimple_resx): Require a gimple_resx
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_resx within
        GIMPLE_RESX case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Likewise.

        * gimple-streamer-out.c (output_gimple_stmt): Likewise.

        * gimple.c (gimple_build_resx): Return a gimple_resx rather than
        a plain gimple.

        * tree-cfg.c (move_stmt_r): Add a checked cast to gimple_resx
        within GIMPLE_RESX case of switch statement, adding a new local.

        * tree-eh.c (emit_resx): Convert local "x" from gimple to
        gimple_resx.
        (lower_resx): Require a gimple_resx rather than a plain gimple.
        (pass_lower_resx::execute): Add a checked cast to gimple_resx.
        (mark_reachable_handlers): Likewise.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_resx within GIMPLE_RESX case of switch statement, adding
        a new local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_else

        * coretypes.h (gimple_eh_else): New typedef.
        (const_gimple_eh_else): New typedef.

        * gimple.h (gimple_build_eh_else): Return a gimple_eh_else rather
        than a plain gimple.
        (gimple_eh_else_n_body_ptr): Require a gimple_eh_else rather than
        a plain gimple.
        (gimple_eh_else_n_body): Likewise.
        (gimple_eh_else_e_body_ptr): Likewise.
        (gimple_eh_else_e_body): Likewise.
        (gimple_eh_else_set_n_body): Likewise.
        (gimple_eh_else_set_e_body): Likewise.

        * gimple-low.c (lower_stmt): Add checked cast to gimple_eh_else
        within GIMPLE_EH_ELSE case of switch statement, introducing a new
        local.
        (gimple_stmt_may_fallthru): Likewise.

        * gimple-pretty-print.c (dump_gimple_eh_else): Require a
        gimple_eh_else rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_eh_else within
        GIMPLE_EH_ELSE case of switch statement

        * gimple-walk.c (walk_gimple_stmt): Add checked cast to
        gimple_eh_else within GIMPLE_EH_ELSE case of switch statement,
        introducing a new local.

        * gimple.c (gimple_build_eh_else): Return a gimple_eh_else
        rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_eh_else within
        GIMPLE_EH_ELSE case of switch statement, introducing new locals.

        * tree-cfg.c (verify_gimple_in_seq_2): Add checked cast to
        gimple_eh_else within GIMPLE_EH_ELSE case of switch statement,
        introducing a new local.

        * tree-eh.c (collect_finally_tree): Likewise.
        (replace_goto_queue_1): Likewise.
        (get_eh_else): Return a gimple_eh_else rather than a plain gimple.
        (honor_protect_cleanup_actions): Convert local "eh_else" from
        gimple to gimple_eh_else.
        (lower_try_finally_nofallthru): Likewise.
        (lower_try_finally_onedest): Introduce locals "eh_else" and
        "label_stmt", using them in favor of "x" for the gimple_eh_else
        and the gimple_label.
        (lower_try_finally_copy): Convert local "eh_else" from gimple to
        gimple_eh_else.
        (lower_try_finally_switch): Likewise.
        (decide_copy_try_finally): Likewise.
        (refactor_eh_r): Add checked cast to gimple_eh_else within
        GIMPLE_EH_ELSE case of switch statement, introducing a new local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_must_not_throw

        * coretypes.h (gimple_eh_must_not_throw): New typedef.
        (const_gimple_eh_must_not_throw): New typedef.

        * gimple-pretty-print.c (dump_gimple_eh_must_not_throw): Require
        a gimple_eh_must_not_throw rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_eh_must_not_throw
        within GIMPLE_EH_MUST_NOT_THROW case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Likewise.

        * gimple-streamer-out.c (output_gimple_stmt): Likewise.

        * gimple.c (gimple_build_eh_must_not_throw): Return a
        gimple_eh_must_not_throw rather than a plain gimple.

        * gimple.h (gimple_build_eh_must_not_throw): Return a
        gimple_eh_must_not_throw rather than a plain gimple.
        (gimple_eh_must_not_throw_fndecl): Require a
        gimple_eh_must_not_throw rather than a plain gimple.
        (gimple_eh_must_not_throw_set_fndecl): Likewise.

        * tree-eh.c (lower_eh_must_not_throw): Add checked cast.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_filter

        * coretypes.h (gimple_eh_filter): New typedef.
        (const_gimple_eh_filter): New typedef.

        * gimple.h (gimple_build_eh_filter): Return a gimple_eh_filter
        rather than a plain gimple.

        * gimple-pretty-print.c (dump_gimple_eh_filter): Require a
        gimple_eh_filter rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_eh_filter within
        GIMPLE_EH_FILTER case of switch statement.

        * gimple.c (gimple_build_eh_filter): Return a gimple_eh_filter
        rather than a plain gimple.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_catch

        * coretypes.h (gimple_catch): New typedef.
        (const_gimple_catch): New typedef.

        * gimple-low.c (lower_try_catch): Add checked cast to gimple_catch.
        (gimple_try_catch_may_fallthru): Likewise.

        * gimple-pretty-print.c (dump_gimple_catch): Require a gimple_catch
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise.
        (walk_gimple_stmt): Likewise.

        * gimple.c (gimple_build_catch): Return a gimple_catch rather than
        a plain gimple.
        (gimple_copy): Add checked casts to gimple_catch within
        GIMPLE_CATCH case of switch statement, introducing new locals.

        * gimple.h (gimple_build_catch): Return a gimple_catch rather than
        a plain gimple.
        (gimple_catch_types_ptr): Require a gimple_catch rather than a
        plain gimple.
        (gimple_catch_handler_ptr): Likewise.
        (gimple_catch_handler): Likewise.
        (gimple_catch_set_types): Likewise.
        (gimple_catch_set_handler): Likewise.

        * omp-low.c (lower_omp_1): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement.

        * tree-cfg.c (verify_gimple_in_seq_2): Likewise.
        (do_warn_unused_result): Likewise.

        * tree-eh.c (collect_finally_tree): Likewise.
        (replace_goto_queue_1): Likewise.
        (lower_catch): Convert local from gimple to gimple_catch.
        (refactor_eh_r): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement.

        * tree-inline.c (remap_gimple_stmt): Likewise.
        (estimate_num_insns): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement, introducing new local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_transaction

        * coretypes.h (gimple_transaction): New typedef.
        (const_gimple_transaction): New typedef.

        * gimple.h (gimple_build_transaction): Return a gimple_transaction
        rather than a plain gimple.
        (gimple_transaction_body_ptr): Require a gimple_transaction rather
        than a plain gimple.
        (gimple_transaction_body): Likewise.
        (gimple_transaction_label_ptr): Likewise.
        (gimple_transaction_set_body): Likewise.
        (gimple_transaction_set_label): Likewise.
        (gimple_transaction_set_subcode): Likewise.
        (gimple_transaction_label): Require a const_gimple_transaction
        rather than a plain const_gimple.
        (gimple_transaction_subcode): Likewise.

        * gimple-low.c (lower_stmt): Add checked cast to
        gimple_transaction within GIMPLE_TRANSACTION case of switch
        statement.

        * gimple-pretty-print.c (dump_gimple_transaction): Require a
        gimple_transaction rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_transaction within
        GIMPLE_TRANSACTION case of switch statement.
        * gimple-streamer-in.c (input_gimple_stmt): Likewise.
        * gimple-streamer-out.c (output_gimple_stmt): Likewise.
        * gimple-walk.c (walk_gimple_op): Likewise.
        (walk_gimple_stmt): Likewise.

        * gimple.c (gimple_build_transaction): Return a gimple_transaction
        rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_transaction within
        GIMPLE_TRANSACTION case of switch statement.

        * gimplify.c (gimplify_transaction): Split local "g" into
        "body_stmt" and "trans_stmt", strengthening the type of the latter
        from gimple to gimple_transaction.

        * omp-low.c (lower_omp_1): Add checked cast to gimple_transaction
        within GIMPLE_TRANSACTION case of switch statement.

        * trans-mem.c (diagnose_tm_1): Add checked cast within
        GIMPLE_TRANSACTION case of switch statement, introducing a new
        local "trans_stmt".  Use it in place of "stmt".
        (examine_call_tm): Convert local from gimple to gimple_transaction.
        (tm_region::get_transaction_stmt): New method.
        (tm_region::transaction_stmt): Add clarification of type to the
        comment.
        (tm_region_init_0): Require a gimple_transaction rather than a
        plain gimple.
        (tm_region_init): Convert a check against GIMPLE_TRANSACTION to a
        dyn_cast<gimple_transaction> and new local.
        (transaction_subcode_ior): Add a new local, using the new
        get_transaction_stmt method to perform a checked cast.
        (propagate_tm_flags_out): Likewise.
        (expand_transaction): Add a checked cast using the new
        get_transaction_stmt method.
        (generate_tm_state): Likewise.
        (execute_tm_mark): Likewise.
        (ipa_tm_diagnose_transaction): Likewise.

        * tree-cfg.c (verify_gimple_transaction): Require a
        gimple_transaction rather than a plain gimple.
        (make_edges): Add checked cast within GIMPLE_TRANSACTION case of
        switch statement
        (cleanup_dead_labels): Likewise.
        (verify_gimple_stmt): Likewise.
        (verify_gimple_in_seq_2): Likewise.
        (verify_gimple_in_seq_2): Likewise.
        (gimple_redirect_edge_and_branch): Add checked cast.

        * tree-inline.c (remap_gimple_stmt): Add checked cast within
        GIMPLE_TRANSACTION case of switch statement, introducing a new
        local "old_trans_stmt".  Use it in place of "stmt".  Add new
        local "new_trans_stmt", using it to initialize "copy", and for
        type-safe operations as a transaction.
        (estimate_num_insns): Add checked cast within GIMPLE_TRANSACTION
        case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_asm

        * coretypes.h (gimple_asm): New typedef.
        (const_gimple_asm): New typedef.

        * gimple.h (gimple_build_asm_vec): Return a gimple_asm rather than
        just a gimple.
        (gimple_asm_clobbers_memory_p): Require a const_gimple_asm rather
        than just a const_gimple.
        (gimple_asm_ninputs): Likewise.
        (gimple_asm_noutputs): Likewise.
        (gimple_asm_nclobbers): Likewise.
        (gimple_asm_nlabels): Likewise.
        (gimple_asm_input_op): Likewise.
        (gimple_asm_input_op_ptr): Likewise.
        (gimple_asm_output_op): Likewise.
        (gimple_asm_output_op_ptr): Likewise.
        (gimple_asm_clobber_op): Likewise.
        (gimple_asm_label_op): Likewise.
        (gimple_asm_string): Likewise.
        (gimple_asm_volatile_p): Likewise.
        (gimple_asm_input_p): Likewise.
        (gimple_asm_set_input_op): Require a gimple_asm rather than a plain
        gimple.
        (gimple_asm_set_output_op): Likewise.
        (gimple_asm_set_clobber_op): Likewise.
        (gimple_asm_set_label_op): Likewise.
        (gimple_asm_set_volatile): Likewise.
        (gimple_asm_set_input): Likewise.

        * cfgexpand.c (expand_asm_stmt): Require a gimple_asm rather than
        a plain gimple.
        (expand_gimple_stmt_1): Add checked cast to gimple_asm within
        GIMPLE_ASM case of switch statement.

        * gimple-fold.c (fold_stmt_1): Add new local from checked cast to
        gimple_asm within case GIMPLE_ASM.

        * gimple-pretty-print.c (dump_gimple_asm): Require a gimple_asm
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_asm within
        GIMPLE_ASM case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Rework existing
        checked cast to gimple_asm; add a new one.

        * gimple-streamer-out.c (output_gimple_stmt): Add new local from
        checked cast to gimple_asm within case GIMPLE_ASM.

        * gimple-walk.c (walk_gimple_asm): Require a gimple_asm rather
        than a plain gimple.
        (walk_gimple_op): Add checked cast to gimple_asm within GIMPLE_ASM
        case of switch statement.
        (walk_stmt_load_store_addr_ops): Use dyn_cast<gimple_asm> in place
        of a code check against GIMPLE_ASM to introduce a new gimple_asm
        local.

        * gimple.c (gimple_build_asm_1): Return a gimple_asm rather than
        a plain gimple.
        (gimple_build_asm_vec): Likewise.
        (gimple_has_side_effects): Add a checked cast to gimple_asm.
        (gimple_could_trap_p_1): Likewise.
        (gimple_call_builtin_p): Require a const_gimple_asm rather then
        a const_gimple.

        * gimplify-me.c (gimple_regimplify_operands): Add a checked cast
        and a new local of type gimple_asm within GIMPLE_ASM case.

        * gimplify.c (gimplify_asm_expr): Convert a local from gimple to
        gimple_asm.

        * ipa-pure-const.c (check_stmt): Add checked casts within
        GIMPLE_ASM case.

        * ssa-iterators.h (op_iter_init): Likewise.

        * tree-cfg.c (make_goto_expr_edges): Convert a local from gimple
        to gimple_asm.
        (cleanup_dead_labels): Add a checked cast and a new local of type
        gimple_asm within GIMPLE_ASM case.
        (gimple_redirect_edge_and_branch): Likewise.
        (is_ctrl_altering_stmt): Add a checked cast.
        (need_fake_edge_p): Replace a code check against GIMPLE_ASM with a
        dyn_cast<gimple_asm>.

        * tree-complex.c (expand_complex_comparison): Convert a local from
        gimple to gimple_asm.

        * tree-data-ref.c (get_references_in_stmt): Add a checked cast to
        gimple_asm.

        * tree-eh.c (stmt_could_throw_p): Likewise.

        * tree-inline.c (estimate_num_insns): Likewise.

        * tree-sra.c (scan_function): Add a checked cast and a new local
        of type gimple_asm within GIMPLE_ASM case.
        (sra_modify_function_body): Likewise.
        (ipa_sra_modify_function_body): Likewise.

        * tree-ssa-coalesce.c (create_outofssa_var_map): Likewise.

        * tree-ssa-dce.c (propagate_necessity): Replace a code check
        against GIMPLE_ASM with a dyn_cast<gimple_asm>.

        * tree-ssa-operands.c (maybe_add_call_vops): Require a gimple_asm
        rather than a plain gimple.
        (parse_ssa_operands): Add a checked cast to gimple_asm.

        * tree-ssa-structalias.c (find_func_aliases): Replace a check for
        GIMPLE_ASM with a dyn_cast<gimple_asm>, introducing  a new local
        "asm_stmt", using it in place of "t" for typesafety.

        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts_at_dest): Add a checked
        cast to gimple_asm.

        * tree-ssa.c (execute_update_addresses_taken): Add checked casts
        and new locals of type gimple_asm within clauses guarded by code
        check.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_goto

        * coretypes.h (gimple_goto): New typedef.
        (const_gimple_goto): New typedef.

        * gimple.h (gimple_statement_goto): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_GOTO.
        (is_a_helper <gimple_statement_goto>::test): New.
        (gimple_build_goto): Return a gimple_goto rather than a
        plain gimple.

        * gimple-pretty-print.c (dump_gimple_goto): Require a gimple_goto
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_goto within
        GIMPLE_GOTO case of switch statement.

        * gimple.c (gimple_build_goto): Return a gimple_goto rather than a
        plain gimple.

        * tree-cfg.c (verify_gimple_goto): Require a gimple_goto rather
        than a plain gimple.
        (verify_gimple_stmt): Add a checked cast to gimple_goto within
        GIMPLE_GOTO case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_return

        * coretypes.h (gimple_return): New typedef.
        (const_gimple_return): New typedef.

        * gimple.h (gimple_statement_return): New subclass of
        gimple_statement_with_memory_ops, adding the invariant that
        stmt->code == GIMPLE_RETURN.
        (is_a_helper <gimple_statement_return>::test): New.
        (gimple_build_return): Return a gimple_return rather
        than a plain gimple.

        * gimple.c (gimple_build_return): Return a gimple_return rather
        than a plain gimple.

        * cgraphunit.c (expand_thunk): Convert local from a gimple to
        a gimple_return.

        * gimple-low.c (struct return_statements_t): Convert field "stmt"
        from a gimple to a gimple_return.
        (lower_gimple_return): Convert local from a gimple to a
        gimple_return.

        * gimple-pretty-print.c (dump_gimple_return): Require a
        gimple_return rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_return within
        case GIMPLE_RETURN of switch statement.

        * gimplify.c (gimplify_return_expr): Convert locals from
        gimple to gimple_return.

        * ipa-split.c (split_function): Likewise.

        * tree-cfg.c (verify_gimple_assign): Require a gimple_return
        rather than a plain gimple.
        (verify_gimple_stmt): Add checked cast to gimple_return within
        case GIMPLE_RETURN of switch statement.

        * tree-tailcall.c (adjust_return_value): Convert local from
        gimple to gimple_return.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_call

        * coretypes.h (gimple_call): New typedef.
        (const_gimple_call): New typedef.

        * asan.c (get_mem_refs_of_builtin_call): Require a
        const_gimple_call rather than a const gimple.
        (has_stmt_been_instrumented_p): Add a checked cast to
        gimple_call.
        (instrument_strlen_call): Likewise.
        (instrument_builtin_call): Likewise.
        * builtins.c (validate_gimple_arglist): Require a
        const_gimple_call rather than a const gimple.
        (fold_call_stmt): Require a gimple_call rather than a gimple.
        * builtins.h (validate_gimple_arglist): Require a
        const_gimple_call rather than a const gimple.
        (fold_call_stmt): Require a gimple_call rather than a gimple.
        * cfgexpand.c (expand_call_stmt): Likewise.
        (expand_gimple_stmt_1): Add a checked cast to gimple_call within
        GIMPLE_CALL case.
        * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Strengthen
        local "new_stmt" from gimple to gimple_call, adding a checked
        cast.
        * cgraphunit.c (cgraph_node::expand_thunk): Likewise for local
        "call".
        * gimple-fold.c (gimple_fold_builtin_snprintf_chk): Likewise for
        local "stmt".
        (gimple_fold_builtin_snprintf): Likewise.
        (gimple_fold_builtin): Likewise.
        (gimple_fold_call): Likewise.
        (gimple_fold_stmt_to_constant_1): Introduce local "call_stmt" via
        checked cast of "stmt" to gimple_call, using it in various places
        for typesafety.
        * gimple-pretty-print.c (dump_gimple_call_args): Strengthen param
        2 from gimple to gimple_call.
        (dump_gimple_call): Likewise.
        (pp_gimple_stmt_1): Add a checked cast to gimple_call within
        GIMPLE_CALL case.
        * gimple-streamer-in.c (input_gimple_stmt): Replace is_gimple_call
        with a dyn_cast<gimple_call>, introducing local "call_stmt", and
        using it in place of "stmt" for typesafety.  Add a checked cast
        in statement guarded by check for GIMPLE_CALL.
        * gimple-walk.c (walk_gimple_op): Add a checked cast to
        gimple_call.
        * gimple.c (gimple_call_reset_alias_info): Strengthen param from
        gimple to gimple_call.
        (gimple_build_call_1): Strengthen return type and local from
        gimple to gimple_call.
        (gimple_build_call_vec): Likewise.
        (gimple_build_call): Likewise.
        (gimple_build_call_valist): Likewise.
        (gimple_build_call_internal_1): Likewise.
        (gimple_build_call_internal): Likewise.
        (gimple_build_call_internal_vec): Likewise.
        (gimple_build_call_from_tree): Likewise.
        (gimple_call_return_flags): Strengthen param from
        const_gimple to const_gimple_call.
        (gimple_call_copy_skip_args): Strengthen return type and local from
        gimple to gimple_call.
        * gimple.h (gimple_call_reset_alias_info): Strengthen param from
        gimple to gimple_call.
        (gimple_build_call_vec): Strengthen return type from gimple to
        gimple_call.
        (gimple_build_call): Likewise.
        (gimple_build_call_valist): Likewise.
        (gimple_build_call_internal): Likewise.
        (gimple_build_call_internal_vec): Likewise.
        (gimple_build_call_from_tree): Likewise.
        (gimple_call_return_flags): Strengthen param from const_gimple to
        const_gimple_call.
        (gimple_call_copy_skip_args): Strengthen return type from gimple
        to gimple_call.
        (gimple_call_set_internal_fn): Strengthen param "call_stmt" from
        gimple to gimple_call.
        (gimple_call_return_type): Strengthen param from const_gimple to
        const_gimple_call.
        (gimple_call_chain_ptr): Likewise.
        (gimple_call_set_chain): Strengthen param from gimple to
        gimple_call.
        (gimple_call_set_return_slot_opt): Likewise.
        (gimple_call_set_from_thunk): Likewise.
        (gimple_call_from_thunk_p): Likewise.
        (gimple_call_set_va_arg_pack): Likewise.
        (gimple_call_va_arg_pack_p): Likewise.
        (gimple_call_set_alloca_for_var): Likewise.
        (gimple_call_alloca_for_var_p): Likewise.
        (gimple_expr_type): Introduce local "call_stmt" via a checked cast
        and use it for typesafety.
        * gimplify.c (gimplify_call_expr): Strengthen local "call" from
        gimple to gimple_call.
        (gimplify_modify_expr_to_memcpy): Likewise for local "gs".
        (gimplify_modify_expr_to_memset): Likewise.
        (gimplify_modify_expr): Add a checked cast to gimple_call.
        (gimplify_expr): Strengthen local "call" from gimple to
        gimple_call.
        (gimplify_function_tree): Likewise.
        * internal-fn.c (expand_LOAD_LANES): Strengthen param from gimple
        to gimple_call.
        (expand_STORE_LANES): Likewise.
        (expand_ANNOTATE): Likewise.
        (expand_GOMP_SIMD_LANE): Likewise.
        (expand_GOMP_SIMD_VF): Likewise.
        (expand_GOMP_SIMD_LAST_LANE): Likewise.
        (expand_UBSAN_NULL): Likewise.
        (expand_UBSAN_BOUNDS): Likewise.
        (expand_UBSAN_OBJECT_SIZE): Likewise.
        (expand_ASAN_CHECK): Likewise.
        (ubsan_expand_si_overflow_addsub_check): Likewise.
        (ubsan_expand_si_overflow_neg_check): Likewise.
        (ubsan_expand_si_overflow_mul_check): Likewise.
        (expand_UBSAN_CHECK_ADD): Likewise.
        (expand_UBSAN_CHECK_SUB): Likewise.
        (expand_UBSAN_CHECK_MUL): Likewise.
        (expand_LOOP_VECTORIZED): Likewise.
        (expand_MASK_LOAD): Likewise.
        (expand_MASK_STORE): Likewise.
        (expand_ABNORMAL_DISPATCHER): Likewise.
        (expand_BUILTIN_EXPECT): Likewise.
        (internal_fn_expanders): Likewise for entries in this table.
        (expand_internal_call): Likewise.
        * internal-fn.def: Update comment to reflect strengthening of
        param of expanders.
        * internal-fn.h (expand_internal_call): Strengthen param from
        gimple to gimple_call.
        * ipa-prop.c (ipa_modify_call_arguments): Likewise for local
        "new_stmt".
        * ipa-pure-const.c (check_call): Likewise for param "call".
        (check_stmt): Add a checked cast to gimple_call within GIMPLE_CALL
        case.
        * ipa-split.c (split_function): Strengthen local "call" from
        gimple to gimple_call.
        * omp-low.c (build_omp_barrier): Likewise for local "g".
        (lower_rec_input_clauses): Likewise for local "stmt".
        * trans-mem.c (build_tm_load): Likewise for return type and local
        "gcall".
        (build_tm_store): Likewise.
        (expand_transaction): Likewise for local "call".
        * tree-call-cdce.c (check_pow): Likewise for param.
        (check_builtin_call): Likewise.
        (is_call_dce_candidate): Likewise.
        (gen_conditions_for_pow): Likewise.
        (gen_shrink_wrap_conditions): Likewise.
        (shrink_wrap_one_built_in_call): Likewise.
        (shrink_wrap_conditional_dead_built_in_calls): Strengthen param
        from vec<gimple> to vec<gimple_call>, and local "bi_call" from
        gimple to gimple_call.
        (pass_call_cdce::execute): Strengthen local
        "cond_dead_built_in_calls" from auto_vec<gimple> to
        auto_vec<gimple_call> and local "stmt" from gimple to gimple_call,
        * tree-cfg.c (notice_special_calls): Strengthen param from gimple
        to gimple_call.
        * tree-cfg.h (notice_special_calls): Likewise.
        * tree-complex.c (expand_complex_libcall): Likewise for local
        "stmt".
        * tree-inline.c (remap_gimple_stmt): Add checked cast to
        gimple_call.
        (copy_bb): Likewise.  Strengthen local "new_call" from gimple to
        gimple_call.
        (inline_forbidden_p_stmt): Add checked cast to gimple_call.
        * tree-nested.c (init_tmp_var_with_call): Strengthen param "call"
        from gimple to gimple_call.
        (convert_nl_goto_reference): Likewise for local "call".
        (convert_tramp_reference_op): Likewise.
        (convert_gimple_call): Add checked cast to gimple_call.
        * tree-nrv.c (dest_safe_for_nrv_p): Strengthen param "call" from
        gimple to gimple_call.
        (pass_return_slot::execute): Likewise for local "stmt", using a
        dyn_cast<gimple_call> rather than an is_gimple_call call.
        * tree-object-size.c (alloc_object_size): Strengthen param "call"
        from const_gimple to const_gimple_call.
        (pass_through_call): Likewise.
        (call_object_size): Strengthen param "call" from gimple to
        gimple_call.
        (collect_object_sizes_for): Introduce local "call_stmt" via a
        checked cast, using it for typesafety.
        (check_for_plus_in_loops_1): Likewise.
        (pass_object_sizes::execute): Add a checked cast to gimple_call.
        * tree-profile.c (gimple_gen_interval_profiler): Strengthen local
        "call" from gimple to gimple_call.
        (gimple_gen_pow2_profiler): Likewise.
        (gimple_gen_one_value_profiler): Likewise.
        (gimple_gen_time_profiler): Likewise.
        (gimple_gen_average_profiler): Likewise.
        (gimple_gen_ior_profiler): Likewise.
        * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Likewise for
        param "call".
        (ref_maybe_used_by_call_p): Likewise.
        (ref_maybe_used_by_stmt_p): Add a checked cast to gimple_call.
        (call_may_clobber_ref_p_1): Strengthen param "call" from gimple to
        gimple_call.
        (call_may_clobber_ref_p): Likewise.
        (stmt_may_clobber_ref_p_1): Add a checked cast to gimple_call.
        * tree-ssa-alias.h (call_may_clobber_ref_p): Strengthen param 1
        from gimple to gimple_call.
        (call_may_clobber_ref_p_1): Likewise.
        * tree-ssa-dce.c (eliminate_unnecessary_stmts): Add a checked cast
        to gimple_call.
        * tree-ssa-loop-prefetch.c (emit_mfence_after_loop): Strengthen
        local "call" from gimple to gimple_call.
        * tree-ssa-math-opts.c (build_and_insert_call): Likewise for local
        "call_stmt".
        * tree-ssa-operands.c (maybe_add_call_vops): Likewise for param
        "stmt".
        (parse_ssa_operands): Add a checked cast to gimple_call within
        GIMPLE_CALL case.
        * tree-ssa-pre.c (compute_avail): Add a checked cast to
        gimple_call.
        * tree-ssa-sccvn.c (copy_reference_ops_from_call): Strengthen
        param "call" from gimple to gimple_call.
        (valueize_shared_reference_ops_from_call): Likewise.
        (vn_reference_lookup_3): Add a checked cast to gimple_call.
        (vn_reference_lookup_call): Strengthen param "call" from gimple to
        gimple_call.
        (visit_reference_op_call): Likewise for param "stmt".
        (visit_use): Replace is_gimple_call with a dyn_cast, introducing
        local "call_stmt", using it in place of "stmt" for type-safety.
        * tree-ssa-sccvn.h (vn_reference_lookup_call): Strengthen param 1
        from gimple to gimple_call.
        * tree-ssa-structalias.c (get_call_vi): Likewise.
        (lookup_call_use_vi): Likewise.
        (lookup_call_clobber_vi): Likewise.
        (get_call_use_vi): Likewise.
        (get_call_clobber_vi): Likewise.
        (handle_rhs_call): Likewise.
        (handle_lhs_call): Likewise.
        (handle_const_call): Likewise.
        (handle_pure_call): Likewise.
        (get_fi_for_callee): Likewise.
        (find_func_aliases_for_builtin_call): Likewise for param 2.
        (find_func_aliases_for_call): Likewise.
        (find_func_aliases): Add a checked cast to gimple_call.
        (find_func_clobbers): Replace is_gimple_call with a dyn_cast,
        introducing local "call_stmt", using it in place of "stmt" for
        type-safety.
        (compute_points_to_sets): Strengthen local "stmt" from gimple to
        gimple_call, replacing is_gimple_call with a
        dyn_cast <gimple_call>.
        (ipa_pta_execute): Likewise.
        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts_at_dest): Add checked
        cast to gimple_call.
        * tree-tailcall.c (find_tail_calls): Strengthen local "call" from
        gimple to gimple_call, adding a checked cast.
        * tree-vect-data-refs.c (vect_setup_realignment): Eliminate
        top-level local "new_stmt" in favor of more tightly-scoped locals
        "new_stmt" of type gimple_assign and gimple_call.
        * tree-vect-patterns.c (vect_recog_pow_pattern): Strenghthen local
        "stmt" from gimple to gimple_call.
        * tree-vect-stmts.c (vectorizable_function): Likewise for param
        "call".
        (vectorizable_call): Rename param 1 from "stmt" to "gs",
        reintroducing "stmt" as a gimple_call once we've established that
        we're working with a GIMPLE_CALL.
        * tree-vectorizer.h (vectorizable_function): Strengthen param 1
        from gimple to gimple_call.
        * value-prof.c (check_ic_target): Likewise.
        (gimple_ic_transform): Likewise for local "stmt", replacing a
        check for GIMPLE_CALL with a dyn_cast.
        (interesting_stringop_to_profile_p): Strengthen param "call"
        from gimple to gimple_call.
        (gimple_stringop_fixed_value): Likewise for param "vcall_stmt".
        (gimple_stringops_transform): Likewise for local "stmt",
        replacing a check for GIMPLE_CALL with a dyn_cast.
        (gimple_stringops_values_to_profile): Rename param 1 from "stmt"
        to "gs", reintroducing "stmt" as a gimple_call once we've
        established that we're working with a GIMPLE_CALL.
        * vtable-verify.c (verify_bb_vtables): Strengthen local
        "call_stmt" from gimple to gimple_call.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize get_loop_exit_condition et al to working on gimple_cond

        * tree-scalar-evolution.h (get_loop_exit_condition): Return a
        gimple_cond.
        * tree-scalar-evolution.c (get_loop_exit_condition): Likewise, also
        concretizing local "res" from gimple to gimple_cond.
        * tree-vect-loop-manip.c (slpeel_make_loop_iterate_ntimes): Convert
        locals from gimple to gimple_cond.
        (slpeel_can_duplicate_loop_p): Likewise.
        * tree-vect-loop.c (vect_get_loop_niters): Return a gimple_cond.
        (vect_analyze_loop_form): Convert local from gimple to gimple_cond.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Update various expressions within tree-scalar-evolution.c to be gimple_phi

        * tree-scalar-evolution.c (follow_ssa_edge): Require a gimple_phi,
        rather than a gimple.
        (follow_ssa_edge_binary): Likewise.
        (follow_ssa_edge_expr): Likewise.
        (follow_ssa_edge_in_rhs): Likewise.
        (backedge_phi_arg_p): Likewise.
        (follow_ssa_edge_in_condition_phi_branch): Likewise.
        (follow_ssa_edge_in_condition_phi): Likewise.
        (follow_ssa_edge_inner_loop_phi): Likewise.
        (analyze_evolution_in_loop): Likewise.
        (analyze_initial_condition): Likewise.
        (interpret_loop_phi): Likewise.
        (interpret_condition_phi): Likewise.
        (follow_ssa_edge): Likewise; also, add checked casts to gimple_phi.

        (analyze_scalar_evolution_1): Add checked casts to gimple_phi
        within "case GIMPLE_PHI".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-loop-ivopts.c: use gimple_phi in a few places

        * tree-ssa-loop-ivopts.c (determine_biv_step): Require a gimple_phi.
        (find_bivs): Convert local "phi" into a gimple_phi.
        (mark_bivs): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-loop-manip.c: use gimple_phi in three places

        * tree-ssa-loop-manip.c (add_exit_phi): Convert local "phi" to be a
        gimple_phi.
        (split_loop_exit_edge): Likewise for "phi" and "new_phi".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-loop-niter.c: use gimple_phi in a few places

        * tree-ssa-loop-niter.c (chain_of_csts_start): Return a gimple_phi
        rather than a gimple.
        (get_base_for): Likewise; convert local "phi" to be a gimple_phi.
        (loop_niter_by_eval): Convert local "phi" to be a gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-phiprop.c: use gimple_phi

        * tree-ssa-phiprop.c (phiprop_insert_phi): Strengthen types of
        parameter "phi" and local "new_phi" from gimple to gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-predcom.c: use gimple_phi in various places

        * tree-predcom.c (find_looparound_phi): Return a gimple_phi rather
        than just a gimple.
        (insert_looparound_copy): Require a gimple_phi rather than just a
        gimple.
        (add_looparound_copies): Convert local "phi" to be a gimple_phi.
        (initialize_root_vars): Likewise.
        (initialize_root_vars_lm): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-parloops.c: use gimple_phi in various places

        * tree-parloops.c (struct reduction_info): Strengthen field "new_phi"
        from gimple to gimple_phi.
        (create_phi_for_local_result): Convert local "new_phi" to gimple_phi.
        (loop_has_vector_phi_nodes): Require a gimple_phi rather than a gimple.
        (gather_scalar_reductions): Convert to a gimple_phi_iterator and
        gimple_phi.
        (try_create_reduction_list): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Update ssa_prop_visit_phi_fn callbacks to take a gimple_phi

        * tree-ssa-propagate.h (typedef ssa_prop_visit_phi_fn): Strengthen
        type of parameter from gimple to gimple_phi.

        * tree-complex.c (complex_visit_phi): Update signature of callback
        implementation accordingly.
        * tree-ssa-ccp.c (ccp_visit_phi_node): Likewise.
        * tree-ssa-copy.c (copy_prop_visit_phi_node): Likewise.
        * tree-vrp.c (vrp_visit_phi_node): Likewise.

        * tree-ssa-propagate.c (simulate_stmt): Add a checked cast to
        gimple_phi when invoking the ssa_prop_visit_phi callback.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_phi_iterator

        * gimple-iterator.h (struct gimple_phi_iterator): New subclass of
        gimple_stmt_iterator with identical layout, but adding...
        (gimple_phi_iterator::phi): ...new method, equivalent to
        gsi_stmt (), but casting the underlying gimple to gimple_phi,
        checking that code == GIMPLE_PHI in a checked build.
        (gsi_start_phis): Return a gimple_phi_iterator, rather than just a
        gimple_stmt_iterator.

        * tree-if-conv.c (bb_with_exit_edge_p): Require a gimple_phi rather
        than just a gimple.
        (if_convertible_phi_p): Likewise.
        * tree-phinodes.h (add_phi_node_to_bb): Likewise.
        * tree-ssa-phiprop.c (propagate_with_phi): Likewise.

        * tree-ssa-uninit.c (warn_uninitialized_phi): Require a gimple_phi
        and a vec<gimple_phi> *, rather than just a gimple and
        vec<gimple> *, and a hash_set<gimple_phi> * rather than a
        hash_set<gimple> *.
        (find_uninit_use): Likewise; add checked cast to gimple_phi when
        adding to worklist.
        (pass_late_warn_uninitialized::execute): Strengthen types of
        various locals, "worklist" from vec<gimple> to vec<gimple_phi>,
        "gsi" to a gimple_phi_iterator, "phi" and "cur_phi" to a
        gimple_phi, "added_to_worklist" from hash_set<gimple> to
        hash_set<gimple_phi>.

        * tree-ssa-loop-manip.c (rewrite_phi_with_iv): Require a
        gimple_phi_iterator * rather than a gimple_stmt_iterator *;
        use it to strengthen local from a gimple to a gimple_phi.

        * cfgloop.c (find_subloop_latch_edge_by_ivs): Convert local from a
        gimple_stmt_iterator to a gimple_phi_iterator.  Use the iterator's
        "phi" method rather than gsi_stmt.  Use this checked cast to convert
        the type of related local from a plain gimple to a gimple_phi.
        * gimple-pretty-print.c (dump_phi_nodes): Likewise.
        * gimple-ssa-isolate-paths.c (find_implicit_erroneous_behaviour):
        Likewise.
        * sese.c (sese_add_exit_phis_edge): Likewise.
        * tree-cfg.c (reinstall_phi_args): Likewise.
        (gimple_make_forwarder_block): Likewise.
        (add_phi_args_after_copy_edge): Likewise.
        (gimple_lv_adjust_loop_header_phi): Likewise.
        * tree-cfgcleanup.c (phi_alternatives_equal): Likewise.
        (remove_forwarder_block_with_phi): Likewise.
        (merge_phi_nodes): Likewise.
        * tree-complex.c (update_phi_components): Likewise.
        * tree-if-conv.c (if_convertible_loop_p_1): Likewise.
        * tree-inline.c (update_ssa_across_abnormal_edges): Likewise.
        (copy_phis_for_bb): Likewise.
        * tree-into-ssa.c (rewrite_add_phi_arguments): Likewise.
        * tree-outof-ssa.c (eliminate_build): Likewise.
        (eliminate_useless_phis): Likewise.
        (rewrite_trees): Likewise.
        (insert_backedge_copies): Likewise.
        * tree-phinodes.c (reserve_phi_args_for_new_edge): Likewise.
        (remove_phi_args): Likewise.
        (remove_phi_nodes): Likewise.
        * tree-predcom.c (find_looparound_phi): Likewise.
        (eliminate_temp_copies): Likewise.
        * tree-scalar-evolution.c (loop_closed_phi_def): Likewise.
        (scev_const_prop): Likewise; also, add checked cast to phi.
        * tree-ssa-coalesce.c (coalesce_partitions): Likewise.
        * tree-ssa-dce.c (remove_dead_phis): Likewise.
        (forward_edge_to_pdom): Likewise.
        * tree-ssa-dom.c (record_equivalences_from_phis): Likewise.
        (cprop_into_successor_phis): Likewise.
        (propagate_rhs_into_lhs): Likewise.
        (eliminate_degenerate_phis_1): Likewise.
        * tree-ssa-ifcombine.c (same_phi_args_p): Likewise.
        * tree-ssa-live.c (calculate_live_on_exit): Likewise.
        (verify_live_on_entry): Likewise.
        * tree-ssa-loop-im.c
        (move_computations_dom_walker::before_dom_children): Likewise.
        * tree-ssa-loop-ivopts.c (find_bivs): Likewise.
        (mark_bivs): Likewise.
        (find_interesting_uses_outside): Likewise.
        (determine_set_costs): Likewise.
        * tree-ssa-loop-manip.c (split_loop_exit_edge): Likewise.
        (tree_transform_and_unroll_loop): Likewise.
        (rewrite_all_phi_nodes_with_iv): Likewise.
        (canonicalize_loop_ivs): Likewise.
        * tree-ssa-loop-niter.c (determine_value_range): Likewise.
        * tree-ssa-phiopt.c (hoist_adjacent_loads): Likewise.
        * tree-ssa-phiprop.c (tree_ssa_phiprop): Likewise.
        * tree-ssa-reassoc.c (suitable_cond_bb): Likewise.
        * tree-ssa-tail-merge.c (same_phi_alternatives_1): Likewise.
        (vop_phi): Likewise.
        * tree-ssa-threadedge.c (record_temporary_equivalences_from_phis):
        Likewise.
        * tree-ssa-threadupdate.c (copy_phi_arg_into_existing_phi): Likewise.
        (copy_phi_args): Likewise.
        (phi_args_equal_on_edges): Likewise.
        * tree-ssa.c (ssa_redirect_edge): Likewise.
        (flush_pending_stmts): Likewise.
        * tree-switch-conversion.c (check_final_bb): Likewise.
        (gather_default_values): Likewise.
        (build_constructors): Likewise.
        (fix_phi_nodes): Likewise.
        * tree-tailcall.c (propagate_through_phis): Likewise.
        (add_successor_phi_arg): Likewise.
        * tree-vect-loop-manip.c (slpeel_update_phi_nodes_for_guard1):
        Likewise.
        (slpeel_update_phi_nodes_for_guard2): Likewise.
        (slpeel_tree_peel_loop_to_edge): Likewise.
        (vect_can_advance_ivs_p): Likewise.
        (vect_update_ivs_after_vectorizer): Likewise.
        * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Likewise.
        * tree-vrp.c (find_assert_locations): Likewise.
        * value-prof.c (gimple_ic): Likewise.

        * omp-low.c (expand_parallel_call): Convert local to a gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_phi and use it in various places

        * coretypes.h (gimple_phi): New typedef.
        (const_gimple_phi): New typedef.

        * gdbhooks.py (build_pretty_printer): Add gimple_phi and its
        variants, using the gimple printer.

        * gimple.h (gimple_vec): Eliminate thie typedef in the hope of using
        vecs of more concrete gimple subclasses as appropriate; also the
        comment is about to become misleading.

        * gimple.h (gimple_phi_capacity): Use const_gimple_phi typedef
        rather than spelling out the full type.
        (gimple_phi_num_args): Likewise.
        (gimple_phi_result): Likewise.
        (gimple_phi_result_ptr): Use gimple_phi typedef.
        (gimple_phi_set_result): Likewise.
        (gimple_phi_arg): Likewise.
        (gimple_phi_set_arg): Likewise.
        * tree-phinodes.c (allocate_phi_node): Likewise.
        (resize_phi_node): Likewise.
        (reserve_phi_args_for_new_edge): Likewise.
        (remove_phi_arg_num): Likewise.

        * gimple-pretty-print.c (dump_gimple_phi): Require a gimple_phi
        rather than just a gimple.
        * tree-into-ssa.c (mark_phi_for_rewrite): Likewise.

        * tree-phinodes.c (make_phi_node): Return a gimple_phi rather than
        just a gimple.
        (create_phi_node): Likewise.
        * tree-phinodes.h (create_phi_node): Likewise.

        * trans-mem.c (struct struct tm_log_entry): Replace use of
        now-removed gimple_vec with a plain vec<gimple>.

        * tree-into-ssa.c (phis_to_rewrite): Strengthen from a
        vec<gimple_vec> to a vec< vec<gimple_phi> >.

        * tree-into-ssa.c (insert_phi_nodes_for): Update local to be a
        gimple_phi.
        * tree-into-ssa.c (rewrite_update_phi_arguments): Strengthen local
        "phis" from a gimple_vec to a vec<gimple_phi>, and local "phi" to
        a gimple_phi.
        * tree-into-ssa.c (delete_update_ssa): Strengthen local
        "phis" from a gimple_vec to a vec<gimple_phi>.

        * gimple-pretty-print.c (pp_gimple_stmt_1): Add checked cast to
        gimple_phi in regions where a stmt is known to have code
        GIMPLE_PHI.
        * tree-into-ssa.c (mark_use_interesting): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_debug and use it in a few places

        * coretypes.h (gimple_debug): New typedef.
        (const_gimple_debug): New typedef.

        * gimple.h (struct gimple_statement_debug): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_DEBUG.
        (is_a_helper <gimple_statement_debug>::test): New.

        * gdbhooks.py (build_pretty_printer): Add gimple_debug and its
        variants, using the gimple printer.

        * gimple-pretty-print.c (dump_gimple_debug): Require a gimple_debug
        rather than just a gimple.
        * tree-inline.c (copy_debug_stmt): Likewise.

        * tree-inline.h (struct copy_body_data): Strengthen field
        "debug_stmts" from a vec<gimple> to a vec<gimple_debug>.

        * gimple.c (gimple_build_debug_bind_stat): Return a gimple_debug
        rather than just a gimple.
        (gimple_build_debug_source_bind_stat): Likewise.
        * gimple.h (gimple_build_debug_bind_stat): Likewise.
        (gimple_build_debug_source_bind_stat): Likewise.

        * tree-inline.c (remap_gimple_stmt): Update locals to be a
        gimple_debug.
        (maybe_move_debug_stmts_to_successors): Likewise.
        (copy_debug_stmts): Likewise.

        * gimple-pretty-print.c (pp_gimple_stmt_1): Add checked cast to
        gimple_debug in regions where a stmt is known to have code
        GIMPLE_DEBUG.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_label and use it in a few places

        * coretypes.h (gimple_label): New typedef.
        (const_gimple_label): New typedef.

        * gimple.h (struct gimple_statement_label): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_LABEL.
        (is_a_helper <gimple_statement_label>::test): New.

        * gdbhooks.py (build_pretty_printer): Add gimple_label and its
        variants, reusing the gimple printer.

        * gimple-pretty-print.c (dump_gimple_label): Require a gimple_label
        rather than just a gimple.
        * tree-cfg.c (verify_gimple_label): Likewise.

        * gimple.c (gimple_build_label): Return a gimple_label rather than
        just a gimple.
        * gimple.h (gimple_build_label): Likewise.

        * gimplify.c (gimplify_case_label_expr): Update local to be a
        gimple_label.
        * tree-switch-conversion.c (gen_inbound_check): Likewise.

        * gimple-pretty-print.c (pp_gimple_stmt_1): Add checked cast to
        gimple_label in regions where a stmt is known to have code
        GIMPLE_LABEL.
        * tree-cfg.c (verify_gimple_stmt): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_assign and use it in various places

        * coretypes.h (gimple_assign): New typedef.
        (const_gimple_assign): New typedef.

        * gimple.h (struct gimple_statement_assign): New subclass of
        gimple_statement_with_memory_ops, adding the invariant that
        stmt->code == GIMPLE_ASSIGN.
        (is_a_helper <gimple_statement_assign>::test): New.

        * gdbhooks.py (build_pretty_printer): Add gimple_assign and its
        variants, using the gimple printer.

        * gimple-builder.c (build_assign): Return a gimple_assign rather
        than just a gimple from each of the overloaded variants.
        (build_type_cast): Likewise.
        * gimple-builder.h (build_assign): Likewise.
        (build_type_cast): Likewise.
        * gimple.c (gimple_build_assign_stat): Likewise.
        (gimple_build_assign_with_ops): Likewise.
        * gimple.h (gimple_build_assign_stat): Likewise.
        (gimple_build_assign_with_ops): Likewise.

        * asan.c (get_mem_ref_of_assignment): Require a const_gimple_assign
        rather than just a "const gimple" (the latter is not a
        "const_gimple").
        * gimple-pretty-print.c (dump_unary_rhs): Require a gimple_assign
        rather than just a gimple.
        (dump_binary_rhs): Likewise.
        (dump_ternary_rhs): Likewise.
        * tree-cfg.c (verify_gimple_assign_unary): Likewise.
        (verify_gimple_assign_binary): Likewise.
        (verify_gimple_assign_ternary): Likewise.
        (verify_gimple_assign_single): Likewise.
        (verify_gimple_assign): Likewise.
        * tree-ssa-sccvn.c (simplify_unary_expression): Likewise.
        (try_to_simplify): Likewise.
        * tree-tailcall.c (process_assignment): Likewise.
        * tree-vect-generic.c (expand_vector_operation): Likewise.
        * tree-vrp.c (extract_range_from_cond_expr): Likewise.
        (extract_range_from_assignment): Likewise.

        * asan.c (has_stmt_been_instrumented_p): Add checked cast to
        gimple_assign in regions where a stmt is known to have code
        GIMPLE_ASSIGN.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * tree-cfg.c (verify_gimple_stmt): Likewise.
        * tree-ssa-sccvn.c (visit_use): Likewise.
        * tree-tailcall.c (find_tail_calls): Likewise.
        * tree-vrp.c (vrp_visit_assignment_or_call): Likewise.

        * tree-vrp.c (simplify_stmt_for_jump_threading): Replace a check
        against GIMPLE_ASSIGN with a dyn_cast<gimple_assign>, introducing
        a gimple_assign local.

        * tree-vect-generic.c (expand_vector_condition): Convert local to a
        gimple_assign, adding a checked cast when extracting from gsi, since
        this is only called when  underlying stmt has code GIMPLE_ASSIGN.
        (optimize_vector_constructor): Likewise.
        (lower_vec_perm): Likewise.
        (expand_vector_operations_1): Convert local to a gimple_assign,
        introducing a dyn_cast.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_cond and use it in various places

        * coretypes.h (gimple_cond): New typedef.
        (const_gimple_cond): Likewise.

        * gimple.h (struct gimple_statement_cond): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_COND.
        (is_a_helper <gimple_statement_cond>::test): New.
        (gimple_build_cond): Return a gimple_cond, rather than just
        a gimple.
        (gimple_build_cond_from_tree): Likewise.

        * gdbhooks.py (build_pretty_printer): Add gimple_cond and its
        variants, using the gimple printer.

        * cfgexpand.c (expand_gimple_cond): Require a gimple_cond rather
        than just a gimple.
        * gimple.h (gimple_cond_set_condition_from_tree): Likewise.
        (gimple_cond_true_p): Likewise.
        (gimple_cond_false_p): Likewise.
        (gimple_cond_set_condition): Likewise.
        * gimple.c (gimple_cond_set_condition_from_tree): Likewise.
        * gimple-fold.c (fold_gimple_cond): Likewise.
        * gimple-pretty-print.c (dump_gimple_cond): Likewise.
        * tree-ssa-dom.c (canonicalize_comparison): Likewise.
        * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond): Likewise.
        * tree-ssa-ifcombine.c (recognize_single_bit_test): Likewise.
        (recognize_bits_test): Likewise.
        * tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
        (thread_around_empty_blocks): Likewise.
        (thread_through_normal_block): Likewise.
        (thread_across_edge): Likewise.
        * tree-ssa-threadedge.h (thread_across_edge): Likewise.
        * tree-vrp.c (range_fits_type_p): Likewise.

        * cfgexpand.c (expand_gimple_basic_block): Add checked cast to
        gimple_cond in regions where a stmt is known to have code GIMPLE_COND.
        * gimple-fold.c (fold_stmt_1): Likewise.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * tree-ssa-dom.c (optimize_stmt): Likewise.
        * tree-ssa-forwprop.c (ssa_forward_propagate_and_combine): Likewise.
        * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Likewise.
        * tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
        Likewise.
        * tree-vrp.c (simplify_stmt_using_ranges): Likewise.

        * cfgloopmanip.c (create_empty_loop_on_edge): Update local to be a
        gimple_cond.
        * tree-vrp.c (identify_jump_threads): Likewise.

        * gimple.c (gimple_build_cond): Return a gimple_cond, rather than
        just a gimple.
        (gimple_build_cond_from_tree): Likewise.

        * tree-ssa-dom.c (class dom_opt_dom_walker): Strengthen type of
        field "m_dummy_cond" from a plain gimple to a gimple_cond.

        * tree-ssa-ifcombine.c (ifcombine_ifandif): Introduce locals
        inner_stmt and outer_stmt so that inner_cond and outer_cond can be
        of type gimple_cond once we know that we have code == GIMPLE_COND.
        * tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Introduce local
        "last" so that stmt can be of type gimple_cond.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_bind and use it for accessors.

        * coretypes.h (gimple_bind): New typedef.
        (const_gimple_bind): New typedef.

        * gdbhooks.py (build_pretty_printer): Add gimple_bind
        and its variants, using the gimple printer.

        * gimple-pretty-print.c (dump_gimple_bind): Update type-signature to
        require a gimple_bind rather than just a gimple.

        * gimple.c (gimple_build_bind): Return a gimple_bind rather than
        just a gimple.
        * gimple.h (gimple_build_bind): Likewise.

        * gimple.h (gimple_seq_first_stmt_as_a_bind): New.

        * gimple.h (gimple_bind_vars): Update type-signature to
        require a gimple_bind rather than just a gimple, removing
        as_a and hence run-time check.
        (gimple_bind_set_vars): Likewise.
        (gimple_bind_append_vars): Likewise.
        (gimple_bind_body_ptr): Likewise.
        (gimple_bind_body): Likewise.
        (gimple_bind_set_body): Likewise.
        (gimple_bind_add_stmt): Likewise.
        (gimple_bind_add_seq): Likewise.
        (gimple_bind_block): Likewise.
        (gimple_bind_set_block): Likewise.
        * gimplify.c (gimple_push_bind_expr): Likewise.
        (gimple_current_bind_expr): Likewise.
        * tree-inline.c (copy_gimple_bind): Likewise.

        * gimplify.h (gimple_current_bind_expr): Return a gimple_bind
        rather than a plain gimple.
        (gimplify_body): Likewise.
        (gimple_bind_expr_stack): Return a vec<gimple_bind> rather than
        a vec<gimple>.

        * gimplify.c (struct gimplify_ctx): Strengthen field
        "bind_expr_stack" from vec<gimple> to vec<gimple_bind>.
        (gimple_bind_expr_stack): Likewise for type of returned value.

        * gimplify.c (gimplify_body): Strengthen various types from gimple
        to gimple_bind, including the return type.

        * gimplify.c (declare_vars): Introduce "gs" as a generic gimple,
        so that local "scope" can be of type gimple_bind once we've reached
        the region where it must be of code GIMPLE_BIND.

        * gimple-low.c (lower_gimple_bind): Add checked cast to
        gimple_bind, since both callers (lower_function_body and
        lower_stmt) have checked the code for us.

        * gimple.c (gimple_copy): Add checked cast to gimple_bind in
        region guarded by check for code GIMPLE_BIND.
        * gimple-low.c (gimple_stmt_may_fallthru): Likewise.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * gimple-walk.c (walk_gimple_stmt): Likewise.
        * omp-low.c (scan_omp_1_stmt): Likewise.
        (lower_omp_1): Likewise.
        (lower_omp_for): Likewise.
        * tree-cfg.c (verify_gimple_in_seq_2): Likewise.
        (do_warn_unused_result): Likewise.
        * tree-inline.c (remap_gimple_stmt): Likewise.
        (estimate_num_insns): Likewise.
        * tree-nested.c (convert_nonlocal_reference_stmt): Likewise.

        * gimplify.c (gimplify_bind_expr): Update local(s) to be a
        gimple_bind rather than just a gimple.
        (gimplify_function_tree): Likewise.
        * omp-low.c (lower_omp_sections): Likewise.
        (lower_omp_single): Likewise.
        (lower_omp_master): Likewise.
        (lower_omp_taskgroup): Likewise.
        (lower_omp_ordered): Likewise.
        (lower_omp_critical): Likewise.
        (lower_omp_taskreg): Likewise.
        (lower_omp_teams): Likewise.
        * omp-low.c (lower_omp_for): Likewise; use
        gimple_seq_first_stmt_as_a_bind to encapsulate the checked cast.
        (lower_omp_target): Likewise.
        * tree-nested.c (finalize_nesting_tree_1): Likewise.

        * gimple.c (empty_stmt_p): Add dyn_cast to a gimple_bind.
        * tree-inline.c (replace_locals_stmt): Add dyn_cast to gimple_bind.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_switch and use it in various places

        * gimple.h (gimple_statement_switch): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_SWITCH.
        (is_a_helper <gimple_statement_switch>::test (gimple)): New.

        * coretypes.h (gimple_switch): New typedef
        (const_gimple_switch): Likewise.

        * gdbhooks.py (build_pretty_printer): Add gimple_switch
        and its variants, using the gimple printer.

        * gimple.c (gimple_build_switch_nlabels): Return a gimple_switch
        rather than just a gimple.
        (gimple_build_switch): Likewise.
        * gimple.h (gimple_build_switch_nlabels): Likewise.
        (gimple_build_switch): Likewise.

        * gimple.h (gimple_switch_num_labels): Update type-signature to
        require a gimple_switch rather than just a gimple.
        (gimple_switch_set_num_labels): Likewise.
        (gimple_switch_set_index): Likewise.
        (gimple_switch_label): Likewise.
        (gimple_switch_set_label): Likewise.
        (gimple_switch_default_label): Likewise.
        (gimple_switch_set_default_label): Likewise.
        * expr.h (expand_case): Likewise.
        * gimple-pretty-print.c (dump_gimple_call): Likewise.
        * stmt.c (compute_cases_per_edge): Likewise.
        (expand_case): Likewise.
        * tree-cfg.h (group_case_labels_stmt): Likewise.
        * tree-cfg.c (make_gimple_switch_edges): Likewise.
        (find_taken_edge_switch_expr) Likewise.
        (find_case_label_for_value) Likewise.
        (get_cases_for_edge): Likewise.
        (group_case_labels_stmt): Likewise.
        (verify_gimple_switch): Likewise.
        * tree-eh.c (verify_norecord_switch_expr): Likewise.
        * tree-eh.c (lower_eh_constructs_2): Likewise.
        * tree-loop-distribution.c (generate_loops_for_partition): Likewise.
        * tree-ssa-dom.c (record_edge_info): Likewise.
        * tree-ssa-forwprop.c (simplify_gimple_switch_label_vec): Likewise.
        (simplify_gimple_switch): Likewise.
        * tree-switch-conversion.c (emit_case_bit_tests): Likewise.
        (collect_switch_conv_info): Likewise.
        (build_constructors): Likewise.
        (array_value_type): Likewise.
        (build_one_array): Likewise.
        (build_arrays): Likewise.
        (gen_inbound_check): Likewise.
        * tree-vrp.c (find_switch_asserts): Likewise.
        (find_case_label_range): Likewise.
        (find_case_label_ranges): Likewise.
        (vrp_visit_switch_stmt): Likewise.
        (simplify_switch_using_ranges): Likewise.

        * tree-vrp.c (switch_update): Strengthen field "stmt" from being
        merely a gimple to being a gimple_switch.

        * cfgexpand.c (expand_gimple_stmt_1): Add checked cast to
        gimple_switch in regions where the stmt code has been tested as
        GIMPLE_SWITCH.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * tree-cfg.c (make_edges): Likewise.
        (end_recording_case_labels): Likewise.
        (cleanup_dead_labels): Likewise.
        (cleanup_dead_labels): Likewise.
        (group_case_labels): Likewise.
        (find_taken_edge): Likewise.
        (find_case_label_for_value): Likewise.
        (verify_gimple_stmt): Likewise.
        (gimple_verify_flow_info): Likewise.
        (gimple_redirect_edge_and_branch): Likewise.
        * tree-inline.c (estimate_num_insns): Likewise.
        * tree-ssa-forwprop.c (ssa_forward_propagate_and_combine): Likewise.
        * tree-ssa-uncprop.c (associate_equivalences_with_edges): Likewise.
        * tree-switch-conversion.c (do_switchconv): Likewise.
        * tree-vrp.c  (find_assert_locations_1): Likewise.
        (vrp_visit_stmt): Likewise.
        (simplify_stmt_using_ranges): Likewise.

        * ipa-inline-analysis.c (set_switch_stmt_execution_predicate):
        Introduce local "lastg" as a generic gimple, so that local "last"
        can be of type gimple_switch once lastg's code has been verified.

        * omp-low.c (diagnose_sb_2): Introduce switch_stmt local to handle
        the GIMPLE_SWITCH case.

        * tree-cfg.c (find_taken_edge_switch_expr): Add gimple_switch
        argument, since the caller (find_taken_edge) has checked that
        last_stmt is a switch.

Copyright (C) 2014 Free Software Foundation, Inc.

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.