java-tree.h 56.9 KB
Newer Older
Anthony Green committed
1 2
/* Definitions for parsing and type checking for the GNU compiler for
   the Java(TM) language.
3 4
   Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
   2005, 2006, 2007 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 36 37 38 39 40 41 42 43 44
/* Java language-specific tree codes.  */
#define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
enum java_tree_code {
  __DUMMY = LAST_AND_UNUSED_TREE_CODE,
#include "java-tree.def"
  LAST_JAVA_TREE_CODE
};
#undef DEFTREECODE

struct JCF;

/* Usage of TREE_LANG_FLAG_?:
45
   2: QUALIFIED_P (in IDENTIFIER_NODE)
46
      CLASS_FILE_P (in a TRANSLATION_UNIT_DECL in current_file_list)
47
   3: HAS_FINALIZER (in RECORD_TYPE)
48
   4: IS_A_COMMAND_LINE_FILENAME_P (in IDENTIFIER_NODE)
49
      IS_ARRAY_LENGTH_ACCESS (in INDIRECT_REF)
50
   5: HAS_BEEN_ALREADY_PARSED_P (in IDENTIFIER_NODE)
Anthony Green committed
51 52 53

   Usage of TYPE_LANG_FLAG_?:
   1: TYPE_ARRAY_P (in RECORD_TYPE).
54
   2: CLASS_PARSED_P (in RECORD_TYPE).
Anthony Green committed
55
   4: CLASS_P (in RECORD_TYPE).
56
   5: CLASS_FROM_CURRENTLY_COMPILED_P (in RECORD_TYPE)
57
   6: CLASS_BEING_LAIDOUT (in RECORD_TYPE)
Anthony Green committed
58 59

   Usage of DECL_LANG_FLAG_?:
60 61 62
   0: METHOD_DEPRECATED (in FUNCTION_DECL).
      FIELD_DEPRECATED (in FIELD_DECL).
      CLASS_DEPRECATED (in TYPE_DECL).
Anthony Green committed
63 64 65 66 67
   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!)
68
      FIELD_SYNTHETIC (in FIELD_DECL)
Anthony Green committed
69 70 71 72
      CLASS_COMPLETE_P (in TYPE_DECL)
   3: METHOD_FINAL (in FUNCTION_DECL)
      FIELD_FINAL (in FIELD_DECL)
      CLASS_FINAL (in TYPE_DECL)
73
      DECL_FINAL (in any decl)
Anthony Green committed
74 75 76 77 78 79
   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)
80
   6: CLASS_SUPER (in TYPE_DECL, ACC_SUPER flag)
81
   7: DECL_CONSTRUCTOR_P (in FUNCTION_DECL).
82
      CLASS_STATIC (in TYPE_DECL)
Anthony Green committed
83 84
*/

85 86 87
#define VAR_OR_FIELD_CHECK(DECL) \
  TREE_CHECK3 (DECL, FIELD_DECL, VAR_DECL, PARM_DECL)

Anthony Green committed
88 89
/* True if the class whose TYPE_BINFO this is has a superclass.
   (True of all classes except Object.) */
90
#define CLASS_HAS_SUPER_FLAG(BINFO) BINFO_FLAG_1 (BINFO)
91 92
#define CLASS_HAS_SUPER(TYPE) \
  (TYPE_BINFO (TYPE) && CLASS_HAS_SUPER_FLAG (TYPE_BINFO (TYPE)))
Anthony Green committed
93 94

/* Return the supertype of class TYPE, or NULL_TREE is it has none. */
95 96 97
#define CLASSTYPE_SUPER(TYPE) (CLASS_HAS_SUPER (TYPE) \
  ? BINFO_TYPE (BINFO_BASE_BINFO (TYPE_BINFO (TYPE), 0)) \
  : NULL_TREE)
Anthony Green committed
98 99

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

103 104 105 106
/* 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.  */
107 108
#define current_class \
  java_global_trees[JTI_CURRENT_CLASS]
Anthony Green committed
109

110 111 112 113
/* The class we are currently generating.  Really.  */
#define output_class \
  java_global_trees[JTI_OUTPUT_CLASS]

114
/* List of all class DECLs seen so far.  */
115 116
#define all_class_list \
  java_global_trees[JTI_ALL_CLASS_LIST]
117

118 119
/* List of virtual decls referred to by this translation unit, used to
   generate virtual method offset symbol table.  */
120

121 122 123
/* The virtual offset table.  This is emitted as uninitialized data of
   the required length, and filled out at run time during class
   linking. */
124

125 126
/* The virtual offset symbol table. Used by the runtime to fill out
   the otable. */
127

128 129
extern int flag_filelist_file;

