java-tree.h 56.6 KB
Newer Older
Anthony Green committed
1 2
/* Definitions for parsing and type checking for the GNU compiler for
   the Java(TM) language.
3
   Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
4
   2005, 2006, 2007, 2008 Free Software Foundation, Inc.
Anthony Green committed
5

6
This file is part of GCC.
Anthony Green committed
7

8
GCC is free software; you can redistribute it and/or modify
Anthony Green committed
9
it under the terms of the GNU General Public License as published by
10
the Free Software Foundation; either version 3, or (at your option)
Anthony Green committed
11 12
any later version.

13
GCC is distributed in the hope that it will be useful,
Anthony Green committed
14 15 16 17 18
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
19 20
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  
Anthony Green committed
21 22 23 24 25 26 27

Java and all Java-based marks are trademarks or registered trademarks
of Sun Microsystems, Inc. in the United States and other countries.
The Free Software Foundation is independent of Sun Microsystems, Inc.  */

/* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */

28 29 30
#ifndef GCC_JAVA_TREE_H
#define GCC_JAVA_TREE_H

31
#include "hashtab.h"
32

Anthony Green committed
33 34 35
struct JCF;

/* Usage of TREE_LANG_FLAG_?:
36
   2: QUALIFIED_P (in IDENTIFIER_NODE)
37
      CLASS_FILE_P (in a TRANSLATION_UNIT_DECL in current_file_list)
38
   3: HAS_FINALIZER (in RECORD_TYPE)
39
   4: IS_A_COMMAND_LINE_FILENAME_P (in IDENTIFIER_NODE)
40
      IS_ARRAY_LENGTH_ACCESS (in INDIRECT_REF)
41
   5: HAS_BEEN_ALREADY_PARSED_P (in IDENTIFIER_NODE)
Anthony Green committed
42 43 44

   Usage of TYPE_LANG_FLAG_?:
   1: TYPE_ARRAY_P (in RECORD_TYPE).
45
   2: CLASS_PARSED_P (in RECORD_TYPE).
Anthony Green committed
46
   4: CLASS_P (in RECORD_TYPE).
47
   5: CLASS_FROM_CURRENTLY_COMPILED_P (in RECORD_TYPE)
48
   6: CLASS_BEING_LAIDOUT (in RECORD_TYPE)
Anthony Green committed
49 50

   Usage of DECL_LANG_FLAG_?:
51 52 53
   0: METHOD_DEPRECATED (in FUNCTION_DECL).
      FIELD_DEPRECATED (in FIELD_DECL).
      CLASS_DEPRECATED (in TYPE_DECL).
Anthony Green committed
54 55 56 57 58
   1: METHOD_PUBLIC (in FUNCTION_DECL).
      FIELD_PUBLIC (in FIELD_DECL).
      CLASS_PUBLIC (in TYPE_DECL).
   2: METHOD_STATIC (in FUNCTION_DECL).
      (But note that FIELD_STATIC uses TREE_STATIC!)
59
      FIELD_SYNTHETIC (in FIELD_DECL)
Anthony Green committed
60 61 62 63
      CLASS_COMPLETE_P (in TYPE_DECL)
   3: METHOD_FINAL (in FUNCTION_DECL)
      FIELD_FINAL (in FIELD_DECL)
      CLASS_FINAL (in TYPE_DECL)
64
      DECL_FINAL (in any decl)
Anthony Green committed
65 66 67 68 69 70
   4: METHOD_SYNCHRONIZED (in FUNCTION_DECL).
      CLASS_INTERFACE (in TYPE_DECL)
      FIELD_VOLATILE (int FIELD_DECL)
   5: METHOD_ABSTRACT (in FUNCTION_DECL).
      CLASS_ABSTRACT (in TYPE_DECL)
      FIELD_TRANSIENT (in FIELD_DECL)
71
   6: CLASS_SUPER (in TYPE_DECL, ACC_SUPER flag)
72
   7: DECL_CONSTRUCTOR_P (in FUNCTION_DECL).
73
      CLASS_STATIC (in TYPE_DECL)
Anthony Green committed
74 75
*/

76 77 78
#define VAR_OR_FIELD_CHECK(DECL) \
  TREE_CHECK3 (DECL, FIELD_DECL, VAR_DECL, PARM_DECL)

Anthony Green committed
79 80
/* True if the class whose TYPE_BINFO this is has a superclass.
   (True of all classes except Object.) */
81
#define CLASS_HAS_SUPER_FLAG(BINFO) BINFO_FLAG_1 (BINFO)
82 83
#define CLASS_HAS_SUPER(TYPE) \
  (TYPE_BINFO (TYPE) && CLASS_HAS_SUPER_FLAG (TYPE_BINFO (TYPE)))
Anthony Green committed
84 85

/* Return the supertype of class TYPE, or NULL_TREE is it has none. */
86 87 88
#define CLASSTYPE_SUPER(TYPE) (CLASS_HAS_SUPER (TYPE) \
  ? BINFO_TYPE (BINFO_BASE_BINFO (TYPE_BINFO (TYPE), 0)) \
  : NULL_TREE)
Anthony Green committed
89 90

/* The class defined by the actual (main) file we are compiling. */
91 92
#define main_class \
  java_global_trees[JTI_MAIN_CLASS]
Anthony Green committed
93

94 95 96 97
/* The class we use as the base for name resolution.  It's usually the
   class we're generating code for but sometimes it points to an inner
   class.  If you really want to know the class we're currently
   generating code for, use output_class instead.  */
98 99
#define current_class \
  java_global_trees[JTI_CURRENT_CLASS]
Anthony Green committed
100

101 102 103 104
/* The class we are currently generating.  Really.  */
#define output_class \
  java_global_trees[JTI_OUTPUT_CLASS]

105
/* List of all class DECLs seen so far.  */
106 107
#define all_class_list \
  java_global_trees[JTI_ALL_CLASS_LIST]
108

109 110
/* List of virtual decls referred to by this translation unit, used to
   generate virtual method offset symbol table.  */
111

112 113 114
/* The virtual offset table.  This is emitted as uninitialized data of
   the required length, and filled out at run time during class
   linking. */
115

116 117
/* The virtual offset symbol table. Used by the runtime to fill out
   the otable. */
118

119 120
extern int flag_filelist_file;

Anthony Green committed
121 122 123 124
/* When nonzero, permit the use of the assert keyword.  */

extern int flag_assert;

125
/* When nonzero, assume all native functions are implemented with
126 127 128 129
   JNI, not CNI.  */

extern int flag_jni;

130
/* When nonzero, always check for a non gcj generated classes archive.  */
131 132 133

extern int flag_force_classes_archive_check;

134
/* Resource name.  */
135
extern const char *resource_name;
136

137 138 139 140
/* Turned to 1 if -Wall was encountered. See lang.c for their meanings.  */
extern int flag_wall;
extern int flag_redundant;

141
/* When nonzero, warn when source file is newer than matching class
142 143 144
   file.  */
extern int flag_newer;

145
/* When nonzero, call a library routine to do integer divisions. */
146 147
extern int flag_use_divide_subroutine;

148
/* When nonzero, generate code for the Boehm GC.  */
149 150
extern int flag_use_boehm_gc;

151
/* When nonzero, assume the runtime uses a hash table to map an
152 153 154
   object to its synchronization structure.  */
extern int flag_hash_synchronization;

155
/* When nonzero, generate checks for references to NULL.  */
156 157
extern int flag_check_references;

158 159 160 161
/* Used through STATIC_CLASS_INIT_OPT_P to check whether static
   initialization optimization should be performed.  */
extern int flag_optimize_sci;

162 163 164
/* Generate instances of Class at runtime.  */
extern int flag_indirect_classes;

165
/* When nonzero, use offset tables for virtual method calls
166 167 168
   in order to improve binary compatibility. */
extern int flag_indirect_dispatch;

169 170 171
/* When zero, don't generate runtime array store checks. */
extern int flag_store_check;

172 173 174
/* When nonzero, generate only a limited set of class meta-data. */
extern int flag_reduced_reflection;

Anthony Green committed
175
/* The Java .class file that provides main_class;  the main input file. */
176
extern GTY(()) struct JCF * current_jcf;
Anthony Green committed
177

178 179 180 181
/* Set to nonzero value in order to emit class initialization code
   before static field references.  */
extern int always_initialize_class_p;

182 183
extern int flag_verify_invocations;

184 185 186 187 188 189
/* Largest pc so far in this method that has been passed to lookup_label. */
extern int highest_label_pc_this_method;

/* Base value for this method to add to pc to get generated label. */
extern int start_label_pc_this_method;

Anthony Green committed
190 191 192 193
typedef struct CPool constant_pool;

#define CONSTANT_ResolvedFlag 16

194 195 196 197 198
/* Don't eagerly resolve this entry.  When this flag is set, constant
   pool entries are resolved only at runtime when the entry is first
   referred to.  */
#define CONSTANT_LazyFlag 32

Anthony Green committed
199 200 201 202 203 204
/* The cpool->data[i] for a ResolvedString points to a STRING_CST. */
#define CONSTANT_ResolvedString    (CONSTANT_String+CONSTANT_ResolvedFlag)

/* The cpool->data[i] for a ResolvedClass points to a RECORD_TYPE. */
#define CONSTANT_ResolvedClass     (CONSTANT_Class+CONSTANT_ResolvedFlag)

205
#define CPOOL_UTF(CPOOL, INDEX) ((CPOOL)->data[INDEX].t)
Anthony Green committed
206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224

/* A NameAndType constant is represented as a TREE_LIST.
   The type is the signature string (as an IDENTIFIER_NODE).  */

#define NAME_AND_TYPE_NAME(CPOOL, IDX) \
  CPOOL_UTF(CPOOL, CPOOL_USHORT1(CPOOL, IDX))
#define NAME_AND_TYPE_SIGNATURE(CPOOL, IDX) \
  CPOOL_UTF(CPOOL, CPOOL_USHORT2(CPOOL, IDX))

/* A FieldRef, MethodRef or InterfaceMethodRef constant
   is represented as a TREE_LIST. */

#define COMPONENT_REF_CLASS_INDEX(CPOOL, IDX) CPOOL_USHORT1(CPOOL, IDX)
#define COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX) CPOOL_USHORT2(CPOOL, IDX)
#define COMPONENT_REF_NAME(CPOOL, IDX) \
  NAME_AND_TYPE_NAME (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
#define COMPONENT_REF_SIGNATURE(CPOOL, IDX) \
  NAME_AND_TYPE_SIGNATURE (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))

