summaryrefslogtreecommitdiff
path: root/gcc/ada/ada-tree.def
blob: 5922d54ef511f49d9da9642aaef7b973c87ab24c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
/****************************************************************************
 *                                                                          *
 *                         GNAT COMPILER COMPONENTS                         *
 *                                                                          *
 *                       GNAT-SPECIFIC GCC TREE CODES                       *
 *                                                                          *
 *                              Specification                               *
 *                                                                          *
 *          Copyright (C) 1992-2003 Free Software Foundation, Inc.          *
 *                                                                          *
 * GNAT is free software;  you can  redistribute it  and/or modify it under *
 * terms of the  GNU General Public License as published  by the Free Soft- *
 * ware  Foundation;  either version 2,  or (at your option) any later ver- *
 * sion.  GNAT is distributed in the hope that it will be useful, but WITH- *
 * OUT 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  distributed with GNAT;  see file COPYING.  If not, write *
 * to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, *
 * MA 02111-1307, USA.                                                      *
 *                                                                          *
 * GNAT was originally developed  by the GNAT team at  New York University. *
 * Extensive contributions were provided by Ada Core Technologies Inc.      *
 *                                                                          *
 ****************************************************************************/

/* A type that is an unconstrained array itself.  This node is never passed
   to GCC. TREE_TYPE is the type of the fat pointer and TYPE_OBJECT_RECORD_TYPE
   is the type of a record containing the template and data.  */

DEFTREECODE (UNCONSTRAINED_ARRAY_TYPE, "unconstrained_array_type", 't', 0)

/* A reference to an unconstrained array.  This node only exists as an
   intermediate node during the translation of a GNAT tree to a GCC tree;
   it is never passed to GCC.  The only field used is operand 0, which
   is the fat pointer object.  */

DEFTREECODE (UNCONSTRAINED_ARRAY_REF, "unconstrained_array_ref", 'r', 1)

/* An expression that returns an RTL suitable for its type.  Operand 0
   is an expression to be evaluated for side effects only.  */
DEFTREECODE (NULL_EXPR, "null_expr", 'e', 1)

/* Same as ADDR_EXPR, except that if the operand represents a bit field,
   return the address of the byte containing the bit.  This is used
   for the 'Address attribute and never shows up in the tree.  */
DEFTREECODE (ATTR_ADDR_EXPR, "attr_addr_expr", 'r', 1)

/* Here are the tree codes for the statement types known to Ada.  These
   must be at the end of this file to allow IS_ADA_STMT to work.  */

/* This defines the variable in DECL_STMT_VAR.  */
DEFTREECODE (DECL_STMT, "decl_stmt", 's', 1)

/* This is how record_code_position and insert_code_for work.  The former
   makes this tree node, whose operand is a statement.  The latter inserts
   the actual statements into this node.  Gimplification consists of
   just returning the inner statement.  */
DEFTREECODE (STMT_STMT, "stmt_stmt", 's', 1)

/* A loop.  LOOP_STMT_TOP_COND and LOOP_STMT_BOT_COND are the tests to exit a
   loop at the top and bottom, respectively.  LOOP_STMT_UPDATE is the statement
   to update the loop iterator at the continue point.  LOOP_STMT_BODY are the
   statements in the body of the loop.  LOOP_STMT_LABEL is used during
   gimplification to point to the LABEL_DECL of the end label of the loop.  */
DEFTREECODE (LOOP_STMT, "loop_stmt", 's', 5)

/* Conditionally exit a loop.  EXIT_STMT_COND is the condition, which, if
   true, will cause the loop to be exited.  If no condition is specified,
   the loop is unconditionally exited.  EXIT_STMT_LOOP is the LOOP_STMT
   corresponding to the loop to exit.  */
DEFTREECODE (EXIT_STMT, "exit_stmt", 's', 2)

/* A exception region.  REGION_STMT_BODY is the statement to be executed
   inside the region.  REGION_STMT_HANDLE is a statement that represents
   the exception handlers (usually a BLOCK_STMT of HANDLE_STMTs).
   REGION_STMT_BLOCK is the BLOCK node for the declarative region, if any.  */
DEFTREECODE (REGION_STMT, "region_stmt", 's', 3)

/* An exception handler.  HANDLER_STMT_ARG is the value to pass to 
   expand_start_catch, HANDLER_STMT_LIST is the list of statements for the
   handler itself, and HANDLER_STMT_BLOCK is the BLOCK node for this
   binding. */
DEFTREECODE (HANDLER_STMT, "handler_stmt", 's', 3)

/* A statement that emits a USE for its single operand.  */
DEFTREECODE (USE_STMT, "use_expr", 's', 1)