tree.def

这是完整的gcc源代码

   DECL_VOFFSET holds an expression for a variable offset; it is
   to be multiplied by DECL_VOFFSET_UNIT (an integer).
   These fields are relevant only in FIELD_DECLs and PARM_DECLs.

   DECL_INITIAL holds the value to initialize a variable to,
   or the value of a constant.  For a function, it holds the body
   (a node of type LET_STMT representing the function's binding contour
   and whose body contains the function's statements.)

   PARM_DECLs use a special field:
   DECL_ARG_TYPE is the type in which the argument is actually
    passed, which may be different from its type within the function.

   FUNCTION_DECLs use four special fields:
   DECL_ARGUMENTS holds a chain of PARM_DECL nodes for the arguments.
   DECL_RESULT holds a RESULT_DECL node for the value of a function,
    or it is 0 for a function that returns no value.
    (C functions returning void have zero here.)
   DECL_RESULT_TYPE holds the type in which the result is actually
    returned.  This is usually the same as the type of DECL_RESULT,
    but (1) it may be a wider integer type and
    (2) it remains valid, for the sake of inlining, even after the
    function's compilation is done.
   DECL_FUNCTION_CODE is a code number that is nonzero for
    built-in functions.  Its value is an enum built_in_function
    that says which built-in function it is.
   DECL_BLOCK_SYMTAB_ADDRESS records (after the symtab data for the function's
    body has been output) the address in the symtab file of the
    `struct block' for the function's top-level binding context.
    This must be stored in the symtab structure for the function name.

   DECL_SOURCE_FILE holds a filename string and DECL_SOURCE_LINE
   holds a line number.  */

DEFTREECODE (FUNCTION_DECL, "function_decl", "d", 0)
DEFTREECODE (LABEL_DECL, "label_decl", "d", 0)
DEFTREECODE (CONST_DECL, "const_decl", "d", 0)
DEFTREECODE (TYPE_DECL, "type_decl", "d", 0)
DEFTREECODE (VAR_DECL, "var_decl", "d", 0)
DEFTREECODE (PARM_DECL, "parm_decl", "d", 0)
DEFTREECODE (RESULT_DECL, "result_decl", "d", 0)
DEFTREECODE (FIELD_DECL, "field_decl", "d", 0)

/* References to storage.  */

/* Value is structure or union component.
   Operand 0 is the structure or union (an expression);
   operand 1 is the field (a node of type FIELD_DECL).  */
DEFTREECODE (COMPONENT_REF, "component_ref", "r", 2)

/* C unary `*' or Pascal `^'.  One operand, an expression for a pointer.  */
DEFTREECODE (INDIRECT_REF, "indirect_ref", "r", 1)

/* Reference to the contents of an offset
   (a value whose type is an OFFSET_TYPE).
   Operand 0 is the object within which the offset is taken.
   Operand 1 is the offset.  */
DEFTREECODE (OFFSET_REF, "offset_ref", "r", 2)

/* Pascal `^` on a file.  One operand, an expression for the file.  */
DEFTREECODE (BUFFER_REF, "buffer_ref", "r", 1)

/* Array indexing in languages other than C.
   Operand 0 is the array; operand 1 is a list of indices
   stored as a chain of TREE_LIST nodes.  */
DEFTREECODE (ARRAY_REF, "array_ref", "r", 2)

/* Constructor: return an aggregate value made from specified components.
   In C, this is used only for structure and array initializers.
   The first "operand" is really a pointer to the RTL,
   for constant constructors only.
   The second operand is a list of component values
   made out of a chain of TREE_LIST nodes.  */
DEFTREECODE (CONSTRUCTOR, "constructor", "e", 2)

/* The expression types are mostly straightforward,
   with the fourth argument of DEFTREECODE saying
   how many operands there are.
   Unless otherwise specified, the operands are expressions.  */

/* Contains two expressions to compute, one followed by the other.
   the first value is ignored.  The second one's value is used.  */
DEFTREECODE (COMPOUND_EXPR, "compound_expr", "e", 2)

/* Assignment expression.  Operand 0 is the what to set; 1, the new value.  */
DEFTREECODE (MODIFY_EXPR, "modify_expr", "e", 2)

/* Initialization expression.  Operand 0 is the variable to initialize;
   Operand 1 is the initializer.  */
DEFTREECODE (INIT_EXPR, "init_expr", "e", 2)

/* Use these for overloading `new' and `delete'.
   ??? Please describe the meaning of the operands.  */
DEFTREECODE (NEW_EXPR, "new_expr", "e", 2)
DEFTREECODE (DELETE_EXPR, "delete_expr", "e", 2)

/* Use these for providing abstract push and pop operations for wrappers.
   Operand 0 is the abstract stack.  Operand 1 is the value to push or pop.
   ??? What kind of value is an "abstract stack"?  */
DEFTREECODE (PUSH_EXPR, "push_expr", "e", 2)
DEFTREECODE (POP_EXPR, "pop_expr", "e", 2)

/* Conditional expression ( ... ? ... : ...  in C).
   Operand 0 is the condition.
   Operand 1 is the then-value.
   Operand 2 is the else-value.  */
DEFTREECODE (COND_EXPR, "cond_expr", "e", 3)

/* Function call.  Operand 0 is the function.
   Operand 1 is the argument list, a list of expressions
   made out of a chain of TREE_LIST nodes.
   There is no operand 2.  That slot is used for the
   CALL_EXPR_RTL macro (see preexpand_calls).  */
DEFTREECODE (CALL_EXPR, "call_expr", "e", 3)

/* Call a method.  Operand 0 is the method, whose type is a METHOD_TYPE.
   Operand 1 is the expression for "self".
   Operand 2 is the list of explicit arguments.  */
DEFTREECODE (METHOD_CALL_EXPR, "method_call_expr", "e", 4)

/* Specify a value to compute along with its corresponding cleanup.
   Operand 0 argument is an expression whose value needs a cleanup.
   Operand 1 is an RTL_EXPR which will eventually represent that value.
   Operand 2 is the cleanup expression for the object.
     The RTL_EXPR is used in this expression, which is how the expression
     manages to act on the proper value.
   The cleanup is executed when the value is no longer needed,
   which is not at precisely the same time that this value is computed.  */
DEFTREECODE (WITH_CLEANUP_EXPR, "with_cleanup_expr", "e", 3)

/* Simple arithmetic.  Operands must have the same machine mode
   and the value shares that mode.  */
DEFTREECODE (PLUS_EXPR, "plus_expr", "e", 2)
DEFTREECODE (MINUS_EXPR, "minus_expr", "e", 2)
DEFTREECODE (MULT_EXPR, "mult_expr", "e", 2)

/* Division for integer result that rounds the quotient toward zero.  */
/* Operands must have the same machine mode.
   In principle they may be real, but that is not currently supported.
   The result is always fixed point, and it has the same type as the
   operands if they are fixed point.   */
DEFTREECODE (TRUNC_DIV_EXPR, "trunc_div_expr", "e", 2)

/* Division for integer result that rounds the quotient toward infinity.  */
DEFTREECODE (CEIL_DIV_EXPR, "ceil_div_expr", "e", 2)

/* Division for integer result that rounds toward minus infinity.  */
DEFTREECODE (FLOOR_DIV_EXPR, "floor_div_expr", "e", 2)

/* Division for integer result that rounds toward nearest integer.  */
DEFTREECODE (ROUND_DIV_EXPR, "round_div_expr", "e", 2)

/* Four kinds of remainder that go with the four kinds of division.  */
DEFTREECODE (TRUNC_MOD_EXPR, "trunc_mod_expr", "e", 2)
DEFTREECODE (CEIL_MOD_EXPR, "ceil_mod_expr", "e", 2)
DEFTREECODE (FLOOR_MOD_EXPR, "floor_mod_expr", "e", 2)
DEFTREECODE (ROUND_MOD_EXPR, "round_mod_expr", "e", 2)

/* Division for real result.  The two operands must have the same type.
   In principle they could be integers, but currently only real
   operands are supported.  The result must have the same type
   as the operands.  */
DEFTREECODE (RDIV_EXPR, "rdiv_expr", "e", 2)

/* Division which is not supposed to need rounding.
   Used for pointer subtraction in C.  */
DEFTREECODE (EXACT_DIV_EXPR, "exact_div_expr", "e", 2)

/* Conversion of real to fixed point: four ways to round,
   like the four ways to divide.
   CONVERT_EXPR can also be used to convert a real to an integer,
   and that is what is used in languages that do not have ways of
   specifying which of these is wanted.  Maybe these are not needed.  */
DEFTREECODE (FIX_TRUNC_EXPR, "fix_trunc_expr", "e", 1)
DEFTREECODE (FIX_CEIL_EXPR, "fix_ceil_expr", "e", 1)
DEFTREECODE (FIX_FLOOR_EXPR, "fix_floor_expr", "e", 1)
DEFTREECODE (FIX_ROUND_EXPR, "fix_round_expr", "e", 1)

/* Conversion of an integer to a real.  */
DEFTREECODE (FLOAT_EXPR, "float_expr", "e", 1)

/* Exponentiation.  Operands may have any types;
   constraints on value type are not known yet.  */
DEFTREECODE (EXPON_EXPR, "expon_expr", "e", 2)

/* Unary negation.  Value has same type as operand.  */
DEFTREECODE (NEGATE_EXPR, "negate_expr", "e", 1)

DEFTREECODE (MIN_EXPR, "min_expr", "e", 2)
DEFTREECODE (MAX_EXPR, "max_expr", "e", 2)
DEFTREECODE (ABS_EXPR, "abs_expr", "e", 1)
DEFTREECODE (FFS_EXPR, "ffs_expr", "e", 1)

/* Shift operations for shift and rotate.
   Shift is supposed to mean logical shift if done on an
   unsigned type, arithmetic shift on a signed type.
   The second operand is the number of bits to
   shift by, and must always have mode SImode.
   The result has the same mode as the first operand.  */
DEFTREECODE (LSHIFT_EXPR, "alshift_expr", "e", 2)
DEFTREECODE (RSHIFT_EXPR, "arshift_expr", "e", 2)
DEFTREECODE (LROTATE_EXPR, "lrotate_expr", "e", 2)
DEFTREECODE (RROTATE_EXPR, "rrotate_expr", "e", 2)

/* Bitwise operations.  Operands have same mode as result.  */
DEFTREECODE (BIT_IOR_EXPR, "bit_ior_expr", "e", 2)
DEFTREECODE (BIT_XOR_EXPR, "bit_xor_expr", "e", 2)
DEFTREECODE (BIT_AND_EXPR, "bit_and_expr", "e", 2)
DEFTREECODE (BIT_ANDTC_EXPR, "bit_andtc_expr", "e", 2)
DEFTREECODE (BIT_NOT_EXPR, "bit_not_expr", "e", 1)

/* Combination of boolean values or of integers considered only
   as zero or nonzero.  ANDIF and ORIF allow the second operand
   not to be computed if the value of the expression is determined
   from the first operand.  AND and OR always compute the second
   operand whether its value is needed or not (for side effects).  */
DEFTREECODE (TRUTH_ANDIF_EXPR, "truth_andif_expr", "e", 2)
DEFTREECODE (TRUTH_ORIF_EXPR, "truth_orif_expr", "e", 2)
DEFTREECODE (TRUTH_AND_EXPR, "truth_and_expr", "e", 2)
DEFTREECODE (TRUTH_OR_EXPR, "truth_or_expr", "e", 2)
DEFTREECODE (TRUTH_NOT_EXPR, "truth_not_expr", "e", 1)

/* Relational operators.
   `EQ_EXPR' and `NE_EXPR' are allowed for any types.
   The others are allowed only for integer (or pointer or enumeral)
   or real types.
   In all cases the operands will have the same type,
   and the value is always the type used by the language for booleans.  */
DEFTREECODE (LT_EXPR, "lt_expr", "e", 2)
DEFTREECODE (LE_EXPR, "le_expr", "e", 2)
DEFTREECODE (GT_EXPR, "gt_expr", "e", 2)
DEFTREECODE (GE_EXPR, "ge_expr", "e", 2)
DEFTREECODE (EQ_EXPR, "eq_expr", "e", 2)
DEFTREECODE (NE_EXPR, "ne_expr", "e", 2)

/* Operations for Pascal sets.  Not used now.  */
DEFTREECODE (IN_EXPR, "in_expr", "e", 2)
DEFTREECODE (SET_LE_EXPR, "set_le_expr", "e", 2)
DEFTREECODE (CARD_EXPR, "card_expr", "e", 1)
DEFTREECODE (RANGE_EXPR, "range_expr", "e", 2)

/* Represents a conversion of type of a value.
   All conversions, including implicit ones, must be
   represented by CONVERT_EXPR nodes.  */
DEFTREECODE (CONVERT_EXPR, "convert_expr", "e", 1)

/* Represents a conversion expected to require no code to be generated.  */
DEFTREECODE (NOP_EXPR, "nop_expr", "e", 1)

/* Represents something we computed once and will use multiple times.
   First operand is that expression.  Second is the RTL,
   nonzero only after the expression has been computed.
   TREE_UNSIGNED in a SAVE_EXPR is nonzero if that SAVE_EXPR
   has been seen already in assign_vars_1.  */
DEFTREECODE (SAVE_EXPR, "save_expr", "e", 2)

/* Represents something whose RTL has already been expanded
   as a sequence which should be emitted when this expression is expanded.
   The first operand is the RTL to emit.  It is the first of a chain of insns.
   The second is the RTL expression for the result.  */
DEFTREECODE (RTL_EXPR, "rtl_expr", "e", 2)

/* & in C.  Value is the address at which the operand's value resides.
   Operand may have any mode.  Result mode is Pmode.  */
DEFTREECODE (ADDR_EXPR, "addr_expr", "e", 1)

/* Postfix & in C++.  Value is a reference to the object which is the operand.
   Operand type is preserved, but we know that it is no longer
   an lvalue.  */
DEFTREECODE (REFERENCE_EXPR, "reference_expr", "e", 1)

/* A wrapper in C++.  Operand 0 is the type that the wrapper
   belongs to (if non-virtual).  Operand 1 is the function
   being wrapped.  An anti-wrapper means do not wrap the function
   (if it would be wrapped by default).  */
DEFTREECODE (WRAPPER_EXPR, "wrapper_expr", "e", 2)
DEFTREECODE (ANTI_WRAPPER_EXPR, "anti_wrapper_expr", "e", 2)

/* Operand is a function constant; result is a function variable value
   of typeEPmode.  Used only for languages that need static chains.  */
DEFTREECODE (ENTRY_VALUE_EXPR, "entry_value_expr", "e", 1)

/* Given two real or integer operands of the same type,
   returns a complex value of the corresponding complex type.  */
DEFTREECODE (COMPLEX_EXPR, "complex_expr", "e", 2)

/* Complex conjugate of operand.  Used only on complex types.
   The value has the same type as the operand.  */
DEFTREECODE (CONJ_EXPR, "conj_expr", "e", 1)

/* Used only on an operand of complex type, these return
   a value of the corresponding component type.  */
DEFTREECODE (REALPART_EXPR, "realpart_expr", "e", 1)
DEFTREECODE (IMAGPART_EXPR, "imagpart_expr", "e", 1)

/* Nodes for ++ and -- in C.
   The second arg is how much to increment or decrement by.
   For a pointer, it would be the size of the object pointed to.  */
DEFTREECODE (PREDECREMENT_EXPR, "predecrement_expr", "e", 2)
DEFTREECODE (PREINCREMENT_EXPR, "preincrement_expr", "e", 2)
DEFTREECODE (POSTDECREMENT_EXPR, "postdecrement_expr", "e", 2)
DEFTREECODE (POSTINCREMENT_EXPR, "postincrement_expr", "e", 2)

/*
Local variables:
mode:c
version-control: t
End:
*/