Anthony Green committed
130 131 132 133
/* When nonzero, permit the use of the assert keyword.  */

extern int flag_assert;

134
/* When nonzero, assume all native functions are implemented with
135 136 137 138
   JNI, not CNI.  */

extern int flag_jni;

139
/* When nonzero, always check for a non gcj generated classes archive.  */
140 141 142

extern int flag_force_classes_archive_check;

143
/* Resource name.  */
144
extern const char *resource_name;
145

146 147 148 149
/* Turned to 1 if -Wall was encountered. See lang.c for their meanings.  */
extern int flag_wall;
extern int flag_redundant;

150
/* When nonzero, warn when source file is newer than matching class
151 152 153
   file.  */
extern int flag_newer;

154
/* When nonzero, call a library routine to do integer divisions. */
155 156
extern int flag_use_divide_subroutine;

157
/* When nonzero, generate code for the Boehm GC.  */
158 159
extern int flag_use_boehm_gc;

160
/* When nonzero, assume the runtime uses a hash table to map an
161 162 163
   object to its synchronization structure.  */
extern int flag_hash_synchronization;

164
/* When nonzero, generate checks for references to NULL.  */
165 166
extern int flag_check_references;

167 168 169 170
/* Used through STATIC_CLASS_INIT_OPT_P to check whether static
   initialization optimization should be performed.  */
extern int flag_optimize_sci;

171 172 173
/* Generate instances of Class at runtime.  */
extern int flag_indirect_classes;

174
/* When nonzero, use offset tables for virtual method calls
175 176 177
   in order to improve binary compatibility. */
extern int flag_indirect_dispatch;

178 179 180
/* When zero, don't generate runtime array store checks. */
extern int flag_store_check;

181 182 183
/* When nonzero, generate only a limited set of class meta-data. */
extern int flag_reduced_reflection;

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

187 188 189 190
/* Set to nonzero value in order to emit class initialization code
   before static field references.  */
extern int always_initialize_class_p;

191 192
extern int flag_verify_invocations;

193 194 195 196 197 198
/* 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
199 200 201 202
typedef struct CPool constant_pool;

#define CONSTANT_ResolvedFlag 16

203 204 205 206 207
/* 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
208 209 210 211 212 213
/* 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)

214
#define CPOOL_UTF(CPOOL, INDEX) ((CPOOL)->data[INDEX].t)
Anthony Green committed
215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233

/* 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))

234 235
extern GTY(()) tree java_lang_cloneable_identifier_node;
extern GTY(()) tree java_io_serializable_identifier_node;
236
extern GTY(()) tree gcj_abi_version;
237

238 239 240 241 242 243
/* 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;

244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260
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,
  
261 262 263
  JTI_DECIMAL_INT_MAX_NODE,
  JTI_DECIMAL_LONG_MAX_NODE,

264 265 266 267 268 269
  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,
270
  JTI_EXCEPTION_TYPE_NODE,
271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297
  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,       
298
  JTI_FINALIZE_IDENTIFIER_NODE,
299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329
  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,
330 331
  JTI_OTABLE_TYPE,
  JTI_OTABLE_PTR_TYPE,
332 333
  JTI_ATABLE_TYPE,
  JTI_ATABLE_PTR_TYPE,
334 335
  JTI_ITABLE_TYPE,
  JTI_ITABLE_PTR_TYPE,
336 337 338
  JTI_SYMBOL_TYPE,
  JTI_SYMBOLS_ARRAY_TYPE,
  JTI_SYMBOLS_ARRAY_PTR_TYPE,
339 340
  JTI_ASSERTION_ENTRY_TYPE,
  JTI_ASSERTION_TABLE_TYPE,
341 342 343

  JTI_END_PARAMS_NODE,

344
  JTI_THROW_NODE,
345
  JTI_ALLOC_OBJECT_NODE,
346
  JTI_ALLOC_NO_FINALIZER_NODE,
347 348 349 350 351 352 353 354
  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,
355
  JTI_SOFT_ABSTRACTMETHOD_NODE,
356
  JTI_SOFT_NOSUCHFIELD_NODE,
357 358 359 360
  JTI_SOFT_CHECKARRAYSTORE_NODE,
  JTI_SOFT_MONITORENTER_NODE,
  JTI_SOFT_MONITOREXIT_NODE,
  JTI_SOFT_LOOKUPINTERFACEMETHOD_NODE,
361
  JTI_SOFT_LOOKUPINTERFACEMETHODBYNAME_NODE,
362 363 364
  JTI_SOFT_LOOKUPJNIMETHOD_NODE,
  JTI_SOFT_GETJNIENVNEWFRAME_NODE,
  JTI_SOFT_JNIPOPSYSTEMFRAME_NODE,
365
  JTI_SOFT_UNWRAPJNI_NODE,
366 367 368 369 370 371 372 373 374 375 376 377
  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,
378
  JTI_OUTPUT_CLASS,
379 380
  JTI_ALL_CLASS_LIST,

381 382
  JTI_PREDEF_FILENAMES,

383 384 385
  JTI_MAX
};

386
extern GTY(()) tree java_global_trees[JTI_MAX];
387

Anthony Green committed
388 389 390
/* "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). */
391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417
#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]