225 226
extern GTY(()) tree java_lang_cloneable_identifier_node;
extern GTY(()) tree java_io_serializable_identifier_node;
227
extern GTY(()) tree gcj_abi_version;
228

229 230 231 232 233 234
/* The decl for the .constants field of an instance of Class.  */
extern GTY(()) tree constants_field_decl_node;

/* The decl for the .data field of an instance of Class.  */
extern GTY(()) tree constants_data_field_decl_node;

235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251
enum java_tree_index
{
  JTI_PROMOTED_BYTE_TYPE_NODE,
  JTI_PROMOTED_SHORT_TYPE_NODE,
  JTI_PROMOTED_CHAR_TYPE_NODE,
  JTI_PROMOTED_BOOLEAN_TYPE_NODE,

  JTI_BYTE_TYPE_NODE,
  JTI_SHORT_TYPE_NODE,
  JTI_INT_TYPE_NODE,
  JTI_LONG_TYPE_NODE,
  
  JTI_UNSIGNED_BYTE_TYPE_NODE,
  JTI_UNSIGNED_SHORT_TYPE_NODE,
  JTI_UNSIGNED_INT_TYPE_NODE,
  JTI_UNSIGNED_LONG_TYPE_NODE,
  
252 253 254
  JTI_DECIMAL_INT_MAX_NODE,
  JTI_DECIMAL_LONG_MAX_NODE,

255 256 257 258 259 260
  JTI_OBJECT_TYPE_NODE,
  JTI_UNQUALIFIED_OBJECT_ID_NODE,
  JTI_OBJECT_PTR_TYPE_NODE,
  JTI_STRING_TYPE_NODE,
  JTI_STRING_PTR_TYPE_NODE,
  JTI_THROWABLE_TYPE_NODE,
261
  JTI_EXCEPTION_TYPE_NODE,
262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
  JTI_RUNTIME_EXCEPTION_TYPE_NODE,
  JTI_ERROR_EXCEPTION_TYPE_NODE,
  JTI_RAWDATA_PTR_TYPE_NODE,

  JTI_BYTE_ARRAY_TYPE_NODE,
  JTI_SHORT_ARRAY_TYPE_NODE,
  JTI_INT_ARRAY_TYPE_NODE,
  JTI_LONG_ARRAY_TYPE_NODE,
  JTI_BOOLEAN_ARRAY_TYPE_NODE,
  JTI_CHAR_ARRAY_TYPE_NODE,
  JTI_DOUBLE_ARRAY_TYPE_NODE,
  JTI_FLOAT_ARRAY_TYPE_NODE,
  JTI_ARRAY_ARRAY_TYPE_NODE,
  JTI_OBJECT_ARRAY_TYPE_NODE,
  JTI_STRING_ARRAY_TYPE_NODE,
  JTI_BOOLEAN_ARRAY_VTABLE,
  JTI_BYTE_ARRAY_VTABLE,
  JTI_CHAR_ARRAY_VTABLE,
  JTI_SHORT_ARRAY_VTABLE,
  JTI_INT_ARRAY_VTABLE,
  JTI_LONG_ARRAY_VTABLE,
  JTI_FLOAT_ARRAY_VTABLE,
  JTI_DOUBLE_ARRAY_VTABLE,
  JTI_TYPE_IDENTIFIER_NODE,      
  JTI_INIT_IDENTIFIER_NODE,      
  JTI_CLINIT_IDENTIFIER_NODE,      
  JTI_VOID_SIGNATURE_NODE,       
289
  JTI_FINALIZE_IDENTIFIER_NODE,
290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320
  JTI_THIS_IDENTIFIER_NODE,  
  JTI_ONE_ELT_ARRAY_DOMAIN_TYPE,

  JTI_RETURN_ADDRESS_TYPE_NODE,

  JTI_LONG_ZERO_NODE,
  JTI_FLOAT_ZERO_NODE,
  JTI_DOUBLE_ZERO_NODE,
  JTI_INTEGER_TWO_NODE,
  JTI_INTEGER_FOUR_NODE,

  JTI_METHODTABLE_TYPE,
  JTI_METHODTABLE_PTR_TYPE,

  JTI_UTF8CONST_TYPE,
  JTI_UTF8CONST_PTR_TYPE,

  JTI_CLASS_TYPE_NODE,
  JTI_CLASS_PTR_TYPE,
  JTI_FIELD_TYPE_NODE,
  JTI_CONSTANTS_TYPE_NODE,
  JTI_DTABLE_TYPE, 
  JTI_DTABLE_PTR_TYPE,
  JTI_FIELD_PTR_TYPE_NODE,
  JTI_FIELD_INFO_UNION_NODE,
  JTI_EXCEPTION_TYPE,
  JTI_EXCEPTION_PTR_TYPE,
  JTI_LINENUMBERENTRY_TYPE,
  JTI_LINENUMBERS_TYPE,
  JTI_METHOD_TYPE_NODE,
  JTI_METHOD_PTR_TYPE_NODE,
321 322
  JTI_OTABLE_TYPE,
  JTI_OTABLE_PTR_TYPE,
323 324
  JTI_ATABLE_TYPE,
  JTI_ATABLE_PTR_TYPE,
325 326
  JTI_ITABLE_TYPE,
  JTI_ITABLE_PTR_TYPE,
327 328 329
  JTI_SYMBOL_TYPE,
  JTI_SYMBOLS_ARRAY_TYPE,
  JTI_SYMBOLS_ARRAY_PTR_TYPE,
330 331
  JTI_ASSERTION_ENTRY_TYPE,
  JTI_ASSERTION_TABLE_TYPE,
332 333 334

  JTI_END_PARAMS_NODE,

335
  JTI_THROW_NODE,
336
  JTI_ALLOC_OBJECT_NODE,
337
  JTI_ALLOC_NO_FINALIZER_NODE,
338 339 340 341 342 343 344 345
  JTI_SOFT_INSTANCEOF_NODE,
  JTI_SOFT_CHECKCAST_NODE,
  JTI_SOFT_INITCLASS_NODE,
  JTI_SOFT_NEWARRAY_NODE,
  JTI_SOFT_ANEWARRAY_NODE,
  JTI_SOFT_MULTIANEWARRAY_NODE,
  JTI_SOFT_BADARRAYINDEX_NODE,
  JTI_SOFT_NULLPOINTER_NODE,
346
  JTI_SOFT_ABSTRACTMETHOD_NODE,
347
  JTI_SOFT_NOSUCHFIELD_NODE,
348 349 350 351
  JTI_SOFT_CHECKARRAYSTORE_NODE,
  JTI_SOFT_MONITORENTER_NODE,
  JTI_SOFT_MONITOREXIT_NODE,
  JTI_SOFT_LOOKUPINTERFACEMETHOD_NODE,
352
  JTI_SOFT_LOOKUPINTERFACEMETHODBYNAME_NODE,
353 354 355
  JTI_SOFT_LOOKUPJNIMETHOD_NODE,
  JTI_SOFT_GETJNIENVNEWFRAME_NODE,
  JTI_SOFT_JNIPOPSYSTEMFRAME_NODE,
356
  JTI_SOFT_UNWRAPJNI_NODE,
357 358 359 360 361 362 363 364 365 366 367 368
  JTI_SOFT_FMOD_NODE,
  JTI_SOFT_IDIV_NODE,
  JTI_SOFT_IREM_NODE,
  JTI_SOFT_LDIV_NODE,
  JTI_SOFT_LREM_NODE,

  JTI_ACCESS_FLAGS_TYPE_NODE,

  JTI_NATIVECODE_PTR_ARRAY_TYPE_NODE,

  JTI_MAIN_CLASS,
  JTI_CURRENT_CLASS,
369
  JTI_OUTPUT_CLASS,
370 371
  JTI_ALL_CLASS_LIST,

372 373
  JTI_PREDEF_FILENAMES,

374 375 376
  JTI_MAX
};

377
extern GTY(()) tree java_global_trees[JTI_MAX];
378

Anthony Green committed
379 380 381
/* "Promoted types" that are used for primitive types smaller
   than int.  We could use int_type_node, but then we would lose
   type information (such as needed for debugging). */
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408
#define promoted_byte_type_node \
  java_global_trees[JTI_PROMOTED_BYTE_TYPE_NODE]
#define promoted_short_type_node \
  java_global_trees[JTI_PROMOTED_SHORT_TYPE_NODE]
#define promoted_char_type_node \
  java_global_trees[JTI_PROMOTED_CHAR_TYPE_NODE]
#define promoted_boolean_type_node \
  java_global_trees[JTI_PROMOTED_BOOLEAN_TYPE_NODE]

#define byte_type_node \
  java_global_trees[JTI_BYTE_TYPE_NODE]
#define short_type_node \
  java_global_trees[JTI_SHORT_TYPE_NODE]
#define int_type_node \
  java_global_trees[JTI_INT_TYPE_NODE]
#define long_type_node \
  java_global_trees[JTI_LONG_TYPE_NODE]

#define unsigned_byte_type_node \
  java_global_trees[JTI_UNSIGNED_BYTE_TYPE_NODE]
#define unsigned_short_type_node \
  java_global_trees[JTI_UNSIGNED_SHORT_TYPE_NODE]
#define unsigned_int_type_node \
  java_global_trees[JTI_UNSIGNED_INT_TYPE_NODE]
#define unsigned_long_type_node \
  java_global_trees[JTI_UNSIGNED_LONG_TYPE_NODE]

409 410 411 412 413
#define decimal_int_max \
  java_global_trees[JTI_DECIMAL_INT_MAX_NODE]
#define decimal_long_max \
  java_global_trees[JTI_DECIMAL_LONG_MAX_NODE]

414 415 416 417 418 419 420 421 422 423 424 425
#define object_type_node \
  java_global_trees[JTI_OBJECT_TYPE_NODE]
#define unqualified_object_id_node \
  java_global_trees[JTI_UNQUALIFIED_OBJECT_ID_NODE]
#define object_ptr_type_node \
  java_global_trees[JTI_OBJECT_PTR_TYPE_NODE]
#define string_type_node \
  java_global_trees[JTI_STRING_TYPE_NODE]
