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
1687 lines
62 KiB
C++
1687 lines
62 KiB
C++
/* Definitions for parsing and type checking for the GNU compiler for
|
|
the Java(TM) language.
|
|
Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
|
|
2005, 2006, 2007 Free Software Foundation, Inc.
|
|
|
|
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.
|
|
|
|
Java and all Java-based marks are trademarks or registered trademarks
|
|
of Sun Microsystems, Inc. in the United States and other countries.
|
|
The Free Software Foundation is independent of Sun Microsystems, Inc. */
|
|
|
|
/* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */
|
|
|
|
#ifndef GCC_JAVA_TREE_H
|
|
#define GCC_JAVA_TREE_H
|
|
|
|
#include "hashtab.h"
|
|
|
|
/* Java language-specific tree codes. */
|
|
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
|
|
enum java_tree_code {
|
|
__DUMMY = LAST_AND_UNUSED_TREE_CODE,
|
|
#include "java-tree.def"
|
|
LAST_JAVA_TREE_CODE
|
|
};
|
|
#undef DEFTREECODE
|
|
|
|
struct JCF;
|
|
|
|
/* Usage of TREE_LANG_FLAG_?:
|
|
2: QUALIFIED_P (in IDENTIFIER_NODE)
|
|
CLASS_FILE_P (in a TRANSLATION_UNIT_DECL in current_file_list)
|
|
3: HAS_FINALIZER (in RECORD_TYPE)
|
|
4: IS_A_COMMAND_LINE_FILENAME_P (in IDENTIFIER_NODE)
|
|
IS_ARRAY_LENGTH_ACCESS (in INDIRECT_REF)
|
|
5: HAS_BEEN_ALREADY_PARSED_P (in IDENTIFIER_NODE)
|
|
6: CAN_COMPLETE_NORMALLY (in statement nodes)
|
|
|
|
Usage of TYPE_LANG_FLAG_?:
|
|
1: TYPE_ARRAY_P (in RECORD_TYPE).
|
|
2: CLASS_PARSED_P (in RECORD_TYPE).
|
|
3: CLASS_FROM_SOURCE_P (in RECORD_TYPE).
|
|
4: CLASS_P (in RECORD_TYPE).
|
|
5: CLASS_FROM_CURRENTLY_COMPILED_P (in RECORD_TYPE)
|
|
6: CLASS_BEING_LAIDOUT (in RECORD_TYPE)
|
|
|
|
Usage of DECL_LANG_FLAG_?:
|
|
0: METHOD_DEPRECATED (in FUNCTION_DECL).
|
|
FIELD_DEPRECATED (in FIELD_DECL).
|
|
CLASS_DEPRECATED (in TYPE_DECL).
|
|
1: METHOD_PUBLIC (in FUNCTION_DECL).
|
|
FIELD_PUBLIC (in FIELD_DECL).
|
|
CLASS_PUBLIC (in TYPE_DECL).
|
|
2: METHOD_STATIC (in FUNCTION_DECL).
|
|
(But note that FIELD_STATIC uses TREE_STATIC!)
|
|
FIELD_SYNTHETIC (in FIELD_DECL)
|
|
CLASS_COMPLETE_P (in TYPE_DECL)
|
|
3: METHOD_FINAL (in FUNCTION_DECL)
|
|
FIELD_FINAL (in FIELD_DECL)
|
|
CLASS_FINAL (in TYPE_DECL)
|
|
DECL_FINAL (in any decl)
|
|
4: METHOD_SYNCHRONIZED (in FUNCTION_DECL).
|
|
CLASS_INTERFACE (in TYPE_DECL)
|
|
FIELD_VOLATILE (int FIELD_DECL)
|
|
5: METHOD_ABSTRACT (in FUNCTION_DECL).
|
|
CLASS_ABSTRACT (in TYPE_DECL)
|
|
FIELD_TRANSIENT (in FIELD_DECL)
|
|
6: CLASS_SUPER (in TYPE_DECL, ACC_SUPER flag)
|
|
FIELD_LOCAL_ALIAS (in FIELD_DECL)
|
|
7: DECL_CONSTRUCTOR_P (in FUNCTION_DECL).
|
|
CLASS_STATIC (in TYPE_DECL)
|
|
FIELD_LOCAL_ALIAS_USED (in FIELD_DECL)
|
|
FIELD_THISN (in FIELD_DECL)
|
|
*/
|
|
|
|
#define VAR_OR_FIELD_CHECK(DECL) \
|
|
TREE_CHECK3 (DECL, FIELD_DECL, VAR_DECL, PARM_DECL)
|
|
|
|
/* True if the class whose TYPE_BINFO this is has a superclass.
|
|
(True of all classes except Object.) */
|
|
#define CLASS_HAS_SUPER_FLAG(BINFO) BINFO_FLAG_1 (BINFO)
|
|
#define CLASS_HAS_SUPER(TYPE) \
|
|
(TYPE_BINFO (TYPE) && CLASS_HAS_SUPER_FLAG (TYPE_BINFO (TYPE)))
|
|
|
|
/* Return the supertype of class TYPE, or NULL_TREE is it has none. */
|
|
#define CLASSTYPE_SUPER(TYPE) (CLASS_HAS_SUPER (TYPE) \
|
|
? BINFO_TYPE (BINFO_BASE_BINFO (TYPE_BINFO (TYPE), 0)) \
|
|
: NULL_TREE)
|
|
|
|
/* The class defined by the actual (main) file we are compiling. */
|
|
#define main_class \
|
|
java_global_trees[JTI_MAIN_CLASS]
|
|
|
|
/* The class we use as the base for name resolution. It's usually the
|
|
class we're generating code for but sometimes it points to an inner
|
|
class. If you really want to know the class we're currently
|
|
generating code for, use output_class instead. */
|
|
#define current_class \
|
|
java_global_trees[JTI_CURRENT_CLASS]
|
|
|
|
/* The class we are currently generating. Really. */
|
|
#define output_class \
|
|
java_global_trees[JTI_OUTPUT_CLASS]
|
|
|
|
/* List of all class DECLs seen so far. */
|
|
#define all_class_list \
|
|
java_global_trees[JTI_ALL_CLASS_LIST]
|
|
|
|
/* List of virtual decls referred to by this translation unit, used to
|
|
generate virtual method offset symbol table. */
|
|
|
|
/* The virtual offset table. This is emitted as uninitialized data of
|
|
the required length, and filled out at run time during class
|
|
linking. */
|
|
|
|
/* The virtual offset symbol table. Used by the runtime to fill out
|
|
the otable. */
|
|
|
|
extern int flag_filelist_file;
|
|
|
|
/* When nonzero, permit the use of the assert keyword. */
|
|
|
|
extern int flag_assert;
|
|
|
|
/* When nonzero, assume all native functions are implemented with
|
|
JNI, not CNI. */
|
|
|
|
extern int flag_jni;
|
|
|
|
/* When nonzero, always check for a non gcj generated classes archive. */
|
|
|
|
extern int flag_force_classes_archive_check;
|
|
|
|
/* Resource name. */
|
|
extern const char *resource_name;
|
|
|
|
/* Turned to 1 if -Wall was encountered. See lang.c for their meanings. */
|
|
extern int flag_wall;
|
|
extern int flag_redundant;
|
|
|
|
/* When nonzero, warn when source file is newer than matching class
|
|
file. */
|
|
extern int flag_newer;
|
|
|
|
/* When nonzero, call a library routine to do integer divisions. */
|
|
extern int flag_use_divide_subroutine;
|
|
|
|
/* When nonzero, generate code for the Boehm GC. */
|
|
extern int flag_use_boehm_gc;
|
|
|
|
/* When nonzero, assume the runtime uses a hash table to map an
|
|
object to its synchronization structure. */
|
|
extern int flag_hash_synchronization;
|
|
|
|
/* When nonzero, generate checks for references to NULL. */
|
|
extern int flag_check_references;
|
|
|
|
/* Used through STATIC_CLASS_INIT_OPT_P to check whether static
|
|
initialization optimization should be performed. */
|
|
extern int flag_optimize_sci;
|
|
|
|
/* Generate instances of Class at runtime. */
|
|
extern int flag_indirect_classes;
|
|
|
|
/* When nonzero, use offset tables for virtual method calls
|
|
in order to improve binary compatibility. */
|
|
extern int flag_indirect_dispatch;
|
|
|
|
/* When zero, don't generate runtime array store checks. */
|
|
extern int flag_store_check;
|
|
|
|
/* When nonzero, generate only a limited set of class meta-data. */
|
|
extern int flag_reduced_reflection;
|
|
|
|
/* The Java .class file that provides main_class; the main input file. */
|
|
extern GTY(()) struct JCF * current_jcf;
|
|
|
|
/* Set to nonzero value in order to emit class initialization code
|
|
before static field references. */
|
|
extern int always_initialize_class_p;
|
|
|
|
extern int flag_verify_invocations;
|
|
|
|
/* Largest pc so far in this method that has been passed to lookup_label. */
|
|
extern int highest_label_pc_this_method;
|
|
|
|
/* Base value for this method to add to pc to get generated label. */
|
|
extern int start_label_pc_this_method;
|
|
|
|
typedef struct CPool constant_pool;
|
|
|
|
#define CONSTANT_ResolvedFlag 16
|
|
|
|
/* Don't eagerly resolve this entry. When this flag is set, constant
|
|
pool entries are resolved only at runtime when the entry is first
|
|
referred to. */
|
|
#define CONSTANT_LazyFlag 32
|
|
|
|
/* The cpool->data[i] for a ResolvedString points to a STRING_CST. */
|
|
#define CONSTANT_ResolvedString (CONSTANT_String+CONSTANT_ResolvedFlag)
|
|
|
|
/* The cpool->data[i] for a ResolvedClass points to a RECORD_TYPE. */
|
|
#define CONSTANT_ResolvedClass (CONSTANT_Class+CONSTANT_ResolvedFlag)
|
|
|
|
#define CPOOL_UTF(CPOOL, INDEX) ((CPOOL)->data[INDEX].t)
|
|
|
|
/* A NameAndType constant is represented as a TREE_LIST.
|
|
The type is the signature string (as an IDENTIFIER_NODE). */
|
|
|
|
#define NAME_AND_TYPE_NAME(CPOOL, IDX) \
|
|
CPOOL_UTF(CPOOL, CPOOL_USHORT1(CPOOL, IDX))
|
|
#define NAME_AND_TYPE_SIGNATURE(CPOOL, IDX) \
|
|
CPOOL_UTF(CPOOL, CPOOL_USHORT2(CPOOL, IDX))
|
|
|
|
/* A FieldRef, MethodRef or InterfaceMethodRef constant
|
|
is represented as a TREE_LIST. */
|
|
|
|
#define COMPONENT_REF_CLASS_INDEX(CPOOL, IDX) CPOOL_USHORT1(CPOOL, IDX)
|
|
#define COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX) CPOOL_USHORT2(CPOOL, IDX)
|
|
#define COMPONENT_REF_NAME(CPOOL, IDX) \
|
|
NAME_AND_TYPE_NAME (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
|
|
#define COMPONENT_REF_SIGNATURE(CPOOL, IDX) \
|
|
NAME_AND_TYPE_SIGNATURE (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
|
|
|
|
extern GTY(()) tree java_lang_cloneable_identifier_node;
|
|
extern GTY(()) tree java_io_serializable_identifier_node;
|
|
extern GTY(()) tree gcj_abi_version;
|
|
|
|
/* The decl for the .constants field of an instance of Class. */
|
|
extern GTY(()) tree constants_field_decl_node;
|
|
|
|
/* The decl for the .data field of an instance of Class. */
|
|
extern GTY(()) tree constants_data_field_decl_node;
|
|
|
|
enum java_tree_index
|
|
{
|
|
JTI_PROMOTED_BYTE_TYPE_NODE,
|
|
JTI_PROMOTED_SHORT_TYPE_NODE,
|
|
JTI_PROMOTED_CHAR_TYPE_NODE,
|
|
JTI_PROMOTED_BOOLEAN_TYPE_NODE,
|
|
|
|
JTI_BYTE_TYPE_NODE,
|
|
JTI_SHORT_TYPE_NODE,
|
|
JTI_INT_TYPE_NODE,
|
|
JTI_LONG_TYPE_NODE,
|
|
|
|
JTI_UNSIGNED_BYTE_TYPE_NODE,
|
|
JTI_UNSIGNED_SHORT_TYPE_NODE,
|
|
JTI_UNSIGNED_INT_TYPE_NODE,
|
|
JTI_UNSIGNED_LONG_TYPE_NODE,
|
|
|
|
JTI_DECIMAL_INT_MAX_NODE,
|
|
JTI_DECIMAL_LONG_MAX_NODE,
|
|
|
|
JTI_OBJECT_TYPE_NODE,
|
|
JTI_UNQUALIFIED_OBJECT_ID_NODE,
|
|
JTI_OBJECT_PTR_TYPE_NODE,
|
|
JTI_STRING_TYPE_NODE,
|
|
JTI_STRING_PTR_TYPE_NODE,
|
|
JTI_THROWABLE_TYPE_NODE,
|
|
JTI_EXCEPTION_TYPE_NODE,
|
|
JTI_RUNTIME_EXCEPTION_TYPE_NODE,
|
|
JTI_ERROR_EXCEPTION_TYPE_NODE,
|
|
JTI_RAWDATA_PTR_TYPE_NODE,
|
|
|
|
JTI_BYTE_ARRAY_TYPE_NODE,
|
|
JTI_SHORT_ARRAY_TYPE_NODE,
|
|
JTI_INT_ARRAY_TYPE_NODE,
|
|
JTI_LONG_ARRAY_TYPE_NODE,
|
|
JTI_BOOLEAN_ARRAY_TYPE_NODE,
|
|
JTI_CHAR_ARRAY_TYPE_NODE,
|
|
JTI_DOUBLE_ARRAY_TYPE_NODE,
|
|
JTI_FLOAT_ARRAY_TYPE_NODE,
|
|
JTI_ARRAY_ARRAY_TYPE_NODE,
|
|
JTI_OBJECT_ARRAY_TYPE_NODE,
|
|
JTI_STRING_ARRAY_TYPE_NODE,
|
|
JTI_BOOLEAN_ARRAY_VTABLE,
|
|
JTI_BYTE_ARRAY_VTABLE,
|
|
JTI_CHAR_ARRAY_VTABLE,
|
|
JTI_SHORT_ARRAY_VTABLE,
|
|
JTI_INT_ARRAY_VTABLE,
|
|
JTI_LONG_ARRAY_VTABLE,
|
|
JTI_FLOAT_ARRAY_VTABLE,
|
|
JTI_DOUBLE_ARRAY_VTABLE,
|
|
JTI_TYPE_IDENTIFIER_NODE,
|
|
JTI_INIT_IDENTIFIER_NODE,
|
|
JTI_CLINIT_IDENTIFIER_NODE,
|
|
JTI_VOID_SIGNATURE_NODE,
|
|
JTI_FINALIZE_IDENTIFIER_NODE,
|
|
JTI_THIS_IDENTIFIER_NODE,
|
|
JTI_CLASSDOLLAR_IDENTIFIER_NODE,
|
|
JTI_ONE_ELT_ARRAY_DOMAIN_TYPE,
|
|
|
|
JTI_RETURN_ADDRESS_TYPE_NODE,
|
|
|
|
JTI_LONG_ZERO_NODE,
|
|
JTI_FLOAT_ZERO_NODE,
|
|
JTI_DOUBLE_ZERO_NODE,
|
|
JTI_INTEGER_TWO_NODE,
|
|
JTI_INTEGER_FOUR_NODE,
|
|
|
|
JTI_METHODTABLE_TYPE,
|
|
JTI_METHODTABLE_PTR_TYPE,
|
|
|
|
JTI_UTF8CONST_TYPE,
|
|
JTI_UTF8CONST_PTR_TYPE,
|
|
|
|
JTI_CLASS_TYPE_NODE,
|
|
JTI_CLASS_PTR_TYPE,
|
|
JTI_FIELD_TYPE_NODE,
|
|
JTI_CONSTANTS_TYPE_NODE,
|
|
JTI_DTABLE_TYPE,
|
|
JTI_DTABLE_PTR_TYPE,
|
|
JTI_FIELD_PTR_TYPE_NODE,
|
|
JTI_FIELD_INFO_UNION_NODE,
|
|
JTI_EXCEPTION_TYPE,
|
|
JTI_EXCEPTION_PTR_TYPE,
|
|
JTI_LINENUMBERENTRY_TYPE,
|
|
JTI_LINENUMBERS_TYPE,
|
|
JTI_METHOD_TYPE_NODE,
|
|
JTI_METHOD_PTR_TYPE_NODE,
|
|
JTI_OTABLE_TYPE,
|
|
JTI_OTABLE_PTR_TYPE,
|
|
JTI_ATABLE_TYPE,
|
|
JTI_ATABLE_PTR_TYPE,
|
|
JTI_ITABLE_TYPE,
|
|
JTI_ITABLE_PTR_TYPE,
|
|
JTI_SYMBOL_TYPE,
|
|
JTI_SYMBOLS_ARRAY_TYPE,
|
|
JTI_SYMBOLS_ARRAY_PTR_TYPE,
|
|
JTI_ASSERTION_ENTRY_TYPE,
|
|
JTI_ASSERTION_TABLE_TYPE,
|
|
|
|
JTI_END_PARAMS_NODE,
|
|
|
|
JTI_THROW_NODE,
|
|
JTI_ALLOC_OBJECT_NODE,
|
|
JTI_ALLOC_NO_FINALIZER_NODE,
|
|
JTI_SOFT_INSTANCEOF_NODE,
|
|
JTI_SOFT_CHECKCAST_NODE,
|
|
JTI_SOFT_INITCLASS_NODE,
|
|
JTI_SOFT_NEWARRAY_NODE,
|
|
JTI_SOFT_ANEWARRAY_NODE,
|
|
JTI_SOFT_MULTIANEWARRAY_NODE,
|
|
JTI_SOFT_BADARRAYINDEX_NODE,
|
|
JTI_SOFT_NULLPOINTER_NODE,
|
|
JTI_SOFT_ABSTRACTMETHOD_NODE,
|
|
JTI_SOFT_NOSUCHFIELD_NODE,
|
|
JTI_SOFT_CHECKARRAYSTORE_NODE,
|
|
JTI_SOFT_MONITORENTER_NODE,
|
|
JTI_SOFT_MONITOREXIT_NODE,
|
|
JTI_SOFT_LOOKUPINTERFACEMETHOD_NODE,
|
|
JTI_SOFT_LOOKUPINTERFACEMETHODBYNAME_NODE,
|
|
JTI_SOFT_LOOKUPJNIMETHOD_NODE,
|
|
JTI_SOFT_GETJNIENVNEWFRAME_NODE,
|
|
JTI_SOFT_JNIPOPSYSTEMFRAME_NODE,
|
|
JTI_SOFT_UNWRAPJNI_NODE,
|
|
JTI_SOFT_FMOD_NODE,
|
|
JTI_SOFT_IDIV_NODE,
|
|
JTI_SOFT_IREM_NODE,
|
|
JTI_SOFT_LDIV_NODE,
|
|
JTI_SOFT_LREM_NODE,
|
|
|
|
JTI_ACCESS_FLAGS_TYPE_NODE,
|
|
|
|
JTI_NATIVECODE_PTR_ARRAY_TYPE_NODE,
|
|
|
|
JTI_MAIN_CLASS,
|
|
JTI_CURRENT_CLASS,
|
|
JTI_OUTPUT_CLASS,
|
|
JTI_ALL_CLASS_LIST,
|
|
|
|
JTI_PREDEF_FILENAMES,
|
|
|
|
JTI_MAX
|
|
};
|
|
|
|
extern GTY(()) tree java_global_trees[JTI_MAX];
|
|
|
|
/* "Promoted types" that are used for primitive types smaller
|
|
than int. We could use int_type_node, but then we would lose
|
|
type information (such as needed for debugging). */
|
|
#define promoted_byte_type_node \
|
|
java_global_trees[JTI_PROMOTED_BYTE_TYPE_NODE]
|
|
#define promoted_short_type_node \
|
|
java_global_trees[JTI_PROMOTED_SHORT_TYPE_NODE]
|
|
#define promoted_char_type_node \
|
|
java_global_trees[JTI_PROMOTED_CHAR_TYPE_NODE]
|
|
#define promoted_boolean_type_node \
|
|
java_global_trees[JTI_PROMOTED_BOOLEAN_TYPE_NODE]
|
|
|
|
#define byte_type_node \
|
|
java_global_trees[JTI_BYTE_TYPE_NODE]
|
|
#define short_type_node \
|
|
java_global_trees[JTI_SHORT_TYPE_NODE]
|
|
#define int_type_node \
|
|
java_global_trees[JTI_INT_TYPE_NODE]
|
|
#define long_type_node \
|
|
java_global_trees[JTI_LONG_TYPE_NODE]
|
|
|
|
#define unsigned_byte_type_node \
|
|
java_global_trees[JTI_UNSIGNED_BYTE_TYPE_NODE]
|
|
#define unsigned_short_type_node \
|
|
java_global_trees[JTI_UNSIGNED_SHORT_TYPE_NODE]
|
|
#define unsigned_int_type_node \
|
|
java_global_trees[JTI_UNSIGNED_INT_TYPE_NODE]
|
|
#define unsigned_long_type_node \
|
|
java_global_trees[JTI_UNSIGNED_LONG_TYPE_NODE]
|
|
|
|
#define decimal_int_max \
|
|
java_global_trees[JTI_DECIMAL_INT_MAX_NODE]
|
|
#define decimal_long_max \
|
|
java_global_trees[JTI_DECIMAL_LONG_MAX_NODE]
|
|
|
|
#define object_type_node \
|
|
java_global_trees[JTI_OBJECT_TYPE_NODE]
|
|
#define unqualified_object_id_node \
|
|
java_global_trees[JTI_UNQUALIFIED_OBJECT_ID_NODE]
|
|
#define object_ptr_type_node \
|
|
java_global_trees[JTI_OBJECT_PTR_TYPE_NODE]
|
|
#define string_type_node \
|
|
java_global_trees[JTI_STRING_TYPE_NODE]
|
|
#define string_ptr_type_node \
|
|
java_global_trees[JTI_STRING_PTR_TYPE_NODE]
|
|
#define throwable_type_node \
|
|
java_global_trees[JTI_THROWABLE_TYPE_NODE]
|
|
#define exception_type_node \
|
|
java_global_trees[JTI_EXCEPTION_TYPE_NODE]
|
|
#define runtime_exception_type_node \
|
|
java_global_trees[JTI_RUNTIME_EXCEPTION_TYPE_NODE]
|
|
#define error_exception_type_node \
|
|
java_global_trees[JTI_ERROR_EXCEPTION_TYPE_NODE]
|
|
#define rawdata_ptr_type_node \
|
|
java_global_trees[JTI_RAWDATA_PTR_TYPE_NODE]
|
|
|
|
#define byte_array_type_node \
|
|
java_global_trees[JTI_BYTE_ARRAY_TYPE_NODE]
|
|
#define short_array_type_node \
|
|
java_global_trees[JTI_SHORT_ARRAY_TYPE_NODE]
|
|
#define int_array_type_node \
|
|
java_global_trees[JTI_INT_ARRAY_TYPE_NODE]
|
|
#define long_array_type_node \
|
|
java_global_trees[JTI_LONG_ARRAY_TYPE_NODE]
|
|
#define boolean_array_type_node \
|
|
java_global_trees[JTI_BOOLEAN_ARRAY_TYPE_NODE]
|
|
#define char_array_type_node \
|
|
java_global_trees[JTI_CHAR_ARRAY_TYPE_NODE]
|
|
#define double_array_type_node \
|
|
java_global_trees[JTI_DOUBLE_ARRAY_TYPE_NODE]
|
|
#define float_array_type_node \
|
|
java_global_trees[JTI_FLOAT_ARRAY_TYPE_NODE]
|
|
#define array_array_type_node \
|
|
java_global_trees[JTI_ARRAY_ARRAY_TYPE_NODE]
|
|
#define object_array_type_node \
|
|
java_global_trees[JTI_OBJECT_ARRAY_TYPE_NODE]
|
|
#define string_array_type_node \
|
|
java_global_trees[JTI_STRING_ARRAY_TYPE_NODE]
|
|
#define boolean_array_vtable \
|
|
java_global_trees[JTI_BOOLEAN_ARRAY_VTABLE]
|
|
#define byte_array_vtable \
|
|
java_global_trees[JTI_BYTE_ARRAY_VTABLE]
|
|
#define char_array_vtable \
|
|
java_global_trees[JTI_CHAR_ARRAY_VTABLE]
|
|
#define short_array_vtable \
|
|
java_global_trees[JTI_SHORT_ARRAY_VTABLE]
|
|
#define int_array_vtable \
|
|
java_global_trees[JTI_INT_ARRAY_VTABLE]
|
|
#define long_array_vtable \
|
|
java_global_trees[JTI_LONG_ARRAY_VTABLE]
|
|
#define float_array_vtable \
|
|
java_global_trees[JTI_FLOAT_ARRAY_VTABLE]
|
|
#define double_array_vtable \
|
|
java_global_trees[JTI_DOUBLE_ARRAY_VTABLE]
|
|
#define TYPE_identifier_node \
|
|
java_global_trees[JTI_TYPE_IDENTIFIER_NODE] /* "TYPE" */
|
|
#define init_identifier_node \
|
|
java_global_trees[JTI_INIT_IDENTIFIER_NODE] /* "<init>" */
|
|
#define clinit_identifier_node \
|
|
java_global_trees[JTI_CLINIT_IDENTIFIER_NODE] /* "<clinit>" */
|
|
#define void_signature_node \
|
|
java_global_trees[JTI_VOID_SIGNATURE_NODE] /* "()V" */
|
|
#define finalize_identifier_node \
|
|
java_global_trees[JTI_FINALIZE_IDENTIFIER_NODE] /* "finalize" */
|
|
#define this_identifier_node \
|
|
java_global_trees[JTI_THIS_IDENTIFIER_NODE] /* "this" */
|
|
#define classdollar_identifier_node \
|
|
java_global_trees[JTI_CLASSDOLLAR_IDENTIFIER_NODE] /* "class$" */
|
|
#define one_elt_array_domain_type \
|
|
java_global_trees[JTI_ONE_ELT_ARRAY_DOMAIN_TYPE]
|
|
/* The type of the return address of a subroutine. */
|
|
#define return_address_type_node \
|
|
java_global_trees[JTI_RETURN_ADDRESS_TYPE_NODE]
|
|
|
|
/* Integer constants not declared in tree.h. */
|
|
#define long_zero_node \
|
|
java_global_trees[JTI_LONG_ZERO_NODE]
|
|
#define float_zero_node \
|
|
java_global_trees[JTI_FLOAT_ZERO_NODE]
|
|
#define double_zero_node \
|
|
java_global_trees[JTI_DOUBLE_ZERO_NODE]
|
|
#define integer_two_node \
|
|
java_global_trees[JTI_INTEGER_TWO_NODE]
|
|
#define integer_four_node \
|
|
java_global_trees[JTI_INTEGER_FOUR_NODE]
|
|
|
|
/* The type for struct methodtable. */
|
|
#define methodtable_type \
|
|
java_global_trees[JTI_METHODTABLE_TYPE]
|
|
#define methodtable_ptr_type \
|
|
java_global_trees[JTI_METHODTABLE_PTR_TYPE]
|
|
|
|
#define utf8const_type \
|
|
java_global_trees[JTI_UTF8CONST_TYPE]
|
|
#define utf8const_ptr_type \
|
|
java_global_trees[JTI_UTF8CONST_PTR_TYPE]
|
|
|
|
#define class_type_node \
|
|
java_global_trees[JTI_CLASS_TYPE_NODE]
|
|
#define class_ptr_type \
|
|
java_global_trees[JTI_CLASS_PTR_TYPE]
|
|
#define field_type_node \
|
|
java_global_trees[JTI_FIELD_TYPE_NODE]
|
|
#define constants_type_node \
|
|
java_global_trees[JTI_CONSTANTS_TYPE_NODE]
|
|
#define dtable_type \
|
|
java_global_trees[JTI_DTABLE_TYPE]
|
|
#define dtable_ptr_type \
|
|
java_global_trees[JTI_DTABLE_PTR_TYPE]
|
|
#define field_ptr_type_node \
|
|
java_global_trees[JTI_FIELD_PTR_TYPE_NODE]
|
|
#define field_info_union_node \
|
|
java_global_trees[JTI_FIELD_INFO_UNION_NODE]
|
|
#define jexception_type \
|
|
java_global_trees[JTI_EXCEPTION_TYPE]
|
|
#define jexception_ptr_type \
|
|
java_global_trees[JTI_EXCEPTION_PTR_TYPE]
|
|
#define lineNumberEntry_type \
|
|
java_global_trees[JTI_LINENUMBERENTRY_TYPE]
|
|
#define lineNumbers_type \
|
|
java_global_trees[JTI_LINENUMBERS_TYPE]
|
|
#define method_type_node \
|
|
java_global_trees[JTI_METHOD_TYPE_NODE]
|
|
#define method_ptr_type_node \
|
|
java_global_trees[JTI_METHOD_PTR_TYPE_NODE]
|
|
#define otable_type \
|
|
java_global_trees[JTI_OTABLE_TYPE]
|
|
#define atable_type \
|
|
java_global_trees[JTI_ATABLE_TYPE]
|
|
#define itable_type \
|
|
java_global_trees[JTI_ITABLE_TYPE]
|
|
#define otable_ptr_type \
|
|
java_global_trees[JTI_OTABLE_PTR_TYPE]
|
|
#define atable_ptr_type \
|
|
java_global_trees[JTI_ATABLE_PTR_TYPE]
|
|
#define itable_ptr_type \
|
|
java_global_trees[JTI_ITABLE_PTR_TYPE]
|
|
#define symbol_type \
|
|
java_global_trees[JTI_SYMBOL_TYPE]
|
|
#define symbols_array_type \
|
|
java_global_trees[JTI_SYMBOLS_ARRAY_TYPE]
|
|
#define symbols_array_ptr_type \
|
|
java_global_trees[JTI_SYMBOLS_ARRAY_PTR_TYPE]
|
|
#define assertion_entry_type \
|
|
java_global_trees[JTI_ASSERTION_ENTRY_TYPE]
|
|
#define assertion_table_type \
|
|
java_global_trees[JTI_ASSERTION_TABLE_TYPE]
|
|
|
|
#define end_params_node \
|
|
java_global_trees[JTI_END_PARAMS_NODE]
|
|
|
|
/* References to internal libjava functions we use. */
|
|
#define throw_node \
|
|
java_global_trees[JTI_THROW_NODE]
|
|
#define alloc_object_node \
|
|
java_global_trees[JTI_ALLOC_OBJECT_NODE]
|
|
#define alloc_no_finalizer_node \
|
|
java_global_trees[JTI_ALLOC_NO_FINALIZER_NODE]
|
|
#define soft_instanceof_node \
|
|
java_global_trees[JTI_SOFT_INSTANCEOF_NODE]
|
|
#define soft_checkcast_node \
|
|
java_global_trees[JTI_SOFT_CHECKCAST_NODE]
|
|
#define soft_initclass_node \
|
|
java_global_trees[JTI_SOFT_INITCLASS_NODE]
|
|
#define soft_newarray_node \
|
|
java_global_trees[JTI_SOFT_NEWARRAY_NODE]
|
|
#define soft_anewarray_node \
|
|
java_global_trees[JTI_SOFT_ANEWARRAY_NODE]
|
|
#define soft_multianewarray_node \
|
|
java_global_trees[JTI_SOFT_MULTIANEWARRAY_NODE]
|
|
#define soft_badarrayindex_node \
|
|
java_global_trees[JTI_SOFT_BADARRAYINDEX_NODE]
|
|
#define soft_nullpointer_node \
|
|
java_global_trees[JTI_SOFT_NULLPOINTER_NODE]
|
|
#define soft_abstractmethod_node \
|
|
java_global_trees[JTI_SOFT_ABSTRACTMETHOD_NODE]
|
|
#define soft_nosuchfield_node \
|
|
java_global_trees[JTI_SOFT_NOSUCHFIELD_NODE]
|
|
#define soft_checkarraystore_node \
|
|
java_global_trees[JTI_SOFT_CHECKARRAYSTORE_NODE]
|
|
#define soft_monitorenter_node \
|
|
java_global_trees[JTI_SOFT_MONITORENTER_NODE]
|
|
#define soft_monitorexit_node \
|
|
java_global_trees[JTI_SOFT_MONITOREXIT_NODE]
|
|
#define soft_lookupinterfacemethod_node \
|
|
java_global_trees[JTI_SOFT_LOOKUPINTERFACEMETHOD_NODE]
|
|
#define soft_lookupinterfacemethodbyname_node \
|
|
java_global_trees[JTI_SOFT_LOOKUPINTERFACEMETHODBYNAME_NODE]
|
|
#define soft_lookupjnimethod_node \
|
|
java_global_trees[JTI_SOFT_LOOKUPJNIMETHOD_NODE]
|
|
#define soft_getjnienvnewframe_node \
|
|
java_global_trees[JTI_SOFT_GETJNIENVNEWFRAME_NODE]
|
|
#define soft_jnipopsystemframe_node \
|
|
java_global_trees[JTI_SOFT_JNIPOPSYSTEMFRAME_NODE]
|
|
#define soft_unwrapjni_node \
|
|
java_global_trees[JTI_SOFT_UNWRAPJNI_NODE]
|
|
#define soft_fmod_node \
|
|
java_global_trees[JTI_SOFT_FMOD_NODE]
|
|
#define soft_idiv_node \
|
|
java_global_trees[JTI_SOFT_IDIV_NODE]
|
|
#define soft_irem_node \
|
|
java_global_trees[JTI_SOFT_IREM_NODE]
|
|
#define soft_ldiv_node \
|
|
java_global_trees[JTI_SOFT_LDIV_NODE]
|
|
#define soft_lrem_node \
|
|
java_global_trees[JTI_SOFT_LREM_NODE]
|
|
|
|
#define access_flags_type_node \
|
|
java_global_trees[JTI_ACCESS_FLAGS_TYPE_NODE]
|
|
|
|
#define nativecode_ptr_array_type_node \
|
|
java_global_trees[JTI_NATIVECODE_PTR_ARRAY_TYPE_NODE]
|
|
|
|
#define predef_filenames \
|
|
java_global_trees[JTI_PREDEF_FILENAMES]
|
|
|
|
#define nativecode_ptr_type_node ptr_type_node
|
|
|
|
/* The decl for "_Jv_ResolvePoolEntry". */
|
|
extern GTY(()) tree soft_resolvepoolentry_node;
|
|
|
|
struct lang_identifier GTY(())
|
|
{
|
|
struct tree_identifier ignore;
|
|
tree global_value;
|
|
tree local_value;
|
|
|
|
/* If non-NULL: An ADDR_REF to a VAR_DECL that contains
|
|
* the Utf8Const representation of the identifier. */
|
|
tree utf8_ref;
|
|
};
|
|
|
|
/* The resulting tree type. */
|
|
union lang_tree_node
|
|
GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
|
|
chain_next ("(GIMPLE_STMT_P (&%h.generic) ? (union lang_tree_node *) 0 : (union lang_tree_node *)TREE_CHAIN (&%h.generic))")))
|
|
|
|
{
|
|
union tree_node GTY ((tag ("0"),
|
|
desc ("tree_node_structure (&%h)")))
|
|
generic;
|
|
struct lang_identifier GTY ((tag ("1"))) identifier;
|
|
};
|
|
|
|
/* Macros for access to language-specific slots in an identifier. */
|
|
/* Unless specified, each of these slots contains a DECL node or null. */
|
|
|
|
/* This represents the value which the identifier has in the
|
|
file-scope namespace. */
|
|
#define IDENTIFIER_GLOBAL_VALUE(NODE) \
|
|
(((struct lang_identifier *)(NODE))->global_value)
|
|
/* This represents the value which the identifier has in the current
|
|
scope. */
|
|
#define IDENTIFIER_LOCAL_VALUE(NODE) \
|
|
(((struct lang_identifier *)(NODE))->local_value)
|
|
|
|
/* Given an identifier NODE, get the corresponding class.
|
|
E.g. IDENTIFIER_CLASS_VALUE(get_identifier ("java.lang.Number"))
|
|
is the corresponding RECORD_TYPE. */
|
|
#define IDENTIFIER_CLASS_VALUE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)
|
|
|
|
/* Given a signature of a reference (or array) type, or a method, return the
|
|
corresponding type (if one has been allocated).
|
|
Do not use for primitive types, since they may be ambiguous.
|
|
(E.g. is "I" a signature or a class name?) */
|
|
#define IDENTIFIER_SIGNATURE_TYPE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)
|
|
|
|
/* If non-NULL: An ADDR_REF to a VAR_DECL that contains
|
|
the Utf8Const representation of the identifier. */
|
|
#define IDENTIFIER_UTF8_REF(NODE) \
|
|
(((struct lang_identifier *)(NODE))->utf8_ref)
|
|
|
|
#define IDENTIFIER_UTF8_DECL(NODE) \
|
|
TREE_OPERAND((((struct lang_identifier *)(NODE))->utf8_ref), 0)
|
|
|
|
/* For a FUNCTION_DECL, if we are compiling a .class file, then this is
|
|
the position in the .class file of the method code.
|
|
Specifically, this is the code itself, not the code attribute. */
|
|
#define DECL_CODE_OFFSET(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.code_offset)
|
|
/* Similarly, the length of the bytecode. */
|
|
#define DECL_CODE_LENGTH(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.code_length)
|
|
/* Similarly, the position of the LineNumberTable attribute. */
|
|
#define DECL_LINENUMBERS_OFFSET(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.linenumbers_offset)
|
|
/* Similarly, the position of the LocalVariableTable attribute
|
|
(following the standard attribute header). */
|
|
#define DECL_LOCALVARIABLES_OFFSET(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.localvariables_offset)
|
|
|
|
#define DECL_MAX_LOCALS(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.max_locals)
|
|
#define DECL_MAX_STACK(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.max_stack)
|
|
/* Number of local variable slots needed for the arguments of this function. */
|
|
#define DECL_ARG_SLOT_COUNT(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.arg_slot_count)
|
|
/* Source location of end of function. */
|
|
#define DECL_FUNCTION_LAST_LINE(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.last_line)
|
|
/* List of checked thrown exceptions, as specified with the `throws'
|
|
keyword */
|
|
#define DECL_FUNCTION_THROWS(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.throws_list)
|
|
/* Pointer to the function's current's COMPOUND_EXPR tree (while
|
|
completing its body) or the function's block */
|
|
#define DECL_FUNCTION_BODY(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.function_decl_body)
|
|
/* For each function decl, init_test_table contains a hash table whose
|
|
entries are keyed on class names, and whose values are local
|
|
boolean decls. The variables are intended to be TRUE when the
|
|
class has been initialized in this function, and FALSE otherwise. */
|
|
#define DECL_FUNCTION_INIT_TEST_TABLE(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.init_test_table)
|
|
/* If LOCAL_CLASS_INITIALIZATION_FLAG_P(decl), give class it initializes. */
|
|
#define DECL_FUNCTION_INIT_TEST_CLASS(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.v.slot_chain)
|
|
/* For each static function decl, itc contains a hash table whose
|
|
entries are keyed on class named that are definitively initialized
|
|
in DECL. */
|
|
#define DECL_FUNCTION_INITIALIZED_CLASS_TABLE(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.ict)
|
|
|
|
#define DECL_LOCAL_CNI_METHOD_P(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.f.local_cni)
|
|
|
|
/* A constructor that calls this. */
|
|
#define DECL_INIT_CALLS_THIS(DECL) \
|
|
(DECL_LANG_SPECIFIC(DECL)->u.f.init_calls_this)
|
|
|
|
/* True when DECL (a field) is Synthetic. */
|
|
#define FIELD_SYNTHETIC(DECL) DECL_LANG_FLAG_2 (VAR_OR_FIELD_CHECK (DECL))
|
|
|
|
/* True when DECL aliases an outer context local variable. */
|
|
#define FIELD_LOCAL_ALIAS(DECL) DECL_LANG_FLAG_6 (VAR_OR_FIELD_CHECK (DECL))
|
|
|
|
/* True when DECL, which aliases an outer context local variable is
|
|
used by the inner classes. */
|
|
#define FIELD_LOCAL_ALIAS_USED(DECL) DECL_LANG_FLAG_7 (VAR_OR_FIELD_CHECK (DECL))
|
|
|
|
/* True when DECL is a this$<n> field. Note that
|
|
FIELD_LOCAL_ALIAS_USED can be differentiated when tested against
|
|
FIELD_LOCAL_ALIAS. */
|
|
#define FIELD_THISN(DECL) DECL_LANG_FLAG_7 (VAR_OR_FIELD_CHECK (DECL))
|
|
|
|
/* In a LABEL_DECL, a TREE_VEC that saves the type_map at that point. */
|
|
#define LABEL_TYPE_STATE(NODE) (LABEL_DECL_CHECK (NODE)->label_decl.java_field_1)
|
|
|
|
/* In a LABEL_DECL, the corresponding bytecode program counter. */
|
|
#define LABEL_PC(NODE) (LABEL_DECL_CHECK (NODE)->label_decl.java_field_4)
|
|
|
|
/* In a LABEL_DECL, true if we have verified instructions starting here. */
|
|
#define LABEL_VERIFIED(NODE) \
|
|
(instruction_bits[LABEL_PC (NODE)] & BCODE_VERIFIED)
|
|
|
|
/* The slot number for this local variable. */
|
|
#define DECL_LOCAL_SLOT_NUMBER(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.v.slot_number)
|
|
/* The start (bytecode) pc for the valid range of this local variable. */
|
|
#define DECL_LOCAL_START_PC(NODE) (DECL_LANG_SPECIFIC (NODE)->u.v.start_pc)
|
|
/* The end (bytecode) pc for the valid range of this local variable. */
|
|
#define DECL_LOCAL_END_PC(NODE) (DECL_LANG_SPECIFIC (NODE)->u.v.end_pc)
|
|
/* For a VAR_DECL or PARM_DECL, used to chain decls with the same
|
|
slot_number in decl_map. */
|
|
#define DECL_LOCAL_SLOT_CHAIN(NODE) (DECL_LANG_SPECIFIC(NODE)->u.v.slot_chain)
|
|
/* For a FIELD_DECL, holds the name of the access method. Used to
|
|
read/write the content of the field across nested class boundaries. */
|
|
#define FIELD_NESTED_ACCESS(DECL) \
|
|
(DECL_LANG_SPECIFIC (VAR_OR_FIELD_CHECK (DECL))->u.v.am)
|
|
/* Safely tests whether FIELD_NESTED_ACCESS exists or not. */
|
|
#define FIELD_NESTED_ACCESS_P(DECL) \
|
|
DECL_LANG_SPECIFIC (DECL) && FIELD_NESTED_ACCESS (DECL)
|
|
/* True if a final field was initialized upon its declaration
|
|
or in an initializer. Set after definite assignment. */
|
|
#define DECL_FIELD_FINAL_IUD(NODE) (DECL_LANG_SPECIFIC (NODE)->u.v.final_iud)
|
|
/* The class that's the owner of a dynamic binding table. */
|
|
#define DECL_OWNER(NODE) (DECL_LANG_SPECIFIC(NODE)->u.v.owner)
|
|
/* True if NODE is a local variable final. */
|
|
#define LOCAL_FINAL_P(NODE) (DECL_LANG_SPECIFIC (NODE) && DECL_FINAL (NODE))
|
|
/* True if a final local variable was initialized upon its declaration. */
|
|
#define DECL_LOCAL_FINAL_IUD(NODE) (DECL_LANG_SPECIFIC (NODE)->u.v.final_iud)
|
|
/* True if NODE is a final field. */
|
|
#define FINAL_VARIABLE_P(NODE) (FIELD_FINAL (NODE) && !FIELD_STATIC (NODE))
|
|
/* True if NODE is a class final field. */
|
|
#define FIELD_ENUM(DECL) (DECL_LANG_SPECIFIC (DECL)->u.v.field_enum)
|
|
#define CLASS_FINAL_VARIABLE_P(NODE) \
|
|
(FIELD_FINAL (NODE) && FIELD_STATIC (NODE))
|
|
/* True if NODE is a class initialization flag. This macro accesses
|
|
the flag to read or set it. */
|
|
#define LOCAL_CLASS_INITIALIZATION_FLAG(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.v.cif)
|
|
/* True if NODE is a class initialization flag. */
|
|
#define LOCAL_CLASS_INITIALIZATION_FLAG_P(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE) && LOCAL_CLASS_INITIALIZATION_FLAG(NODE))
|
|
/* True if NODE is a variable that is out of scope. */
|
|
#define LOCAL_VAR_OUT_OF_SCOPE_P(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.v.freed)
|
|
#define LOCAL_SLOT_P(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.v.local_slot)
|
|
|
|
#define DECL_CLASS_FIELD_P(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.v.class_field)
|
|
#define DECL_VTABLE_P(NODE) \
|
|
(DECL_LANG_SPECIFIC (NODE)->u.v.vtable)
|
|
|
|
/* Create a DECL_LANG_SPECIFIC if necessary. */
|
|
#define MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC(T) \
|
|
if (DECL_LANG_SPECIFIC (T) == NULL) \
|
|
{ \
|
|
DECL_LANG_SPECIFIC ((T)) \
|
|
= ggc_alloc_cleared (sizeof (struct lang_decl)); \
|
|
DECL_LANG_SPECIFIC (T)->desc = LANG_DECL_VAR; \
|
|
}
|
|
|
|
/* A ConstantExpression, after folding and name resolution. */
|
|
#define CONSTANT_VALUE_P(NODE) \
|
|
(TREE_CODE (NODE) == STRING_CST \
|
|
|| (TREE_CODE (NODE) == INTEGER_CST \
|
|
&& TREE_CODE (TREE_TYPE (NODE)) != POINTER_TYPE) \
|
|
|| TREE_CODE (NODE) == REAL_CST)
|
|
|
|
/* For a local VAR_DECL or PARM_DECL, holds the index into a words bitstring
|
|
that specifies if this decl is definitively assigned.
|
|
The value -1 means the variable has been definitely assigned (and not
|
|
definitely unassigned). The value -2 means we already reported an error. */
|
|
#define DECL_BIT_INDEX(DECL) VAR_OR_FIELD_CHECK (DECL)->decl_common.pointer_alias_set
|
|
|
|
/* DECL_LANG_SPECIFIC for FUNCTION_DECLs. */
|
|
struct lang_decl_func GTY(())
|
|
{
|
|
/* tree chain; not yet used. */
|
|
long code_offset;
|
|
int code_length;
|
|
long linenumbers_offset;
|
|
long localvariables_offset;
|
|
int arg_slots;
|
|
int max_locals;
|
|
int max_stack;
|
|
int arg_slot_count;
|
|
/* A temporary lie for the sake of ggc. Actually, last_line is
|
|
only a source_location if USE_MAPPED_LOCATION. FIXME. */
|
|
source_location last_line; /* End line number for a function decl */
|
|
tree throws_list; /* Exception specified by `throws' */
|
|
tree function_decl_body; /* Hold all function's statements */
|
|
|
|
/* Class initialization test variables */
|
|
htab_t GTY ((param_is (struct treetreehash_entry))) init_test_table;
|
|
|
|
/* Initialized (static) Class Table */
|
|
htab_t GTY ((param_is (union tree_node))) ict;
|
|
|
|
unsigned int native : 1; /* Nonzero if this is a native method */
|
|
unsigned int init_final : 1; /* Nonzero all finals are initialized */
|
|
unsigned int init_calls_this : 1;
|
|
unsigned int strictfp : 1;
|
|
unsigned int invisible : 1; /* Set for methods we generate
|
|
internally but which shouldn't be
|
|
written to the .class file. */
|
|
unsigned int dummy : 1;
|
|
unsigned int local_cni : 1; /* Decl needs mangle_local_cni_method. */
|
|
unsigned int bridge : 1; /* Bridge method. */
|
|
unsigned int varargs : 1; /* Varargs method. */
|
|
};
|
|
|
|
struct treetreehash_entry GTY(())
|
|
{
|
|
tree key;
|
|
tree value;
|
|
};
|
|
|
|
/* These represent the possible assertion_codes that can be emitted in the
|
|
type assertion table. */
|
|
enum
|
|
{
|
|
JV_ASSERT_END_OF_TABLE = 0, /* Last entry in table. */
|
|
JV_ASSERT_TYPES_COMPATIBLE = 1, /* Operand A is assignable to Operand B. */
|
|
JV_ASSERT_IS_INSTANTIABLE = 2 /* Operand A is an instantiable class. */
|
|
};
|
|
|
|
/* Annotation types used in the reflection_data. See
|
|
java.lang.Class.getDeclaredAnnotations() in the runtime library for
|
|
an example of how these are used. */
|
|
|
|
typedef enum
|
|
{
|
|
JV_CLASS_ATTR,
|
|
JV_METHOD_ATTR,
|
|
JV_FIELD_ATTR,
|
|
JV_DONE_ATTR
|
|
} jv_attr_type;
|
|
|
|
typedef enum
|
|
{
|
|
JV_INNER_CLASSES_KIND,
|
|
JV_ENCLOSING_METHOD_KIND,
|
|
JV_SIGNATURE_KIND,
|
|
JV_ANNOTATIONS_KIND,
|
|
JV_PARAMETER_ANNOTATIONS_KIND,
|
|
JV_ANNOTATION_DEFAULT_KIND
|
|
} jv_attr_kind;
|
|
|
|
typedef struct type_assertion GTY(())
|
|
{
|
|
int assertion_code; /* 'opcode' for the type of this assertion. */
|
|
tree op1; /* First operand. */
|
|
tree op2; /* Second operand. */
|
|
} type_assertion;
|
|
|
|
extern tree java_treetreehash_find (htab_t, tree);
|
|
extern tree * java_treetreehash_new (htab_t, tree);
|
|
extern htab_t java_treetreehash_create (size_t size, int ggc);
|
|
|
|
/* DECL_LANG_SPECIFIC for VAR_DECL, PARM_DECL and sometimes FIELD_DECL
|
|
(access methods on outer class fields) and final fields. */
|
|
struct lang_decl_var GTY(())
|
|
{
|
|
int slot_number;
|
|
int start_pc;
|
|
int end_pc;
|
|
tree slot_chain;
|
|
tree am; /* Access method for this field (1.1) */
|
|
tree owner;
|
|
unsigned int final_iud : 1; /* Final initialized upon declaration */
|
|
unsigned int cif : 1; /* True: decl is a class initialization flag */
|
|
unsigned int freed : 1; /* Decl is no longer in scope. */
|
|
unsigned int local_slot : 1; /* Decl is a temporary in the stack frame. */
|
|
unsigned int class_field : 1; /* Decl needs mangle_class_field. */
|
|
unsigned int vtable : 1; /* Decl needs mangle_vtable. */
|
|
unsigned int field_enum:1; /* Field is an enum. */
|
|
};
|
|
|
|
/* This is what 'lang_decl' really points to. */
|
|
|
|
enum lang_decl_desc {LANG_DECL_FUNC, LANG_DECL_VAR};
|
|
|
|
struct lang_decl GTY(())
|
|
{
|
|
enum lang_decl_desc desc;
|
|
union lang_decl_u
|
|
{
|
|
struct lang_decl_func GTY ((tag ("LANG_DECL_FUNC"))) f;
|
|
struct lang_decl_var GTY ((tag ("LANG_DECL_VAR"))) v;
|
|
} GTY ((desc ("%0.desc"))) u;
|
|
};
|
|
|
|
/* Macro to access fields in `struct lang_type'. */
|
|
|
|
#define TYPE_SIGNATURE(T) (TYPE_LANG_SPECIFIC (T)->signature)
|
|
#define TYPE_JCF(T) (TYPE_LANG_SPECIFIC (T)->jcf)
|
|
#define TYPE_CPOOL(T) (TYPE_LANG_SPECIFIC (T)->cpool)
|
|
#define TYPE_CPOOL_DATA_REF(T) (TYPE_LANG_SPECIFIC (T)->cpool_data_ref)
|
|
#define MAYBE_CREATE_TYPE_TYPE_LANG_SPECIFIC(T) \
|
|
if (TYPE_LANG_SPECIFIC ((T)) == NULL) \
|
|
TYPE_LANG_SPECIFIC ((T)) \
|
|
= ggc_alloc_cleared (sizeof (struct lang_type));
|
|
|
|
#define TYPE_DUMMY(T) (TYPE_LANG_SPECIFIC(T)->dummy_class)
|
|
|
|
/* The decl of the synthetic method `class$' used to handle `.class'
|
|
for non primitive types when compiling to bytecode. */
|
|
|
|
#define TYPE_DOT_CLASS(T) (TYPE_LANG_SPECIFIC (T)->dot_class)
|
|
#define TYPE_PACKAGE_LIST(T) (TYPE_LANG_SPECIFIC (T)->package_list)
|
|
#define TYPE_PRIVATE_INNER_CLASS(T) (TYPE_LANG_SPECIFIC (T)->pic)
|
|
#define TYPE_PROTECTED_INNER_CLASS(T) (TYPE_LANG_SPECIFIC (T)->poic)
|
|
#define TYPE_STRICTFP(T) (TYPE_LANG_SPECIFIC (T)->strictfp)
|
|
#define TYPE_ENUM(T) (TYPE_LANG_SPECIFIC (T)->enum_class)
|
|
#define TYPE_SYNTHETIC(T) (TYPE_LANG_SPECIFIC (T)->synthetic)
|
|
#define TYPE_ANNOTATION(T) (TYPE_LANG_SPECIFIC (T)->annotation)
|
|
|
|
#define TYPE_USES_ASSERTIONS(T) (TYPE_LANG_SPECIFIC (T)->assertions)
|
|
|
|
#define TYPE_ATABLE_METHODS(T) (TYPE_LANG_SPECIFIC (T)->atable_methods)
|
|
#define TYPE_ATABLE_SYMS_DECL(T) (TYPE_LANG_SPECIFIC (T)->atable_syms_decl)
|
|
#define TYPE_ATABLE_DECL(T) (TYPE_LANG_SPECIFIC (T)->atable_decl)
|
|
|
|
#define TYPE_OTABLE_METHODS(T) (TYPE_LANG_SPECIFIC (T)->otable_methods)
|
|
#define TYPE_OTABLE_SYMS_DECL(T) (TYPE_LANG_SPECIFIC (T)->otable_syms_decl)
|
|
#define TYPE_OTABLE_DECL(T) (TYPE_LANG_SPECIFIC (T)->otable_decl)
|
|
|
|
#define TYPE_ITABLE_METHODS(T) (TYPE_LANG_SPECIFIC (T)->itable_methods)
|
|
#define TYPE_ITABLE_SYMS_DECL(T) (TYPE_LANG_SPECIFIC (T)->itable_syms_decl)
|
|
#define TYPE_ITABLE_DECL(T) (TYPE_LANG_SPECIFIC (T)->itable_decl)
|
|
|
|
#define TYPE_CTABLE_DECL(T) (TYPE_LANG_SPECIFIC (T)->ctable_decl)
|
|
#define TYPE_CATCH_CLASSES(T) (TYPE_LANG_SPECIFIC (T)->catch_classes)
|
|
#define TYPE_VERIFY_METHOD(T) (TYPE_LANG_SPECIFIC (T)->verify_method)
|
|
|
|
#define TYPE_TO_RUNTIME_MAP(T) (TYPE_LANG_SPECIFIC (T)->type_to_runtime_map)
|
|
#define TYPE_ASSERTIONS(T) (TYPE_LANG_SPECIFIC (T)->type_assertions)
|
|
#define TYPE_PACKAGE(T) (TYPE_LANG_SPECIFIC (T)->package)
|
|
|
|
#define TYPE_REFLECTION_DATA(T) (TYPE_LANG_SPECIFIC (T)->reflection_data)
|
|
#define TYPE_REFLECTION_DATASIZE(T) \
|
|
(TYPE_LANG_SPECIFIC (T)->reflection_datasize)
|
|
|
|
struct lang_type GTY(())
|
|
{
|
|
tree signature;
|
|
struct JCF *jcf;
|
|
struct CPool *cpool;
|
|
tree cpool_data_ref; /* Cached */
|
|
tree dot_class; /* The decl of the `class$' function that
|
|
needs to be invoked and generated when
|
|
compiling to bytecode to implement
|
|
<non_primitive_type>.class */
|
|
tree package_list; /* List of package names, progressive */
|
|
|
|
tree otable_methods; /* List of static decls referred to by this
|
|
class. */
|
|
tree otable_decl; /* The static address table. */
|
|
tree otable_syms_decl;
|
|
|
|
tree atable_methods; /* List of static decls referred to by this
|
|
class. */
|
|
tree atable_decl; /* The static address table. */
|
|
tree atable_syms_decl;
|
|
|
|
tree itable_methods; /* List of interfaces methods referred
|
|
to by this class. */
|
|
tree itable_decl; /* The interfaces table. */
|
|
tree itable_syms_decl;
|
|
|
|
tree ctable_decl; /* The table of classes for the runtime
|
|
type matcher. */
|
|
tree catch_classes;
|
|
|
|
tree verify_method; /* The verify method for this class.
|
|
Used in split verification. */
|
|
|
|
htab_t GTY ((param_is (struct treetreehash_entry))) type_to_runtime_map;
|
|
/* The mapping of classes to exception region
|
|
markers. */
|
|
|
|
htab_t GTY ((param_is (struct type_assertion))) type_assertions;
|
|
/* Table of type assertions to be evaluated
|
|
by the runtime when this class is loaded. */
|
|
|
|
tree package; /* IDENTIFIER_NODE for package this class is
|
|
a member of. */
|
|
|
|
unsigned char* GTY((skip)) reflection_data; /* The raw reflection
|
|
data for this
|
|
class. */
|
|
long reflection_datasize; /* The size of the raw reflection data
|
|
for this class, in bytes. */
|
|
|
|
unsigned pic:1; /* Private Inner Class. */
|
|
unsigned poic:1; /* Protected Inner Class. */
|
|
unsigned strictfp:1; /* `strictfp' class. */
|
|
unsigned assertions:1; /* Any method uses `assert'. */
|
|
unsigned dummy_class:1; /* Not a real class, just a placeholder. */
|
|
unsigned enum_class:1; /* Class is an enum type. */
|
|
unsigned synthetic:1; /* Class is synthetic. */
|
|
unsigned annotation:1; /* Class is an annotation type. */
|
|
};
|
|
|
|
#define JCF_u4 unsigned long
|
|
#define JCF_u2 unsigned short
|
|
|
|
/* Possible values to pass to lookup_argument_method_generic. */
|
|
#define SEARCH_INTERFACE 1
|
|
#define SEARCH_SUPER 2
|
|
#define SEARCH_VISIBLE 4
|
|
|
|
/* Defined in java-except.h */
|
|
struct eh_range;
|
|
|
|
extern void java_parse_file (int);
|
|
extern bool java_mark_addressable (tree);
|
|
extern tree java_type_for_mode (enum machine_mode, int);
|
|
extern tree java_type_for_size (unsigned int, int);
|
|
extern tree java_unsigned_type (tree);
|
|
extern tree java_signed_type (tree);
|
|
extern tree java_signed_or_unsigned_type (int, tree);
|
|
extern tree java_truthvalue_conversion (tree);
|
|
extern void add_assume_compiled (const char *, int);
|
|
extern void add_enable_assert (const char *, int);
|
|
extern bool enable_assertions (tree);
|
|
extern tree lookup_class (tree);
|
|
extern tree lookup_java_constructor (tree, tree);
|
|
extern tree lookup_java_method (tree, tree, tree);
|
|
extern tree lookup_argument_method (tree, tree, tree);
|
|
extern tree lookup_argument_method_generic (tree, tree, tree, int);
|
|
extern int has_method (tree, tree);
|
|
extern tree promote_type (tree);
|
|
extern tree get_constant (struct JCF*, int);
|
|
extern tree get_name_constant (struct JCF*, int);
|
|
extern tree get_class_constant (struct JCF*, int);
|
|
extern tree parse_signature (struct JCF *jcf, int sig_index);
|
|
extern tree add_field (tree, tree, tree, int);
|
|
extern tree add_method (tree, int, tree, tree);
|
|
extern tree add_method_1 (tree, int, tree, tree);
|
|
extern tree make_class (void);
|
|
extern tree push_class (tree, tree);
|
|
extern tree unmangle_classname (const char *name, int name_length);
|
|
extern tree parse_signature_string (const unsigned char *, int);
|
|
extern tree get_type_from_signature (tree);
|
|
extern void layout_class (tree);
|
|
extern int get_interface_method_index (tree, tree);
|
|
extern tree layout_class_method (tree, tree, tree, tree);
|
|
extern void layout_class_methods (tree);
|
|
extern void cache_this_class_ref (tree);
|
|
extern void uncache_this_class_ref (tree);
|
|
extern tree build_class_ref (tree);
|
|
extern tree build_dtable_decl (tree);
|
|
extern tree build_internal_class_name (tree);
|
|
extern tree build_constants_constructor (void);
|
|
extern tree build_constant_data_ref (bool);
|
|
extern tree build_ref_from_constant_pool (int);
|
|
extern tree build_utf8_ref (tree);
|
|
extern tree ident_subst (const char *, int, const char *, int, int,
|
|
const char *);
|
|
extern tree identifier_subst (const tree, const char *, int, int,
|
|
const char *);
|
|
extern int global_bindings_p (void);
|
|
extern tree getdecls (void);
|
|
extern void pushlevel (int);
|
|
extern tree poplevel (int,int, int);
|
|
extern void insert_block (tree);
|
|
extern tree pushdecl (tree);
|
|
extern void java_init_decl_processing (void);
|
|
extern void java_dup_lang_specific_decl (tree);
|
|
extern tree build_java_signature (tree);
|
|
extern tree build_java_argument_signature (tree);
|
|
extern void set_java_signature (tree, tree);
|
|
extern tree build_static_field_ref (tree);
|
|
extern tree build_address_of (tree);
|
|
extern tree find_local_variable (int index, tree type, int pc);
|
|
extern tree find_stack_slot (int index, tree type);
|
|
extern tree build_prim_array_type (tree, HOST_WIDE_INT);
|
|
extern tree build_java_array_type (tree, HOST_WIDE_INT);
|
|
extern int is_compiled_class (tree);
|
|
extern tree mangled_classname (const char *, tree);
|
|
extern tree lookup_label (int);
|
|
extern tree pop_type_0 (tree, char **);
|
|
extern tree pop_type (tree);
|
|
extern tree decode_newarray_type (int);
|
|
extern tree lookup_field (tree *, tree);
|
|
extern int is_array_type_p (tree);
|
|
extern HOST_WIDE_INT java_array_type_length (tree);
|
|
extern int read_class (tree);
|
|
extern void load_class (tree, int);
|
|
|
|
extern tree check_for_builtin (tree, tree);
|
|
extern void initialize_builtins (void);
|
|
|
|
extern tree lookup_name (tree);
|
|
extern void maybe_rewrite_invocation (tree *, tree *, tree *, tree *);
|
|
extern tree build_known_method_ref (tree, tree, tree, tree, tree, tree);
|
|
extern tree build_class_init (tree, tree);
|
|
extern int attach_init_test_initialization_flags (void **, void *);
|
|
extern tree build_invokevirtual (tree, tree, tree);
|
|
extern tree build_invokeinterface (tree, tree);
|
|
extern tree build_jni_stub (tree);
|
|
extern tree invoke_build_dtable (int, tree);
|
|
extern tree build_field_ref (tree, tree, tree);
|
|
extern tree java_modify_addr_for_volatile (tree);
|
|
extern void pushdecl_force_head (tree);
|
|
extern tree build_java_binop (enum tree_code, tree, tree, tree);
|
|
extern tree build_java_soft_divmod (enum tree_code, tree, tree, tree);
|
|
extern tree binary_numeric_promotion (tree, tree, tree *, tree *);
|
|
extern tree build_java_arrayaccess (tree, tree, tree);
|
|
extern tree build_java_arraystore_check (tree, tree);
|
|
extern tree build_newarray (int, tree);
|
|
extern tree build_anewarray (tree, tree);
|
|
extern tree build_new_array (tree, tree);
|
|
extern tree build_java_array_length_access (tree);
|
|
extern tree build_java_indirect_ref (tree, tree, int);
|
|
extern tree java_check_reference (tree, int);
|
|
extern tree build_get_class (tree);
|
|
extern tree build_instanceof (tree, tree);
|
|
extern tree create_label_decl (tree);
|
|
extern void push_labeled_block (tree);
|
|
extern tree prepare_eh_table_type (tree);
|
|
extern void java_expand_catch_classes (tree);
|
|
extern tree build_exception_object_ref (tree);
|
|
extern tree generate_name (void);
|
|
extern void pop_labeled_block (void);
|
|
extern const char *lang_printable_name (tree, int);
|
|
extern tree maybe_add_interface (tree, tree);
|
|
extern void set_super_info (int, tree, tree, int);
|
|
extern void set_class_decl_access_flags (int, tree);
|
|
extern int get_access_flags_from_decl (tree);
|
|
extern int interface_of_p (tree, tree);
|
|
extern int inherits_from_p (tree, tree);
|
|
extern int common_enclosing_context_p (tree, tree);
|
|
extern int common_enclosing_instance_p (tree, tree);
|
|
extern int enclosing_context_p (tree, tree);
|
|
extern tree build_result_decl (tree);
|
|
extern void set_method_index (tree decl, tree method_index);
|
|
extern tree get_method_index (tree decl);
|
|
extern void make_class_data (tree);
|
|
extern int alloc_name_constant (int, tree);
|
|
extern int alloc_constant_fieldref (tree, tree);
|
|
extern void emit_register_classes (tree *);
|
|
extern tree emit_symbol_table (tree, tree, tree, tree, tree, int);
|
|
extern void lang_init_source (int);
|
|
extern void write_classfile (tree);
|
|
extern char *print_int_node (tree);
|
|
extern void finish_class (void);
|
|
extern void check_for_initialization (tree, tree);
|
|
extern struct CPool *cpool_for_class (tree);
|
|
extern int find_class_or_string_constant (struct CPool *, int, tree);
|
|
|
|
extern tree pushdecl_top_level (tree);
|
|
extern tree pushdecl_function_level (tree);
|
|
extern tree java_replace_reference (tree, bool);
|
|
extern int alloc_class_constant (tree);
|
|
extern void init_expr_processing (void);
|
|
extern void push_super_field (tree, tree);
|
|
extern void init_class_processing (void);
|
|
extern void add_type_assertion (tree, int, tree, tree);
|
|
extern int can_widen_reference_to (tree, tree);
|
|
extern int class_depth (tree);
|
|
extern int verify_jvm_instructions_new (struct JCF *, const unsigned char *,
|
|
long);
|
|
extern void maybe_pushlevels (int);
|
|
extern void maybe_poplevels (int);
|
|
extern void force_poplevels (int);
|
|
extern int process_jvm_instruction (int, const unsigned char *, long);
|
|
extern int maybe_adjust_start_pc (struct JCF *, int, int, int);
|
|
extern void set_local_type (int, tree);
|
|
extern int merge_type_state (tree);
|
|
extern int push_type_0 (tree);
|
|
extern void push_type (tree);
|
|
extern void load_type_state (tree);
|
|
extern void add_interface (tree, tree);
|
|
extern tree force_evaluation_order (tree);
|
|
extern tree java_create_object (tree);
|
|
extern int verify_constant_pool (struct JCF *);
|
|
extern void start_java_method (tree);
|
|
extern void end_java_method (void);
|
|
extern void give_name_to_locals (struct JCF *);
|
|
extern void note_instructions (struct JCF *, tree);
|
|
extern void expand_byte_code (struct JCF *, tree);
|
|
extern int open_in_zip (struct JCF *, const char *, const char *, int);
|
|
extern void set_constant_value (tree, tree);
|
|
#ifdef jword
|
|
extern int find_constant1 (struct CPool *, int, jword);
|
|
extern int find_constant2 (struct CPool *, int, jword, jword);
|
|
#endif
|
|
extern int find_utf8_constant (struct CPool *, tree);
|
|
extern int find_string_constant (struct CPool *, tree);
|
|
extern int find_class_constant (struct CPool *, tree);
|
|
extern int find_fieldref_index (struct CPool *, tree);
|
|
extern int find_methodref_index (struct CPool *, tree);
|
|
extern int find_methodref_with_class_index (struct CPool *, tree, tree);
|
|
extern void write_constant_pool (struct CPool *, unsigned char *, int);
|
|
extern int count_constant_pool_bytes (struct CPool *);
|
|
extern int encode_newarray_type (tree);
|
|
#ifdef uint64
|
|
extern void format_int (char *, jlong, int);
|
|
extern void format_uint (char *, uint64, int);
|
|
#endif
|
|
extern void jcf_trim_old_input (struct JCF *);
|
|
#ifdef BUFSIZ
|
|
extern void jcf_print_utf8 (FILE *, const unsigned char *, int);
|
|
extern void jcf_print_char (FILE *, int);
|
|
extern void jcf_print_utf8_replace (FILE *, const unsigned char *, int,
|
|
int, int);
|
|
extern const char* open_class (const char *, struct JCF *, int, const char *);
|
|
#endif
|
|
extern void java_debug_context (void);
|
|
extern void safe_layout_class (tree);
|
|
|
|
extern tree get_boehm_type_descriptor (tree);
|
|
extern bool uses_jv_markobj_p (tree);
|
|
extern bool class_has_finalize_method (tree);
|
|
extern void java_check_methods (tree);
|
|
|
|
extern void java_mangle_decl (tree);
|
|
extern tree java_mangle_class_field (struct obstack *, tree);
|
|
extern tree java_mangle_vtable (struct obstack *, tree);
|
|
extern void append_gpp_mangled_name (const char *, int);
|
|
|
|
extern void add_predefined_file (tree);
|
|
extern int predefined_filename_p (tree);
|
|
|
|
extern tree decl_constant_value (tree);
|
|
|
|
extern void java_mark_class_local (tree);
|
|
|
|
extern void java_inlining_merge_static_initializers (tree, void *);
|
|
extern void java_inlining_map_static_initializers (tree, void *);
|
|
|
|
extern void compile_resource_data (const char *name, const char *buffer, int);
|
|
extern void compile_resource_file (const char *, const char *);
|
|
extern void write_resource_constructor (tree *);
|
|
extern tree build_java_empty_stmt (void);
|
|
extern tree add_stmt_to_compound (tree, tree, tree);
|
|
extern tree java_add_stmt (tree);
|
|
extern tree java_add_local_var (tree decl);
|
|
extern tree *get_stmts (void);
|
|
extern void register_exception_range(struct eh_range *, int, int);
|
|
|
|
extern void finish_method (tree);
|
|
extern void java_expand_body (tree);
|
|
|
|
extern int get_symbol_table_index (tree, tree, tree *);
|
|
|
|
extern tree make_catch_class_record (tree, tree);
|
|
extern tree emit_catch_table (tree);
|
|
|
|
extern void gen_indirect_dispatch_tables (tree type);
|
|
extern int split_qualified_name (tree *left, tree *right, tree source);
|
|
extern int in_same_package (tree, tree);
|
|
|
|
extern void java_read_sourcefilenames (const char *fsource_filename);
|
|
|
|
extern void rewrite_reflection_indexes (void *);
|
|
|
|
#define DECL_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
|
|
|
|
/* Access flags etc for a method (a FUNCTION_DECL): */
|
|
|
|
#define METHOD_DUMMY(DECL) (DECL_LANG_SPECIFIC (DECL)->u.f.dummy)
|
|
|
|
#define METHOD_PUBLIC(DECL) DECL_LANG_FLAG_1 (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_PRIVATE(DECL) TREE_PRIVATE (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_PROTECTED(DECL) TREE_PROTECTED (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_STATIC(DECL) DECL_LANG_FLAG_2 (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_FINAL(DECL) DECL_FINAL (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_SYNCHRONIZED(DECL) DECL_LANG_FLAG_4 (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_NATIVE(DECL) \
|
|
(DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.native)
|
|
#define METHOD_ABSTRACT(DECL) DECL_LANG_FLAG_5 (FUNCTION_DECL_CHECK (DECL))
|
|
#define METHOD_STRICTFP(DECL) \
|
|
(DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.strictfp)
|
|
#define METHOD_INVISIBLE(DECL) \
|
|
(DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.invisible)
|
|
#define METHOD_BRIDGE(DECL) \
|
|
(DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.bridge)
|
|
#define METHOD_VARARGS(DECL) \
|
|
(DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.varargs)
|
|
|
|
#define CLASS_FILE_P(NODE) TREE_LANG_FLAG_3 (NODE)
|
|
|
|
/* Other predicates on method decls */
|
|
|
|
#define DECL_CONSTRUCTOR_P(DECL) DECL_LANG_FLAG_7 (FUNCTION_DECL_CHECK (DECL))
|
|
|
|
#define DECL_INIT_P(DECL) (ID_INIT_P (DECL_NAME (DECL)))
|
|
#define DECL_CLINIT_P(DECL) (ID_CLINIT_P (DECL_NAME (DECL)))
|
|
|
|
/* Predicates on method identifiers. Kept close to other macros using
|
|
them */
|
|
#define ID_INIT_P(ID) ((ID) == init_identifier_node)
|
|
#define ID_CLINIT_P(ID) ((ID) == clinit_identifier_node)
|
|
#define ID_CLASSDOLLAR_P(ID) ((ID) == classdollar_identifier_node)
|
|
|
|
/* Access flags etc for variable/field (FIELD_DECL, VAR_DECL, or PARM_DECL): */
|
|
|
|
#define FIELD_PRIVATE(DECL) TREE_PRIVATE (VAR_OR_FIELD_CHECK (DECL))
|
|
#define FIELD_PROTECTED(DECL) TREE_PROTECTED (VAR_OR_FIELD_CHECK (DECL))
|
|
#define FIELD_PUBLIC(DECL) DECL_LANG_FLAG_1 (VAR_OR_FIELD_CHECK (DECL))
|
|
#define FIELD_STATIC(DECL) TREE_STATIC (VAR_OR_FIELD_CHECK (DECL))
|
|
#define FIELD_FINAL(DECL) DECL_FINAL (VAR_OR_FIELD_CHECK (DECL))
|
|
#define FIELD_VOLATILE(DECL) DECL_LANG_FLAG_4 (VAR_OR_FIELD_CHECK (DECL))
|
|
#define FIELD_TRANSIENT(DECL) DECL_LANG_FLAG_5 (VAR_OR_FIELD_CHECK (DECL))
|
|
|
|
/* Access flags etc for a class (a TYPE_DECL): */
|
|
|
|
#define CLASS_PUBLIC(DECL) DECL_LANG_FLAG_1 (TYPE_DECL_CHECK (DECL))
|
|
#define CLASS_FINAL(DECL) DECL_FINAL (TYPE_DECL_CHECK (DECL))
|
|
#define CLASS_INTERFACE(DECL) DECL_LANG_FLAG_4 (TYPE_DECL_CHECK (DECL))
|
|
#define CLASS_ABSTRACT(DECL) DECL_LANG_FLAG_5 (TYPE_DECL_CHECK (DECL))
|
|
#define CLASS_SUPER(DECL) DECL_LANG_FLAG_6 (TYPE_DECL_CHECK (DECL))
|
|
#define CLASS_STATIC(DECL) DECL_LANG_FLAG_7 (TYPE_DECL_CHECK (DECL))
|
|
#define CLASS_PRIVATE(DECL) (TYPE_PRIVATE_INNER_CLASS (TREE_TYPE (DECL)))
|
|
#define CLASS_PROTECTED(DECL) (TYPE_PROTECTED_INNER_CLASS (TREE_TYPE (DECL)))
|
|
#define CLASS_STRICTFP(DECL) (TYPE_STRICTFP (TREE_TYPE (DECL)))
|
|
#define CLASS_ENUM(DECL) (TYPE_ENUM (TREE_TYPE (DECL)))
|
|
#define CLASS_USES_ASSERTIONS(DECL) (TYPE_USES_ASSERTIONS (TREE_TYPE (DECL)))
|
|
#define CLASS_SYNTHETIC(DECL) (TYPE_SYNTHETIC (TREE_TYPE (DECL)))
|
|
#define CLASS_ANNOTATION(DECL) (TYPE_ANNOTATION (TREE_TYPE (DECL)))
|
|
|
|
/* @deprecated marker flag on methods, fields and classes */
|
|
|
|
#define METHOD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
|
|
#define FIELD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
|
|
#define CLASS_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
|
|
#define DECL_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
|
|
|
|
/* The number of virtual methods in this class's dispatch table.
|
|
Does not include initial two dummy entries (one points to the
|
|
Class object, and the other is for G++ -fvtable-thunks compatibility). */
|
|
#define TYPE_NVIRTUALS(TYPE) BINFO_VIRTUALS (TYPE_BINFO (TYPE))
|
|
|
|
/* A TREE_VEC (indexed by DECL_VINDEX) containing this class's
|
|
virtual methods. */
|
|
#define TYPE_VTABLE(TYPE) BINFO_VTABLE(TYPE_BINFO (TYPE))
|
|
|
|
/* Use CLASS_LOADED_P? FIXME */
|
|
#define CLASS_COMPLETE_P(DECL) DECL_LANG_FLAG_2 (DECL)
|
|
|
|
/* This maps a bytecode offset (PC) to various flags,
|
|
listed below (starting with BCODE_). */
|
|
extern char *instruction_bits;
|
|
|
|
/* True iff the byte is the start of an instruction. */
|
|
#define BCODE_INSTRUCTION_START 1
|
|
|
|
/* True iff there is a jump or a return to this location. */
|
|
#define BCODE_JUMP_TARGET 2
|
|
|
|
/* True iff this is the start of an exception handler. */
|
|
#define BCODE_EXCEPTION_TARGET 16
|
|
|
|
/* True iff there is a jump to this location (and it needs a label). */
|
|
#define BCODE_TARGET (BCODE_JUMP_TARGET| BCODE_EXCEPTION_TARGET)
|
|
|
|
/* True iff there is an entry in the linenumber table for this location. */
|
|
#define BCODE_HAS_LINENUMBER 32
|
|
|
|
/* True iff there is more than one entry in the linenumber table for
|
|
this location. (This probably does not make much sense.) */
|
|
#define BCODE_HAS_MULTI_LINENUMBERS 64
|
|
|
|
/* True if this instruction has been verified. */
|
|
#define BCODE_VERIFIED 8
|
|
|
|
/* A pointer to the line number table of the current method. */
|
|
extern const unsigned char *linenumber_table;
|
|
/* The length (in items) of the line number table. */
|
|
extern int linenumber_count;
|
|
|
|
/* In type_map, means that slot is uninitialized or otherwise unusable. */
|
|
#define TYPE_UNKNOWN NULL_TREE
|
|
|
|
/* In type_map, means the second half of a 64-bit double or long. */
|
|
#define TYPE_SECOND void_type_node
|
|
|
|
/* In type_map, means the null type (i.e. type of a null reference). */
|
|
#define TYPE_NULL ptr_type_node
|
|
|
|
/* In a type map means the type the address subroutine return address. */
|
|
#define TYPE_RETURN_ADDR return_address_type_node
|
|
|
|
/* A array mapping variable/stack slot index to the type current
|
|
in that variable/stack slot.
|
|
TYPE_UNKNOWN, TYPE_SECOND, and TYPE_NULL are special cases. */
|
|
extern tree *type_map;
|
|
|
|
/* Map a stack index to the type currently in that slot. */
|
|
#define stack_type_map (type_map + DECL_MAX_LOCALS (current_function_decl))
|
|
|
|
/* True iff TYPE takes two variable/stack slots. */
|
|
#define TYPE_IS_WIDE(TYPE) \
|
|
((TYPE) == double_type_node || (TYPE) == long_type_node)
|
|
|
|
/* True iff TYPE is a Java array type. */
|
|
#define TYPE_ARRAY_P(TYPE) TYPE_LANG_FLAG_1 (TYPE)
|
|
|
|
/* True for an INDIRECT_REF created from a 'ARRAY.length' operation. */
|
|
#define IS_ARRAY_LENGTH_ACCESS(NODE) TREE_LANG_FLAG_4 (NODE)
|
|
|
|
/* If FUNCTION_TYPE or METHOD_TYPE: cache for build_java_argument_signature. */
|
|
#define TYPE_ARGUMENT_SIGNATURE(TYPE) \
|
|
(TREE_CHECK2 (TYPE, FUNCTION_TYPE, METHOD_TYPE)->type.minval)
|
|
|
|
/* Given an array type, give the type of the elements. */
|
|
/* FIXME this use of TREE_TYPE conflicts with something or other. */
|
|
#define TYPE_ARRAY_ELEMENT(ATYPE) TREE_TYPE (ATYPE)
|
|
|
|
/* True if class TYPE has been loaded (i.e. parsed plus laid out).
|
|
(The check for CLASS_PARSED_P is needed because of Object and Class.) */
|
|
#define CLASS_LOADED_P(TYPE) (TYPE_SIZE (TYPE) != NULL_TREE \
|
|
&& (CLASS_PARSED_P(TYPE) || TYPE_ARRAY_P(TYPE)))
|
|
|
|
/* True if class TYPE has been parsed (first pass). */
|
|
#define CLASS_PARSED_P(TYPE) TYPE_LANG_FLAG_2 (TYPE)
|
|
|
|
/* True if class TYPE was defined in Java source code. */
|
|
#define CLASS_FROM_SOURCE_P(TYPE) TYPE_LANG_FLAG_3 (TYPE)
|
|
|
|
/* True of a RECORD_TYPE of a class/interface type (not array type) */
|
|
#define CLASS_P(TYPE) TYPE_LANG_FLAG_4 (TYPE)
|
|
|
|
/* True if class TYPE was requested (on command line) to be compiled.*/
|
|
#define CLASS_FROM_CURRENTLY_COMPILED_P(TYPE) TYPE_LANG_FLAG_5 (TYPE)
|
|
|
|
/* True if class TYPE is currently being laid out. Helps in detection
|
|
of inheritance cycle occurring as a side effect of performing the
|
|
layout of a class. */
|
|
#define CLASS_BEING_LAIDOUT(TYPE) TYPE_LANG_FLAG_6 (TYPE)
|
|
|
|
/* True if ID is a qualified named (contains . or /) */
|
|
#define QUALIFIED_P(ID) TREE_LANG_FLAG_2 (ID)
|
|
|
|
/* True if ID is a command-line specified filename */
|
|
#define IS_A_COMMAND_LINE_FILENAME_P(ID) TREE_LANG_FLAG_4 (ID)
|
|
|
|
/* True if filename ID has already been parsed */
|
|
#define HAS_BEEN_ALREADY_PARSED_P(ID) TREE_LANG_FLAG_5 (ID)
|
|
|
|
/* True if TYPE (a TREE_TYPE denoting a class type) was found to
|
|
feature a finalizer method. */
|
|
#define HAS_FINALIZER_P(EXPR) TREE_LANG_FLAG_3 (EXPR)
|
|
|
|
/* True if NODE (a statement) can complete normally. */
|
|
#define CAN_COMPLETE_NORMALLY(NODE) TREE_LANG_FLAG_6 (NODE)
|
|
|
|
/* True if NODE belongs to an inner class TYPE_DECL node.
|
|
Verifies that NODE as the attributes of a decl. */
|
|
#define INNER_CLASS_DECL_P(NODE) (TYPE_NAME (TREE_TYPE (NODE)) == NODE \
|
|
&& DECL_CONTEXT (NODE))
|
|
|
|
/* True if NODE belongs to an inner class RECORD_TYPE node. Checks
|
|
that TYPE_NAME bears a decl. An array type wouldn't. */
|
|
#define INNER_CLASS_TYPE_P(NODE) (TREE_CODE (TYPE_NAME (NODE)) == TYPE_DECL \
|
|
&& DECL_CONTEXT (TYPE_NAME (NODE)))
|
|
|
|
/* True if the class type NODE was declared in an inner scope and is
|
|
not a toplevel class */
|
|
#define PURE_INNER_CLASS_TYPE_P(NODE) \
|
|
(INNER_CLASS_TYPE_P (NODE) && !CLASS_STATIC (TYPE_NAME (NODE)))
|
|
|
|
/* True if NODE (a TYPE_DECL or a RECORD_TYPE) is an inner class. */
|
|
#define INNER_CLASS_P(NODE) (TREE_CODE (NODE) == TYPE_DECL ? \
|
|
INNER_CLASS_DECL_P (NODE) : \
|
|
(TREE_CODE (NODE) == RECORD_TYPE ? \
|
|
INNER_CLASS_TYPE_P (NODE) : \
|
|
(abort (), 0)))
|
|
|
|
/* On a TYPE_DECL, hold the list of inner classes defined within the
|
|
scope of TYPE_DECL. */
|
|
#define DECL_INNER_CLASS_LIST(NODE) DECL_INITIAL (TYPE_DECL_CHECK (NODE))
|
|
|
|
/* Add a FIELD_DECL to RECORD_TYPE RTYPE.
|
|
The field has name NAME (a char*), and type FTYPE.
|
|
Unless this is the first field, FIELD most hold the previous field.
|
|
FIELD is set to the newly created FIELD_DECL.
|
|
|
|
We set DECL_ARTIFICIAL so these fields get skipped by make_class_data
|
|
if compiling java.lang.Object or java.lang.Class. */
|
|
|
|
#define PUSH_FIELD(RTYPE, FIELD, NAME, FTYPE) \
|
|
{ tree _field = build_decl (FIELD_DECL, get_identifier ((NAME)), (FTYPE)); \
|
|
if (TYPE_FIELDS (RTYPE) == NULL_TREE) \
|
|
TYPE_FIELDS (RTYPE) = _field; \
|
|
else \
|
|
TREE_CHAIN(FIELD) = _field; \
|
|
DECL_CONTEXT (_field) = (RTYPE); \
|
|
DECL_ARTIFICIAL (_field) = 1; \
|
|
FIELD = _field; }
|
|
|
|
#define FINISH_RECORD(RTYPE) layout_type (RTYPE)
|
|
|
|
/* Start building a RECORD_TYPE constructor with a given TYPE in CONS. */
|
|
#define START_RECORD_CONSTRUCTOR(CONS, CTYPE) \
|
|
do \
|
|
{ \
|
|
CONS = build_constructor ((CTYPE), VEC_alloc (constructor_elt, gc, 0)); \
|
|
CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (CONS), TYPE_FIELDS (CTYPE), \
|
|
NULL); \
|
|
} \
|
|
while (0)
|
|
|
|
/* Append a field initializer to CONS for the dummy field for the inherited
|
|
fields. The dummy field has the given VALUE, and the same type as the
|
|
super-class. Must be specified before calls to PUSH_FIELD_VALUE. */
|
|
#define PUSH_SUPER_VALUE(CONS, VALUE) \
|
|
do \
|
|
{ \
|
|
constructor_elt *_elt___ = VEC_last (constructor_elt, \
|
|
CONSTRUCTOR_ELTS (CONS)); \
|
|
tree _next___ = TREE_CHAIN (_elt___->index); \
|
|
gcc_assert (!DECL_NAME (_elt___->index)); \
|
|
_elt___->value = VALUE; \
|
|
CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (CONS), _next___, NULL); \
|
|
} \
|
|
while (0)
|
|
|
|
/* Append a field initializer to CONS for a field with the given VALUE.
|
|
NAME is a char* string used for error checking;
|
|
the initializer must be specified in order. */
|
|
#define PUSH_FIELD_VALUE(CONS, NAME, VALUE) \
|
|
do \
|
|
{ \
|
|
constructor_elt *_elt___ = VEC_last (constructor_elt, \
|
|
CONSTRUCTOR_ELTS (CONS)); \
|
|
tree _next___ = TREE_CHAIN (_elt___->index); \
|
|
gcc_assert (strcmp (IDENTIFIER_POINTER (DECL_NAME (_elt___->index)), \
|
|
NAME) == 0); \
|
|
_elt___->value = VALUE; \
|
|
CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (CONS), _next___, NULL); \
|
|
} \
|
|
while (0)
|
|
|
|
/* Finish creating a record CONSTRUCTOR CONS. */
|
|
#define FINISH_RECORD_CONSTRUCTOR(CONS) \
|
|
VEC_pop (constructor_elt, CONSTRUCTOR_ELTS (CONS))
|
|
|
|
#define BLOCK_EXPR_DECLS(NODE) BLOCK_VARS(NODE)
|
|
#define BLOCK_EXPR_BODY(NODE) BLOCK_SUBBLOCKS(NODE)
|
|
|
|
#define BUILD_MONITOR_ENTER(WHERE, ARG) \
|
|
{ \
|
|
(WHERE) = build_call_nary (int_type_node, \
|
|
build_address_of (soft_monitorenter_node), \
|
|
1, (ARG)); \
|
|
TREE_SIDE_EFFECTS (WHERE) = 1; \
|
|
}
|
|
|
|
#define BUILD_MONITOR_EXIT(WHERE, ARG) \
|
|
{ \
|
|
(WHERE) = build_call_nary (int_type_node, \
|
|
build_address_of (soft_monitorexit_node), \
|
|
1, (ARG)); \
|
|
TREE_SIDE_EFFECTS (WHERE) = 1; \
|
|
}
|
|
|
|
/* True when we can perform static class initialization optimization */
|
|
#define STATIC_CLASS_INIT_OPT_P() \
|
|
(flag_optimize_sci && (optimize >= 2))
|
|
|
|
/* These are the possible values for the `state' field of the class
|
|
structure. This must be kept in sync with libgcj. */
|
|
enum
|
|
{
|
|
JV_STATE_NOTHING = 0, /* Set by compiler. */
|
|
|
|
JV_STATE_PRELOADING = 1, /* Can do _Jv_FindClass. */
|
|
JV_STATE_LOADING = 3, /* Has super installed. */
|
|
JV_STATE_READ = 4, /* Has been completely defined. */
|
|
JV_STATE_LOADED = 5, /* Has Miranda methods defined. */
|
|
|
|
JV_STATE_COMPILED = 6, /* This was a compiled class. */
|
|
|
|
JV_STATE_PREPARED = 7, /* Layout & static init done. */
|
|
JV_STATE_LINKED = 9, /* Strings interned. */
|
|
|
|
JV_STATE_IN_PROGRESS = 10, /* <Clinit> running. */
|
|
JV_STATE_ERROR = 12,
|
|
|
|
JV_STATE_DONE = 14 /* Must be last. */
|
|
};
|
|
|
|
#undef DEBUG_JAVA_BINDING_LEVELS
|
|
|
|
/* In a LABELED_BLOCK_EXPR node. */
|
|
#define LABELED_BLOCK_LABEL(NODE) \
|
|
TREE_OPERAND_CHECK_CODE (NODE, LABELED_BLOCK_EXPR, 0)
|
|
#define LABELED_BLOCK_BODY(NODE) \
|
|
TREE_OPERAND_CHECK_CODE (NODE, LABELED_BLOCK_EXPR, 1)
|
|
|
|
/* In an EXIT_BLOCK_EXPR node. */
|
|
#define EXIT_BLOCK_LABELED_BLOCK(NODE) \
|
|
TREE_OPERAND_CHECK_CODE (NODE, EXIT_BLOCK_EXPR, 0)
|
|
|
|
extern void java_genericize (tree);
|
|
extern int java_gimplify_expr (tree *, tree *, tree *);
|
|
|
|
extern FILE *finput;
|
|
|
|
#endif /* ! GCC_JAVA_TREE_H */
|