418 419 420 421 422
#define decimal_int_max \
  java_global_trees[JTI_DECIMAL_INT_MAX_NODE]
#define decimal_long_max \
  java_global_trees[JTI_DECIMAL_LONG_MAX_NODE]

423 424 425 426 427 428 429 430 431 432 433 434
#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]
435 436
#define exception_type_node \
  java_global_trees[JTI_EXCEPTION_TYPE_NODE]
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 481 482 483 484 485 486 487 488 489
#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" */
490 491
#define finalize_identifier_node \
  java_global_trees[JTI_FINALIZE_IDENTIFIER_NODE]  /* "finalize" */
492 493 494 495
#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
496
/* The type of the return address of a subroutine. */
497 498
#define return_address_type_node \
  java_global_trees[JTI_RETURN_ADDRESS_TYPE_NODE]
Anthony Green committed
499 500

/* Integer constants not declared in tree.h. */
501 502 503 504 505 506 507 508 509 510
#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
511 512

/* The type for struct methodtable. */
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 542 543 544 545 546 547 548 549 550
#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]
551 552
#define otable_type \
  java_global_trees[JTI_OTABLE_TYPE]
553 554
#define atable_type \
  java_global_trees[JTI_ATABLE_TYPE]
555 556
#define itable_type \
  java_global_trees[JTI_ITABLE_TYPE]
557 558
#define otable_ptr_type \
  java_global_trees[JTI_OTABLE_PTR_TYPE]
559 560
#define atable_ptr_type \
  java_global_trees[JTI_ATABLE_PTR_TYPE]
561 562
#define itable_ptr_type \
  java_global_trees[JTI_ITABLE_PTR_TYPE]
563 564 565 566 567
#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 \
568 569 570 571 572
  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]
573 574 575

#define end_params_node \
  java_global_trees[JTI_END_PARAMS_NODE]
576

Anthony Green committed
577
/* References to internal libjava functions we use. */
578 579
#define throw_node \
  java_global_trees[JTI_THROW_NODE]
580 581
#define alloc_object_node \
  java_global_trees[JTI_ALLOC_OBJECT_NODE]
582 583
#define alloc_no_finalizer_node \
  java_global_trees[JTI_ALLOC_NO_FINALIZER_NODE]
584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599
#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]
600 601
#define soft_abstractmethod_node \
  java_global_trees[JTI_SOFT_ABSTRACTMETHOD_NODE]
602 603
#define soft_nosuchfield_node \
  java_global_trees[JTI_SOFT_NOSUCHFIELD_NODE]
604 605 606 607 608 609 610 611
#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]
612 613
#define soft_lookupinterfacemethodbyname_node \
  java_global_trees[JTI_SOFT_LOOKUPINTERFACEMETHODBYNAME_NODE]
614 615 616 617 618 619
#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]
620 621
#define soft_unwrapjni_node \
  java_global_trees[JTI_SOFT_UNWRAPJNI_NODE]
622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638
#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]

639 640
#define predef_filenames \
  java_global_trees[JTI_PREDEF_FILENAMES]
641 642

#define nativecode_ptr_type_node ptr_type_node
Anthony Green committed
643

644 645 646
/* The decl for "_Jv_ResolvePoolEntry".  */
extern GTY(()) tree soft_resolvepoolentry_node;

647
struct lang_identifier GTY(())
Anthony Green committed
648 649
{
  struct tree_identifier ignore;
650 651
  tree global_value;
  tree local_value;
Anthony Green committed
652 653 654 655 656 657

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

658 659
/* The resulting tree type.  */
union lang_tree_node 
Geoffrey Keating committed
660
  GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
661
       chain_next ("(union lang_tree_node *)GENERIC_NEXT (&%h.generic)")))
662

663 664 665 666 667 668 669
{
  union tree_node GTY ((tag ("0"), 
			desc ("tree_node_structure (&%h)"))) 
    generic;
  struct lang_identifier GTY ((tag ("1"))) identifier;
};