#define string_ptr_type_node \
  java_global_trees[JTI_STRING_PTR_TYPE_NODE]
#define throwable_type_node \
  java_global_trees[JTI_THROWABLE_TYPE_NODE]
426 427
#define exception_type_node \
  java_global_trees[JTI_EXCEPTION_TYPE_NODE]
428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480
#define runtime_exception_type_node \
  java_global_trees[JTI_RUNTIME_EXCEPTION_TYPE_NODE]
#define error_exception_type_node \
  java_global_trees[JTI_ERROR_EXCEPTION_TYPE_NODE]
#define rawdata_ptr_type_node \
  java_global_trees[JTI_RAWDATA_PTR_TYPE_NODE]

#define byte_array_type_node \
  java_global_trees[JTI_BYTE_ARRAY_TYPE_NODE]
#define short_array_type_node \
  java_global_trees[JTI_SHORT_ARRAY_TYPE_NODE]
#define int_array_type_node \
  java_global_trees[JTI_INT_ARRAY_TYPE_NODE]
#define long_array_type_node \
  java_global_trees[JTI_LONG_ARRAY_TYPE_NODE]
#define boolean_array_type_node \
  java_global_trees[JTI_BOOLEAN_ARRAY_TYPE_NODE]
#define char_array_type_node \
  java_global_trees[JTI_CHAR_ARRAY_TYPE_NODE]
#define double_array_type_node \
  java_global_trees[JTI_DOUBLE_ARRAY_TYPE_NODE]
#define float_array_type_node \
  java_global_trees[JTI_FLOAT_ARRAY_TYPE_NODE]
#define array_array_type_node \
  java_global_trees[JTI_ARRAY_ARRAY_TYPE_NODE]
#define object_array_type_node \
  java_global_trees[JTI_OBJECT_ARRAY_TYPE_NODE]
#define string_array_type_node \
  java_global_trees[JTI_STRING_ARRAY_TYPE_NODE]
#define boolean_array_vtable \
  java_global_trees[JTI_BOOLEAN_ARRAY_VTABLE]
#define byte_array_vtable \
  java_global_trees[JTI_BYTE_ARRAY_VTABLE]
#define char_array_vtable \
  java_global_trees[JTI_CHAR_ARRAY_VTABLE]
#define short_array_vtable \
  java_global_trees[JTI_SHORT_ARRAY_VTABLE]
#define int_array_vtable \
  java_global_trees[JTI_INT_ARRAY_VTABLE]
#define long_array_vtable \
  java_global_trees[JTI_LONG_ARRAY_VTABLE]
#define float_array_vtable \
  java_global_trees[JTI_FLOAT_ARRAY_VTABLE]
#define double_array_vtable \
  java_global_trees[JTI_DOUBLE_ARRAY_VTABLE]
#define TYPE_identifier_node \
  java_global_trees[JTI_TYPE_IDENTIFIER_NODE]      /* "TYPE" */
#define init_identifier_node \
  java_global_trees[JTI_INIT_IDENTIFIER_NODE]      /* "<init>" */
#define clinit_identifier_node \
  java_global_trees[JTI_CLINIT_IDENTIFIER_NODE]      /* "<clinit>" */
#define void_signature_node \
  java_global_trees[JTI_VOID_SIGNATURE_NODE]       /* "()V" */
481 482
#define finalize_identifier_node \
  java_global_trees[JTI_FINALIZE_IDENTIFIER_NODE]  /* "finalize" */
483 484 485 486
#define this_identifier_node \
  java_global_trees[JTI_THIS_IDENTIFIER_NODE]  /* "this" */
#define one_elt_array_domain_type \
  java_global_trees[JTI_ONE_ELT_ARRAY_DOMAIN_TYPE]
Anthony Green committed
487
/* The type of the return address of a subroutine. */
488 489
#define return_address_type_node \
  java_global_trees[JTI_RETURN_ADDRESS_TYPE_NODE]
Anthony Green committed
490 491

/* Integer constants not declared in tree.h. */
492 493 494 495 496 497 498 499 500 501
#define long_zero_node \
  java_global_trees[JTI_LONG_ZERO_NODE]
#define float_zero_node \
  java_global_trees[JTI_FLOAT_ZERO_NODE]
#define double_zero_node \
  java_global_trees[JTI_DOUBLE_ZERO_NODE]
#define integer_two_node \
  java_global_trees[JTI_INTEGER_TWO_NODE]
#define integer_four_node \
  java_global_trees[JTI_INTEGER_FOUR_NODE]
Anthony Green committed
502 503

/* The type for struct methodtable. */
504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541
#define methodtable_type \
  java_global_trees[JTI_METHODTABLE_TYPE]
#define methodtable_ptr_type \
  java_global_trees[JTI_METHODTABLE_PTR_TYPE]

#define utf8const_type \
  java_global_trees[JTI_UTF8CONST_TYPE]
#define utf8const_ptr_type \
  java_global_trees[JTI_UTF8CONST_PTR_TYPE]

#define class_type_node \
  java_global_trees[JTI_CLASS_TYPE_NODE]
#define class_ptr_type \
  java_global_trees[JTI_CLASS_PTR_TYPE]
#define field_type_node \
  java_global_trees[JTI_FIELD_TYPE_NODE]
#define constants_type_node \
  java_global_trees[JTI_CONSTANTS_TYPE_NODE]
#define dtable_type \
  java_global_trees[JTI_DTABLE_TYPE]
#define dtable_ptr_type \
  java_global_trees[JTI_DTABLE_PTR_TYPE]
#define field_ptr_type_node \
  java_global_trees[JTI_FIELD_PTR_TYPE_NODE]
#define field_info_union_node \
  java_global_trees[JTI_FIELD_INFO_UNION_NODE]
#define jexception_type \
  java_global_trees[JTI_EXCEPTION_TYPE]
#define jexception_ptr_type \
  java_global_trees[JTI_EXCEPTION_PTR_TYPE]
#define lineNumberEntry_type \
  java_global_trees[JTI_LINENUMBERENTRY_TYPE]
#define lineNumbers_type \
  java_global_trees[JTI_LINENUMBERS_TYPE]
#define method_type_node \
  java_global_trees[JTI_METHOD_TYPE_NODE]
#define method_ptr_type_node \
  java_global_trees[JTI_METHOD_PTR_TYPE_NODE]
542 543
#define otable_type \
  java_global_trees[JTI_OTABLE_TYPE]
544 545
#define atable_type \
  java_global_trees[JTI_ATABLE_TYPE]
546 547
#define itable_type \
  java_global_trees[JTI_ITABLE_TYPE]
548 549
#define otable_ptr_type \
  java_global_trees[JTI_OTABLE_PTR_TYPE]
550 551
#define atable_ptr_type \
  java_global_trees[JTI_ATABLE_PTR_TYPE]
552 553
#define itable_ptr_type \
  java_global_trees[JTI_ITABLE_PTR_TYPE]
554 555 556 557 558
#define symbol_type \
  java_global_trees[JTI_SYMBOL_TYPE]
#define symbols_array_type \
  java_global_trees[JTI_SYMBOLS_ARRAY_TYPE]
#define symbols_array_ptr_type \
559 560 561 562 563
  java_global_trees[JTI_SYMBOLS_ARRAY_PTR_TYPE]  
#define assertion_entry_type \
  java_global_trees[JTI_ASSERTION_ENTRY_TYPE]
#define assertion_table_type \
  java_global_trees[JTI_ASSERTION_TABLE_TYPE]
564 565 566

#define end_params_node \
  java_global_trees[JTI_END_PARAMS_NODE]
567

Anthony Green committed
568
/* References to internal libjava functions we use. */
569 570
#define throw_node \
  java_global_trees[JTI_THROW_NODE]
571 572
#define alloc_object_node \
  java_global_trees[JTI_ALLOC_OBJECT_NODE]
573 574
#define alloc_no_finalizer_node \
  java_global_trees[JTI_ALLOC_NO_FINALIZER_NODE]
575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590
#define soft_instanceof_node \
  java_global_trees[JTI_SOFT_INSTANCEOF_NODE]
#define soft_checkcast_node \
  java_global_trees[JTI_SOFT_CHECKCAST_NODE]
#define soft_initclass_node \
  java_global_trees[JTI_SOFT_INITCLASS_NODE]
#define soft_newarray_node \
  java_global_trees[JTI_SOFT_NEWARRAY_NODE]
#define soft_anewarray_node \
  java_global_trees[JTI_SOFT_ANEWARRAY_NODE]
#define soft_multianewarray_node \
  java_global_trees[JTI_SOFT_MULTIANEWARRAY_NODE]
#define soft_badarrayindex_node \
  java_global_trees[JTI_SOFT_BADARRAYINDEX_NODE]
#define soft_nullpointer_node \
  java_global_trees[JTI_SOFT_NULLPOINTER_NODE]
591 592
#define soft_abstractmethod_node \
  java_global_trees[JTI_SOFT_ABSTRACTMETHOD_NODE]
593 594
#define soft_nosuchfield_node \
  java_global_trees[JTI_SOFT_NOSUCHFIELD_NODE]
595 596 597 598 599 600 601 602
#define soft_checkarraystore_node \
  java_global_trees[JTI_SOFT_CHECKARRAYSTORE_NODE]
#define soft_monitorenter_node \
  java_global_trees[JTI_SOFT_MONITORENTER_NODE]
#define soft_monitorexit_node \
  java_global_trees[JTI_SOFT_MONITOREXIT_NODE]
#define soft_lookupinterfacemethod_node \
  java_global_trees[JTI_SOFT_LOOKUPINTERFACEMETHOD_NODE]
603 604
#define soft_lookupinterfacemethodbyname_node \
  java_global_trees[JTI_SOFT_LOOKUPINTERFACEMETHODBYNAME_NODE]
605 606 607 608 609 610
#define soft_lookupjnimethod_node \
  java_global_trees[JTI_SOFT_LOOKUPJNIMETHOD_NODE]
#define soft_getjnienvnewframe_node \
  java_global_trees[JTI_SOFT_GETJNIENVNEWFRAME_NODE]
#define soft_jnipopsystemframe_node \
  java_global_trees[JTI_SOFT_JNIPOPSYSTEMFRAME_NODE]
611 612
#define soft_unwrapjni_node \
  java_global_trees[JTI_SOFT_UNWRAPJNI_NODE]
