tree.def 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524
  1. /* This file contains the definitions and documentation for the
  2. machine modes used in the the GNU compiler.
  3. Copyright (C) 1987 Free Software Foundation, Inc.
  4. This file is part of GNU CC.
  5. GNU CC is distributed in the hope that it will be useful,
  6. but WITHOUT ANY WARRANTY. No author or distributor
  7. accepts responsibility to anyone for the consequences of using it
  8. or for whether it serves any particular purpose or works at all,
  9. unless he says so in writing. Refer to the GNU CC General Public
  10. License for full details.
  11. Everyone is granted permission to copy, modify and redistribute
  12. GNU CC, but only under the conditions described in the
  13. GNU CC General Public License. A copy of this license is
  14. supposed to have been given to you along with GNU CC so you
  15. can know your rights and responsibilities. It should be in a
  16. file named COPYING. Among other things, the copyright notice
  17. and this notice must be preserved on all copies. */
  18. /* The third argument can be:
  19. "x" for an exceptional code (fits no category).
  20. "s" for a statement code.
  21. "t" for a type object code.
  22. "c" for codes for constants.
  23. "d" for codes for declarations (also serving as variable refs).
  24. "r" for codes for references to storage.
  25. "e" for codes for other kinds of expressions. */
  26. /* Any erroneous construct is parsed into a node of this type.
  27. This type of node is accepted without complaint in all contexts
  28. by later parsing activities, to avoid multiple error messages
  29. for one error.
  30. No fields in these nodes are used except the TREE_CODE. */
  31. DEFTREECODE (ERROR_MARK, "error_mark", "x", 0)
  32. /* Used to represent a name (such as, in the DECL_NAME of a decl node).
  33. Internally it looks like a STRING_CST node.
  34. There is only one IDENTIFIER_NODE ever made for any particular name.
  35. Use `get_identifier' to get it (or create it, the first time). */
  36. DEFTREECODE (IDENTIFIER_NODE, "identifier_node", "x", 6)
  37. /* Has the TREE_VALUE and TREE_PURPOSE fields. */
  38. /* These nodes are made into lists by chaining through the
  39. TREE_CHAIN field. The elements of the list live in the
  40. TREE_VALUE fields, while TREE_PURPOSE fields are occasionally
  41. used as well to get the effect of Lisp association lists. */
  42. DEFTREECODE (TREE_LIST, "tree_list", "x", 2)
  43. /* Each data type is represented by a tree node whose code is one of
  44. the following: */
  45. /* Each node that represents a data type has a component TYPE_SIZE
  46. containing a tree that is an expression for the size in some units.
  47. The TYPE_SIZE_UNIT component is the number of bits in a unit.
  48. The TYPE_MODE contains the machine mode for values of this type.
  49. The TYPE_POINTER_TO field contains a type for a pointer to this type,
  50. or zero if no such has been created yet.
  51. The TYPE_NEXT_VARIANT field is used to chain together types
  52. that are variants made by type modifiers such as "const" and "volatile".
  53. The TYPE_MAIN_VARIANT field, in any member of such a chain,
  54. points to the start of the chain.
  55. The TYPE_NAME field contains info on the name used in the program
  56. for this type (for GDB symbol table output). It is either a
  57. TYPE_DECL node, for types that are typedefs, or an IDENTIFIER_NODE
  58. in the case of structs, unions or enums that are known with a tag,
  59. or zero for types that have no special name. */
  60. /* The TREE_CHAIN of a ..._TYPE node is normally used to put
  61. every type onto permanent_type_chain or temporary_type_chain (see tree.c).
  62. One exception is for ENUMERAL_TYPE, RECORD_TYPE and UNION_TYPE
  63. nodes used as forward-references to names; see below. */
  64. DEFTREECODE (VOID_TYPE, "void_type", "t", 0) /* The void type in C */
  65. /* Integer types in all languages, including char in C. */
  66. /* Has components TYPE_MIN_VALUE, TYPE_MAX_VALUE (expressions, inclusive)
  67. and TYPE_PRECISION (number of bits used by this type).
  68. In the case of a subrange type in Pascal, the TREE_TYPE
  69. of this will point at the supertype (another INTEGER_TYPE).
  70. Otherwise, the TREE_TYPE is zero. */
  71. DEFTREECODE (INTEGER_TYPE, "integer_type", "t", 0)
  72. /* C's float and double. Different floating types are distinguished
  73. by machine mode and by the TYPE_SIZE and the TYPE_PRECISION. */
  74. DEFTREECODE (REAL_TYPE, "real_type", "t", 0)
  75. /* Complex number types. The TREE_TYPE field is the data type
  76. of the real and imaginary parts. */
  77. DEFTREECODE (COMPLEX_TYPE, "complex_type", "t", 0)
  78. /* C enums. The type node looks just like an INTEGER_TYPE node.
  79. The symbols for the values of the enum type are defined by
  80. CONST_DECL nodes, but the type does not point to them;
  81. however, the TREE_VALUES is a list in which each elements' TREE_PURPOSE
  82. is a name and the TREE_VALUE is the value (an INTEGER_CST node). */
  83. /* A forward reference `enum foo' when no enum named foo is defined yet
  84. has zero (a null pointer) in its TYPE_SIZE. The tag name is in
  85. the TYPE_NAME field. If the type is later defined, the normal
  86. fields are filled in.
  87. RECORD_TYPE and UNION_TYPE forward refs are treated similarly. */
  88. DEFTREECODE (ENUMERAL_TYPE, "enumeral_type", "t", 0)
  89. /* Pascal's boolean type (true or false are the only values);
  90. no special fields needed. */
  91. DEFTREECODE (BOOLEAN_TYPE, "boolean_type", "t", 0)
  92. /* CHAR in Pascal; not used in C.
  93. No special fields needed. */
  94. DEFTREECODE (CHAR_TYPE, "char_type", "t", 0)
  95. /* All pointer-to-x types have code POINTER_TYPE.
  96. The TREE_TYPE points to the node for the type pointed to. */
  97. DEFTREECODE (POINTER_TYPE, "pointer_type", "t", 0)
  98. /* Used for Pascal; details not determined right now. */
  99. DEFTREECODE (FILE_TYPE, "file_type", "t", 0)
  100. /* Types of arrays. Special fields:
  101. TREE_TYPE Type of an array element.
  102. TYPE_DOMAIN Type to index by.
  103. Its range of values specifies the array length.
  104. TYPE_SEP Expression for units from one elt to the next.
  105. TYPE_SEP_UNIT Number of bits in a unit for previous.
  106. TYPE_POINTER_TO It is safe to assume, for an array type,
  107. that TYPE_POINTER_TO (TREE_TYPE (array_type)) is always nonzero
  108. and holds the type to coerce a value of that array type to in C. */
  109. /* Array types in C or Pascal */
  110. DEFTREECODE (ARRAY_TYPE, "array_type", "t", 0)
  111. /* Types of sets for Pascal. Special fields are the same as
  112. in an array type. The target type is always a boolean type. */
  113. DEFTREECODE (SET_TYPE, "set_type", "t", 0)
  114. /* Not known whether Pascal really needs this
  115. or what it should contain. */
  116. DEFTREECODE (STRING_TYPE, "string_type", "t", 0)
  117. /* Struct in C, or record in Pascal. */
  118. /* Special fields:
  119. TYPE_FIELDS chain of FIELD_DECLs for the fields of the struct.
  120. A few may need to be added for Pascal. */
  121. /* See the comment above, before ENUMERAL_TYPE, for how
  122. forward references to struct tags are handled in C. */
  123. DEFTREECODE (RECORD_TYPE, "record_type", "t", 0)
  124. /* Union in C. Like a struct, except that the offsets of the fields
  125. will all be zero. */
  126. /* See the comment above, before ENUMERAL_TYPE, for how
  127. forward references to union tags are handled in C. */
  128. DEFTREECODE (UNION_TYPE, "union_type", "t", 0) /* C union type */
  129. /* Type of functions. Special fields:
  130. TREE_TYPE type of value returned.
  131. TYPE_ARG_TYPES list of types of arguments expected.
  132. this list is made of TREE_LIST nodes.
  133. Types of "Procedures" in languages where they are different from functions
  134. have code FUNCTION_TYPE also, but then TREE_TYPE is zero or void type. */
  135. DEFTREECODE (FUNCTION_TYPE, "function_type", "t", 0)
  136. /* All statement types have fields STMT_SOURCE_FILE and STMT_SOURCE_LINE. */
  137. /* Consecutive statements within a compound statement are chained together
  138. through the TREE_CHAIN field. */
  139. /* A label definition, encapsulated as a statement.
  140. STMT_BODY is the LABEL_DECL node for the label that appears here. */
  141. DEFTREECODE (LABEL_STMT, "label_stmt", "s", 1)
  142. /* GOTO, in any language. STMT_BODY is a LABEL_DECL node. */
  143. DEFTREECODE (GOTO_STMT, "goto_stmt", "s", 1)
  144. /* RETURN, in any language.
  145. Evaluates the expression STMT_BODY, then returns from the current function.
  146. Presumably STMT_BODY is an assignment that stores into the
  147. RESULT_DECL that hold the value to be returned.
  148. STMT_BODY may be zero. */
  149. DEFTREECODE (RETURN_STMT, "return_stmt", "s", 1)
  150. /* Statement that evaluates an expression. STMT_BODY is the expression. */
  151. DEFTREECODE (EXPR_STMT, "expr_stmt", "s", 1)
  152. /* Pascal WITH statement.
  153. Contains a chain of variables (..._DECL nodes) in the STMT_VARS
  154. and a chain of statements (the STMT_BODY).
  155. STMT_SUPERCONTEXT points to the containing declaration scope. */
  156. DEFTREECODE (WITH_STMT, "with_stmt", "s", 5)
  157. /* Declare variables whose scope is less than a function.
  158. This is used for C brace-pairs that contain declarations.
  159. Contains a chain of variables (..._DECL nodes) in the STMT_VARS
  160. and a chain of statements (the STMT_BODY).
  161. STMT_SUPERCONTEXT points to the containing declaration scope.
  162. STMT_BIND_SIZE is an expression for the size of local storage here.
  163. STMT_TYPE_TAGS is a list (chain of TREE_LIST nodes)
  164. pairing struct, union and enum tag names with the types they mean,
  165. for tags defined in this context. */
  166. DEFTREECODE (LET_STMT, "let_stmt", "s", 5)
  167. /* if-then-else statements in C and other languages.
  168. STMT_COND is the condition (an expression).
  169. STMT_THEN is the then-branch (a statement or chain of statements).
  170. STMT_ELSE is the else-branch (a statement or chain of statements). */
  171. DEFTREECODE (IF_STMT, "if_stmt", "s", 3)
  172. /* if-else-exit; used in building parts of iterations.
  173. STMT_BODY is the condition (an expression).
  174. Exit if the iteration if the condition is FALSE. */
  175. DEFTREECODE (EXIT_STMT, "exit_stmt", "s", 1)
  176. /* STMT_CASE_INDEX is an expression for the value to dispatch on.
  177. STMT_CASE_LIST is a list (a chain of TREE_LIST nodes)
  178. of the branches of the dispatch.
  179. Each such TREE_LIST node has the case it is for (a constant expression)
  180. as the TREE_PURPOSE
  181. and the label to go to (a LABEL_DECL) as the TREE_VALUE.
  182. Normally, the labels reside inside a COMPOUND_STMT
  183. which contains ths CASE_STMT as its first statement. */
  184. DEFTREECODE (CASE_STMT, "case_stmt", "s", 3)
  185. /* STMT_BODY contains a chain of statements to be executed repeatedly. */
  186. DEFTREECODE (LOOP_STMT, "loop_stmt", "s", 1)
  187. /* Contains as its STMT_BODY a chain of substatements. */
  188. DEFTREECODE (COMPOUND_STMT, "compound_stmt", "s", 1)
  189. /* Contains as its STMT_BODY a string of assembly code. */
  190. DEFTREECODE (ASM_STMT, "asm_stmt", "s", 1)
  191. /* Expressions */
  192. /* First, the constants. */
  193. /* Contents are in TREE_INT_CST_LOW and TREE_INT_CST_HIGH fields,
  194. 32 bits each, giving us a 64 bit constant capability.
  195. Note: constants of type char in Pascal are INTEGER_CST,
  196. and so are pointer constants such as nil in Pascal or NULL in C.
  197. `(int *) 1' in C also results in an INTEGER_CST. */
  198. DEFTREECODE (INTEGER_CST, "integer_cst", "c", 2)
  199. /* Contents are in TREE_REAL_CST field. Also there is TREE_CST_RTL. */
  200. DEFTREECODE (REAL_CST, "real_cst", "c", 3)
  201. /* Contents are in TREE_REALPART and TREE_IMAGPART fields,
  202. whose contents are other constant nodes.
  203. Also there is TREE_CST_RTL. */
  204. DEFTREECODE (COMPLEX_CST, "complex_cst", "c", 3)
  205. /* Contents are TREE_STRING_LENGTH and TREE_STRING_POINTER fields.
  206. Also there is TREE_CST_RTL. */
  207. DEFTREECODE (STRING_CST, "string_cst", "c", 3)
  208. /* Declarations. All references to names are represented as ..._DECL nodes.
  209. The decls in one binding context are chained through the TREE_CHAIN field.
  210. Each DECL has a DECL_NAME field which contains an IDENTIFIER_NODE.
  211. (Some decls, most often labels, may have zero as the DECL_NAME).
  212. DECL_CONTEXT points to the node representing the context in which
  213. this declaration has its scope. For FIELD_DECLs, this is the
  214. RECORD_TYPE or UNION_TYPE node that the field belongs to;
  215. for other kinds of decl nodes, this is a LET_STMT node or the ROOT_NODE.
  216. The TREE_TYPE field holds the data type of the object, when relevant.
  217. LABEL_DECLs have no data type. For TYPE_DECL, the TREE_TYPE field
  218. contents are the type whose name is being declared.
  219. The DECL_ALIGN, DECL_SIZE, DECL_SIZE_UNIT
  220. and DECL_MODE fields exist in decl nodes just as in type nodes.
  221. They are unused in LABEL_DECL, TYPE_DECL and CONST_DECL nodes.
  222. DECL_OFFSET holds an integer number of bits offset for the location.
  223. DECL_VOFFSET holds an expression for a variable offset; it is
  224. to be multiplied by DECL_VOFFSET_UNIT (an integer).
  225. These fields are relevant only in FIELD_DECLs and PARM_DECLs.
  226. DECL_INITIAL holds the value to initialize a variable to,
  227. or the value of a constant. For a function, it holds the body
  228. (a node of type LET_STMT representing the function's binding contour
  229. and whose body contains the function's statements.)
  230. PARM_DECLs use a special field:
  231. DECL_ARG_TYPE is the type in which the argument is actually
  232. passed, which may be different from its type within the function.
  233. FUNCTION_DECLs use four special fields:
  234. DECL_ARGUMENTS holds a chain of PARM_DECL nodes for the arguments.
  235. DECL_RESULT holds a RESULT_DECL node for the value of a function,
  236. or it is 0 for a function that returns no value.
  237. (C functions returning void have zero here.)
  238. DECL_FUNCTION_CODE is a code number that is nonzero for
  239. built-in functions. Its value is an enum built_in_function
  240. that says which built-in function it is.
  241. DECL_BLOCK_SYMTAB_ADDRESS records (after the symtab data for the function's
  242. body has been output) the address in the symtab file of the
  243. `struct block' for the function's top-level binding context.
  244. This must be stored in the symtab structure for the function name.
  245. Also, TREE_UNSIGNED (function_decl) is nonzero if the ({...})
  246. construct is used in the function.
  247. DECL_SOURCE_FILE holds a filename string and DECL_SOURCE_LINE
  248. holds a line number. */
  249. DEFTREECODE (FUNCTION_DECL, "function_decl", "d", 0)
  250. DEFTREECODE (LABEL_DECL, "label_decl", "d", 0)
  251. DEFTREECODE (CONST_DECL, "const_decl", "d", 0)
  252. DEFTREECODE (TYPE_DECL, "type_decl", "d", 0)
  253. DEFTREECODE (VAR_DECL, "var_decl", "d", 0)
  254. DEFTREECODE (PARM_DECL, "parm_decl", "d", 0)
  255. DEFTREECODE (RESULT_DECL, "result_decl", "d", 0)
  256. DEFTREECODE (FIELD_DECL, "field_decl", "d", 0)
  257. /* References to storage. */
  258. /* Value is structure or union component.
  259. Operand 0 is the structure or union (an expression);
  260. operand 1 is the field (a node of type FIELD_DECL). */
  261. DEFTREECODE (COMPONENT_REF, "component_ref", "r", 2)
  262. /* C unary `*' or Pascal `^'. One operand, an expression for a pointer. */
  263. DEFTREECODE (INDIRECT_REF, "indirect_ref", "r", 1)
  264. /* Pascal `^` on a file. One operand, an expression for the file. */
  265. DEFTREECODE (BUFFER_REF, "buffer_ref", "r", 1)
  266. /* Array indexing in languages other than C.
  267. Operand 0 is the array; operand 1 is a list of indices
  268. stored as a chain of TREE_LIST nodes. */
  269. DEFTREECODE (ARRAY_REF, "array_ref", "r", 2)
  270. /* Constructor: return an aggregate value made from specified components.
  271. In C, this is used only for structure and array initializers.
  272. The first "operand" is really a pointer to the RTL,
  273. for constant constructors only.
  274. The second operand is a list of component values
  275. made out of a chain of TREE_LIST nodes. */
  276. DEFTREECODE (CONSTRUCTOR, "constructor", "e", 2)
  277. /* The expression types are mostly straightforward,
  278. with the fourth argument of DEFTREECODE saying
  279. how many operands there are.
  280. Unless otherwise specified, the operands are expressions. */
  281. /* Contains two expressions to compute, one followed by the other.
  282. the first value is ignored. The second one's value is used. */
  283. DEFTREECODE (COMPOUND_EXPR, "compound_expr", "e", 2)
  284. /* Assignment expression. Operand 0 is the what to set; 1, the new value. */
  285. DEFTREECODE (MODIFY_EXPR, "modify_expr", "e", 2)
  286. /* Conditional expression ( ... ? ... : ... in C).
  287. Operand 0 is the condition.
  288. Operand 1 is the then-value.
  289. Operand 2 is the else-value. */
  290. DEFTREECODE (COND_EXPR, "cond_expr", "e", 3)
  291. /* Function call. Operand 0 is the function.
  292. Operand 1 is the argument list, a list of expressions
  293. made out of a chain of TREE_LIST nodes.
  294. There is no operand 2. That slot is used for the
  295. CALL_EXPR_RTL macro (see preexpand_calls). */
  296. DEFTREECODE (CALL_EXPR, "call_expr", "e", 3)
  297. /* Simple arithmetic. Operands must have the same machine mode
  298. and the value shares that mode. */
  299. DEFTREECODE (PLUS_EXPR, "plus_expr", "e", 2)
  300. DEFTREECODE (MINUS_EXPR, "minus_expr", "e", 2)
  301. DEFTREECODE (MULT_EXPR, "mult_expr", "e", 2)
  302. /* Division for integer result that rounds the quotient toward zero. */
  303. /* Operands must have the same machine mode.
  304. In principle they may be real, but that is not currently supported.
  305. The result is always fixed point, and it has the same type as the
  306. operands if they are fixed point. */
  307. DEFTREECODE (TRUNC_DIV_EXPR, "trunc_div_expr", "e", 2)
  308. /* Division for integer result that rounds the quotient toward infinity. */
  309. DEFTREECODE (CEIL_DIV_EXPR, "ceil_div_expr", "e", 2)
  310. /* Division for integer result that rounds toward minus infinity. */
  311. DEFTREECODE (FLOOR_DIV_EXPR, "floor_div_expr", "e", 2)
  312. /* Division for integer result that rounds toward nearest integer. */
  313. DEFTREECODE (ROUND_DIV_EXPR, "round_div_expr", "e", 2)
  314. /* Four kinds of remainder that go with the four kinds of division. */
  315. DEFTREECODE (TRUNC_MOD_EXPR, "trunc_mod_expr", "e", 2)
  316. DEFTREECODE (CEIL_MOD_EXPR, "ceil_mod_expr", "e", 2)
  317. DEFTREECODE (FLOOR_MOD_EXPR, "floor_mod_expr", "e", 2)
  318. DEFTREECODE (ROUND_MOD_EXPR, "round_mod_expr", "e", 2)
  319. /* Division for real result. The two operands must have the same type.
  320. In principle they could be integers, but currently only real
  321. operands are supported. The result must have the same type
  322. as the operands. */
  323. DEFTREECODE (RDIV_EXPR, "rdiv_expr", "e", 2)
  324. /* Conversion of real to fixed point: four ways to round,
  325. like the four ways to divide.
  326. CONVERT_EXPR can also be used to convert a real to an integer,
  327. and that is what is used in languages that do not have ways of
  328. specifying which of these is wanted. Maybe these are not needed. */
  329. DEFTREECODE (FIX_TRUNC_EXPR, "fix_trunc_expr", "e", 1)
  330. DEFTREECODE (FIX_CEIL_EXPR, "fix_ceil_expr", "e", 1)
  331. DEFTREECODE (FIX_FLOOR_EXPR, "fix_floor_expr", "e", 1)
  332. DEFTREECODE (FIX_ROUND_EXPR, "fix_round_expr", "e", 1)
  333. /* Conversion of an integer to a real. */
  334. DEFTREECODE (FLOAT_EXPR, "float_expr", "e", 1)
  335. /* Exponentiation. Operands may have any types;
  336. constraints on value type are not known yet. */
  337. DEFTREECODE (EXPON_EXPR, "expon_expr", "e", 2)
  338. /* Unary negation. Value has same type as operand. */
  339. DEFTREECODE (NEGATE_EXPR, "negate_expr", "e", 1)
  340. DEFTREECODE (MIN_EXPR, "min_expr", "e", 2)
  341. DEFTREECODE (MAX_EXPR, "max_expr", "e", 2)
  342. DEFTREECODE (ABS_EXPR, "abs_expr", "e", 1)
  343. DEFTREECODE (FFS_EXPR, "ffs_expr", "e", 1)
  344. /* Shift operations for shift and rotate.
  345. Shift is supposed to mean logical shift if done on an
  346. unsigned type, arithmetic shift on a signed type.
  347. The second operand is the number of bits to
  348. shift by, and must always have mode SImode.
  349. The result has the same mode as the first operand. */
  350. DEFTREECODE (LSHIFT_EXPR, "alshift_expr", "e", 2)
  351. DEFTREECODE (RSHIFT_EXPR, "arshift_expr", "e", 2)
  352. DEFTREECODE (LROTATE_EXPR, "lrotate_expr", "e", 2)
  353. DEFTREECODE (RROTATE_EXPR, "rrotate_expr", "e", 2)
  354. /* Bitwise operations. Operands have same mode as result. */
  355. DEFTREECODE (BIT_IOR_EXPR, "bit_ior_expr", "e", 2)
  356. DEFTREECODE (BIT_XOR_EXPR, "bit_xor_expr", "e", 2)
  357. DEFTREECODE (BIT_AND_EXPR, "bit_and_expr", "e", 2)
  358. DEFTREECODE (BIT_ANDTC_EXPR, "bit_andtc_expr", "e", 2)
  359. DEFTREECODE (BIT_NOT_EXPR, "bit_not_expr", "e", 1)
  360. /* Combination of boolean values or of integers considered only
  361. as zero or nonzero. ANDIF and ORIF allow the second operand
  362. not to be computed if the value of the expression is determined
  363. from the first operand. AND and OR always compute the second
  364. operand whether its value is needed or not (for side effects). */
  365. DEFTREECODE (TRUTH_ANDIF_EXPR, "truth_andif_expr", "e", 2)
  366. DEFTREECODE (TRUTH_ORIF_EXPR, "truth_orif_expr", "e", 2)
  367. DEFTREECODE (TRUTH_AND_EXPR, "truth_and_expr", "e", 2)
  368. DEFTREECODE (TRUTH_OR_EXPR, "truth_or_expr", "e", 2)
  369. DEFTREECODE (TRUTH_NOT_EXPR, "truth_not_expr", "e", 1)
  370. /* Relational operators.
  371. `EQ_EXPR' and `NE_EXPR' are allowed for any types.
  372. The others are allowed only for integer (or pointer or enumeral)
  373. or real types.
  374. In all cases the operands will have the same type,
  375. and the value is always the type used by the language for booleans. */
  376. DEFTREECODE (LT_EXPR, "lt_expr", "e", 2)
  377. DEFTREECODE (LE_EXPR, "le_expr", "e", 2)
  378. DEFTREECODE (GT_EXPR, "gt_expr", "e", 2)
  379. DEFTREECODE (GE_EXPR, "ge_expr", "e", 2)
  380. DEFTREECODE (EQ_EXPR, "eq_expr", "e", 2)
  381. DEFTREECODE (NE_EXPR, "ne_expr", "e", 2)
  382. /* Operations for Pascal sets. Not used now. */
  383. DEFTREECODE (IN_EXPR, "in_expr", "e", 2)
  384. DEFTREECODE (SET_LE_EXPR, "set_le_expr", "e", 2)
  385. DEFTREECODE (CARD_EXPR, "card_expr", "e", 1)
  386. DEFTREECODE (RANGE_EXPR, "range_expr", "e", 2)
  387. /* Represents a conversion of type of a value.
  388. All conversions, including implicit ones, must be
  389. represented by CONVERT_EXPR nodes. */
  390. DEFTREECODE (CONVERT_EXPR, "convert_expr", "e", 1)
  391. /* Represents a conversion expected to require no code to be generated. */
  392. DEFTREECODE (NOP_EXPR, "nop_expr", "e", 1)
  393. /* Represents something we computed once and will use multiple times.
  394. First operand is that expression. Second is the RTL,
  395. nonzero only after the expression has been computed.
  396. TREE_UNSIGNED in a SAVE_EXPR is nonzero if that SAVE_EXPR
  397. has been seen already in assign_vars_1. */
  398. DEFTREECODE (SAVE_EXPR, "save_expr", "e", 2)
  399. /* Represents something whose RTL has already been expanded
  400. as a sequence which should be emitted when this expression is expanded.
  401. The first operand is the-the RTL to emit (which is a SEQUENCE).
  402. The second is the RTL expression for the result. */
  403. DEFTREECODE (RTL_EXPR, "rtl_expr", "e", 2)
  404. /* & in C. Value is the address at which the operand's value resides.
  405. Operand may have any mode. Result mode is Pmode. */
  406. DEFTREECODE (ADDR_EXPR, "addr_expr", "e", 1)
  407. /* Operand is a function constant; result is a function variable value
  408. of typeEPmode. Used only for languages that need static chains. */
  409. DEFTREECODE (ENTRY_VALUE_EXPR, "entry_value_expr", "e", 1)
  410. /* Given two real or integer operands of the same type,
  411. returns a complex value of the corresponding complex type. */
  412. DEFTREECODE (COMPLEX_EXPR, "complex_expr", "e", 2)
  413. /* Complex conjugate of operand. Used only on complex types.
  414. The value has the same type as the operand. */
  415. DEFTREECODE (CONJ_EXPR, "conj_expr", "e", 1)
  416. /* Used only on an operand of complex type, these return
  417. a value of the corresponding component type. */
  418. DEFTREECODE (REALPART_EXPR, "realpart_expr", "e", 1)
  419. DEFTREECODE (IMAGPART_EXPR, "imagpart_expr", "e", 1)
  420. /* Nodes for ++ and -- in C.
  421. The second arg is how much to increment or decrement by.
  422. For a pointer, it would be the size of the object pointed to. */
  423. DEFTREECODE (PREDECREMENT_EXPR, "predecrement_expr", "e", 2)
  424. DEFTREECODE (PREINCREMENT_EXPR, "preincrement_expr", "e", 2)
  425. DEFTREECODE (POSTDECREMENT_EXPR, "postdecrement_expr", "e", 2)
  426. DEFTREECODE (POSTINCREMENT_EXPR, "postincrement_expr", "e", 2)
  427. /*
  428. Local variables:
  429. mode:c
  430. version-control: t
  431. End:
  432. */