1 /****************************************************************************
3 * GNAT COMPILER COMPONENTS
*
5 * GNAT
-SPECIFIC GCC TREE CODES
*
9 * Copyright (C
) 1992-2007, Free Software Foundation
, Inc.
*
11 * GNAT is free software
; you can redistribute it and
/or modify it under
*
12 * terms of the GNU General Public License as published by the Free Soft
- *
13 * ware Foundation
; either version
3, or (at your option
) any later ver
- *
14 * sion. GNAT is distributed in the hope that it will be useful
, but
WITH- *
15 * OUT ANY WARRANTY
; without even the implied warranty of MERCHANTABILITY
*
16 * or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License
*
17 * for more details. You should have received a copy of the GNU General
*
18 * Public License along with GCC
; see the file COPYING3. If not see
*
19 * <http
://www.gnu.org
/licenses
/>.
*
21 * GNAT was originally developed by the GNAT team at New York University.
*
22 * Extensive contributions were provided by Ada Core Technologies Inc.
*
24 ****************************************************************************/
26 /* A type that is an unconstrained array itself. This node is never passed
27 to GCC. TREE_TYPE is the type of the fat pointer and TYPE_OBJECT_RECORD_TYPE
28 is the type of a record containing the template and data.
*/
30 DEFTREECODE (UNCONSTRAINED_ARRAY_TYPE
, "unconstrained_array_type", tcc_type
, 0)
32 /* A reference to an unconstrained array. This node only exists as an
33 intermediate node during the translation of a GNAT tree to a GCC tree
;
34 it is never passed to GCC. The only field used is operand
0, which
35 is the fat pointer object.
*/
37 DEFTREECODE (UNCONSTRAINED_ARRAY_REF
, "unconstrained_array_ref",
40 /* An expression that returns an RTL suitable for its type. Operand
0
41 is an expression to be evaluated for side effects only.
*/
42 DEFTREECODE (NULL_EXPR
, "null_expr", tcc_expression
, 1)
44 /* Same as ADDR_EXPR
, except that if the operand represents a bit field
,
45 return the address of the byte containing the bit. This is used
46 for the
'Address attribute and never shows up in the tree. */
47 DEFTREECODE (ATTR_ADDR_EXPR, "attr_addr_expr", tcc_reference, 1)
49 /* Here are the tree codes for the statement types known to Ada. These
50 must be at the end of this file to allow IS_ADA_STMT to work. */
52 /* This is how record_code_position and insert_code_for work. The former
53 makes this tree node, whose operand is a statement. The latter inserts
54 the actual statements into this node. Gimplification consists of
55 just returning the inner statement. */
56 DEFTREECODE (STMT_STMT, "stmt_stmt", tcc_statement, 1)
58 /* A loop. LOOP_STMT_TOP_COND and LOOP_STMT_BOT_COND are the tests to exit a
59 loop at the top and bottom, respectively. LOOP_STMT_UPDATE is the statement
60 to update the loop iterator at the continue point. LOOP_STMT_BODY are the
61 statements in the body of the loop. LOOP_STMT_LABEL points to the LABEL_DECL
62 of the end label of the loop. */
63 DEFTREECODE (LOOP_STMT, "loop_stmt", tcc_statement, 5)
65 /* Conditionally exit a loop. EXIT_STMT_COND is the condition, which, if
66 true, will cause the loop to be exited. If no condition is specified,
67 the loop is unconditionally exited. EXIT_STMT_LABEL is the end label
68 corresponding to the loop to exit. */
69 DEFTREECODE (EXIT_STMT, "exit_stmt", tcc_statement, 2)
71 /* A exception region. REGION_STMT_BODY is the statement to be executed
72 inside the region. REGION_STMT_HANDLE is a statement that represents
73 the exception handlers (usually a BLOCK_STMT of HANDLE_STMTs).
74 REGION_STMT_BLOCK is the BLOCK node for the declarative region, if any. */
75 DEFTREECODE (REGION_STMT, "region_stmt", tcc_statement, 3)
77 /* An exception handler. HANDLER_STMT_ARG is the value to pass to
78 expand_start_catch, HANDLER_STMT_LIST is the list of statements for the
79 handler itself, and HANDLER_STMT_BLOCK is the BLOCK node for this
81 DEFTREECODE (HANDLER_STMT, "handler_stmt", tcc_statement, 3)