613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629
#define soft_fmod_node \
  java_global_trees[JTI_SOFT_FMOD_NODE]
#define soft_idiv_node \
  java_global_trees[JTI_SOFT_IDIV_NODE]
#define soft_irem_node \
  java_global_trees[JTI_SOFT_IREM_NODE]
#define soft_ldiv_node \
  java_global_trees[JTI_SOFT_LDIV_NODE]
#define soft_lrem_node \
  java_global_trees[JTI_SOFT_LREM_NODE]

#define access_flags_type_node \
  java_global_trees[JTI_ACCESS_FLAGS_TYPE_NODE]

#define nativecode_ptr_array_type_node \
  java_global_trees[JTI_NATIVECODE_PTR_ARRAY_TYPE_NODE]

630 631
#define predef_filenames \
  java_global_trees[JTI_PREDEF_FILENAMES]
632 633

#define nativecode_ptr_type_node ptr_type_node
Anthony Green committed
634

635 636 637
/* The decl for "_Jv_ResolvePoolEntry".  */
extern GTY(()) tree soft_resolvepoolentry_node;

638
struct GTY(()) lang_identifier {
Anthony Green committed
639
  struct tree_identifier ignore;
640 641
  tree global_value;
  tree local_value;
Anthony Green committed
642 643 644 645 646 647

  /* If non-NULL:  An ADDR_REF to a VAR_DECL that contains
   * the Utf8Const representation of the identifier.  */
  tree utf8_ref;
};

648
/* The resulting tree type.  */
649
union GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
650
       chain_next ("(union lang_tree_node *)TREE_CHAIN (&%h.generic)")))
651 652
 
  lang_tree_node {
653 654 655 656 657 658
  union tree_node GTY ((tag ("0"), 
			desc ("tree_node_structure (&%h)"))) 
    generic;
  struct lang_identifier GTY ((tag ("1"))) identifier;
};

Anthony Green committed
659
/* Macros for access to language-specific slots in an identifier.  */
Tom Tromey committed
660
/* Unless specified, each of these slots contains a DECL node or null.  */
Anthony Green committed
661 662 663 664 665 666 667 668 669 670

/* This represents the value which the identifier has in the
   file-scope namespace.  */
#define IDENTIFIER_GLOBAL_VALUE(NODE)   \
  (((struct lang_identifier *)(NODE))->global_value)
/* This represents the value which the identifier has in the current
   scope.  */
#define IDENTIFIER_LOCAL_VALUE(NODE)    \
  (((struct lang_identifier *)(NODE))->local_value)

671 672 673
/* Given an identifier NODE, get the corresponding class.
   E.g. IDENTIFIER_CLASS_VALUE(get_identifier ("java.lang.Number"))
   is the corresponding RECORD_TYPE. */
Anthony Green committed
674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692
#define IDENTIFIER_CLASS_VALUE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)

/* Given a signature of a reference (or array) type, or a method, return the
   corresponding type (if one has been allocated).
   Do not use for primitive types, since they may be ambiguous.
   (E.g. is "I" a signature or a class name?) */
#define IDENTIFIER_SIGNATURE_TYPE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)

/* If non-NULL:  An ADDR_REF to a VAR_DECL that contains
   the Utf8Const representation of the identifier.  */
#define IDENTIFIER_UTF8_REF(NODE) \
  (((struct lang_identifier *)(NODE))->utf8_ref)

#define IDENTIFIER_UTF8_DECL(NODE) \
  TREE_OPERAND((((struct lang_identifier *)(NODE))->utf8_ref), 0)

/* For a FUNCTION_DECL, if we are compiling a .class file, then this is
   the position in the .class file of the method code.
   Specifically, this is the code itself, not the code attribute. */
693
#define DECL_CODE_OFFSET(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.code_offset)
Anthony Green committed
694
/* Similarly, the length of the bytecode. */
695
#define DECL_CODE_LENGTH(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.code_length)
Anthony Green committed
696 697
/* Similarly, the position of the LineNumberTable attribute. */
#define DECL_LINENUMBERS_OFFSET(DECL) \
698
  (DECL_LANG_SPECIFIC(DECL)->u.f.linenumbers_offset)
Anthony Green committed
699 700 701
/* Similarly, the position of the LocalVariableTable attribute
   (following the standard attribute header). */
#define DECL_LOCALVARIABLES_OFFSET(DECL) \
702
  (DECL_LANG_SPECIFIC(DECL)->u.f.localvariables_offset)
Anthony Green committed
703

704 705
#define DECL_MAX_LOCALS(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.max_locals)
#define DECL_MAX_STACK(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.max_stack)
Anthony Green committed
706
/* Number of local variable slots needed for the arguments of this function. */
707 708
#define DECL_ARG_SLOT_COUNT(DECL) \
  (DECL_LANG_SPECIFIC(DECL)->u.f.arg_slot_count)
709
/* Source location of end of function. */
710
#define DECL_FUNCTION_LAST_LINE(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.last_line)
711 712
/* List of checked thrown exceptions, as specified with the `throws'
   keyword */
713
#define DECL_FUNCTION_THROWS(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.throws_list)
714 715 716 717 718
/* For each function decl, init_test_table contains a hash table whose
   entries are keyed on class names, and whose values are local
   boolean decls.  The variables are intended to be TRUE when the
   class has been initialized in this function, and FALSE otherwise.  */
#define DECL_FUNCTION_INIT_TEST_TABLE(DECL) \
719
  (DECL_LANG_SPECIFIC(DECL)->u.f.init_test_table)
720 721 722 723
/* For each static function decl, itc contains a hash table whose
   entries are keyed on class named that are definitively initialized
   in DECL.  */
#define DECL_FUNCTION_INITIALIZED_CLASS_TABLE(DECL) \
724
  (DECL_LANG_SPECIFIC(DECL)->u.f.ict)
725

726 727 728
#define DECL_LOCAL_CNI_METHOD_P(NODE) \
    (DECL_LANG_SPECIFIC (NODE)->u.f.local_cni)

729
/* True when DECL (a field) is Synthetic.  */
730
#define FIELD_SYNTHETIC(DECL) DECL_LANG_FLAG_2 (VAR_OR_FIELD_CHECK (DECL))
731

Anthony Green committed
732 733
/* The slot number for this local variable. */
#define DECL_LOCAL_SLOT_NUMBER(NODE) \
734
  (DECL_LANG_SPECIFIC (NODE)->u.v.slot_number)
Anthony Green committed
735
/* The start (bytecode) pc for the valid range of this local variable. */
736
#define DECL_LOCAL_START_PC(NODE)  (DECL_LANG_SPECIFIC (NODE)->u.v.start_pc)
Anthony Green committed
737
/* The end (bytecode) pc for the valid range of this local variable. */
738
#define DECL_LOCAL_END_PC(NODE)    (DECL_LANG_SPECIFIC (NODE)->u.v.end_pc)
739
/* For a VAR_DECL or PARM_DECL, used to chain decls with the same
Anthony Green committed
740
   slot_number in decl_map. */
741
#define DECL_LOCAL_SLOT_CHAIN(NODE) (DECL_LANG_SPECIFIC(NODE)->u.v.slot_chain)
742
/* The class that's the owner of a dynamic binding table.  */
743
#define DECL_OWNER(NODE)            (DECL_LANG_SPECIFIC(NODE)->u.v.owner)
744
/* True if NODE is a class final field. */
745
#define FIELD_ENUM(DECL)	    (DECL_LANG_SPECIFIC (DECL)->u.v.field_enum)
746 747
/* True if NODE is a variable that is out of scope.  */
#define LOCAL_VAR_OUT_OF_SCOPE_P(NODE) \
748
    (DECL_LANG_SPECIFIC (NODE)->u.v.freed)
749 750
#define LOCAL_SLOT_P(NODE) \
    (DECL_LANG_SPECIFIC (NODE)->u.v.local_slot)
751 752 753 754 755 756

#define DECL_CLASS_FIELD_P(NODE) \
    (DECL_LANG_SPECIFIC (NODE)->u.v.class_field)
#define DECL_VTABLE_P(NODE) \
    (DECL_LANG_SPECIFIC (NODE)->u.v.vtable)

757 758 759 760
/* Create a DECL_LANG_SPECIFIC if necessary. */
#define MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC(T)			\
  if (DECL_LANG_SPECIFIC (T) == NULL)				\
    {								\
761
      DECL_LANG_SPECIFIC ((T)) = GGC_CNEW (struct lang_decl);	\
762
      DECL_LANG_SPECIFIC (T)->desc = LANG_DECL_VAR;		\
763
    }
Anthony Green committed
764

765 766 767 768 769 770 771
/* A ConstantExpression, after folding and name resolution. */
#define CONSTANT_VALUE_P(NODE) \
  (TREE_CODE (NODE) == STRING_CST \
   || (TREE_CODE (NODE) == INTEGER_CST \
       && TREE_CODE (TREE_TYPE (NODE)) != POINTER_TYPE) \
   || TREE_CODE (NODE) == REAL_CST)

Anthony Green committed
772
/* DECL_LANG_SPECIFIC for FUNCTION_DECLs. */
773
struct GTY(()) lang_decl_func {
Anthony Green committed
774 775 776 777 778 779
  /*  tree chain; not yet used. */
  long code_offset;
  int code_length;
  long linenumbers_offset;
  long localvariables_offset;
  int arg_slots;
780 781 782
  int max_locals;
  int max_stack;
  int arg_slot_count;
783
  source_location last_line;	/* End line number for a function decl */
784
  tree throws_list;		/* Exception specified by `throws' */
785 786 787 788 789 790 791

  /* Class initialization test variables  */
  htab_t GTY ((param_is (struct treetreehash_entry))) init_test_table;
				
  /* Initialized (static) Class Table */
  htab_t GTY ((param_is (union tree_node))) ict;

792
  unsigned int native : 1;	/* Nonzero if this is a native method  */
793
  unsigned int strictfp : 1;
794 795 796
  unsigned int invisible : 1;	/* Set for methods we generate
				   internally but which shouldn't be
				   written to the .class file.  */
797 798
  unsigned int dummy : 1;
  unsigned int local_cni : 1;	/* Decl needs mangle_local_cni_method.  */
799 800
  unsigned int bridge : 1;	/* Bridge method.  */
  unsigned int varargs : 1;	/* Varargs method.  */
801 802
};

