5039610b96
2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * tree.h (enum tree_code_class): Add tcc_vl_exp. (VL_EXP_CLASS_P): New. (TREE_OPERAND_CHECK): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (TREE_OPERAND_CHECK_CODE): Likewise. (GIMPLE_STMT_OPERAND_CHECK): Likewise. (TREE_RTL_OPERAND_CHECK): Likewise. (tree_operand_check_failed): Make second parameter the whole tree instead of its code. Fixed callers. (VL_EXP_CHECK): New. (TREE_OPERAND_LENGTH): New. (VL_EXP_OPERAND_LENGTH): New. (CALL_EXPR_FN): New. (CALL_EXPR_STATIC_CHAIN): New. (CALL_EXPR_ARGS): New. (CALL_EXPR_ARG): New. (call_expr_nargs): New. (CALL_EXPR_ARGP): New. (build_nt_call_list): Declare. (build_vl_exp_stat): Declare. (build_vl_exp): New. (build_call_list): Declare. (build_call_nary): Declare. (build_call_valist): Declare. (build_call_array): Declare. (call_expr_arg): Declare. (call_expr_argp): Declare. (call_expr_arglist): Declare. (fold_build_call_list): Declare. (fold_build_call_list_initializer): Declare. (fold_call_expr): Declare to replace fold_builtin. (fold_builtin_fputs): Update to agree with modified definition. (fold_builtin_strcpy): Likewise. (fold_builtin_strncpy): Likewise. (fold_builtin_memory_chk): Likewise. (fold_builtin_stxcpy_chk): Likewise. (fold_builtin_strncpy_chk): Likewise. (fold_builtin_next_arg): Likewise. (fold_build_call_expr): Declare. (fold_builtin_call_list): Declare. (fold_builtin_call_valist): Declare. (build_call_expr): Declare. (validate_arglist): Update to agree with modified definition. (tree_operand_length): New. (call_expr_arg_iterator): New. (init_call_expr_arg_iterator): New. (next_call_expr_arg): New. (first_call_expr_arg): New. (more_call_expr_args_p): New. (FOR_EACH_CALL_EXPR_ARG): New. * tree.c (tree_code_class_string): Add entries for tcc_vl_exp and tcc_gimple_stmt. (tree_code_size): Update documentation. Use sizeof (tree) rather than sizeof (char *). (tree_size): Likewise. Add case for tcc_vl_exp. (tree_node_structure): Add case for tcc_vl_exp. (contains_placeholder_p): Likewise. (substitute_in_expr): Likewise. (substitute_placeholder_in_expr): Likewise. (stabilize_reference_1): Likewise. (build3_stat): Remove logic for CALL_EXPRs. Replace with assertion to diagnose breakage of this interface for constructing CALL_EXPRs. (build_nt): Add similar assertion here. (build_nt_call_list): New. (simple_cst_equal) <CALL_EXPR>: Rewrite to use new accessors. (iterative_hash_expr): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (get_callee_fndecl): Use new CALL_EXPR accessors. (tree_operand_check_failed): Change parameters to pass entire node instead of its code, so that we can call TREE_OPERAND_LENGTH on it. (process_call_operands): New. (build_vl_exp_stat): New. (build_call_list): New. (build_call_nary): New. (build_call_valist): New. (build_call_array): New. (walk_tree): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (call_expr_arglist): New. * tree.def (CALL_EXPR): Change representation of CALL_EXPRs to use tcc_vl_exp instead of a fixed-size tcc_expression. * doc/c-tree.texi (CALL_EXPR): Document new representation and accessors for CALL_EXPRs. (AGGR_INIT_EXPR): Likewise. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * builtins.c (c_strlen): Return NULL_TREE instead of 0. (expand_builtin_nonlocal_goto): Change parameter to be entire CALL_EXPR instead of an arglist. Use new CALL_EXPR accessors. (expand_builtin_prefetch): Likewise. (expand_builtin_classify_type): Likewise. (mathfn_built_in): Return NULL_TREE instead of 0. (expand_errno_check): Use new CALL_EXPR accessors. (expand_builtin_mathfn): Use new CALL_EXPR accessors and constructors. Return NULL_RTX instead of 0. (expand_builtin_mathfn_2): Likewise. (expand_builtin_mathfn_3): Likewise. (expand_builtin_interclass_mathfn): Likewise. (expand_builtin_sincos): Likewise. (expand_builtin_cexpi): Likewise. (expand_builtin_int_roundingfn): Likewise. (expand_builtin_int_roundingfn_2): Likewise. (expand_builtin_pow): Likewise. (expand_builtin_powi): Likewise. (expand_builtin_strlen): Pass entire CALL_EXPR as parameter instead of arglist, fixing callers appropriately. Use new CALL_EXPR accessors and constructors. Return NULL_RTX instead of 0. (expand_builtin_strstr): Likewise. (expand_builtin_strchr): Likewise. (expand_builtin_strrchr): Likewise. (expand_builtin_strpbrk): Likewise. (expand_builtin_memcpy): Likewise. (expand_builtin_mempcpy): Likewise. (expand_builtin_mempcpy_args): New. (expand_builtin_memmove): Similarly to expand_builtin_mempcpy. (expand_builtin_memmove_args): New. (expand_builtin_bcopy): Similarly to expand_builtin_mempcpy. (expand_movstr): Likewise. (expand_builtin_strcpy): Likewise. (expand_builtin_strcpy_args): New. (expand_builtin_stpcpy): Similarly to expand_builtin_strcpy. (expand_builtin_strncpy): Likewise. (expand_builtin_memset): Likewise. (expand_builtin_memset_args): New. (expand_builtin_bzero): Similarly to expand_builtin_memset. (expand_builtin_memcmp): Likewise. (expand_builtin_strcmp): Likewise. (expand_builtin_strncmp): Likewise. (expand_builtin_strcat): Likewise. (expand_builtin_strncat): Likewise. (expand_builtin_strspn): Likewise. (expand_builtin_strcspn): Likewise. (expand_builtin_args_info): Likewise. (expand_builtin_va_start): Likewise. (gimplify_va_arg_expr): Likewise. (expand_builtin_va_end): Likewise. (expand_builtin_va_copy): Likewise. (expand_builtin_frame_address): Likewise. (expand_builtin_alloca): Likewise. (expand_builtin_bswap): Likewise. (expand_builtin_unop): Likewise. (expand_builtin_fputs): Likewise. (expand_builtin_expect): Likewise. (expand_builtin_fabs): Likewise. (expand_builtin_copysign): Likewise. (expand_builtin_printf): Likewise. (expand_builtin_fprintf): Likewise. (expand_builtin_sprintf): Likewise. (expand_builtin_init_trampoline): Likewise. (expand_builtin_signbit): Likewise. (expand_builtin_fork_or_exec): Likewise. (expand_builtin_sync_operation): Likewise. (expand_builtin_compare_and_swap): Likewise. (expand_builtin_lock_test_and_set): Likewise. (expand_builtin_lock_release): Likewise. (expand_builtin): Likewise. (builtin_mathfn_code): Likewise. (fold_builtin_constant_p): Pass call arguments individually instead of as an arglist, fixing callers appropriately. Use new CALL_EXPR accessors and constructors. Return NULL_TREE instead of 0. (fold_builtin_expect): Likewise. (fold_builtin_classify_type): Likewise. (fold_builtin_strlen): Likewise. (fold_builtin_nan): Likewise. (integer_valued_real_p): Likewise. (fold_trunc_transparent_mathfn): Likewise. (fold_fixed_mathfn): Likewise. (fold_builtin_cabs): Likewise. (fold_builtin_sqrt): Likewise. (fold_builtin_cbrt): Likewise. (fold_builtin_cos): Likewise. (fold_builtin_cosh): Likewise. (fold_builtin_tan): Likewise. (fold_builtin_sincos): Likewise. (fold_builtin_cexp): Likewise. (fold_builtin_trunc): Likewise. (fold_builtin_floor): Likewise. (fold_builtin_ceil): Likewise. (fold_builtin_round): Likewise. (fold_builtin_int_roundingfn): Likewise. (fold_builtin_bitop): Likewise. (fold_builtin_bswap): Likewise. (fold_builtin_logarithm): Likewise. (fold_builtin_hypot): Likewise. (fold_builtin_pow): Likewise. (fold_builtin_powi): Likewise. (fold_builtin_exponent): Likewise. (fold_builtin_memset): Likewise. (fold_builtin_bzero): Likewise. (fold_builtin_memory_op): Likewise. (fold_builtin_bcopy): Deleted; call site changed to invoke fold_builtin_memory_op directly. (fold_builtin_strcpy): Similarly as for fold_builtin_memory_op. (fold_builtin_strncpy): Likewise. (fold_builtin_memcmp): Likewise. (fold_builtin_strcmp): Likewise. (fold_builtin_strncmp): Likewise. (fold_builtin_signbit): Likewise. (fold_builtin_copysign): Likewise. (fold_builtin_isascii): Likewise. (fold_builtin_toascii): Likewise. (fold_builtin_isdigit): Likewise. (fold_builtin_fabs): Likewise. (fold_builtin_abs): Likewise. (fold_builtin_fmin_fmax): Likewise. (fold_builtin_carg): Likewise. (fold_builtin_classify): Likewise. (fold_builtin_unordered_cmp): Likewise. (fold_builtin_0, fold_builtin_2, fold_builtin_3, fold_builtin_4): New functions split out from fold_builtin_1. (fold_builtin_n): New. (fold_builtin_varargs): New. (fold_builtin): Deleted. Most callers changed to use fold_call_expr instead. (fold_call_expr): New. (build_function_call_expr): Rewrite to use new helper function. (fold_builtin_call_list): New. (build_call_expr): New. (fold_builtin_call_valist): New. (rewrite_call_expr): New. (validate_arg): New. (validate_arglist): Change parameter to be entire CALL_EXPR instead of an arglist. Change return type to bool. Use new CALL_EXPR accessors. (fold_builtin_strstr): Pass call arguments individually instead of as an arglist, fixing callers appropriately. Use new CALL_EXPR accessors and constructors. Return NULL_TREE instead of 0. (fold_builtin_strchr): Likewise. (fold_builtin_strrchr): Likewise. (fold_builtin_strpbrk): Likewise. (fold_builtin_strcat): Likewise. (fold_builtin_strncat): Likewise. (fold_builtin_strspn): Likewise. (fold_builtin_strcspn): Likewise. (fold_builtin_fputs): Likewise. (fold_builtin_next_arg): Likewise. (fold_builtin_sprintf): Likewise. (expand_builtin_object_size): Use new CALL_EXPR accessors. Use NULL_RTX instead of 0. (expand_builtin_memory_chk): Likewise. (maybe_emit_chk_warning): Likewise. (maybe_emit_sprintf_chk_warning): Likewise. (fold_builtin_object_size): Pass call arguments individually instead of as an arglist, fixing callers appropriately. Use new CALL_EXPR accessors and constructors. Return NULL_TREE instead of 0. (fold_builtin_memory_chk): Likewise. (fold_builtin_stxcpy_chk): Likewise. (fold_builtin_strncpy_chk): Likewise. (fold_builtin_strcat_chk): Likewise. (fold_builtin_strcat_chk): Likewise. (fold_builtin_strncat_chk): Likewise. (fold_builtin_sprintf_chk): Likewise. (fold_builtin_snprintf_chk): Likewise. (fold_builtin_printf): Likewise. (fold_builtin_vprintf): Likewise. * fold-const.c (negate_expr_p): Use new CALL_EXPR accessors and constructors. (operand_equal_p): Add separate tcc_vl_exp/CALL_EXPR case. (make_range): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (extract_muldiv_1): Add VL_EXP_CLASS_P case. (fold_mathfn_compare): Use new CALL_EXPR accessors and constructors. (fold_unary): Likewise. (fold_binary): Likewise. (fold_ternary): Remove CALL_EXPR case, since they are no longer ternary expressions. (fold): Add logic for tcc_vl_exp. (fold_checksum_tree): Make it know about tcc_vl_exp. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (fold_build3_stat): Add assertion to flag broken interface for constructing CALL_EXPRs. (fold_build_call_list): New. (fold_build_call_list_initializer): New. (tree_expr_nonnegative_p): Use new CALL_EXPR accessors and constructors. (fold_strip_sign_ops): Likewise. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * tree-dump.c (dequeue_and_dump) <CALL_EXPR>: Use new CALL_EXPR accessors and dump arguments explicitly. * tree-pretty-print.c (do_niy): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (dump_generic_node): Use new CALL_EXPR accessors and walk arguments explicitly. (print_call_name): Use new CALL_EXPR accessors. * print-tree.c (print_node): Add case tcc_vl_exp. Print CALL_EXPR arguments explicitly instead of as a list. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * tree-vrp.c (stmt_interesting_for_vrp): Use new CALL_EXPR accessors. (vrp_visit_stmt): Likewise. * tree-ssa-loop-im.c (outermost_invariant_loop_expr): Make it know about tcc_vl_exp. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (force_move_till_expr): Likewise. * targhooks.c (default_external_stack_protect_fail): Use build_call_expr instead of build_function_call_expr. (default_hidden_stack_protect_fail): Likewise. * tree-complex.c (expand_complex_libcall): Use build_call_expr to build the call. * cgraphbuild.c (build_cgraph_edges): Use new CALL_EXPR accessors and walk arguments explicitly. * tree-ssa-loop-niter.c (simplify_replace_tree): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (expand_simple_operations): Likewise. (infer_loop_bounds_from_array): Use new CALL_EXPR accessors. * gengtype.c (adjust_field_tree_exp): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (walk_type): Tweak walking of arrays not to blow up on CALL_EXPRs. * optabs.c (expand_widen_pattern-expr): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * value_prof.c (tree_ic): Use new CALL_EXPR accessors. (tree_ic_transform): Likewise. (interesting_stringop_to_profile_p): Pass entire CALL_EXPR as parameter instead of arglist. Fix callers. (tree_stringop_fixed_value): Use new CALL_EXPR accessors. (tree_stringops_transform): Likewise. (tree_indirect_call_to_profile): Likewise. (tree_stringops_values_to_profile): Likewise. * tree-tailcall.c (find_tail_calls): Use new CALL_EXPR iterator. (eliminate_tail_call): Likewise. * ipa-cp.c (ipcp_update_callgraph): Use new CALL_EXPR accessors. * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop): Use TREE_OPERAND_LENGTH and generalize to handle any number of operands. (instantiate_parameters_1): Can't handle tcc_vl_exp here. * omp-low.c (build_omp_barrier): Use build_call_expr. (lower_rec_input_clauses): Likewise. (lower_reduction_clauses): Likewise. (expand_parallel_call): Likewise. (maybe_catch_exception): Likewise. (expand_omp_for_generic): Likewise. (expand_omp_for_static_nochunk): Likewise. (expand_omp_sections): Likewise. (lower_omp_single_simple): Likewise. (lower_omp_single_copy): Likewise. (lower_omp_master): Likewise. (lower_omp_ordered): Likewise. (lower_omp_critical): Likewise. * ipa-reference.c (check-call): Use new CALL_EXPR iterator. (scan_for_static_refs): Create tcc_vl_exp case for CALL_EXPR. * tree-gimple.c (is_gimple_call_addr): Fix doc. (recalculate_side_effects): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. Add tcc_vl_exp case. * tree-chrec.c (chrec_contains_symbols): Use TREE_OPERAND_LENGTH and generalize to handle any number of operands. (chrec_contains_undetermined): Likewise. (tree_contains_chrecs): Likewise. (evolution_function_is_invariant_rec_p): Use TREE_OPERAND_LENGTH. * cgraphunit.c (update_call_expr): Use new CALL_EXPR accessors. * tree-ssa-ccp.c (ccp_fold): Use new CALL_EXPR accessors. Use fold_call_expr instead of fold_builtin. (ccp_fold_builtin): Likewise. Update calls into builtins.c to match declarations there. (fold_stmt): Use new CALL_EXPR constructor and accessors. Doc updates. * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * ipa-pure-const.c (check_call): Use new CALL_EXPR accessors. (scan_function): Add case tcc_vl_exp for CALL_EXPR. * tree-stdarg.c (execute_optimize_stdarg): Use new CALL_EXPR accessors. * tree-ssa-math-opts.c (execute_cse_sincos_1): Use build_call_expr. (execute_cse_sincos): Use new CALL_EXPR accessors. * tree-ssa-alias.c (find_used_portions): Use new CALL_EXPR iterator. * gimple-low.c (lower_function_body): Use build_call_expr. (lower_builtin_setjmp): Likewise. * expr.c (emit_block_move_via_libcall): Use build_call_expr. (set_storage_via_libcall): Likewise. (safe_from_p): Add tcc_vl_exp case. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (expand_expr_real_1): Use new CALL_EXPR accessors. * tree-browser.c (store_child_info): Use TREE_OPERAND_LENGTH and generalize to handle any number of operands. (TB_parent_eq): Likewise. * predict.c (expr_expected_value): Use new CALL_EXPR accessors. (strip_builtin_expect): Likewise. * function.c (gimplify_parameters): Use build_call_expr. * tree-vectorizer.c (vect_is_simple_reduction): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * ipa-type-escape.c (check_call): Use new CALL_EXPR iterators. (scan_for_refs): Add case tcc_vl_exp for CALL_EXPR. * tree-data-ref.c (get_references_in_stmt): Use new CALL_EXPR iterators. * gimplify.c (build_stack_save_restore): Use build_call_expr. (gimplify_decl_expr): Likewise. (gimplify_call_expr): Use fold_call_expr instead of fold_builtin. Use new CALL_EXPR iterators. (gimplify_modify_expr_to_memcpy): Use build_call_expr. (gimplify_modify_expr_to_memset): Likewise. (gimplify_variable_sized_compare): Likewise. (gimplify_omp_atomic_fetch_op): Likewise. (gimplify_omp_atomic_pipeline): Likewise. (gimplify_omp_atomic_mutex): Likewise. (gimplify_function_tree): Likewise. * calls.c (alloca_call_p): Use new CALL_EXPR accessors. (call_expr_flags): Likewise. (expand_call): Likewise. * except.c (expand_builtin_eh_return_data_regno): Pass entire CALL_EXPR as parameter instead of arglist. Use new CALL_EXPR accessors. * coverage.c (create_coverage): Use build_call_expr. * tree-ssa-pre.c (expression_node_pool, list_node_pool): Delete. (temp_call_expr_obstack): New. (pool_copy_list): Delete. (temp_copy_call_expr): New. (phi_translate): Add case tcc_vl_exp for CALL_EXPR. Use new CALL_EXPR accessors. Get rid of special goo for copying argument lists and use temp_copy_call_expr instead. (valid_in_sets): Add case tcc_vl_exp for CALL_EXPR. Use new CALL_EXPR accessors. (create_expression_by_pieces): Likewise. Use build_call_array to construct the result instead of fold_build3. (create_value_expr_from): Add tcc_vl_exp. Delete special goo for dealing with argument lists. (init_pre): Remove references to expression_node_pool and list_node_pool. Init temp_call_expr_obstack instead. (fini_pre): Remove references to expression_node_pool and list_node_pool. * tree-sra.c (sra_walk_call_expr): Use new CALL_EXPR accessors and walk arguments explicitly instead of as a list. * tree-mudflap.c (mf_build_check_statement_for): Use build_call_expr. (mx_register_decls): Likewise. (mudflap_register_call): Likewise. (mudflap_finish_file): Likewise. * ipa-prop.c (ipa_callsite_compute_count): Use new CALL_EXPR accessors. (ipa_callsite_compute_param): Likewise. * tree-vect-patterns.c (vect_recog_pow_pattern): Use new CALL_EXPR accessors and constructor. * tree-nested.c (convert_nl_goto_reference): Use new CALL_EXPR accessors and constructor. (convert_tramp_reference): Likewise. (convert_call_expr): Likewise. (finalize_nesting_tree_1): Likewise. * tree-ssa.c (tree_ssa_useless_type_conversion): Use new CALL_EXPR accessors. * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Use build_call_expr. * tree-inline.c (initialize_inlined_parameters): Pass entire CALL_EXPR as parameter instead of arglist. Use new CALL_EXPR accessors. (estimate_num_insns_1): Use new CALL_EXPR accessors. (expand_call_inline): Tidy up call to initialize_inlined_parameters. * tree-vect-transform.c (vect_create_epilog_for_reduction): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (vectorizable_reduction): Likewise. (vectorizable_call): Use new CALL_EXPR iterators. (vectorizable_conversion): Use build_call_expr. (vectorizable_operation): Use TREE_OPERAND_LENGTH. (vect_gen_widened_results_half): Use build_call_expr. (vect_setup_realignment): Likewise. (vectorizable_live_operation): Use TREE_OPERAND_LENGTH. * tree-object-size.c (alloc_object_size): Use new CALL_EXPR accessors. (pass_through_call): Likewise. (compute_object_sizes): Likewise. Use fold_call_expr instead of fold_builtin. * tree-profile.c (tree_gen_interval_profiler): Use build_call_expr. (tree_gen_pow2_profiler): Likewise. (tree_gen_one_value_profiler): Likewise. (tree_gen_ic_func_profiler): Likewise. (tree_gen_average_profiler): Likewise. (tree_gen_ior_profiler): Likewise. * tree-ssa-structalias.c (get_constraint_for): Add case tcc_vl_exp. (find_func_aliases): Use new CALL_EXPR accessors. Add case tcc_vl_exp. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * tree-ssa-reassoc.c (get_rank): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * stmt.c (warn_if_unused_value): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * convert.c (convert_to_real): Use new CALL_EXPR accessors and constructor. (convert_to_integer): Likewise. * tree-ssa-operands.c (get_call_expr_operands): Use new CALL_EXPR accessors. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * config/alpha/alpha.c (alpha_expand_builtin): Use new CALL_EXPR accessors. * config/frv/frv.c (frv_expand_builtin): Likewise. * config/s390/s390.c (s390_expand_builtin): Likewise. * config/sparc/sparc.c (sparc_gimplify_va_arg): Use build_call_expr. (sparc_expand_builtin): Use new CALL_EXPR accessors. * config/i386/i386.c (ix86_function_ok_for_sibcall): Likewise. (ix86_expand_binop_builtin): Pass entire CALL_EXPR as parameter instead of arglist. Use new CALL_EXPR accessors on it. Fix callers. (ix86_expand_store_builtin): Likewise. (ix86_expand_unop_builtin): Likewise. (ix86_expand_unop1_builtin): Likewise. (ix86_expand_sse_compare): Likewise. (ix86_expand_sse_comi): Likewise. (ix86_expand_vec_init_builtin): Likewise. (ix86_expand_vec_ext_builtin): Likewise. (ix86_expand_vec_set_builtin): Likewise. (ix86_expand_builtin): Use new CALL_EXPR accessors. * config/sh/sh.c (sh_expand_builtin): Use new CALL_EXPR accessors. * config/c4x/c4x.c (c4x_expand_builtin): Likewise. * config/iq2000/iq2000.c (expand_one_builtin): Pass entire CALL_EXPR instead of arglist. Use new CALL_EXPR accessors. Fix callers. (iq2000_expand_builtin): Use new CALL_EXPR accessors. * config/rs6000/rs6000-c.c (altivec_build_resolved_builtin): Use build_call_expr. * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise. (rs6000_expand_unop_builtin): Pass entire CALL_EXPR instead of arglist. Use new CALL_EXPR accessors. Fix callers. (altivec_expand_abs_builtin): Likewise. (rs6000_expand_binop_builtin): Likewise. (altivec_expand_predicate_builtin): Likewise. (altivec_expand_lv_builtin): Likewise. (spe_expand_stv_builtin): Likewise. (altivec_expand_stv_builtin): Likewise. (rs6000_expand_ternop_builtin): Likewise. (altivec_expand_ld_builtin): Use new CALL_EXPR accessors. (altivec_expand_st_builtin): Likewise. (altivec_expand_dst_builtin): Likewise. (altivec_expand_vec_init_builtin): Pass entire CALL_EXPR instead of arglist. Use new CALL_EXPR accessors. Fix callers. (altivec_expand_vec_set_builtin): Likewise. (altivec_expand_vec_ext_builtin): Likewise. (altivec_expand_builtin): Use new CALL_EXPR accessors. (spe_expand_builtin): Likewise. (spe_expand_predicate_builtin): Pass entire CALL_EXPR instead of arglist. Use new CALL_EXPR accessors. Fix callers. (spe_expand_evsel_builtin): Likewise. (rs6000_expand_builtin): Use new CALL_EXPR accessors. VCFUX and FCFSX cases must construct whole new CALL_EXPR, not just arglist. * config/arm/arm.c (arm_expand_binop_builtin): Pass entire CALL_EXPR instead of arglist. Use new CALL_EXPR accessors. Fix callers. (arm_expand_unop_builtin): Likewise. (arm_expand_builtin): Use new CALL_EXPR accessors. * config/mips/mips.c (mips_expand_builtin): Use new CALL_EXPR accessors. * config/bfin/bfin.c (bfin_expand_binop_builtin): Pass entire CALL_EXPR instead of arglist. Use new CALL_EXPR accessors. Fix callers. (bfin_expand_unop_builtin): Likewise. (bfin_expand_builtin): Use new CALL_EXPR accessors. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * c-semantics.c (build_stmt): Add internal diagnostic check. * c-pretty-print.c (pp_c_postfix_expression): Use new CALL_EXPR accessors. Print arguments explicitly instead of as a list. * c-typeck.c (build_function_call): Use new CALL_EXPR constructors. * c-omp.c (c_finish_omp_barrier): Use build_call_expr. (c_finish_omp_flish): Likewise. * c-common.c (verify_tree): Use new CALL_EXPR accessors. Traverse arguments explicitly instead of as a list. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. (check_function_arguments_recurse): Use new CALL_EXPR accessors. (c_warn_unused_result): Likewise. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * cp-tree.def (AGGR_INIT_EXPR): Adjust documentation. Change class to tcc_vl_exp. * call.c (build_call): Use build_call_list instead of build3. (build_over_call): Likewise. (build_new_method_call): Use build_min_non_dep_call_list instead of build_min_non_dep. * error.c (dump_call_expr_args): New function. (dump_aggr_init_expr_args): New function. (dump_expr) <AGGR_INIT_EXPR, CALL_EXPR, INDIRECT_REF>: Use them. Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros. * cvt.c (convert_to_void): Use build_call_array instead of build3; use new AGGR_INIT_EXPR accessor macros. * mangle.c (write_expression): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * dump.c (cp_dump_tree) <AGGR_INIT_EXPR>: Update to use new AGGR_INIT_EXPR accessor macros. * cp-gimplify.c (cp_gimplify_init_expr): Use AGGR_INIT_EXPR_SLOT to set the slot operand. * cp-tree.h (AGGR_INIT_EXPR_FN): New macro. (AGGR_INIT_EXPR_SLOT): New macro. (AGGR_INIT_EXPR_ARG): New macro. (aggr_init_expr_nargs): New macro. (AGGR_INIT_EXPR_ARGP): New macro. (aggr_init_expr_arg_iterator): New. (init_aggr_init_expr_arg_iterator): New. (next_aggr_init_expr_arg): New. (first_aggr_init_expr_arg): New. (more_aggr_init_expr_args_p): New. (FOR_EACH_AGGR_INIT_EXPR_ARG): New. (stabilize_aggr_init): New declaration. (build_min_non_dep_call_list): Likewise. * tree.c (process_aggr_init_operands): New function. (build_aggr_init_array) New function. (build_cplus_new): Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros. Replace use of build3 with build_aggr_init_array. (build_min_non_dep_call_list) New function. (build_min_nt): Assert input code parameter is not a variable length expression class. (build_min, build_min_non_dep): Likewise. (cp_tree_equal) <CALL_EXPR>: Iterate through the arguments to check for equality instead of recursing. Handle tcc_vl_exp tree code classes. (stabilize_call): Update to only handle CALL_EXPRs, not AGGR_INIT_EXPRs; use new CALL_EXPR accessor macros. (stabilize_aggr_init): New function. (stabilize_init): Use it. * cxx-pretty-print.c (pp_cxx_postfix_expression) <AGGR_INIT_EXPR, CALL_EXPR>: Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros and argument iterators. * pt.c (tsubst_copy) <CALL_EXPR>: Replace build_nt with build_vl_exp. Iterate through the operands, recursively processing each one. (tsubst_copy_and_build) <CALL_EXPR>: Update to use new CALL_EXPR accessor macros. (value_dependent_expression_p) <default>: Handle tcc_vl_exp tree code classes. Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH. * semantics.c (finish_call_expr): Use build_nt_call_list instead of build_nt. (simplify_aggr_init_expr): Update to use new AGGR_INIT_EXPR accessor macros. Use build_call_array to construct the CALL_EXPR node instead of build3 * decl2.c (build_offset_ref_call_from_tree): Use build_nt_call_list and build_min_non_dep_call_list instead of build_min_nt and build_min_non_dep. * parser.c (cp_parser_postfix_expression) <CPP_OPEN_PAREN>: Use build_nt_call_list instead of build_min_nt. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * java-tree.h (BUILD_MONITOR_ENTER): Use build_call_nary instead of build3. (BUILD_MONITOR_EXIT): Likewise. * java-gimplify.c (java_gimplify_component_ref): Use build_call_expr. (java_gimplify_modify_expr): Likewise. * class.c (cache_this_class_ref): Use build_call_expr. (build_static_field_ref): Likewise. (emit_indirect_register_classes): Likewise. (emit_register_classes): Likewise. * resource.c (write_resource_constructor): Use build_call_expr. * builtins.c (builtin_creator_function): Change interpretation of the second parameter to be the whole CALL_EXPR instead of the arglist. (max_builtin): Tweak parameter list. Use new CALL_EXPR accessors. (min_builtin): Likewise. (abs_builtin): Likewise. (java_build_function_call_expr): Likewise. (convert_real): Likewise. (UNMARSHAL3): Likewise. (UNMARSHAL4): Likewise. (UNMARSHAL5): Likewise. (build_arglist_for_builtin): Delete. Fix callers to use build_call_expr instead. (putObject_builtin): Tweak parameter list. Use new CALL_EXPR accessors. (compareAndSwapInt_builtin): Likewise. (compareAndSwapLong_builtin): Likewise. (compareAndSwapObject_builtin): Likewise. (putVolatile_builtin): Likewise. (getVolatile_builtin): Likewise. (VMSupportsCS8_builtin): Likewise. (check_for_builtin): Pass entire CALL_EXPR to builtin expander instead of arglist. * expr.c (build_java_athrow): Use build_call_nary instead of build3. (build_java_throw_out_of_bounds_exception): Likewise. (java_check_reference): Likewise. (build_java_arraystore_check): Likewise. (build_newarray): Likewise. (build_anewarray): Likewise. (expand_java_multinewarray): Use build_call_list instead of build3. (build_java_monitor): Use build_call_nary instead of build3. (java_create_object): Likewise. (expand_java_NEW): Likewise. (build_instanceof): Likewise. (expand_java_CHECKCAST): Likewise. (build_java_soft_divmod): Likewise. (build_java_binop): Likewise. (build_field_ref): Likewise. (build_class_init): Likewise. (rewrite_arglist_getcaller): Use build_call_expr. (build_invokeinterface): Use build_call_nary instead of build3. (expand_invoke): Use build_call_list instead of build3. (build_jni_stub): Use build_call_nary, build_call_list, or build_call_expr instead of build3. (expand_java_field_op): Use build_call_expr instead of build3. (force_evaluation_order): Use new CALL_EXPR accessors. * lang.c (java_get_callee_fndecl): Use new CALL_EXPR accessors. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * objc-act.c (receiver_is_class_object): Use new CALL_EXPR accessors. (objc_get_callee_fndecl): Likewise. 2007-02-15 Sandra Loosemore <sandra@codesourcery.com> Brooks Moses <brooks.moses@codesourcery.com> Lee Millward <lee.millward@codesourcery.com> * trans-expr.c (gfc_conv_power_op): Use build_call_expr. (gfc_conv_string_tmp): Likewise. (gfc_conv_concat_op): Likewise. (gfc_build_compare_string): Likewise. (gfc_conv_function_call): Use build_call_list instead of build3. * trans-array.c (gfc_trans_allocate_array_storage): Use build_call_expr. (gfc_grow_array): Likewise. (gfc_trans_array_ctor_element): Likewise. (gfc_trans_array_constructor_value): Likewise. (gfc_array_allocate): Likewise. (gfc_array_deallocate): Likewise. (gfc_trans_auto_array_allocation): Likewise. (gfc_trans_dummy_array_bias): Likewise. (gfc_conv_array_parameter): Likewise. (gfc_trans_dealloc_allocated): Likewise. (gfc_duplicate_allocatable): Likewise. * trans-openmp.c (gfc_trans_omp_barrier): Use build_call_expr. (gfc_trans_omp_flush): Likewise. * trans-stmt.c (gfc_conv_elementel_dependencies): Use build_call_expr. (gfc_trans_pause): Likewise. (gfc_trans_stop): Likewise. (gfc_trans_character_select): Likewise. (gfc_do_allocate): Likewise. (gfc_trans_assign_need_temp): Likewise. (gfc_trans_pointer_assign_need_temp): Likewise. (gfc_trans_forall_1): Likewise. (gfc_trans_where_2): Likewise. (gfc_trans_allocate): Likewise. (gfc_trans_deallocate): Likewise. * trans.c (gfc_trans_runtime_check): Use build_call_expr. * trans-io.c (gfc_trans_open): Use build_call_expr. (gfc_trans_close): Likewise. (build_filepos): Likewise. (gfc_trans_inquire): Likewise. (NML_FIRST_ARG): Delete. (NML_ADD_ARG): Delete. (transfer_namelist_element): Use build_call_expr. (build_dt): Likewise. (gfc_trans_dt_end): Likewise. (transfer_expr): Likewise. (transfer_array-desc): Likewise. * trans-decl.c (gfc_generate_function_code): Use build_call_expr. (gfc_generate_constructors): Likewise. * trans-intrinsic.c (gfc_conv_intrinsic_ctime): Use build_call_expr. (gfc_conv_intrinsic_fdate): Likewise. (gfc_conv_intrinsic_ttynam): Likewise. (gfc_conv_intrinsic_array_transfer): Likewise. (gfc_conv_associated): Likewise. (gfc_conv_intrinsic_si_kind): Likewise. (gfc_conv_intrinsic_trim): Likewise. (gfc_conv_intrinsic_repeat: Likewise. (gfc_conv_intrinsic_iargc): Likewise. Co-Authored-By: Brooks Moses <brooks.moses@codesourcery.com> Co-Authored-By: Lee Millward <lee.millward@codesourcery.com> From-SVN: r122018
964 lines
21 KiB
C
964 lines
21 KiB
C
/* Tree browser.
|
|
Copyright (C) 2002, 2003, 2004 Free Software Foundation, Inc.
|
|
Contributed by Sebastian Pop <s.pop@laposte.net>
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 2, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING. If not, write to the Free
|
|
Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
|
|
02110-1301, USA. */
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "tm.h"
|
|
#include "tree.h"
|
|
#include "tree-inline.h"
|
|
#include "diagnostic.h"
|
|
#include "hashtab.h"
|
|
|
|
|
|
#define TB_OUT_FILE stdout
|
|
#define TB_IN_FILE stdin
|
|
#define TB_NIY fprintf (TB_OUT_FILE, "Sorry this command is not yet implemented.\n")
|
|
#define TB_WF fprintf (TB_OUT_FILE, "Warning, this command failed.\n")
|
|
|
|
|
|
/* Structures for handling Tree Browser's commands. */
|
|
#define DEFTBCODE(COMMAND, STRING, HELP) COMMAND,
|
|
enum TB_Comm_code {
|
|
#include "tree-browser.def"
|
|
TB_UNUSED_COMMAND
|
|
};
|
|
#undef DEFTBCODE
|
|
typedef enum TB_Comm_code TB_CODE;
|
|
|
|
struct tb_command {
|
|
const char *help_msg;
|
|
const char *comm_text;
|
|
size_t comm_len;
|
|
TB_CODE comm_code;
|
|
};
|
|
|
|
#define DEFTBCODE(code, str, help) { help, str, sizeof(str) - 1, code },
|
|
static const struct tb_command tb_commands[] =
|
|
{
|
|
#include "tree-browser.def"
|
|
};
|
|
#undef DEFTBCODE
|
|
|
|
#define TB_COMMAND_LEN(N) (tb_commands[N].comm_len)
|
|
#define TB_COMMAND_TEXT(N) (tb_commands[N].comm_text)
|
|
#define TB_COMMAND_CODE(N) (tb_commands[N].comm_code)
|
|
#define TB_COMMAND_HELP(N) (tb_commands[N].help_msg)
|
|
|
|
|
|
/* Next structure is for parsing TREE_CODEs. */
|
|
struct tb_tree_code {
|
|
enum tree_code code;
|
|
const char *code_string;
|
|
size_t code_string_len;
|
|
};
|
|
|
|
#define DEFTREECODE(SYM, STRING, TYPE, NARGS) { SYM, STRING, sizeof (STRING) - 1 },
|
|
static const struct tb_tree_code tb_tree_codes[] =
|
|
{
|
|
#include "tree.def"
|
|
};
|
|
#undef DEFTREECODE
|
|
|
|
#define TB_TREE_CODE(N) (tb_tree_codes[N].code)
|
|
#define TB_TREE_CODE_TEXT(N) (tb_tree_codes[N].code_string)
|
|
#define TB_TREE_CODE_LEN(N) (tb_tree_codes[N].code_string_len)
|
|
|
|
|
|
/* Function declarations. */
|
|
|
|
static long TB_getline (char **, long *, FILE *);
|
|
static TB_CODE TB_get_command (char *);
|
|
static enum tree_code TB_get_tree_code (char *);
|
|
static tree find_node_with_code (tree *, int *, void *);
|
|
static tree store_child_info (tree *, int *, void *);
|
|
static void TB_update_up (tree);
|
|
static tree TB_current_chain_node (tree);
|
|
static tree TB_prev_expr (tree);
|
|
static tree TB_next_expr (tree);
|
|
static tree TB_up_expr (tree);
|
|
static tree TB_first_in_bind (tree);
|
|
static tree TB_last_in_bind (tree);
|
|
static int TB_parent_eq (const void *, const void *);
|
|
static tree TB_history_prev (void);
|
|
|
|
/* FIXME: To be declared in a .h file. */
|
|
void browse_tree (tree);
|
|
|
|
/* Static variables. */
|
|
static htab_t TB_up_ht;
|
|
static tree TB_history_stack = NULL_TREE;
|
|
static int TB_verbose = 1;
|
|
|
|
|
|
/* Entry point in the Tree Browser. */
|
|
|
|
void
|
|
browse_tree (tree begin)
|
|
{
|
|
tree head;
|
|
TB_CODE tbc = TB_UNUSED_COMMAND;
|
|
ssize_t rd;
|
|
char *input = NULL;
|
|
long input_size = 0;
|
|
|
|
fprintf (TB_OUT_FILE, "\nTree Browser\n");
|
|
|
|
#define TB_SET_HEAD(N) do { \
|
|
TB_history_stack = tree_cons (NULL_TREE, (N), TB_history_stack); \
|
|
head = N; \
|
|
if (TB_verbose) \
|
|
if (head) \
|
|
{ \
|
|
print_generic_expr (TB_OUT_FILE, head, 0); \
|
|
fprintf (TB_OUT_FILE, "\n"); \
|
|
} \
|
|
} while (0)
|
|
|
|
TB_SET_HEAD (begin);
|
|
|
|
/* Store in a hashtable information about previous and upper statements. */
|
|
{
|
|
TB_up_ht = htab_create (1023, htab_hash_pointer, &TB_parent_eq, NULL);
|
|
TB_update_up (head);
|
|
}
|
|
|
|
while (24)
|
|
{
|
|
fprintf (TB_OUT_FILE, "TB> ");
|
|
rd = TB_getline (&input, &input_size, TB_IN_FILE);
|
|
|
|
if (rd == -1)
|
|
/* EOF. */
|
|
goto ret;
|
|
|
|
if (rd != 1)
|
|
/* Get a new command. Otherwise the user just pressed enter, and thus
|
|
she expects the last command to be reexecuted. */
|
|
tbc = TB_get_command (input);
|
|
|
|
switch (tbc)
|
|
{
|
|
case TB_UPDATE_UP:
|
|
TB_update_up (head);
|
|
break;
|
|
|
|
case TB_MAX:
|
|
if (head && (INTEGRAL_TYPE_P (head)
|
|
|| TREE_CODE (head) == REAL_TYPE))
|
|
TB_SET_HEAD (TYPE_MAX_VALUE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_MIN:
|
|
if (head && (INTEGRAL_TYPE_P (head)
|
|
|| TREE_CODE (head) == REAL_TYPE))
|
|
TB_SET_HEAD (TYPE_MIN_VALUE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ELT:
|
|
if (head && TREE_CODE (head) == TREE_VEC)
|
|
{
|
|
/* This command takes another argument: the element number:
|
|
for example "elt 1". */
|
|
TB_NIY;
|
|
}
|
|
else if (head && TREE_CODE (head) == VECTOR_CST)
|
|
{
|
|
/* This command takes another argument: the element number:
|
|
for example "elt 1". */
|
|
TB_NIY;
|
|
}
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_VALUE:
|
|
if (head && TREE_CODE (head) == TREE_LIST)
|
|
TB_SET_HEAD (TREE_VALUE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_PURPOSE:
|
|
if (head && TREE_CODE (head) == TREE_LIST)
|
|
TB_SET_HEAD (TREE_PURPOSE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_IMAG:
|
|
if (head && TREE_CODE (head) == COMPLEX_CST)
|
|
TB_SET_HEAD (TREE_IMAGPART (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_REAL:
|
|
if (head && TREE_CODE (head) == COMPLEX_CST)
|
|
TB_SET_HEAD (TREE_REALPART (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BLOCK:
|
|
if (head && TREE_CODE (head) == BIND_EXPR)
|
|
TB_SET_HEAD (TREE_OPERAND (head, 2));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SUBBLOCKS:
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_SUBBLOCKS (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SUPERCONTEXT:
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_SUPERCONTEXT (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_VARS:
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_VARS (head));
|
|
else if (head && TREE_CODE (head) == BIND_EXPR)
|
|
TB_SET_HEAD (TREE_OPERAND (head, 0));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_REFERENCE_TO_THIS:
|
|
if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_REFERENCE_TO (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_POINTER_TO_THIS:
|
|
if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_POINTER_TO (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BASETYPE:
|
|
if (head && TREE_CODE (head) == OFFSET_TYPE)
|
|
TB_SET_HEAD (TYPE_OFFSET_BASETYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ARG_TYPES:
|
|
if (head && (TREE_CODE (head) == FUNCTION_TYPE
|
|
|| TREE_CODE (head) == METHOD_TYPE))
|
|
TB_SET_HEAD (TYPE_ARG_TYPES (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_METHOD_BASE_TYPE:
|
|
if (head && (TREE_CODE (head) == FUNCTION_TYPE
|
|
|| TREE_CODE (head) == METHOD_TYPE)
|
|
&& TYPE_METHOD_BASETYPE (head))
|
|
TB_SET_HEAD (TYPE_METHOD_BASETYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_FIELDS:
|
|
if (head && (TREE_CODE (head) == RECORD_TYPE
|
|
|| TREE_CODE (head) == UNION_TYPE
|
|
|| TREE_CODE (head) == QUAL_UNION_TYPE))
|
|
TB_SET_HEAD (TYPE_FIELDS (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_DOMAIN:
|
|
if (head && TREE_CODE (head) == ARRAY_TYPE)
|
|
TB_SET_HEAD (TYPE_DOMAIN (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_VALUES:
|
|
if (head && TREE_CODE (head) == ENUMERAL_TYPE)
|
|
TB_SET_HEAD (TYPE_VALUES (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ARG_TYPE:
|
|
if (head && TREE_CODE (head) == PARM_DECL)
|
|
TB_SET_HEAD (DECL_ARG_TYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_INITIAL:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_INITIAL (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_RESULT:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_RESULT_FLD (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ARGUMENTS:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_ARGUMENTS (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ABSTRACT_ORIGIN:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_ABSTRACT_ORIGIN (head));
|
|
else if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_ABSTRACT_ORIGIN (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ATTRIBUTES:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_ATTRIBUTES (head));
|
|
else if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_ATTRIBUTES (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CONTEXT:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_CONTEXT (head));
|
|
else if (head && TYPE_P (head)
|
|
&& TYPE_CONTEXT (head))
|
|
TB_SET_HEAD (TYPE_CONTEXT (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_OFFSET:
|
|
if (head && TREE_CODE (head) == FIELD_DECL)
|
|
TB_SET_HEAD (DECL_FIELD_OFFSET (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BIT_OFFSET:
|
|
if (head && TREE_CODE (head) == FIELD_DECL)
|
|
TB_SET_HEAD (DECL_FIELD_BIT_OFFSET (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_UNIT_SIZE:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_SIZE_UNIT (head));
|
|
else if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_SIZE_UNIT (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SIZE:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_SIZE (head));
|
|
else if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_SIZE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_TYPE:
|
|
if (head && TREE_TYPE (head))
|
|
TB_SET_HEAD (TREE_TYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_DECL_SAVED_TREE:
|
|
if (head && TREE_CODE (head) == FUNCTION_DECL
|
|
&& DECL_SAVED_TREE (head))
|
|
TB_SET_HEAD (DECL_SAVED_TREE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BODY:
|
|
if (head && TREE_CODE (head) == BIND_EXPR)
|
|
TB_SET_HEAD (TREE_OPERAND (head, 1));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_0:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 0))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 0));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_1:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 1))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 1));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_2:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 2))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 2));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_3:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 3))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 3));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_PRINT:
|
|
if (head)
|
|
debug_tree (head);
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_PRETTY_PRINT:
|
|
if (head)
|
|
{
|
|
print_generic_stmt (TB_OUT_FILE, head, 0);
|
|
fprintf (TB_OUT_FILE, "\n");
|
|
}
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SEARCH_NAME:
|
|
|
|
break;
|
|
|
|
case TB_SEARCH_CODE:
|
|
{
|
|
enum tree_code code;
|
|
char *arg_text;
|
|
|
|
arg_text = strchr (input, ' ');
|
|
if (arg_text == NULL)
|
|
{
|
|
fprintf (TB_OUT_FILE, "First argument is missing. This isn't a valid search command. \n");
|
|
break;
|
|
}
|
|
code = TB_get_tree_code (arg_text + 1);
|
|
|
|
/* Search in the subtree a node with the given code. */
|
|
{
|
|
tree res;
|
|
|
|
res = walk_tree (&head, find_node_with_code, &code, NULL);
|
|
if (res == NULL_TREE)
|
|
{
|
|
fprintf (TB_OUT_FILE, "There's no node with this code (reachable via the walk_tree function from this node).\n");
|
|
}
|
|
else
|
|
{
|
|
fprintf (TB_OUT_FILE, "Achoo! I got this node in the tree.\n");
|
|
TB_SET_HEAD (res);
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
|
|
#define TB_MOVE_HEAD(FCT) do { \
|
|
if (head) \
|
|
{ \
|
|
tree t; \
|
|
t = FCT (head); \
|
|
if (t) \
|
|
TB_SET_HEAD (t); \
|
|
else \
|
|
TB_WF; \
|
|
} \
|
|
else \
|
|
TB_WF; \
|
|
} while (0)
|
|
|
|
case TB_FIRST:
|
|
TB_MOVE_HEAD (TB_first_in_bind);
|
|
break;
|
|
|
|
case TB_LAST:
|
|
TB_MOVE_HEAD (TB_last_in_bind);
|
|
break;
|
|
|
|
case TB_UP:
|
|
TB_MOVE_HEAD (TB_up_expr);
|
|
break;
|
|
|
|
case TB_PREV:
|
|
TB_MOVE_HEAD (TB_prev_expr);
|
|
break;
|
|
|
|
case TB_NEXT:
|
|
TB_MOVE_HEAD (TB_next_expr);
|
|
break;
|
|
|
|
case TB_HPREV:
|
|
/* This command is a little bit special, since it deals with history
|
|
stack. For this reason it should keep the "head = ..." statement
|
|
and not use TB_MOVE_HEAD. */
|
|
if (head)
|
|
{
|
|
tree t;
|
|
t = TB_history_prev ();
|
|
if (t)
|
|
{
|
|
head = t;
|
|
if (TB_verbose)
|
|
{
|
|
print_generic_expr (TB_OUT_FILE, head, 0);
|
|
fprintf (TB_OUT_FILE, "\n");
|
|
}
|
|
}
|
|
else
|
|
TB_WF;
|
|
}
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHAIN:
|
|
/* Don't go further if it's the last node in this chain. */
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_CHAIN (head));
|
|
else if (head && TREE_CHAIN (head))
|
|
TB_SET_HEAD (TREE_CHAIN (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_FUN:
|
|
/* Go up to the current function declaration. */
|
|
TB_SET_HEAD (current_function_decl);
|
|
fprintf (TB_OUT_FILE, "Current function declaration.\n");
|
|
break;
|
|
|
|
case TB_HELP:
|
|
/* Display a help message. */
|
|
{
|
|
int i;
|
|
fprintf (TB_OUT_FILE, "Possible commands are:\n\n");
|
|
for (i = 0; i < TB_UNUSED_COMMAND; i++)
|
|
{
|
|
fprintf (TB_OUT_FILE, "%20s - %s\n", TB_COMMAND_TEXT (i), TB_COMMAND_HELP (i));
|
|
}
|
|
}
|
|
break;
|
|
|
|
case TB_VERBOSE:
|
|
if (TB_verbose == 0)
|
|
{
|
|
TB_verbose = 1;
|
|
fprintf (TB_OUT_FILE, "Verbose on.\n");
|
|
}
|
|
else
|
|
{
|
|
TB_verbose = 0;
|
|
fprintf (TB_OUT_FILE, "Verbose off.\n");
|
|
}
|
|
break;
|
|
|
|
case TB_EXIT:
|
|
case TB_QUIT:
|
|
/* Just exit from this function. */
|
|
goto ret;
|
|
|
|
default:
|
|
TB_NIY;
|
|
}
|
|
}
|
|
|
|
ret:;
|
|
htab_delete (TB_up_ht);
|
|
return;
|
|
}
|
|
|
|
|
|
/* Search the first node in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_first_in_bind (tree node)
|
|
{
|
|
tree t;
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
while ((t = TB_prev_expr (node)))
|
|
node = t;
|
|
|
|
return node;
|
|
}
|
|
|
|
/* Search the last node in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_last_in_bind (tree node)
|
|
{
|
|
tree t;
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
while ((t = TB_next_expr (node)))
|
|
node = t;
|
|
|
|
return node;
|
|
}
|
|
|
|
/* Search the parent expression for this node. */
|
|
|
|
static tree
|
|
TB_up_expr (tree node)
|
|
{
|
|
tree res;
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
res = (tree) htab_find (TB_up_ht, node);
|
|
return res;
|
|
}
|
|
|
|
/* Search the previous expression in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_prev_expr (tree node)
|
|
{
|
|
node = TB_current_chain_node (node);
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
node = TB_up_expr (node);
|
|
if (node && TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
else
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Search the next expression in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_next_expr (tree node)
|
|
{
|
|
node = TB_current_chain_node (node);
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
node = TREE_OPERAND (node, 1);
|
|
return node;
|
|
}
|
|
|
|
static tree
|
|
TB_current_chain_node (tree node)
|
|
{
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
if (TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
|
|
node = TB_up_expr (node);
|
|
if (node)
|
|
{
|
|
if (TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
|
|
node = TB_up_expr (node);
|
|
if (TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
}
|
|
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* For each node store in its children nodes that the current node is their
|
|
parent. This function is used by walk_tree. */
|
|
|
|
static tree
|
|
store_child_info (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED,
|
|
void *data ATTRIBUTE_UNUSED)
|
|
{
|
|
tree node;
|
|
void **slot;
|
|
|
|
node = *tp;
|
|
|
|
/* 'node' is the parent of 'TREE_OPERAND (node, *)'. */
|
|
if (EXPR_P (node))
|
|
{
|
|
int n = TREE_OPERAND_LENGTH (node);
|
|
int i;
|
|
for (i = 0; i < n; i++)
|
|
{
|
|
tree op = TREE_OPERAND (node, i);
|
|
slot = htab_find_slot (TB_up_ht, op, INSERT);
|
|
*slot = (void *) node;
|
|
}
|
|
}
|
|
|
|
/* Never stop walk_tree. */
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Function used in TB_up_ht. */
|
|
|
|
static int
|
|
TB_parent_eq (const void *p1, const void *p2)
|
|
{
|
|
tree node, parent;
|
|
node = (tree) p2;
|
|
parent = (tree) p1;
|
|
|
|
if (p1 == NULL || p2 == NULL)
|
|
return 0;
|
|
|
|
if (EXPR_P (parent))
|
|
{
|
|
int n = TREE_OPERAND_LENGTH (parent);
|
|
int i;
|
|
for (i = 0; i < n; i++)
|
|
if (node == TREE_OPERAND (parent, i))
|
|
return 1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* Update information about upper expressions in the hash table. */
|
|
|
|
static void
|
|
TB_update_up (tree node)
|
|
{
|
|
while (node)
|
|
{
|
|
walk_tree (&node, store_child_info, NULL, NULL);
|
|
|
|
/* Walk function's body. */
|
|
if (TREE_CODE (node) == FUNCTION_DECL)
|
|
if (DECL_SAVED_TREE (node))
|
|
walk_tree (&DECL_SAVED_TREE (node), store_child_info, NULL, NULL);
|
|
|
|
/* Walk rest of the chain. */
|
|
node = TREE_CHAIN (node);
|
|
}
|
|
fprintf (TB_OUT_FILE, "Up/prev expressions updated.\n");
|
|
}
|
|
|
|
/* Parse the input string for determining the command the user asked for. */
|
|
|
|
static TB_CODE
|
|
TB_get_command (char *input)
|
|
{
|
|
unsigned int mn, size_tok;
|
|
int comp;
|
|
char *space;
|
|
|
|
space = strchr (input, ' ');
|
|
if (space != NULL)
|
|
size_tok = strlen (input) - strlen (space);
|
|
else
|
|
size_tok = strlen (input) - 1;
|
|
|
|
for (mn = 0; mn < TB_UNUSED_COMMAND; mn++)
|
|
{
|
|
if (size_tok != TB_COMMAND_LEN (mn))
|
|
continue;
|
|
|
|
comp = memcmp (input, TB_COMMAND_TEXT (mn), TB_COMMAND_LEN (mn));
|
|
if (comp == 0)
|
|
/* Here we just determined the command. If this command takes
|
|
an argument, then the argument is determined later. */
|
|
return TB_COMMAND_CODE (mn);
|
|
}
|
|
|
|
/* Not a valid command. */
|
|
return TB_UNUSED_COMMAND;
|
|
}
|
|
|
|
/* Parse the input string for determining the tree code. */
|
|
|
|
static enum tree_code
|
|
TB_get_tree_code (char *input)
|
|
{
|
|
unsigned int mn, size_tok;
|
|
int comp;
|
|
char *space;
|
|
|
|
space = strchr (input, ' ');
|
|
if (space != NULL)
|
|
size_tok = strlen (input) - strlen (space);
|
|
else
|
|
size_tok = strlen (input) - 1;
|
|
|
|
for (mn = 0; mn < LAST_AND_UNUSED_TREE_CODE; mn++)
|
|
{
|
|
if (size_tok != TB_TREE_CODE_LEN (mn))
|
|
continue;
|
|
|
|
comp = memcmp (input, TB_TREE_CODE_TEXT (mn), TB_TREE_CODE_LEN (mn));
|
|
if (comp == 0)
|
|
{
|
|
fprintf (TB_OUT_FILE, "%s\n", TB_TREE_CODE_TEXT (mn));
|
|
return TB_TREE_CODE (mn);
|
|
}
|
|
}
|
|
|
|
/* This isn't a valid code. */
|
|
return LAST_AND_UNUSED_TREE_CODE;
|
|
}
|
|
|
|
/* Find a node with a given code. This function is used as an argument to
|
|
walk_tree. */
|
|
|
|
static tree
|
|
find_node_with_code (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED,
|
|
void *data)
|
|
{
|
|
enum tree_code *code;
|
|
code = (enum tree_code *) data;
|
|
if (*code == TREE_CODE (*tp))
|
|
return *tp;
|
|
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Returns a pointer to the last visited node. */
|
|
|
|
static tree
|
|
TB_history_prev (void)
|
|
{
|
|
if (TB_history_stack)
|
|
{
|
|
TB_history_stack = TREE_CHAIN (TB_history_stack);
|
|
if (TB_history_stack)
|
|
return TREE_VALUE (TB_history_stack);
|
|
}
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Read up to (and including) a '\n' from STREAM into *LINEPTR
|
|
(and null-terminate it). *LINEPTR is a pointer returned from malloc
|
|
(or NULL), pointing to *N characters of space. It is realloc'd as
|
|
necessary. Returns the number of characters read (not including the
|
|
null terminator), or -1 on error or EOF.
|
|
This function comes from sed (and is supposed to be a portable version
|
|
of getline). */
|
|
|
|
static long
|
|
TB_getline (char **lineptr, long *n, FILE *stream)
|
|
{
|
|
char *line, *p;
|
|
long size, copy;
|
|
|
|
if (lineptr == NULL || n == NULL)
|
|
{
|
|
errno = EINVAL;
|
|
return -1;
|
|
}
|
|
|
|
if (ferror (stream))
|
|
return -1;
|
|
|
|
/* Make sure we have a line buffer to start with. */
|
|
if (*lineptr == NULL || *n < 2) /* !seen and no buf yet need 2 chars. */
|
|
{
|
|
#ifndef MAX_CANON
|
|
#define MAX_CANON 256
|
|
#endif
|
|
line = (char *) xrealloc (*lineptr, MAX_CANON);
|
|
if (line == NULL)
|
|
return -1;
|
|
*lineptr = line;
|
|
*n = MAX_CANON;
|
|
}
|
|
|
|
line = *lineptr;
|
|
size = *n;
|
|
|
|
copy = size;
|
|
p = line;
|
|
|
|
while (1)
|
|
{
|
|
long len;
|
|
|
|
while (--copy > 0)
|
|
{
|
|
register int c = getc (stream);
|
|
if (c == EOF)
|
|
goto lose;
|
|
else if ((*p++ = c) == '\n')
|
|
goto win;
|
|
}
|
|
|
|
/* Need to enlarge the line buffer. */
|
|
len = p - line;
|
|
size *= 2;
|
|
line = (char *) xrealloc (line, size);
|
|
if (line == NULL)
|
|
goto lose;
|
|
*lineptr = line;
|
|
*n = size;
|
|
p = line + len;
|
|
copy = size - len;
|
|
}
|
|
|
|
lose:
|
|
if (p == *lineptr)
|
|
return -1;
|
|
|
|
/* Return a partial line since we got an error in the middle. */
|
|
win:
|
|
#if defined(WIN32) || defined(_WIN32) || defined(__CYGWIN__) || defined(MSDOS)
|
|
if (p - 2 >= *lineptr && p[-2] == '\r')
|
|
p[-2] = p[-1], --p;
|
|
#endif
|
|
*p = '\0';
|
|
return p - *lineptr;
|
|
}
|