Anthony Green committed
670
/* Macros for access to language-specific slots in an identifier.  */
Tom Tromey committed
671
/* Unless specified, each of these slots contains a DECL node or null.  */
Anthony Green committed
672 673 674 675 676 677 678 679 680 681

/* 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)

682 683 684
/* 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
685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703
#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. */
704
#define DECL_CODE_OFFSET(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.code_offset)
Anthony Green committed
705
/* Similarly, the length of the bytecode. */
706
#define DECL_CODE_LENGTH(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.code_length)
Anthony Green committed
707 708
/* Similarly, the position of the LineNumberTable attribute. */
#define DECL_LINENUMBERS_OFFSET(DECL) \
709
  (DECL_LANG_SPECIFIC(DECL)->u.f.linenumbers_offset)
Anthony Green committed
710 711 712
/* Similarly, the position of the LocalVariableTable attribute
   (following the standard attribute header). */
#define DECL_LOCALVARIABLES_OFFSET(DECL) \
713
  (DECL_LANG_SPECIFIC(DECL)->u.f.localvariables_offset)
Anthony Green committed
714

715 716
#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
717
/* Number of local variable slots needed for the arguments of this function. */
718 719
#define DECL_ARG_SLOT_COUNT(DECL) \
  (DECL_LANG_SPECIFIC(DECL)->u.f.arg_slot_count)
720
/* Source location of end of function. */
721
#define DECL_FUNCTION_LAST_LINE(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.last_line)
722 723
/* List of checked thrown exceptions, as specified with the `throws'
   keyword */
724
#define DECL_FUNCTION_THROWS(DECL) (DECL_LANG_SPECIFIC(DECL)->u.f.throws_list)
725 726 727 728 729
/* 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) \
730
  (DECL_LANG_SPECIFIC(DECL)->u.f.init_test_table)
731 732 733 734
/* 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) \
735
  (DECL_LANG_SPECIFIC(DECL)->u.f.ict)
736

737 738 739
#define DECL_LOCAL_CNI_METHOD_P(NODE) \
    (DECL_LANG_SPECIFIC (NODE)->u.f.local_cni)

740
/* True when DECL (a field) is Synthetic.  */
741
#define FIELD_SYNTHETIC(DECL) DECL_LANG_FLAG_2 (VAR_OR_FIELD_CHECK (DECL))
742

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

#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)

768 769 770 771 772
/* Create a DECL_LANG_SPECIFIC if necessary. */
#define MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC(T)			\
  if (DECL_LANG_SPECIFIC (T) == NULL)				\
    {								\
      DECL_LANG_SPECIFIC ((T))					\
773
	= ggc_alloc_cleared (sizeof (struct lang_decl));	\
774
      DECL_LANG_SPECIFIC (T)->desc = LANG_DECL_VAR;		\
775
    }
Anthony Green committed
776

777 778 779 780 781 782 783
/* 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
784
/* DECL_LANG_SPECIFIC for FUNCTION_DECLs. */
785
struct lang_decl_func GTY(())
Anthony Green committed
786 787 788 789 790 791 792
{
  /*  tree chain; not yet used. */
  long code_offset;
  int code_length;
  long linenumbers_offset;
  long localvariables_offset;
  int arg_slots;
793 794 795
  int max_locals;
  int max_stack;
  int arg_slot_count;
796 797
  /* A temporary lie for the sake of ggc.  Actually, last_line is
     only a source_location if USE_MAPPED_LOCATION.  FIXME.  */
798
  source_location last_line;	/* End line number for a function decl */
799
  tree throws_list;		/* Exception specified by `throws' */
800 801 802 803 804 805 806

  /* 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;

807
  unsigned int native : 1;	/* Nonzero if this is a native method  */
808
  unsigned int strictfp : 1;
809 810 811
  unsigned int invisible : 1;	/* Set for methods we generate
				   internally but which shouldn't be
				   written to the .class file.  */
812 813
  unsigned int dummy : 1;
  unsigned int local_cni : 1;	/* Decl needs mangle_local_cni_method.  */
814 815
  unsigned int bridge : 1;	/* Bridge method.  */
  unsigned int varargs : 1;	/* Varargs method.  */
816 817
};

818
struct treetreehash_entry GTY(())
819
{
820 821
  tree key;
  tree value;
Anthony Green committed
822 823
};

824
/* These represent the possible assertion_codes that can be emitted in the
825 826 827 828 829 830 831 832
   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.  */
};

833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854
/* 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;

855 856 857 858 859 860 861
typedef struct type_assertion GTY(())
{
  int assertion_code; /* 'opcode' for the type of this assertion. */
  tree op1;           /* First operand. */
  tree op2;           /* Second operand. */
} type_assertion;

862 863 864
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);
865