803
struct GTY(()) treetreehash_entry {
804 805
  tree key;
  tree value;
Anthony Green committed
806 807
};

808
/* These represent the possible assertion_codes that can be emitted in the
809 810 811 812 813 814 815 816
   type assertion table.  */
enum
{
  JV_ASSERT_END_OF_TABLE = 0,     /* Last entry in table.  */
  JV_ASSERT_TYPES_COMPATIBLE = 1, /* Operand A is assignable to Operand B.  */
  JV_ASSERT_IS_INSTANTIABLE = 2   /* Operand A is an instantiable class.  */
};

817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838
/* Annotation types used in the reflection_data.  See
   java.lang.Class.getDeclaredAnnotations() in the runtime library for
   an example of how these are used.  */

typedef enum
{
  JV_CLASS_ATTR,
  JV_METHOD_ATTR,
  JV_FIELD_ATTR,
  JV_DONE_ATTR
} jv_attr_type;

typedef enum
{
  JV_INNER_CLASSES_KIND,
  JV_ENCLOSING_METHOD_KIND,
  JV_SIGNATURE_KIND,
  JV_ANNOTATIONS_KIND,
  JV_PARAMETER_ANNOTATIONS_KIND,
  JV_ANNOTATION_DEFAULT_KIND
} jv_attr_kind;

839
typedef struct GTY(()) type_assertion {
840 841 842 843 844
  int assertion_code; /* 'opcode' for the type of this assertion. */
  tree op1;           /* First operand. */
  tree op2;           /* Second operand. */
} type_assertion;

845 846 847
extern tree java_treetreehash_find (htab_t, tree);
extern tree * java_treetreehash_new (htab_t, tree);
extern htab_t java_treetreehash_create (size_t size, int ggc);
848

849 850
/* DECL_LANG_SPECIFIC for VAR_DECL, PARM_DECL and sometimes FIELD_DECL
   (access methods on outer class fields) and final fields. */
851
struct GTY(()) lang_decl_var {
Anthony Green committed
852 853 854 855
  int slot_number;
  int start_pc;
  int end_pc;
  tree slot_chain;
856
  tree owner;
857 858
  unsigned int freed : 1;		/* Decl is no longer in scope.  */
  unsigned int local_slot : 1;	/* Decl is a temporary in the stack frame.  */
859 860
  unsigned int class_field : 1; /* Decl needs mangle_class_field.  */
  unsigned int vtable : 1;	/* Decl needs mangle_vtable.  */
861
  unsigned int field_enum:1;	/* Field is an enum.  */
Anthony Green committed
862 863
};

864 865
/* This is what 'lang_decl' really points to.  */

866
enum lang_decl_desc {LANG_DECL_FUNC, LANG_DECL_VAR};
867

868
struct GTY(()) lang_decl {
869
  enum lang_decl_desc desc;
870 871 872 873 874
  union lang_decl_u
    {
      struct lang_decl_func GTY ((tag ("LANG_DECL_FUNC"))) f;
      struct lang_decl_var GTY ((tag ("LANG_DECL_VAR"))) v;
    } GTY ((desc ("%0.desc"))) u;
875 876
};

877 878
/* Macro to access fields in `struct lang_type'.  */

879 880 881 882 883 884 885
#define TYPE_SIGNATURE(T)	(TYPE_LANG_SPECIFIC (T)->signature)
#define TYPE_JCF(T)		(TYPE_LANG_SPECIFIC (T)->jcf)
#define TYPE_CPOOL(T)		(TYPE_LANG_SPECIFIC (T)->cpool)
#define TYPE_CPOOL_DATA_REF(T)	(TYPE_LANG_SPECIFIC (T)->cpool_data_ref)
#define MAYBE_CREATE_TYPE_TYPE_LANG_SPECIFIC(T) \
  if (TYPE_LANG_SPECIFIC ((T)) == NULL)		\
     TYPE_LANG_SPECIFIC ((T))			\
886
     = GGC_CNEW (struct lang_type);
887

888 889
#define TYPE_DUMMY(T)		(TYPE_LANG_SPECIFIC(T)->dummy_class)

890 891 892 893
#define TYPE_PACKAGE_LIST(T)     (TYPE_LANG_SPECIFIC (T)->package_list)
#define TYPE_PRIVATE_INNER_CLASS(T) (TYPE_LANG_SPECIFIC (T)->pic)
#define TYPE_PROTECTED_INNER_CLASS(T) (TYPE_LANG_SPECIFIC (T)->poic)
#define TYPE_STRICTFP(T) (TYPE_LANG_SPECIFIC (T)->strictfp)
894 895 896 897
#define TYPE_ENUM(T) 		(TYPE_LANG_SPECIFIC (T)->enum_class)
#define TYPE_SYNTHETIC(T)	(TYPE_LANG_SPECIFIC (T)->synthetic)
#define TYPE_ANNOTATION(T)	(TYPE_LANG_SPECIFIC (T)->annotation)

898
#define TYPE_USES_ASSERTIONS(T) (TYPE_LANG_SPECIFIC (T)->assertions)
899

900 901 902
#define TYPE_ATABLE_METHODS(T)   (TYPE_LANG_SPECIFIC (T)->atable_methods)
#define TYPE_ATABLE_SYMS_DECL(T) (TYPE_LANG_SPECIFIC (T)->atable_syms_decl)
#define TYPE_ATABLE_DECL(T)      (TYPE_LANG_SPECIFIC (T)->atable_decl)
903

904 905 906
#define TYPE_OTABLE_METHODS(T)   (TYPE_LANG_SPECIFIC (T)->otable_methods)
#define TYPE_OTABLE_SYMS_DECL(T) (TYPE_LANG_SPECIFIC (T)->otable_syms_decl)
#define TYPE_OTABLE_DECL(T)      (TYPE_LANG_SPECIFIC (T)->otable_decl)
907

908 909 910 911
#define TYPE_ITABLE_METHODS(T)   (TYPE_LANG_SPECIFIC (T)->itable_methods)
#define TYPE_ITABLE_SYMS_DECL(T) (TYPE_LANG_SPECIFIC (T)->itable_syms_decl)
#define TYPE_ITABLE_DECL(T)      (TYPE_LANG_SPECIFIC (T)->itable_decl)

912 913
#define TYPE_CTABLE_DECL(T)      (TYPE_LANG_SPECIFIC (T)->ctable_decl)
#define TYPE_CATCH_CLASSES(T)    (TYPE_LANG_SPECIFIC (T)->catch_classes)
914

915
#define TYPE_TO_RUNTIME_MAP(T)   (TYPE_LANG_SPECIFIC (T)->type_to_runtime_map)
916
#define TYPE_ASSERTIONS(T)   	 (TYPE_LANG_SPECIFIC (T)->type_assertions)
917
#define TYPE_PACKAGE(T)     	 (TYPE_LANG_SPECIFIC (T)->package)
918

919 920 921 922
#define TYPE_REFLECTION_DATA(T)	 (TYPE_LANG_SPECIFIC (T)->reflection_data)
#define TYPE_REFLECTION_DATASIZE(T)					\
				(TYPE_LANG_SPECIFIC (T)->reflection_datasize)

923
struct GTY(()) lang_type {
Anthony Green committed
924
  tree signature;
925 926
  struct JCF *jcf;
  struct CPool *cpool;
927
  tree cpool_data_ref;		/* Cached */
928
  tree package_list;		/* List of package names, progressive */
929

930 931
  tree otable_methods;          /* List of static decls referred to by this
				   class.  */
932 933 934
  tree otable_decl;		/* The static address table.  */
  tree otable_syms_decl;

935 936
  tree atable_methods;          /* List of static decls referred to by this
				   class.  */
937 938 939
  tree atable_decl;		/* The static address table.  */
  tree atable_syms_decl;

940 941 942 943 944
  tree itable_methods;          /* List of interfaces methods referred
				   to by this class.  */
  tree itable_decl;		/* The interfaces table.  */
  tree itable_syms_decl;

945 946
  tree ctable_decl;             /* The table of classes for the runtime
				   type matcher.  */
947 948 949
  tree catch_classes;

  htab_t GTY ((param_is (struct treetreehash_entry))) type_to_runtime_map;   
950 951
                                /* The mapping of classes to exception region
				   markers.  */
952

953 954 955 956
  htab_t GTY ((param_is (struct type_assertion))) type_assertions;
				/* Table of type assertions to be evaluated 
  				   by the runtime when this class is loaded. */

957 958 959
  tree package;			/* IDENTIFIER_NODE for package this class is
  				   a member of.  */

960 961 962 963 964 965
  unsigned char* GTY((skip)) reflection_data;	/* The raw reflection
						   data for this
						   class.  */
  long reflection_datasize;	/* The size of the raw reflection data
				   for this class, in bytes.  */

966
  unsigned pic:1;		/* Private Inner Class. */
967
  unsigned poic:1;		/* Protected Inner Class. */
968
  unsigned strictfp:1;		/* `strictfp' class.  */
969
  unsigned assertions:1;	/* Any method uses `assert'.  */
970 971 972 973
  unsigned dummy_class:1;	/* Not a real class, just a placeholder.  */
  unsigned enum_class:1;	/* Class is an enum type.  */
  unsigned synthetic:1;		/* Class is synthetic.  */
  unsigned annotation:1;	/* Class is an annotation type.  */
Anthony Green committed
974 975 976 977 978
};

#define JCF_u4 unsigned long
#define JCF_u2 unsigned short

979 980 981
/* Possible values to pass to lookup_argument_method_generic.  */
#define SEARCH_INTERFACE      1
#define SEARCH_SUPER          2
982
#define SEARCH_VISIBLE        4
983

984 985 986
/* Defined in java-except.h  */
struct eh_range;

