mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-02-21 11:59:39 +08:00
* tree.def (FIXED_POINT_TYPE): New type. (FIXED_CST): New constant. (FIXED_CONVERT_EXPR): New expr. * doc/c-tree.texi (Types): Document FIXED_POINT_TYPE. (Expressions): Document FIXED_CST and FIXED_CONVERT_EXPR. * tree.h (struct tree_base): Add saturating_flag. Remove one bit of spare for saturating_flag. (NUMERICAL_TYPE_CHECK): Support FIXED_POINT_TYPE. (NON_SAT_FIXED_POINT_TYPE_P, SAT_FIXED_POINT_TYPE_P, FIXED_POINT_TYPE_P): Define. (TYPE_SATURATING): Define. (TREE_FIXED_CST_PTR, TREE_FIXED_CST): Define. (struct tree_fixed_cst): New. (TYPE_IBIT, TYPE_FBIT): Define. (tree_node): Add fixed_cst. (enum tree_index): Add new enumeration values of TI_SAT_SFRACT_TYPE, TI_SAT_FRACT_TYPE, TI_SAT_LFRACT_TYPE, TI_SAT_LLFRACT_TYPE, TI_SAT_USFRACT_TYPE, TI_SAT_UFRACT_TYPE, TI_SAT_ULFRACT_TYPE, TI_SAT_ULLFRACT_TYPE, TI_SFRACT_TYPE, TI_FRACT_TYPE, TI_LFRACT_TYPE, TI_LLFRACT_TYPE, TI_USFRACT_TYPE, TI_UFRACT_TYPE, TI_ULFRACT_TYPE, TI_ULLFRACT_TYPE, TI_SAT_SACCUM_TYPE, TI_SAT_ACCUM_TYPE, TI_SAT_LACCUM_TYPE, TI_SAT_LLACCUM_TYPE, TI_SAT_USACCUM_TYPE, TI_SAT_UACCUM_TYPE, TI_SAT_ULACCUM_TYPE, TI_SAT_ULLACCUM_TYPE, TI_SACCUM_TYPE, TI_ACCUM_TYPE, TI_LACCUM_TYPE, TI_LLACCUM_TYPE, TI_USACCUM_TYPE, TI_UACCUM_TYPE, TI_ULACCUM_TYPE, TI_ULLACCUM_TYPE, TI_QQ_TYPE, TI_HQ_TYPE,_TYPE, TI_SQ_TYPE, TI_DQ_TYPE, TI_TQ_TYPE, TI_UQQ_TYPE, TI_UHQ_TYPE, TI_USQ_TYPE, TI_UDQ_TYPE, TI_UTQ_TYPE, TI_SAT_QQ_TYPE, TI_SAT_HQ_TYPE, TI_SAT_SQ_TYPE, TI_SAT_DQ_TYPE, TI_SAT_TQ_TYPE, TI_SAT_UQQ_TYPE, TI_SAT_UHQ_TYPE, TI_SAT_USQ_TYPE, TI_SAT_UDQ_TYPE, TI_SAT_UTQ_TYPE, TI_HA_TYPE, TI_SA_TYPE, TI_DA_TYPE, TI_TA_TYPE, TI_UHA_TYPE, TI_USA_TYPE, TI_UDA_TYPE, TI_UTA_TYPE, TI_SAT_HA_TYPE, TI_SAT_SA_TYPE, TI_SAT_DA_TYPE, TI_SAT_TA_TYPE, TI_SAT_UHA_TYPE, TI_SAT_USA_TYPE, TI_SAT_UDA_TYPE, TI_SAT_UTA_TYPE. (sat_short_fract_type_node, sat_fract_type_node, sat_long_fract_type_node, sat_long_long_fract_type_node, sat_unsigned_short_fract_type_node, sat_unsigned_fract_type_node, sat_unsigned_long_fract_type_node, sat_unsigned_long_long_fract_type_node, short_fract_type_node, fract_type_node, long_fract_type_node, long_long_fract_type_node, unsigned_short_fract_type_node, unsigned_fract_type_node, unsigned_long_fract_type_node, unsigned_long_long_fract_type_node, sat_short_accum_type_node, sat_accum_type_node, sat_long_accum_type_node, sat_long_long_accum_type_node, sat_unsigned_short_accum_type_node, sat_unsigned_accum_type_node, sat_unsigned_long_accum_type_node, sat_unsigned_long_long_accum_type_node, short_accum_type_node, accum_type_node, long_accum_type_node, long_long_accum_type_node, unsigned_short_accum_type_node, unsigned_accum_type_node, unsigned_long_accum_type_node, unsigned_long_long_accum_type_node, qq_type_node, hq_type_node, sq_type_node, dq_type_node, tq_type_node, uqq_type_node, uhq_type_node, usq_type_node, udq_type_node, utq_type_node, sat_qq_type_node, sat_hq_type_node, sat_sq_type_node, sat_dq_type_node, sat_tq_type_node, sat_uqq_type_node, sat_uhq_type_node, sat_usq_type_node, sat_udq_type_node, sat_utq_type_node, ha_type_node, sa_type_node, da_type_node, ta_type_node, uha_type_node, usa_type_node, uda_type_node, uta_type_node, sat_ha_type_node, sat_sa_type_node, sat_da_type_node, sat_ta_type_node, sat_uha_type_node, sat_usa_type_node, sat_uda_type_node, sat_uta_type_node): New macro. (make_fract_type, make_accum_type): Declare. (make_signed_fract_type, make_unsigned_fract_type, make_sat_signed_fract_type, make_sat_unsigned_fract_type, make_signed_accum_type, make_unsigned_accum_type, make_sat_signed_accum_type, make_sat_unsigned_accum_type, make_or_reuse_signed_fract_type, make_or_reuse_unsigned_fract_type, make_or_reuse_sat_signed_fract_type, make_or_reuse_sat_unsigned_fract_type, make_or_reuse_signed_accum_type, make_or_reuse_unsigned_accum_type, make_or_reuse_sat_signed_accum_type, make_or_reuse_sat_unsigned_accum_type): New macro. (fixed_zerop): Declare. * defaults.h (SHORT_FRACT_TYPE_SIZE, FRACT_TYPE_SIZE, LONG_FRACT_TYPE_SIZE, LONG_LONG_FRACT_TYPE_SIZE, SHORT_ACCUM_TYPE_SIZE, ACCUM_TYPE_SIZE, LONG_ACCUM_TYPE_SIZE, LONG_LONG_ACCUM_TYPE_SIZE): Define. * treestruct.def: Add TS_FIXED_CST. * Makefile.in (c-pretty-print.o): Add dependence on fixed-value.h. (tree.o): Likewise. (tree-dump.o): Likewise. (print-tree.o): Likewise. (tree-pretty-print.o): Likewise. (fold-const.o): Likewise. * tree-complex.c (some_nonzerop): Handle FIXED_CST. * tree-gimple.c (is_gimple_formal_tmp_rhs): Handle FIXED_CST. (is_gimple_min_invariant): Handle FIXED_CST. * stor-layout.c (int_mode_for_mode): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM, MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM. (layout_type): Handle FIXED_POINT_TYPE. (make_fract_type, make_accum_type): New functions. * tree-browser.c (browse_tree): Handle FIXED_POINT_TYPE. * tree-dump.c (fixed-value.h): New include. (dump_fixed): New function. (dequeue_and_dump): Handle FIXED_POINT_TYPE and FIXED_CST. * tree-inline.c (remap_type_1): Handle FIXED_POINT_TYPE. (estimate_num_insns_1): Handle FIXED_CST and FIXED_CONVERT_EXPR. * tree-pretty-print.c (fixed-value.h): New include. (dump_generic_node): Handle FIXED_POINT_TYPE, FIXED_CST, and FIXED_CONVERT_EXPR. * tree-scalar-evolution.c (get_scalar_evolution): Handle FIXED_CST. * tree-ssa-loop-im.c (for_each_index): Handle FIXED_CST. * tree-ssa-pre.c (poolify_tree): Handle FIXED_CST. * tree-ssa-reassoc.c (break_up_subtract_bb): We can do reassociation for non-saturating fixed-point types. (reassociate_bb): Likewise. * emit-rtl.c (fixed-value.h): New include. (fconst0, fconst1): New array. (init_emit_once): Initialize fconst0 and fconst1 for fixed-point modes. * tree-vect-generic.c expand_vector_operation): Support MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, and MODE_VECTOR_UACCUM. (type_for_widest_vector_mode): Add one parameter for the saturating flag. Check scalar FRACT, UFRACT, ACCUM, and UACCUM mode to select their vector mode. Pass the satp parameter to type_for_mode for fixed-point types. (expand_vector_operations_1): Pass the saturating flag to type_for_widest_vector_mode. Support MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, and MODE_VECTOR_UACCUM. * tree-vect-transform.c (vect_is_simple_cond): Support FIXED_CST. (vectorizable_condition): Likewise. * tree.c (fixed-value.h): New include. (tree_code_size): Support FIXED_CST. (build_fixed): New function. (build_one_cst): Support FIXED_POINT_TYPE for accum types. (fixed_zerop): New function. (tree_node_structure): Support FIXED_CST. (type_contains_placeholder_1): Support FIXED_POINT_TYPE. (build_type_attribute_qual_variant): Handle FIXED_POINT_TYPE. (type_hash_eq): Handle FIXED_POINT_TYPE. (simple_cst_equal): Support FIXED_CST. (iterative_hash_expr): Handle FIXED_CST. (get_unwidened): Make sure type is not FIXED_POINT_TYPE. (get_narrower): Likewise. (variably_modified_type_p): Handle FIXED_POINT_TYPE. (make_or_reuse_fract_type, make_or_reuse_accum_type): New functions. (build_common_tree_nodes_2): Use MAKE_FIXED_TYPE_NODE_FAMILY and MAKE_FIXED_MODE_NODE macros to initialize fixed-point type nodes. (build_vector_type_for_mode): Handle MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM. (initializer_zerop): Support FIXED_CST. (walk_tree): Handle FIXED_CST and FIXED_POINT_TYPE. * dwarf2out.c (base_type_die): Use DW_ATE_signed_fixed or DW_ATE_unsigned_fixed to describe FIXED_POINT_TYPE. (is_base_type): Handle FIXED_POINT_TYPE. (add_type_attribute): Handle FIXED_POINT_TYPE. (gen_type_die_with_usage): Handle FIXED_POINT_TYPE. * print-tree.c (fixed-value.h): New include. (print_node_brief): Support FIXED_CST. (print_node): Support FIXED_POINT_TYPE and FIXED_CST. * c-pretty-print.c (fixed-value.h): New include. (pp_c_type_specifier): Handle FIXED_POINT_TYPE. Need to pass TYPE_SATURATING to c_common_type_for_mode for fixed-point modes. (pp_c_direct_abstract_declarator): Handle FIXED_POINT_TYPE. Support fixed-point types for inner items in VECTOR_TYPE. (pp_c_direct_declarator): Likewise. (pp_c_declarator): Likewise. (pp_c_fixed_constant): New function. (pp_c_constant): Handle FIXED_CST. (pp_c_primary_expression): Likewise. (pp_c_expression): Likewise. * fold-const.c (fixed-value.h): New include. (negate_expr_p): Return true for FIXED_CST. (fold_negate_expr): Support FIXED_CST. (split_tree): Support FIXED_CST. (const_binop): Support FIXED_CST. (fold_convert_const_int_from_fixed): New function to convert from fixed to int. (fold_convert_const_real_from_fixed): New function to convert from fixed to real. (fold_convert_const_fixed_from_fixed): New function to convert from fixed to another fixed. (fold_convert_const_fixed_from_int): New function to convert from int to fixed. (fold_convert_const_fixed_from_real): New function to convert from real to fixed. (fold_convert_const): Support conversions from fixed to int, from fixed to real, from fixed to fixed, from int to fixed, and from real to fixed. (fold_convert): Support FIXED_CST and FIXED_POINT_TYPE. (operand_equal_p): Support FIXED_CST. (make_range): For fixed-point modes, we need to pass the saturating flag as the 2nd parameter. (tree_swap_operands_p): Handle FIXED_CST. (fold_plusminus_mult_expr): For fract modes, we cannot generate constant 1. (fold_unary): Support FIXED_CONVERT_EXPR. (fold_binary): Handle FIXED_CST. Make sure the type is not saturating, before associating operations. Ex: A + B + C, A * B * C, (A1 * C1) +/- (A2 * C2). (tree_expr_nonnegative_warnv_p): Handle FIXED_CST. (fold_negate_const): Support FIXED_CST. (fold_relational_const): Support FIXED_CST. * gimplify.c (omp_firstprivatize_type_sizes): Handle FIXED_POINT_TYPE. (gimplify_expr): Handle FIXED_CST. (gimplify_type_sizes): Handle FIXED_POINT_TYPE. * ipa-prop.c (ipa_callsite_compute_param): Support FIXED_CST. * ipa-type-escape.c (type_to_consider): Handle FIXED_POINT_TYPE. * doc/tm.texi (Type Layout): Document SHORT_FRACT_TYPE_SIZE, FRACT_TYPE_SIZE, LONG_FRACT_TYPE_SIZE, LONG_LONG_FRACT_TYPE_SIZE, SHORT_ACCUM_TYPE_SIZE, ACCUM_TYPE_SIZE, LONG_ACCUM_TYPE_SIZE, LONG_LONG_ACCUM_TYPE_SIZE. * dbxout.c (dbxout_type): Handle FIXED_POINT_TYPE. * c-aux-info.c (gen_type): Handle FIXED_POINT_TYPE. * tree-sra.c (is_sra_scalar_type): Support FIXED_POINT_TYPE. * expmed.c (extract_bit_field): Support MODE_FRACT, MODE_UFRACT, MODE_ACCUM, and MODE_UACCUM. * tree-vectorizer.c (vect_is_simple_reduction): Check for saturating fixed-point types to disable reduction. * explow.c (promote_mode): Support FIXED_POINT_TYPE. From-SVN: r127306
964 lines
21 KiB
C
964 lines
21 KiB
C
/* Tree browser.
|
|
Copyright (C) 2002, 2003, 2004, 2007 Free Software Foundation, Inc.
|
|
Contributed by Sebastian Pop <s.pop@laposte.net>
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, 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 COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "tm.h"
|
|
#include "tree.h"
|
|
#include "tree-inline.h"
|
|
#include "diagnostic.h"
|
|
#include "hashtab.h"
|
|
|
|
|
|
#define TB_OUT_FILE stdout
|
|
#define TB_IN_FILE stdin
|
|
#define TB_NIY fprintf (TB_OUT_FILE, "Sorry this command is not yet implemented.\n")
|
|
#define TB_WF fprintf (TB_OUT_FILE, "Warning, this command failed.\n")
|
|
|
|
|
|
/* Structures for handling Tree Browser's commands. */
|
|
#define DEFTBCODE(COMMAND, STRING, HELP) COMMAND,
|
|
enum TB_Comm_code {
|
|
#include "tree-browser.def"
|
|
TB_UNUSED_COMMAND
|
|
};
|
|
#undef DEFTBCODE
|
|
typedef enum TB_Comm_code TB_CODE;
|
|
|
|
struct tb_command {
|
|
const char *help_msg;
|
|
const char *comm_text;
|
|
size_t comm_len;
|
|
TB_CODE comm_code;
|
|
};
|
|
|
|
#define DEFTBCODE(code, str, help) { help, str, sizeof(str) - 1, code },
|
|
static const struct tb_command tb_commands[] =
|
|
{
|
|
#include "tree-browser.def"
|
|
};
|
|
#undef DEFTBCODE
|
|
|
|
#define TB_COMMAND_LEN(N) (tb_commands[N].comm_len)
|
|
#define TB_COMMAND_TEXT(N) (tb_commands[N].comm_text)
|
|
#define TB_COMMAND_CODE(N) (tb_commands[N].comm_code)
|
|
#define TB_COMMAND_HELP(N) (tb_commands[N].help_msg)
|
|
|
|
|
|
/* Next structure is for parsing TREE_CODEs. */
|
|
struct tb_tree_code {
|
|
enum tree_code code;
|
|
const char *code_string;
|
|
size_t code_string_len;
|
|
};
|
|
|
|
#define DEFTREECODE(SYM, STRING, TYPE, NARGS) { SYM, STRING, sizeof (STRING) - 1 },
|
|
static const struct tb_tree_code tb_tree_codes[] =
|
|
{
|
|
#include "tree.def"
|
|
};
|
|
#undef DEFTREECODE
|
|
|
|
#define TB_TREE_CODE(N) (tb_tree_codes[N].code)
|
|
#define TB_TREE_CODE_TEXT(N) (tb_tree_codes[N].code_string)
|
|
#define TB_TREE_CODE_LEN(N) (tb_tree_codes[N].code_string_len)
|
|
|
|
|
|
/* Function declarations. */
|
|
|
|
static long TB_getline (char **, long *, FILE *);
|
|
static TB_CODE TB_get_command (char *);
|
|
static enum tree_code TB_get_tree_code (char *);
|
|
static tree find_node_with_code (tree *, int *, void *);
|
|
static tree store_child_info (tree *, int *, void *);
|
|
static void TB_update_up (tree);
|
|
static tree TB_current_chain_node (tree);
|
|
static tree TB_prev_expr (tree);
|
|
static tree TB_next_expr (tree);
|
|
static tree TB_up_expr (tree);
|
|
static tree TB_first_in_bind (tree);
|
|
static tree TB_last_in_bind (tree);
|
|
static int TB_parent_eq (const void *, const void *);
|
|
static tree TB_history_prev (void);
|
|
|
|
/* FIXME: To be declared in a .h file. */
|
|
void browse_tree (tree);
|
|
|
|
/* Static variables. */
|
|
static htab_t TB_up_ht;
|
|
static tree TB_history_stack = NULL_TREE;
|
|
static int TB_verbose = 1;
|
|
|
|
|
|
/* Entry point in the Tree Browser. */
|
|
|
|
void
|
|
browse_tree (tree begin)
|
|
{
|
|
tree head;
|
|
TB_CODE tbc = TB_UNUSED_COMMAND;
|
|
ssize_t rd;
|
|
char *input = NULL;
|
|
long input_size = 0;
|
|
|
|
fprintf (TB_OUT_FILE, "\nTree Browser\n");
|
|
|
|
#define TB_SET_HEAD(N) do { \
|
|
TB_history_stack = tree_cons (NULL_TREE, (N), TB_history_stack); \
|
|
head = N; \
|
|
if (TB_verbose) \
|
|
if (head) \
|
|
{ \
|
|
print_generic_expr (TB_OUT_FILE, head, 0); \
|
|
fprintf (TB_OUT_FILE, "\n"); \
|
|
} \
|
|
} while (0)
|
|
|
|
TB_SET_HEAD (begin);
|
|
|
|
/* Store in a hashtable information about previous and upper statements. */
|
|
{
|
|
TB_up_ht = htab_create (1023, htab_hash_pointer, &TB_parent_eq, NULL);
|
|
TB_update_up (head);
|
|
}
|
|
|
|
while (24)
|
|
{
|
|
fprintf (TB_OUT_FILE, "TB> ");
|
|
rd = TB_getline (&input, &input_size, TB_IN_FILE);
|
|
|
|
if (rd == -1)
|
|
/* EOF. */
|
|
goto ret;
|
|
|
|
if (rd != 1)
|
|
/* Get a new command. Otherwise the user just pressed enter, and thus
|
|
she expects the last command to be reexecuted. */
|
|
tbc = TB_get_command (input);
|
|
|
|
switch (tbc)
|
|
{
|
|
case TB_UPDATE_UP:
|
|
TB_update_up (head);
|
|
break;
|
|
|
|
case TB_MAX:
|
|
if (head && (INTEGRAL_TYPE_P (head)
|
|
|| TREE_CODE (head) == REAL_TYPE
|
|
|| TREE_CODE (head) == FIXED_POINT_TYPE))
|
|
TB_SET_HEAD (TYPE_MAX_VALUE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_MIN:
|
|
if (head && (INTEGRAL_TYPE_P (head)
|
|
|| TREE_CODE (head) == REAL_TYPE
|
|
|| TREE_CODE (head) == FIXED_POINT_TYPE))
|
|
TB_SET_HEAD (TYPE_MIN_VALUE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ELT:
|
|
if (head && TREE_CODE (head) == TREE_VEC)
|
|
{
|
|
/* This command takes another argument: the element number:
|
|
for example "elt 1". */
|
|
TB_NIY;
|
|
}
|
|
else if (head && TREE_CODE (head) == VECTOR_CST)
|
|
{
|
|
/* This command takes another argument: the element number:
|
|
for example "elt 1". */
|
|
TB_NIY;
|
|
}
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_VALUE:
|
|
if (head && TREE_CODE (head) == TREE_LIST)
|
|
TB_SET_HEAD (TREE_VALUE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_PURPOSE:
|
|
if (head && TREE_CODE (head) == TREE_LIST)
|
|
TB_SET_HEAD (TREE_PURPOSE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_IMAG:
|
|
if (head && TREE_CODE (head) == COMPLEX_CST)
|
|
TB_SET_HEAD (TREE_IMAGPART (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_REAL:
|
|
if (head && TREE_CODE (head) == COMPLEX_CST)
|
|
TB_SET_HEAD (TREE_REALPART (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BLOCK:
|
|
if (head && TREE_CODE (head) == BIND_EXPR)
|
|
TB_SET_HEAD (TREE_OPERAND (head, 2));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SUBBLOCKS:
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_SUBBLOCKS (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SUPERCONTEXT:
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_SUPERCONTEXT (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_VARS:
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_VARS (head));
|
|
else if (head && TREE_CODE (head) == BIND_EXPR)
|
|
TB_SET_HEAD (TREE_OPERAND (head, 0));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_REFERENCE_TO_THIS:
|
|
if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_REFERENCE_TO (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_POINTER_TO_THIS:
|
|
if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_POINTER_TO (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BASETYPE:
|
|
if (head && TREE_CODE (head) == OFFSET_TYPE)
|
|
TB_SET_HEAD (TYPE_OFFSET_BASETYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ARG_TYPES:
|
|
if (head && (TREE_CODE (head) == FUNCTION_TYPE
|
|
|| TREE_CODE (head) == METHOD_TYPE))
|
|
TB_SET_HEAD (TYPE_ARG_TYPES (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_METHOD_BASE_TYPE:
|
|
if (head && (TREE_CODE (head) == FUNCTION_TYPE
|
|
|| TREE_CODE (head) == METHOD_TYPE)
|
|
&& TYPE_METHOD_BASETYPE (head))
|
|
TB_SET_HEAD (TYPE_METHOD_BASETYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_FIELDS:
|
|
if (head && (TREE_CODE (head) == RECORD_TYPE
|
|
|| TREE_CODE (head) == UNION_TYPE
|
|
|| TREE_CODE (head) == QUAL_UNION_TYPE))
|
|
TB_SET_HEAD (TYPE_FIELDS (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_DOMAIN:
|
|
if (head && TREE_CODE (head) == ARRAY_TYPE)
|
|
TB_SET_HEAD (TYPE_DOMAIN (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_VALUES:
|
|
if (head && TREE_CODE (head) == ENUMERAL_TYPE)
|
|
TB_SET_HEAD (TYPE_VALUES (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ARG_TYPE:
|
|
if (head && TREE_CODE (head) == PARM_DECL)
|
|
TB_SET_HEAD (DECL_ARG_TYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_INITIAL:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_INITIAL (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_RESULT:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_RESULT_FLD (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ARGUMENTS:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_ARGUMENTS (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ABSTRACT_ORIGIN:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_ABSTRACT_ORIGIN (head));
|
|
else if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_ABSTRACT_ORIGIN (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_ATTRIBUTES:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_ATTRIBUTES (head));
|
|
else if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_ATTRIBUTES (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CONTEXT:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_CONTEXT (head));
|
|
else if (head && TYPE_P (head)
|
|
&& TYPE_CONTEXT (head))
|
|
TB_SET_HEAD (TYPE_CONTEXT (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_OFFSET:
|
|
if (head && TREE_CODE (head) == FIELD_DECL)
|
|
TB_SET_HEAD (DECL_FIELD_OFFSET (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BIT_OFFSET:
|
|
if (head && TREE_CODE (head) == FIELD_DECL)
|
|
TB_SET_HEAD (DECL_FIELD_BIT_OFFSET (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_UNIT_SIZE:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_SIZE_UNIT (head));
|
|
else if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_SIZE_UNIT (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SIZE:
|
|
if (head && DECL_P (head))
|
|
TB_SET_HEAD (DECL_SIZE (head));
|
|
else if (head && TYPE_P (head))
|
|
TB_SET_HEAD (TYPE_SIZE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_TYPE:
|
|
if (head && TREE_TYPE (head))
|
|
TB_SET_HEAD (TREE_TYPE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_DECL_SAVED_TREE:
|
|
if (head && TREE_CODE (head) == FUNCTION_DECL
|
|
&& DECL_SAVED_TREE (head))
|
|
TB_SET_HEAD (DECL_SAVED_TREE (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_BODY:
|
|
if (head && TREE_CODE (head) == BIND_EXPR)
|
|
TB_SET_HEAD (TREE_OPERAND (head, 1));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_0:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 0))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 0));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_1:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 1))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 1));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_2:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 2))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 2));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHILD_3:
|
|
if (head && EXPR_P (head) && TREE_OPERAND (head, 3))
|
|
TB_SET_HEAD (TREE_OPERAND (head, 3));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_PRINT:
|
|
if (head)
|
|
debug_tree (head);
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_PRETTY_PRINT:
|
|
if (head)
|
|
{
|
|
print_generic_stmt (TB_OUT_FILE, head, 0);
|
|
fprintf (TB_OUT_FILE, "\n");
|
|
}
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_SEARCH_NAME:
|
|
|
|
break;
|
|
|
|
case TB_SEARCH_CODE:
|
|
{
|
|
enum tree_code code;
|
|
char *arg_text;
|
|
|
|
arg_text = strchr (input, ' ');
|
|
if (arg_text == NULL)
|
|
{
|
|
fprintf (TB_OUT_FILE, "First argument is missing. This isn't a valid search command. \n");
|
|
break;
|
|
}
|
|
code = TB_get_tree_code (arg_text + 1);
|
|
|
|
/* Search in the subtree a node with the given code. */
|
|
{
|
|
tree res;
|
|
|
|
res = walk_tree (&head, find_node_with_code, &code, NULL);
|
|
if (res == NULL_TREE)
|
|
{
|
|
fprintf (TB_OUT_FILE, "There's no node with this code (reachable via the walk_tree function from this node).\n");
|
|
}
|
|
else
|
|
{
|
|
fprintf (TB_OUT_FILE, "Achoo! I got this node in the tree.\n");
|
|
TB_SET_HEAD (res);
|
|
}
|
|
}
|
|
break;
|
|
}
|
|
|
|
#define TB_MOVE_HEAD(FCT) do { \
|
|
if (head) \
|
|
{ \
|
|
tree t; \
|
|
t = FCT (head); \
|
|
if (t) \
|
|
TB_SET_HEAD (t); \
|
|
else \
|
|
TB_WF; \
|
|
} \
|
|
else \
|
|
TB_WF; \
|
|
} while (0)
|
|
|
|
case TB_FIRST:
|
|
TB_MOVE_HEAD (TB_first_in_bind);
|
|
break;
|
|
|
|
case TB_LAST:
|
|
TB_MOVE_HEAD (TB_last_in_bind);
|
|
break;
|
|
|
|
case TB_UP:
|
|
TB_MOVE_HEAD (TB_up_expr);
|
|
break;
|
|
|
|
case TB_PREV:
|
|
TB_MOVE_HEAD (TB_prev_expr);
|
|
break;
|
|
|
|
case TB_NEXT:
|
|
TB_MOVE_HEAD (TB_next_expr);
|
|
break;
|
|
|
|
case TB_HPREV:
|
|
/* This command is a little bit special, since it deals with history
|
|
stack. For this reason it should keep the "head = ..." statement
|
|
and not use TB_MOVE_HEAD. */
|
|
if (head)
|
|
{
|
|
tree t;
|
|
t = TB_history_prev ();
|
|
if (t)
|
|
{
|
|
head = t;
|
|
if (TB_verbose)
|
|
{
|
|
print_generic_expr (TB_OUT_FILE, head, 0);
|
|
fprintf (TB_OUT_FILE, "\n");
|
|
}
|
|
}
|
|
else
|
|
TB_WF;
|
|
}
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_CHAIN:
|
|
/* Don't go further if it's the last node in this chain. */
|
|
if (head && TREE_CODE (head) == BLOCK)
|
|
TB_SET_HEAD (BLOCK_CHAIN (head));
|
|
else if (head && TREE_CHAIN (head))
|
|
TB_SET_HEAD (TREE_CHAIN (head));
|
|
else
|
|
TB_WF;
|
|
break;
|
|
|
|
case TB_FUN:
|
|
/* Go up to the current function declaration. */
|
|
TB_SET_HEAD (current_function_decl);
|
|
fprintf (TB_OUT_FILE, "Current function declaration.\n");
|
|
break;
|
|
|
|
case TB_HELP:
|
|
/* Display a help message. */
|
|
{
|
|
int i;
|
|
fprintf (TB_OUT_FILE, "Possible commands are:\n\n");
|
|
for (i = 0; i < TB_UNUSED_COMMAND; i++)
|
|
{
|
|
fprintf (TB_OUT_FILE, "%20s - %s\n", TB_COMMAND_TEXT (i), TB_COMMAND_HELP (i));
|
|
}
|
|
}
|
|
break;
|
|
|
|
case TB_VERBOSE:
|
|
if (TB_verbose == 0)
|
|
{
|
|
TB_verbose = 1;
|
|
fprintf (TB_OUT_FILE, "Verbose on.\n");
|
|
}
|
|
else
|
|
{
|
|
TB_verbose = 0;
|
|
fprintf (TB_OUT_FILE, "Verbose off.\n");
|
|
}
|
|
break;
|
|
|
|
case TB_EXIT:
|
|
case TB_QUIT:
|
|
/* Just exit from this function. */
|
|
goto ret;
|
|
|
|
default:
|
|
TB_NIY;
|
|
}
|
|
}
|
|
|
|
ret:;
|
|
htab_delete (TB_up_ht);
|
|
return;
|
|
}
|
|
|
|
|
|
/* Search the first node in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_first_in_bind (tree node)
|
|
{
|
|
tree t;
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
while ((t = TB_prev_expr (node)))
|
|
node = t;
|
|
|
|
return node;
|
|
}
|
|
|
|
/* Search the last node in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_last_in_bind (tree node)
|
|
{
|
|
tree t;
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
while ((t = TB_next_expr (node)))
|
|
node = t;
|
|
|
|
return node;
|
|
}
|
|
|
|
/* Search the parent expression for this node. */
|
|
|
|
static tree
|
|
TB_up_expr (tree node)
|
|
{
|
|
tree res;
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
res = (tree) htab_find (TB_up_ht, node);
|
|
return res;
|
|
}
|
|
|
|
/* Search the previous expression in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_prev_expr (tree node)
|
|
{
|
|
node = TB_current_chain_node (node);
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
node = TB_up_expr (node);
|
|
if (node && TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
else
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Search the next expression in this BIND_EXPR. */
|
|
|
|
static tree
|
|
TB_next_expr (tree node)
|
|
{
|
|
node = TB_current_chain_node (node);
|
|
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
node = TREE_OPERAND (node, 1);
|
|
return node;
|
|
}
|
|
|
|
static tree
|
|
TB_current_chain_node (tree node)
|
|
{
|
|
if (node == NULL_TREE)
|
|
return NULL_TREE;
|
|
|
|
if (TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
|
|
node = TB_up_expr (node);
|
|
if (node)
|
|
{
|
|
if (TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
|
|
node = TB_up_expr (node);
|
|
if (TREE_CODE (node) == COMPOUND_EXPR)
|
|
return node;
|
|
}
|
|
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* For each node store in its children nodes that the current node is their
|
|
parent. This function is used by walk_tree. */
|
|
|
|
static tree
|
|
store_child_info (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED,
|
|
void *data ATTRIBUTE_UNUSED)
|
|
{
|
|
tree node;
|
|
void **slot;
|
|
|
|
node = *tp;
|
|
|
|
/* 'node' is the parent of 'TREE_OPERAND (node, *)'. */
|
|
if (EXPR_P (node))
|
|
{
|
|
int n = TREE_OPERAND_LENGTH (node);
|
|
int i;
|
|
for (i = 0; i < n; i++)
|
|
{
|
|
tree op = TREE_OPERAND (node, i);
|
|
slot = htab_find_slot (TB_up_ht, op, INSERT);
|
|
*slot = (void *) node;
|
|
}
|
|
}
|
|
|
|
/* Never stop walk_tree. */
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Function used in TB_up_ht. */
|
|
|
|
static int
|
|
TB_parent_eq (const void *p1, const void *p2)
|
|
{
|
|
const_tree const node = (const_tree)p2;
|
|
const_tree const parent = (const_tree) p1;
|
|
|
|
if (p1 == NULL || p2 == NULL)
|
|
return 0;
|
|
|
|
if (EXPR_P (parent))
|
|
{
|
|
int n = TREE_OPERAND_LENGTH (parent);
|
|
int i;
|
|
for (i = 0; i < n; i++)
|
|
if (node == TREE_OPERAND (parent, i))
|
|
return 1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* Update information about upper expressions in the hash table. */
|
|
|
|
static void
|
|
TB_update_up (tree node)
|
|
{
|
|
while (node)
|
|
{
|
|
walk_tree (&node, store_child_info, NULL, NULL);
|
|
|
|
/* Walk function's body. */
|
|
if (TREE_CODE (node) == FUNCTION_DECL)
|
|
if (DECL_SAVED_TREE (node))
|
|
walk_tree (&DECL_SAVED_TREE (node), store_child_info, NULL, NULL);
|
|
|
|
/* Walk rest of the chain. */
|
|
node = TREE_CHAIN (node);
|
|
}
|
|
fprintf (TB_OUT_FILE, "Up/prev expressions updated.\n");
|
|
}
|
|
|
|
/* Parse the input string for determining the command the user asked for. */
|
|
|
|
static TB_CODE
|
|
TB_get_command (char *input)
|
|
{
|
|
unsigned int mn, size_tok;
|
|
int comp;
|
|
char *space;
|
|
|
|
space = strchr (input, ' ');
|
|
if (space != NULL)
|
|
size_tok = strlen (input) - strlen (space);
|
|
else
|
|
size_tok = strlen (input) - 1;
|
|
|
|
for (mn = 0; mn < TB_UNUSED_COMMAND; mn++)
|
|
{
|
|
if (size_tok != TB_COMMAND_LEN (mn))
|
|
continue;
|
|
|
|
comp = memcmp (input, TB_COMMAND_TEXT (mn), TB_COMMAND_LEN (mn));
|
|
if (comp == 0)
|
|
/* Here we just determined the command. If this command takes
|
|
an argument, then the argument is determined later. */
|
|
return TB_COMMAND_CODE (mn);
|
|
}
|
|
|
|
/* Not a valid command. */
|
|
return TB_UNUSED_COMMAND;
|
|
}
|
|
|
|
/* Parse the input string for determining the tree code. */
|
|
|
|
static enum tree_code
|
|
TB_get_tree_code (char *input)
|
|
{
|
|
unsigned int mn, size_tok;
|
|
int comp;
|
|
char *space;
|
|
|
|
space = strchr (input, ' ');
|
|
if (space != NULL)
|
|
size_tok = strlen (input) - strlen (space);
|
|
else
|
|
size_tok = strlen (input) - 1;
|
|
|
|
for (mn = 0; mn < LAST_AND_UNUSED_TREE_CODE; mn++)
|
|
{
|
|
if (size_tok != TB_TREE_CODE_LEN (mn))
|
|
continue;
|
|
|
|
comp = memcmp (input, TB_TREE_CODE_TEXT (mn), TB_TREE_CODE_LEN (mn));
|
|
if (comp == 0)
|
|
{
|
|
fprintf (TB_OUT_FILE, "%s\n", TB_TREE_CODE_TEXT (mn));
|
|
return TB_TREE_CODE (mn);
|
|
}
|
|
}
|
|
|
|
/* This isn't a valid code. */
|
|
return LAST_AND_UNUSED_TREE_CODE;
|
|
}
|
|
|
|
/* Find a node with a given code. This function is used as an argument to
|
|
walk_tree. */
|
|
|
|
static tree
|
|
find_node_with_code (tree *tp, int *walk_subtrees ATTRIBUTE_UNUSED,
|
|
void *data)
|
|
{
|
|
enum tree_code *code;
|
|
code = (enum tree_code *) data;
|
|
if (*code == TREE_CODE (*tp))
|
|
return *tp;
|
|
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Returns a pointer to the last visited node. */
|
|
|
|
static tree
|
|
TB_history_prev (void)
|
|
{
|
|
if (TB_history_stack)
|
|
{
|
|
TB_history_stack = TREE_CHAIN (TB_history_stack);
|
|
if (TB_history_stack)
|
|
return TREE_VALUE (TB_history_stack);
|
|
}
|
|
return NULL_TREE;
|
|
}
|
|
|
|
/* Read up to (and including) a '\n' from STREAM into *LINEPTR
|
|
(and null-terminate it). *LINEPTR is a pointer returned from malloc
|
|
(or NULL), pointing to *N characters of space. It is realloc'd as
|
|
necessary. Returns the number of characters read (not including the
|
|
null terminator), or -1 on error or EOF.
|
|
This function comes from sed (and is supposed to be a portable version
|
|
of getline). */
|
|
|
|
static long
|
|
TB_getline (char **lineptr, long *n, FILE *stream)
|
|
{
|
|
char *line, *p;
|
|
long size, copy;
|
|
|
|
if (lineptr == NULL || n == NULL)
|
|
{
|
|
errno = EINVAL;
|
|
return -1;
|
|
}
|
|
|
|
if (ferror (stream))
|
|
return -1;
|
|
|
|
/* Make sure we have a line buffer to start with. */
|
|
if (*lineptr == NULL || *n < 2) /* !seen and no buf yet need 2 chars. */
|
|
{
|
|
#ifndef MAX_CANON
|
|
#define MAX_CANON 256
|
|
#endif
|
|
line = (char *) xrealloc (*lineptr, MAX_CANON);
|
|
if (line == NULL)
|
|
return -1;
|
|
*lineptr = line;
|
|
*n = MAX_CANON;
|
|
}
|
|
|
|
line = *lineptr;
|
|
size = *n;
|
|
|
|
copy = size;
|
|
p = line;
|
|
|
|
while (1)
|
|
{
|
|
long len;
|
|
|
|
while (--copy > 0)
|
|
{
|
|
register int c = getc (stream);
|
|
if (c == EOF)
|
|
goto lose;
|
|
else if ((*p++ = c) == '\n')
|
|
goto win;
|
|
}
|
|
|
|
/* Need to enlarge the line buffer. */
|
|
len = p - line;
|
|
size *= 2;
|
|
line = (char *) xrealloc (line, size);
|
|
if (line == NULL)
|
|
goto lose;
|
|
*lineptr = line;
|
|
*n = size;
|
|
p = line + len;
|
|
copy = size - len;
|
|
}
|
|
|
|
lose:
|
|
if (p == *lineptr)
|
|
return -1;
|
|
|
|
/* Return a partial line since we got an error in the middle. */
|
|
win:
|
|
#if defined(WIN32) || defined(_WIN32) || defined(__CYGWIN__) || defined(MSDOS)
|
|
if (p - 2 >= *lineptr && p[-2] == '\r')
|
|
p[-2] = p[-1], --p;
|
|
#endif
|
|
*p = '\0';
|
|
return p - *lineptr;
|
|
}
|