866 867
/* DECL_LANG_SPECIFIC for VAR_DECL, PARM_DECL and sometimes FIELD_DECL
   (access methods on outer class fields) and final fields. */
868
struct lang_decl_var GTY(())
Anthony Green committed
869 870 871 872 873
{
  int slot_number;
  int start_pc;
  int end_pc;
  tree slot_chain;
874
  tree owner;
875 876
  unsigned int freed : 1;		/* Decl is no longer in scope.  */
  unsigned int local_slot : 1;	/* Decl is a temporary in the stack frame.  */
877 878
  unsigned int class_field : 1; /* Decl needs mangle_class_field.  */
  unsigned int vtable : 1;	/* Decl needs mangle_vtable.  */
879
  unsigned int field_enum:1;	/* Field is an enum.  */
Anthony Green committed
880 881
};

882 883
/* This is what 'lang_decl' really points to.  */

884
enum lang_decl_desc {LANG_DECL_FUNC, LANG_DECL_VAR};
885 886 887 888

struct lang_decl GTY(())
{
  enum lang_decl_desc desc;
889 890 891 892 893
  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;
894 895
};

896 897
/* Macro to access fields in `struct lang_type'.  */

898 899 900 901 902 903 904 905 906
#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))			\
     = ggc_alloc_cleared (sizeof (struct lang_type));

907 908
#define TYPE_DUMMY(T)		(TYPE_LANG_SPECIFIC(T)->dummy_class)

909 910 911 912
#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)
913 914 915 916
#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)

917
#define TYPE_USES_ASSERTIONS(T) (TYPE_LANG_SPECIFIC (T)->assertions)
918

919 920 921
#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)
922

923 924 925
#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)
926

927 928 929 930
#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)

931 932
#define TYPE_CTABLE_DECL(T)      (TYPE_LANG_SPECIFIC (T)->ctable_decl)
#define TYPE_CATCH_CLASSES(T)    (TYPE_LANG_SPECIFIC (T)->catch_classes)
933

934
#define TYPE_TO_RUNTIME_MAP(T)   (TYPE_LANG_SPECIFIC (T)->type_to_runtime_map)
935
#define TYPE_ASSERTIONS(T)   	 (TYPE_LANG_SPECIFIC (T)->type_assertions)
936
#define TYPE_PACKAGE(T)     	 (TYPE_LANG_SPECIFIC (T)->package)
937

938 939 940 941
#define TYPE_REFLECTION_DATA(T)	 (TYPE_LANG_SPECIFIC (T)->reflection_data)
#define TYPE_REFLECTION_DATASIZE(T)					\
				(TYPE_LANG_SPECIFIC (T)->reflection_datasize)

942
struct lang_type GTY(())
Anthony Green committed
943 944
{
  tree signature;
945 946
  struct JCF *jcf;
  struct CPool *cpool;
947
  tree cpool_data_ref;		/* Cached */
948
  tree package_list;		/* List of package names, progressive */
949

950 951
  tree otable_methods;          /* List of static decls referred to by this
				   class.  */
952 953 954
  tree otable_decl;		/* The static address table.  */
  tree otable_syms_decl;

955 956
  tree atable_methods;          /* List of static decls referred to by this
				   class.  */
957 958 959
  tree atable_decl;		/* The static address table.  */
  tree atable_syms_decl;

960 961 962 963 964
  tree itable_methods;          /* List of interfaces methods referred
				   to by this class.  */
  tree itable_decl;		/* The interfaces table.  */
  tree itable_syms_decl;

965 966
  tree ctable_decl;             /* The table of classes for the runtime
				   type matcher.  */
967 968 969
  tree catch_classes;

  htab_t GTY ((param_is (struct treetreehash_entry))) type_to_runtime_map;   
970 971
                                /* The mapping of classes to exception region
				   markers.  */
972

973 974 975 976
  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. */

977 978 979
  tree package;			/* IDENTIFIER_NODE for package this class is
  				   a member of.  */

980 981 982 983 984 985
  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.  */

986
  unsigned pic:1;		/* Private Inner Class. */
987
  unsigned poic:1;		/* Protected Inner Class. */
988
  unsigned strictfp:1;		/* `strictfp' class.  */
989
  unsigned assertions:1;	/* Any method uses `assert'.  */
990 991 992 993
  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
994 995 996 997 998
};

#define JCF_u4 unsigned long
#define JCF_u2 unsigned short

999 1000 1001
/* Possible values to pass to lookup_argument_method_generic.  */
#define SEARCH_INTERFACE      1
#define SEARCH_SUPER          2
1002
#define SEARCH_VISIBLE        4
1003

1004 1005 1006
/* Defined in java-except.h  */
struct eh_range;