987 988 989 990 991 992
extern void java_parse_file (int);
extern bool java_mark_addressable (tree);
extern tree java_type_for_mode (enum machine_mode, int);
extern tree java_type_for_size (unsigned int, int);
extern tree java_truthvalue_conversion (tree);
extern void add_assume_compiled (const char *, int);
993 994
extern void add_enable_assert (const char *, int);
extern bool enable_assertions (tree);
995 996 997 998
extern tree lookup_class (tree);
extern tree lookup_java_constructor (tree, tree);
extern tree lookup_java_method (tree, tree, tree);
extern tree lookup_argument_method (tree, tree, tree);
999
extern tree lookup_argument_method_generic (tree, tree, tree, int);
1000 1001 1002 1003 1004 1005 1006 1007 1008
extern int has_method (tree, tree);
extern tree promote_type (tree);
extern tree get_constant (struct JCF*, int);
extern tree get_name_constant (struct JCF*, int);
extern tree get_class_constant (struct JCF*, int);
extern tree parse_signature (struct JCF *jcf, int sig_index);
extern tree add_field (tree, tree, tree, int);
extern tree add_method (tree, int, tree, tree);
extern tree add_method_1 (tree, int, tree, tree);
1009
extern void java_hide_decl (tree);
1010 1011 1012 1013 1014 1015
extern tree make_class (void);
extern tree push_class (tree, tree);
extern tree unmangle_classname (const char *name, int name_length);
extern tree parse_signature_string (const unsigned char *, int);
extern tree get_type_from_signature (tree);
extern void layout_class (tree);
Bryce McKinlay committed
1016
extern int get_interface_method_index (tree, tree);
1017 1018
extern tree layout_class_method (tree, tree, tree, tree);
extern void layout_class_methods (tree);
1019
extern void cache_this_class_ref (tree);
1020
extern void uncache_this_class_ref (tree);
1021 1022 1023 1024
extern tree build_class_ref (tree);
extern tree build_dtable_decl (tree);
extern tree build_internal_class_name (tree);
extern tree build_constants_constructor (void);
1025
extern tree build_constant_data_ref (bool);
1026 1027
extern tree build_ref_from_constant_pool (int);
extern tree build_utf8_ref (tree);
1028 1029 1030 1031
extern tree ident_subst (const char *, int, const char *, int, int,
			 const char *);
extern tree identifier_subst (const tree, const char *, int, int,
			      const char *);
1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048
extern int global_bindings_p (void);
extern tree getdecls (void);
extern void pushlevel (int);
extern tree poplevel (int,int, int);
extern tree pushdecl (tree);
extern void java_init_decl_processing (void);
extern void java_dup_lang_specific_decl (tree);
extern tree build_java_signature (tree);
extern tree build_java_argument_signature (tree);
extern void set_java_signature (tree, tree);
extern tree build_static_field_ref (tree);
extern tree build_address_of (tree);
extern tree find_local_variable (int index, tree type, int pc);
extern tree find_stack_slot (int index, tree type);
extern tree build_prim_array_type (tree, HOST_WIDE_INT);
extern tree build_java_array_type (tree, HOST_WIDE_INT);
extern int is_compiled_class (tree);
1049
extern tree mangled_classname (const char *, tree);
1050
extern tree lookup_label (int);
1051
extern tree pop_type_0 (tree, char **);
1052 1053
extern tree pop_type (tree);
extern tree decode_newarray_type (int);
1054
extern tree lookup_field (tree *, tree);
1055 1056 1057 1058 1059 1060 1061 1062 1063
extern int is_array_type_p (tree);
extern HOST_WIDE_INT java_array_type_length (tree);
extern int read_class (tree);
extern void load_class (tree, int);

extern tree check_for_builtin (tree, tree);
extern void initialize_builtins (void);

extern tree lookup_name (tree);
1064
extern bool special_method_p (tree);
1065 1066
extern void maybe_rewrite_invocation (tree *, tree *, tree *, tree *);
extern tree build_known_method_ref (tree, tree, tree, tree, tree, tree);
1067
extern tree build_class_init (tree, tree);
1068
extern int attach_init_test_initialization_flags (void **, void *);
1069
extern tree build_invokevirtual (tree, tree, tree);
1070 1071 1072 1073
extern tree build_invokeinterface (tree, tree);
extern tree build_jni_stub (tree);
extern tree invoke_build_dtable (int, tree);
extern tree build_field_ref (tree, tree, tree);
1074
extern tree java_modify_addr_for_volatile (tree);
1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090
extern void pushdecl_force_head (tree);
extern tree build_java_binop (enum tree_code, tree, tree, tree);
extern tree build_java_soft_divmod (enum tree_code, tree, tree, tree);
extern tree binary_numeric_promotion (tree, tree, tree *, tree *);
extern tree build_java_arrayaccess (tree, tree, tree);
extern tree build_java_arraystore_check (tree, tree);
extern tree build_newarray (int, tree);
extern tree build_anewarray (tree, tree);
extern tree build_new_array (tree, tree);
extern tree build_java_array_length_access (tree);
extern tree build_java_indirect_ref (tree, tree, int);
extern tree java_check_reference (tree, int);
extern tree build_get_class (tree);
extern tree build_instanceof (tree, tree);
extern tree create_label_decl (tree);
extern tree prepare_eh_table_type (tree);
1091
extern void java_expand_catch_classes (tree);
1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
extern tree build_exception_object_ref (tree);
extern tree generate_name (void);
extern const char *lang_printable_name (tree, int);
extern tree maybe_add_interface (tree, tree);
extern void set_super_info (int, tree, tree, int);
extern void set_class_decl_access_flags (int, tree);
extern int get_access_flags_from_decl (tree);
extern int interface_of_p (tree, tree);
extern int inherits_from_p (tree, tree);
extern int common_enclosing_context_p (tree, tree);
1102
extern int common_enclosing_instance_p (tree, tree);
1103 1104
extern int enclosing_context_p (tree, tree);
extern tree build_result_decl (tree);
1105 1106
extern void set_method_index (tree decl, tree method_index);
extern tree get_method_index (tree decl);
1107 1108
extern void make_class_data (tree);
extern int alloc_name_constant (int, tree);
1109
extern int alloc_constant_fieldref (tree, tree);
1110
extern void emit_register_classes (tree *);
1111
extern tree emit_symbol_table (tree, tree, tree, tree, tree, int);
1112 1113 1114 1115 1116
extern void lang_init_source (int);
extern void write_classfile (tree);
extern char *print_int_node (tree);
extern void finish_class (void);
extern void check_for_initialization (tree, tree);
1117 1118
extern struct CPool *cpool_for_class (tree);
extern int find_class_or_string_constant (struct CPool *, int, tree);
1119 1120

extern tree pushdecl_top_level (tree);
1121 1122
extern tree pushdecl_function_level (tree);
extern tree java_replace_reference (tree, bool);
1123 1124 1125 1126
extern int alloc_class_constant (tree);
extern void init_expr_processing (void);
extern void push_super_field (tree, tree);
extern void init_class_processing (void);
1127
extern void add_type_assertion (tree, int, tree, tree);
1128 1129
extern int can_widen_reference_to (tree, tree);
extern int class_depth (tree);
1130 1131
extern int verify_jvm_instructions_new (struct JCF *, const unsigned char *,
					long);
1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142
extern void maybe_pushlevels (int);
extern void maybe_poplevels (int);
extern void force_poplevels (int);
extern int process_jvm_instruction (int, const unsigned char *, long);
extern int maybe_adjust_start_pc (struct JCF *, int, int, int);
extern void set_local_type (int, tree);
extern int merge_type_state (tree);
extern int push_type_0 (tree);
extern void push_type (tree);
extern void add_interface (tree, tree);
extern tree force_evaluation_order (tree);
1143
extern tree java_create_object (tree);
1144 1145 1146 1147 1148 1149 1150 1151
extern int verify_constant_pool (struct JCF *);
extern void start_java_method (tree);
extern void end_java_method (void);
extern void give_name_to_locals (struct JCF *);
extern void note_instructions (struct JCF *, tree);
extern void expand_byte_code (struct JCF *, tree);
extern int open_in_zip (struct JCF *, const char *, const char *, int);
extern void set_constant_value (tree, tree);
1152
#ifdef jword
1153 1154
extern int find_constant1 (struct CPool *, int, jword);
extern int find_constant2 (struct CPool *, int, jword, jword);
1155
#endif
1156 1157 1158 1159 1160 1161 1162 1163 1164
extern int find_utf8_constant (struct CPool *, tree);
extern int find_string_constant (struct CPool *, tree);
extern int find_class_constant (struct CPool *, tree);
extern int find_fieldref_index (struct CPool *, tree);
extern int find_methodref_index (struct CPool *, tree);
extern int find_methodref_with_class_index (struct CPool *, tree, tree);
extern void write_constant_pool (struct CPool *, unsigned char *, int);
extern int count_constant_pool_bytes (struct CPool *);
extern int encode_newarray_type (tree);
1165
#ifdef uint64
1166 1167
extern void format_int (char *, jlong, int);
extern void format_uint (char *, uint64, int);
1168
#endif
1169
extern void jcf_trim_old_input (struct JCF *);
1170
#ifdef BUFSIZ
1171 1172
extern void jcf_print_utf8 (FILE *, const unsigned char *, int);
extern void jcf_print_char (FILE *, int);
1173 1174
extern void jcf_print_utf8_replace (FILE *, const unsigned char *, int,
				    int, int);
1175
extern const char* open_class (const char *, struct JCF *, int, const char *);
1176
#endif
1177 1178
extern void java_debug_context (void);
extern void safe_layout_class (tree);
Kaveh R. Ghazi committed
1179

1180
extern tree get_boehm_type_descriptor (tree);
1181
extern bool uses_jv_markobj_p (tree);
1182 1183
extern bool class_has_finalize_method (tree);
extern void java_check_methods (tree);
1184

1185
extern void java_mangle_decl (tree);
1186 1187
extern tree java_mangle_class_field (struct obstack *, tree);
extern tree java_mangle_vtable (struct obstack *, tree);
1188
extern tree java_mangle_resource_name (const char *);
1189
extern void append_gpp_mangled_name (const char *, int);
1190

1191 1192
extern void add_predefined_file (tree);
extern int predefined_filename_p (tree);
1193

1194
extern tree decl_constant_value (tree);
1195

1196 1197
extern void java_mark_class_local (tree);

1198 1199
extern void java_inlining_merge_static_initializers (tree, void *);
extern void java_inlining_map_static_initializers (tree, void *);
Kaveh R. Ghazi committed
1200

1201 1202
extern void compile_resource_data (const char *name, const char *buffer, int);
extern void compile_resource_file (const char *, const char *);
1203
extern void write_resource_constructor (tree *);
1204 1205 1206 1207 1208
extern tree build_java_empty_stmt (void);
extern tree add_stmt_to_compound (tree, tree, tree);
extern tree java_add_stmt (tree);
extern tree java_add_local_var (tree decl);
extern tree *get_stmts (void);
1209
extern void register_exception_range(struct eh_range *, int, int);
1210

1211
extern void finish_method (tree);
1212 1213
extern void java_expand_body (tree);

1214
extern int get_symbol_table_index (tree, tree, tree *);
1215

1216
extern tree make_catch_class_record (tree, tree);
1217 1218 1219
extern tree emit_catch_table (tree);

extern void gen_indirect_dispatch_tables (tree type);
1220 1221 1222
extern int split_qualified_name (tree *left, tree *right, tree source);
extern int in_same_package (tree, tree);

1223 1224 1225 1226
extern void java_read_sourcefilenames (const char *fsource_filename);

extern void rewrite_reflection_indexes (void *);

1227 1228
#define DECL_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)

Anthony Green committed
1229 1230
/* Access flags etc for a method (a FUNCTION_DECL): */

1231 1232
#define METHOD_DUMMY(DECL) (DECL_LANG_SPECIFIC (DECL)->u.f.dummy)

1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245
#define METHOD_PUBLIC(DECL) DECL_LANG_FLAG_1 (FUNCTION_DECL_CHECK (DECL))
#define METHOD_PRIVATE(DECL) TREE_PRIVATE (FUNCTION_DECL_CHECK (DECL))
#define METHOD_PROTECTED(DECL) TREE_PROTECTED (FUNCTION_DECL_CHECK (DECL))
#define METHOD_STATIC(DECL) DECL_LANG_FLAG_2 (FUNCTION_DECL_CHECK (DECL))
#define METHOD_FINAL(DECL) DECL_FINAL (FUNCTION_DECL_CHECK (DECL))
#define METHOD_SYNCHRONIZED(DECL) DECL_LANG_FLAG_4 (FUNCTION_DECL_CHECK (DECL))
#define METHOD_NATIVE(DECL) \
  (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.native)
#define METHOD_ABSTRACT(DECL) DECL_LANG_FLAG_5 (FUNCTION_DECL_CHECK (DECL))
#define METHOD_STRICTFP(DECL) \
  (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.strictfp)
#define METHOD_INVISIBLE(DECL) \
  (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.invisible)
1246 1247 1248 1249
#define METHOD_BRIDGE(DECL) \
  (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.bridge)
#define METHOD_VARARGS(DECL) \
  (DECL_LANG_SPECIFIC (FUNCTION_DECL_CHECK (DECL))->u.f.varargs)
Anthony Green committed
1250

1251 1252
#define CLASS_FILE_P(NODE) TREE_LANG_FLAG_3 (NODE)

1253 1254
/* Other predicates on method decls  */

1255
#define DECL_CONSTRUCTOR_P(DECL) DECL_LANG_FLAG_7 (FUNCTION_DECL_CHECK (DECL))
Anthony Green committed
1256

1257 1258 1259 1260 1261 1262 1263 1264
#define DECL_INIT_P(DECL)   (ID_INIT_P (DECL_NAME (DECL)))
#define DECL_CLINIT_P(DECL) (ID_CLINIT_P (DECL_NAME (DECL)))

/* Predicates on method identifiers. Kept close to other macros using
   them  */
#define ID_INIT_P(ID)   ((ID) == init_identifier_node)
#define ID_CLINIT_P(ID) ((ID) == clinit_identifier_node)

1265
/* Access flags etc for variable/field (FIELD_DECL, VAR_DECL, or PARM_DECL): */
Anthony Green committed
1266

1267 1268 1269 1270 1271 1272 1273
#define FIELD_PRIVATE(DECL)	TREE_PRIVATE (VAR_OR_FIELD_CHECK (DECL))
#define FIELD_PROTECTED(DECL)	TREE_PROTECTED (VAR_OR_FIELD_CHECK (DECL))
#define FIELD_PUBLIC(DECL)	DECL_LANG_FLAG_1 (VAR_OR_FIELD_CHECK (DECL))
#define FIELD_STATIC(DECL)	TREE_STATIC (VAR_OR_FIELD_CHECK (DECL))
#define FIELD_FINAL(DECL)	DECL_FINAL (VAR_OR_FIELD_CHECK (DECL))
#define FIELD_VOLATILE(DECL)	DECL_LANG_FLAG_4 (VAR_OR_FIELD_CHECK (DECL))
#define FIELD_TRANSIENT(DECL)	DECL_LANG_FLAG_5 (VAR_OR_FIELD_CHECK (DECL))
Anthony Green committed
1274 1275 1276

/* Access flags etc for a class (a TYPE_DECL): */

1277 1278 1279 1280 1281 1282 1283 1284 1285
#define CLASS_PUBLIC(DECL)	DECL_LANG_FLAG_1 (TYPE_DECL_CHECK (DECL))
#define CLASS_FINAL(DECL)	DECL_FINAL (TYPE_DECL_CHECK (DECL))
#define CLASS_INTERFACE(DECL)	DECL_LANG_FLAG_4 (TYPE_DECL_CHECK (DECL))
#define CLASS_ABSTRACT(DECL)	DECL_LANG_FLAG_5 (TYPE_DECL_CHECK (DECL))
#define CLASS_SUPER(DECL)	DECL_LANG_FLAG_6 (TYPE_DECL_CHECK (DECL))
#define CLASS_STATIC(DECL)	DECL_LANG_FLAG_7 (TYPE_DECL_CHECK (DECL))
#define CLASS_PRIVATE(DECL)	(TYPE_PRIVATE_INNER_CLASS (TREE_TYPE (DECL)))
#define CLASS_PROTECTED(DECL)	(TYPE_PROTECTED_INNER_CLASS (TREE_TYPE (DECL)))
#define CLASS_STRICTFP(DECL)	(TYPE_STRICTFP (TREE_TYPE (DECL)))
1286
#define CLASS_ENUM(DECL)	(TYPE_ENUM (TREE_TYPE (DECL)))
1287
#define CLASS_USES_ASSERTIONS(DECL) (TYPE_USES_ASSERTIONS (TREE_TYPE (DECL)))
1288 1289
#define CLASS_SYNTHETIC(DECL)   (TYPE_SYNTHETIC (TREE_TYPE (DECL)))
#define CLASS_ANNOTATION(DECL)  (TYPE_ANNOTATION (TREE_TYPE (DECL)))
Anthony Green committed
1290

1291 1292 1293 1294 1295 1296 1297
/* @deprecated marker flag on methods, fields and classes */

#define METHOD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
#define FIELD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
#define CLASS_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
#define DECL_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)

Anthony Green committed
1298
/* The number of virtual methods in this class's dispatch table.
1299 1300
   Does not include initial two dummy entries (one points to the
   Class object, and the other is for G++ -fvtable-thunks compatibility). */
1301
#define TYPE_NVIRTUALS(TYPE) BINFO_VIRTUALS (TYPE_BINFO (TYPE))
Anthony Green committed
1302 1303 1304

/* A TREE_VEC (indexed by DECL_VINDEX) containing this class's
   virtual methods. */
1305
#define TYPE_VTABLE(TYPE) BINFO_VTABLE(TYPE_BINFO (TYPE))
Anthony Green committed
1306 1307 1308 1309

/* Use CLASS_LOADED_P? FIXME */
#define CLASS_COMPLETE_P(DECL) DECL_LANG_FLAG_2 (DECL) 

1310 1311 1312
/* A vector used to track type states for the current method.  */
extern VEC(tree, gc) *type_states;

Anthony Green committed
1313 1314 1315 1316 1317 1318 1319
/* This maps a bytecode offset (PC) to various flags,
   listed below (starting with BCODE_). */
extern char *instruction_bits;

/* True iff the byte is the start of an instruction. */
#define BCODE_INSTRUCTION_START 1

1320
/* True iff there is a jump or a return to this location. */
Anthony Green committed
1321 1322 1323 1324 1325 1326
#define BCODE_JUMP_TARGET 2

/* True iff this is the start of an exception handler. */
#define BCODE_EXCEPTION_TARGET 16

/* True iff there is a jump to this location (and it needs a label). */
1327
#define BCODE_TARGET (BCODE_JUMP_TARGET| BCODE_EXCEPTION_TARGET)
Anthony Green committed
1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339

/* True iff there is an entry in the linenumber table for this location. */
#define BCODE_HAS_LINENUMBER 32

/* True iff there is more than one entry in the linenumber table for
   this location.  (This probably does not make much sense.)  */
#define BCODE_HAS_MULTI_LINENUMBERS 64

/* True if this instruction has been verified. */
#define BCODE_VERIFIED 8

/* A pointer to the line number table of the current method. */
Kaveh R. Ghazi committed
1340
extern const unsigned char *linenumber_table;
Anthony Green committed
1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354
/* The length (in items) of the line number table. */
extern int linenumber_count;

/* In type_map, means the second half of a 64-bit double or long. */
#define TYPE_SECOND void_type_node

/* In type_map, means the null type (i.e. type of a null reference). */ 
#define TYPE_NULL ptr_type_node

/* In a type map means the type the address subroutine return address. */
#define TYPE_RETURN_ADDR return_address_type_node

/* A array mapping variable/stack slot index to the type current
   in that variable/stack slot.
1355
   TYPE_SECOND and TYPE_NULL are special cases. */
Anthony Green committed
1356 1357 1358
extern tree *type_map;

/* Map a stack index to the type currently in that slot. */
1359
#define stack_type_map (type_map + DECL_MAX_LOCALS (current_function_decl))
Anthony Green committed
1360 1361 1362 1363 1364 1365 1366 1367

/* True iff TYPE takes two variable/stack slots. */
#define TYPE_IS_WIDE(TYPE) \
  ((TYPE) == double_type_node || (TYPE) == long_type_node)

/* True iff TYPE is a Java array type. */
#define TYPE_ARRAY_P(TYPE) TYPE_LANG_FLAG_1 (TYPE)

1368 1369 1370
/* True for an INDIRECT_REF created from a 'ARRAY.length' operation. */
#define IS_ARRAY_LENGTH_ACCESS(NODE) TREE_LANG_FLAG_4 (NODE)

Anthony Green committed
1371
/* If FUNCTION_TYPE or METHOD_TYPE: cache for build_java_argument_signature. */
1372 1373
#define TYPE_ARGUMENT_SIGNATURE(TYPE) \
  (TREE_CHECK2 (TYPE, FUNCTION_TYPE, METHOD_TYPE)->type.minval)