1007 1008 1009 1010 1011 1012
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);
1013 1014
extern void add_enable_assert (const char *, int);
extern bool enable_assertions (tree);
1015 1016 1017 1018
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);
1019
extern tree lookup_argument_method_generic (tree, tree, tree, int);
1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034
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);
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
1035
extern int get_interface_method_index (tree, tree);
1036 1037
extern tree layout_class_method (tree, tree, tree, tree);
extern void layout_class_methods (tree);
1038
extern void cache_this_class_ref (tree);
1039
extern void uncache_this_class_ref (tree);
1040 1041 1042 1043
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);
1044
extern tree build_constant_data_ref (bool);
1045 1046
extern tree build_ref_from_constant_pool (int);
extern tree build_utf8_ref (tree);
1047 1048 1049 1050
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 *);
1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068
extern int global_bindings_p (void);
extern tree getdecls (void);
extern void pushlevel (int);
extern tree poplevel (int,int, int);
extern void insert_block (tree);
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);
1069
extern tree mangled_classname (const char *, tree);
1070
extern tree lookup_label (int);
1071
extern tree pop_type_0 (tree, char **);
1072 1073
extern tree pop_type (tree);
extern tree decode_newarray_type (int);
1074
extern tree lookup_field (tree *, tree);
1075 1076 1077 1078 1079 1080 1081 1082 1083
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);
1084
extern bool special_method_p (tree);
1085 1086
extern void maybe_rewrite_invocation (tree *, tree *, tree *, tree *);
extern tree build_known_method_ref (tree, tree, tree, tree, tree, tree);
1087
extern tree build_class_init (tree, tree);
1088
extern int attach_init_test_initialization_flags (void **, void *);
1089
extern tree build_invokevirtual (tree, tree, tree);
1090 1091 1092 1093
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);
1094
extern tree java_modify_addr_for_volatile (tree);
1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110
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);
1111
extern void java_expand_catch_classes (tree);
1112 1113 1114 1115 1116 1117 1118 1119 1120 1121
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);
1122
extern int common_enclosing_instance_p (tree, tree);
1123 1124
extern int enclosing_context_p (tree, tree);
extern tree build_result_decl (tree);
1125 1126
extern void set_method_index (tree decl, tree method_index);
extern tree get_method_index (tree decl);
1127 1128
extern void make_class_data (tree);
extern int alloc_name_constant (int, tree);
1129
extern int alloc_constant_fieldref (tree, tree);
1130
extern void emit_register_classes (tree *);
1131
extern tree emit_symbol_table (tree, tree, tree, tree, tree, int);
1132 1133 1134 1135 1136
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);
1137 1138
extern struct CPool *cpool_for_class (tree);
extern int find_class_or_string_constant (struct CPool *, int, tree);
1139 1140

extern tree pushdecl_top_level (tree);
1141 1142
extern tree pushdecl_function_level (tree);
extern tree java_replace_reference (tree, bool);
1143 1144 1145 1146
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);
1147
extern void add_type_assertion (tree, int, tree, tree);
1148 1149
extern int can_widen_reference_to (tree, tree);
extern int class_depth (tree);
1150 1151
extern int verify_jvm_instructions_new (struct JCF *, const unsigned char *,
					long);
1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162
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);
1163
extern tree java_create_object (tree);
1164 1165 1166 1167 1168 1169 1170 1171
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);
1172
#ifdef jword
1173 1174
extern int find_constant1 (struct CPool *, int, jword);
extern int find_constant2 (struct CPool *, int, jword, jword);
1175
#endif
1176 1177 1178 1179 1180 1181 1182 1183 1184
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);
1185
#ifdef uint64
1186 1187
extern void format_int (char *, jlong, int);
extern void format_uint (char *, uint64, int);
1188
#endif
1189
extern void jcf_trim_old_input (struct JCF *);
1190
#ifdef BUFSIZ
1191 1192
extern void jcf_print_utf8 (FILE *, const unsigned char *, int);
extern void jcf_print_char (FILE *, int);
1193 1194
extern void jcf_print_utf8_replace (FILE *, const unsigned char *, int,
				    int, int);
1195
extern const char* open_class (const char *, struct JCF *, int, const char *);
1196
#endif
1197 1198
extern void java_debug_context (void);
extern void safe_layout_class (tree);
Kaveh R. Ghazi committed
1199

1200
extern tree get_boehm_type_descriptor (tree);
1201
extern bool uses_jv_markobj_p (tree);
1202 1203
extern bool class_has_finalize_method (tree);
extern void java_check_methods (tree);
1204