Anthony Green committed
1374 1375 1376

/* Given an array type, give the type of the elements. */
/* FIXME this use of TREE_TYPE conflicts with something or other. */
1377
#define TYPE_ARRAY_ELEMENT(ATYPE) TREE_TYPE (ATYPE)
Anthony Green committed
1378

1379 1380 1381 1382 1383 1384 1385
/* True if class TYPE has been loaded (i.e. parsed plus laid out).
   (The check for CLASS_PARSED_P is needed because of Object and Class.) */
#define CLASS_LOADED_P(TYPE) (TYPE_SIZE (TYPE) != NULL_TREE \
			      && (CLASS_PARSED_P(TYPE) || TYPE_ARRAY_P(TYPE)))

/* True if class TYPE has been parsed (first pass). */
#define CLASS_PARSED_P(TYPE) TYPE_LANG_FLAG_2 (TYPE)
Anthony Green committed
1386

1387 1388 1389
/* True of a RECORD_TYPE of a class/interface type (not array type) */
#define CLASS_P(TYPE) TYPE_LANG_FLAG_4 (TYPE)

1390
/* True if class TYPE was requested (on command line) to be compiled.*/
1391
#define CLASS_FROM_CURRENTLY_COMPILED_P(TYPE) TYPE_LANG_FLAG_5 (TYPE)
1392

1393
/* True if class TYPE is currently being laid out. Helps in detection
1394
   of inheritance cycle occurring as a side effect of performing the
1395 1396 1397
   layout of a class.  */
#define CLASS_BEING_LAIDOUT(TYPE) TYPE_LANG_FLAG_6 (TYPE)

Anthony Green committed
1398 1399 1400
/* True if ID is a qualified named (contains . or /) */
#define QUALIFIED_P(ID) TREE_LANG_FLAG_2 (ID)

1401 1402 1403 1404 1405 1406
/* True if ID is a command-line specified filename */
#define IS_A_COMMAND_LINE_FILENAME_P(ID) TREE_LANG_FLAG_4 (ID)

/* True if filename ID has already been parsed */
#define HAS_BEEN_ALREADY_PARSED_P(ID) TREE_LANG_FLAG_5 (ID)

1407 1408 1409 1410
/* True if TYPE (a TREE_TYPE denoting a class type) was found to
   feature a finalizer method. */
#define HAS_FINALIZER_P(EXPR) TREE_LANG_FLAG_3 (EXPR)

Per Bothner committed
1411
/* True if NODE belongs to an inner class TYPE_DECL node.
1412 1413 1414 1415
   Verifies that NODE as the attributes of a decl.  */
#define INNER_CLASS_DECL_P(NODE) (TYPE_NAME (TREE_TYPE (NODE)) == NODE	\
				  && DECL_CONTEXT (NODE))

Per Bothner committed
1416
/* True if NODE belongs to an inner class RECORD_TYPE node. Checks
1417 1418 1419 1420
   that TYPE_NAME bears a decl. An array type wouldn't.  */
#define INNER_CLASS_TYPE_P(NODE) (TREE_CODE (TYPE_NAME (NODE)) == TYPE_DECL \
				  && DECL_CONTEXT (TYPE_NAME (NODE)))

1421
/* True if the class type NODE was declared in an inner scope and is
1422 1423 1424 1425
   not a toplevel class */
#define PURE_INNER_CLASS_TYPE_P(NODE) \
  (INNER_CLASS_TYPE_P (NODE) && !CLASS_STATIC (TYPE_NAME (NODE)))

Per Bothner committed
1426
/* True if NODE (a TYPE_DECL or a RECORD_TYPE) is an inner class.  */
1427 1428 1429 1430
#define INNER_CLASS_P(NODE) (TREE_CODE (NODE) == TYPE_DECL ? 		      \
			     INNER_CLASS_DECL_P (NODE) :		      \
			     (TREE_CODE (NODE) == RECORD_TYPE ? 	      \
			      INNER_CLASS_TYPE_P (NODE) : 		      \
1431
			      (abort (), 0)))
1432 1433 1434

/* On a TYPE_DECL, hold the list of inner classes defined within the
   scope of TYPE_DECL.  */
1435
#define DECL_INNER_CLASS_LIST(NODE) DECL_INITIAL (TYPE_DECL_CHECK (NODE))
1436

Anthony Green committed
1437 1438 1439 1440 1441 1442 1443 1444 1445
/* Add a FIELD_DECL to RECORD_TYPE RTYPE.
   The field has name NAME (a char*), and type FTYPE.
   Unless this is the first field, FIELD most hold the previous field.
   FIELD is set to the newly created FIELD_DECL.

   We set DECL_ARTIFICIAL so these fields get skipped by make_class_data
   if compiling java.lang.Object or java.lang.Class. */

#define PUSH_FIELD(RTYPE, FIELD, NAME, FTYPE) \
1446 1447 1448 1449 1450 1451 1452 1453
{ tree _field = build_decl (FIELD_DECL, get_identifier ((NAME)), (FTYPE)); \
  if (TYPE_FIELDS (RTYPE) == NULL_TREE)	\
    TYPE_FIELDS (RTYPE) = _field; 	\
  else					\
    TREE_CHAIN(FIELD) = _field;		\
  DECL_CONTEXT (_field) = (RTYPE);	\
  DECL_ARTIFICIAL (_field) = 1;		\
  FIELD = _field; }
Anthony Green committed
1454 1455 1456 1457

#define FINISH_RECORD(RTYPE) layout_type (RTYPE)

/* Start building a RECORD_TYPE constructor with a given TYPE in CONS. */
1458 1459 1460 1461 1462 1463 1464 1465
#define START_RECORD_CONSTRUCTOR(CONS, CTYPE) \
  do \
    { \
      CONS = build_constructor ((CTYPE), VEC_alloc (constructor_elt, gc, 0)); \
      CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (CONS), TYPE_FIELDS (CTYPE), \
			      NULL); \
    } \
  while (0)
Anthony Green committed
1466 1467 1468 1469

/* Append a field initializer to CONS for the dummy field for the inherited
   fields.  The dummy field has the given VALUE, and the same type as the
   super-class.   Must be specified before calls to PUSH_FIELD_VALUE. */
1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480
#define PUSH_SUPER_VALUE(CONS, VALUE) \
  do \
    { \
      constructor_elt *_elt___ = VEC_last (constructor_elt, \
					   CONSTRUCTOR_ELTS (CONS)); \
      tree _next___ = TREE_CHAIN (_elt___->index); \
      gcc_assert (!DECL_NAME (_elt___->index)); \
      _elt___->value = VALUE; \
      CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (CONS), _next___, NULL); \
    } \
  while (0)
Anthony Green committed
1481 1482 1483 1484

/* Append a field initializer to CONS for a field with the given VALUE.
   NAME is a char* string used for error checking;
   the initializer must be specified in order. */
1485
#define PUSH_FIELD_VALUE(CONS, NAME, VALUE) 				\
1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496
  do \
    { \
      constructor_elt *_elt___ = VEC_last (constructor_elt, \
					   CONSTRUCTOR_ELTS (CONS)); \
      tree _next___ = TREE_CHAIN (_elt___->index); \
      gcc_assert (strcmp (IDENTIFIER_POINTER (DECL_NAME (_elt___->index)), \
			  NAME) == 0); \
      _elt___->value = VALUE; \
      CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (CONS), _next___, NULL); \
    } \
  while (0)
Anthony Green committed
1497 1498 1499

/* Finish creating a record CONSTRUCTOR CONS. */
#define FINISH_RECORD_CONSTRUCTOR(CONS) \
1500
  VEC_pop (constructor_elt, CONSTRUCTOR_ELTS (CONS))
Anthony Green committed
1501

Per Bothner committed
1502 1503
#define BLOCK_EXPR_DECLS(NODE)  BLOCK_VARS(NODE)
#define BLOCK_EXPR_BODY(NODE)   BLOCK_SUBBLOCKS(NODE)
1504

1505 1506
#define BUILD_MONITOR_ENTER(WHERE, ARG)					\
  {									\
1507 1508 1509
    (WHERE) = build_call_nary (int_type_node,				\
			       build_address_of (soft_monitorenter_node), \
			       1, (ARG));				\
1510
    TREE_SIDE_EFFECTS (WHERE) = 1;					\
1511 1512
  }

1513 1514 1515 1516 1517 1518
#define BUILD_MONITOR_EXIT(WHERE, ARG)					\
  {									\
    (WHERE) = build_call_nary (int_type_node,				\
			       build_address_of (soft_monitorexit_node), \
			       1, (ARG));				\
    TREE_SIDE_EFFECTS (WHERE) = 1;					\
1519 1520
  }

1521 1522
/* True when we can perform static class initialization optimization */
#define STATIC_CLASS_INIT_OPT_P() \
1523
  (flag_optimize_sci && (optimize >= 2))
1524

1525 1526 1527 1528 1529 1530 1531 1532
/* These are the possible values for the `state' field of the class
   structure.  This must be kept in sync with libgcj.  */
enum
{
  JV_STATE_NOTHING = 0,		/* Set by compiler.  */

  JV_STATE_PRELOADING = 1,	/* Can do _Jv_FindClass.  */
  JV_STATE_LOADING = 3,		/* Has super installed.  */
1533 1534
  JV_STATE_READ = 4,		/* Has been completely defined.  */
  JV_STATE_LOADED = 5,		/* Has Miranda methods defined.  */
1535 1536 1537 1538 1539 1540 1541

  JV_STATE_COMPILED = 6,	/* This was a compiled class.  */

  JV_STATE_PREPARED = 7,	/* Layout & static init done.  */
  JV_STATE_LINKED = 9,		/* Strings interned.  */

  JV_STATE_IN_PROGRESS = 10,	/* <Clinit> running.  */
1542 1543 1544
  JV_STATE_ERROR = 12,

  JV_STATE_DONE = 14		/* Must be last.  */
1545 1546
};

1547
#undef DEBUG_JAVA_BINDING_LEVELS
1548

1549
extern void java_genericize (tree);
1550
extern int java_gimplify_expr (tree *, gimple_seq *, gimple_seq *);
1551

1552
extern FILE *finput;
1553

1554
#endif /* ! GCC_JAVA_TREE_H */