1205
extern void java_mangle_decl (tree);
1206 1207 1208
extern tree java_mangle_class_field (struct obstack *, tree);
extern tree java_mangle_vtable (struct obstack *, tree);
extern void append_gpp_mangled_name (const char *, int);
1209

1210 1211
extern void add_predefined_file (tree);
extern int predefined_filename_p (tree);
1212

1213
extern tree decl_constant_value (tree);
1214

1215 1216
extern void java_mark_class_local (tree);

1217 1218
extern void java_inlining_merge_static_initializers (tree, void *);
extern void java_inlining_map_static_initializers (tree, void *);
Kaveh R. Ghazi committed
1219

1220 1221
extern void compile_resource_data (const char *name, const char *buffer, int);
extern void compile_resource_file (const char *, const char *);
1222
extern void write_resource_constructor (tree *);
1223 1224 1225 1226 1227
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);
1228
extern void register_exception_range(struct eh_range *, int, int);
1229

1230
extern void finish_method (tree);
1231 1232
extern void java_expand_body (tree);

1233
extern int get_symbol_table_index (tree, tree, tree *);
1234

1235
extern tree make_catch_class_record (tree, tree);
1236 1237 1238
extern tree emit_catch_table (tree);

extern void gen_indirect_dispatch_tables (tree type);
1239 1240 1241
extern int split_qualified_name (tree *left, tree *right, tree source);
extern int in_same_package (tree, tree);

1242 1243 1244 1245
extern void java_read_sourcefilenames (const char *fsource_filename);

extern void rewrite_reflection_indexes (void *);

1246 1247
#define DECL_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)

Anthony Green committed
1248 1249
/* Access flags etc for a method (a FUNCTION_DECL): */

1250 1251
#define METHOD_DUMMY(DECL) (DECL_LANG_SPECIFIC (DECL)->u.f.dummy)

1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264
#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)
1265 1266 1267 1268
#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
1269

1270 1271
#define CLASS_FILE_P(NODE) TREE_LANG_FLAG_3 (NODE)

1272 1273
/* Other predicates on method decls  */

1274
#define DECL_CONSTRUCTOR_P(DECL) DECL_LANG_FLAG_7 (FUNCTION_DECL_CHECK (DECL))
Anthony Green committed
1275

1276 1277 1278 1279 1280 1281 1282 1283
#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)

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

1286 1287 1288 1289 1290 1291 1292
#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
1293 1294 1295

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

1296 1297 1298 1299 1300 1301 1302 1303 1304
#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)))
1305
#define CLASS_ENUM(DECL)	(TYPE_ENUM (TREE_TYPE (DECL)))
1306
#define CLASS_USES_ASSERTIONS(DECL) (TYPE_USES_ASSERTIONS (TREE_TYPE (DECL)))
1307 1308
#define CLASS_SYNTHETIC(DECL)   (TYPE_SYNTHETIC (TREE_TYPE (DECL)))
#define CLASS_ANNOTATION(DECL)  (TYPE_ANNOTATION (TREE_TYPE (DECL)))
Anthony Green committed
1309

1310 1311 1312 1313 1314 1315 1316
/* @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
1317
/* The number of virtual methods in this class's dispatch table.
1318 1319
   Does not include initial two dummy entries (one points to the
   Class object, and the other is for G++ -fvtable-thunks compatibility). */
1320
#define TYPE_NVIRTUALS(TYPE) BINFO_VIRTUALS (TYPE_BINFO (TYPE))
Anthony Green committed
1321 1322 1323

/* A TREE_VEC (indexed by DECL_VINDEX) containing this class's
   virtual methods. */
1324
#define TYPE_VTABLE(TYPE) BINFO_VTABLE(TYPE_BINFO (TYPE))
Anthony Green committed
1325 1326 1327 1328

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

1329 1330 1331
/* A vector used to track type states for the current method.  */
extern VEC(tree, gc) *type_states;

Anthony Green committed
1332 1333 1334 1335 1336 1337 1338
/* 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

1339
/* True iff there is a jump or a return to this location. */
Anthony Green committed
1340 1341 1342 1343 1344 1345
#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). */
1346
#define BCODE_TARGET (BCODE_JUMP_TARGET| BCODE_EXCEPTION_TARGET)
Anthony Green committed
1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358

/* 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
1359
extern const unsigned char *linenumber_table;
Anthony Green committed
1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373
/* 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.
1374
   TYPE_SECOND and TYPE_NULL are special cases. */
Anthony Green committed
1375 1376 1377
extern tree *type_map;

/* Map a stack index to the type currently in that slot. */
1378
#define stack_type_map (type_map + DECL_MAX_LOCALS (current_function_decl))
Anthony Green committed
1379 1380 1381 1382 1383 1384 1385 1386

/* 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)

1387 1388 1389
/* 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
1390
/* If FUNCTION_TYPE or METHOD_TYPE: cache for build_java_argument_signature. */
1391 1392
#define TYPE_ARGUMENT_SIGNATURE(TYPE) \
  (TREE_CHECK2 (TYPE, FUNCTION_TYPE, METHOD_TYPE)->type.minval)
Anthony Green committed
1393 1394 1395

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

1398 1399 1400 1401 1402 1403 1404
/* 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
1405

1406 1407 1408
/* True of a RECORD_TYPE of a class/interface type (not array type) */
#define CLASS_P(TYPE) TYPE_LANG_FLAG_4 (TYPE)

1409
/* True if class TYPE was requested (on command line) to be compiled.*/
1410
#define CLASS_FROM_CURRENTLY_COMPILED_P(TYPE) TYPE_LANG_FLAG_5 (TYPE)
1411

1412
/* True if class TYPE is currently being laid out. Helps in detection
1413
   of inheritance cycle occurring as a side effect of performing the
1414 1415 1416
   layout of a class.  */
#define CLASS_BEING_LAIDOUT(TYPE) TYPE_LANG_FLAG_6 (TYPE)

Anthony Green committed
1417 1418 1419
/* True if ID is a qualified named (contains . or /) */
#define QUALIFIED_P(ID) TREE_LANG_FLAG_2 (ID)

1420 1421 1422 1423 1424 1425
/* 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)

1426 1427 1428 1429
/* 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
1430
/* True if NODE belongs to an inner class TYPE_DECL node.
1431 1432 1433 1434
   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
1435
/* True if NODE belongs to an inner class RECORD_TYPE node. Checks
1436 1437 1438 1439
   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)))

1440
/* True if the class type NODE was declared in an inner scope and is
1441 1442 1443 1444
   not a toplevel class */
#define PURE_INNER_CLASS_TYPE_P(NODE) \
  (INNER_CLASS_TYPE_P (NODE) && !CLASS_STATIC (TYPE_NAME (NODE)))

Per Bothner committed
1445
/* True if NODE (a TYPE_DECL or a RECORD_TYPE) is an inner class.  */
1446 1447 1448 1449
#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) : 		      \
1450
			      (abort (), 0)))
1451 1452 1453

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

Anthony Green committed
1456 1457 1458 1459 1460 1461 1462 1463 1464
/* 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) \
1465 1466 1467 1468 1469 1470 1471 1472
{ 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
1473 1474 1475 1476

#define FINISH_RECORD(RTYPE) layout_type (RTYPE)

/* Start building a RECORD_TYPE constructor with a given TYPE in CONS. */
1477 1478 1479 1480 1481 1482 1483 1484
#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
1485 1486 1487 1488

/* 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. */
1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499
#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
1500 1501 1502 1503

/* 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. */
1504
#define PUSH_FIELD_VALUE(CONS, NAME, VALUE) 				\
1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515
  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
1516 1517 1518

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

Per Bothner committed
1521 1522
#define BLOCK_EXPR_DECLS(NODE)  BLOCK_VARS(NODE)
#define BLOCK_EXPR_BODY(NODE)   BLOCK_SUBBLOCKS(NODE)
1523

1524 1525
#define BUILD_MONITOR_ENTER(WHERE, ARG)					\
  {									\
1526 1527 1528
    (WHERE) = build_call_nary (int_type_node,				\
			       build_address_of (soft_monitorenter_node), \
			       1, (ARG));				\
1529
    TREE_SIDE_EFFECTS (WHERE) = 1;					\
1530 1531
  }

1532 1533 1534 1535 1536 1537
#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;					\
1538 1539
  }

1540 1541
/* True when we can perform static class initialization optimization */
#define STATIC_CLASS_INIT_OPT_P() \
1542
  (flag_optimize_sci && (optimize >= 2))
1543

1544 1545 1546 1547 1548 1549 1550 1551
/* 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.  */
1552 1553
  JV_STATE_READ = 4,		/* Has been completely defined.  */
  JV_STATE_LOADED = 5,		/* Has Miranda methods defined.  */
1554 1555 1556 1557 1558 1559 1560

  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.  */
1561 1562 1563
  JV_STATE_ERROR = 12,

  JV_STATE_DONE = 14		/* Must be last.  */
1564 1565
};

1566
#undef DEBUG_JAVA_BINDING_LEVELS
1567

1568 1569
extern void java_genericize (tree);
extern int java_gimplify_expr (tree *, tree *, tree *);
1570

1571
extern FILE *finput;
1572

1573
#endif /* ! GCC_JAVA_TREE_H */