gcc/java/except.c

   1 /* Handle exceptions for GNU compiler for the Java(TM) language.
   2    Copyright (C) 1997 Free Software Foundation, Inc.
   3
   4 This file is part of GNU CC.
   5
   6 GNU CC is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 2, or (at your option)
   9 any later version.
  10
  11 GNU CC is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GNU CC; see the file COPYING.  If not, write to
  18 the Free Software Foundation, 59 Temple Place - Suite 330,
  19 Boston, MA 02111-1307, USA.
  20
  21 Java and all Java-based marks are trademarks or registered trademarks
  22 of Sun Microsystems, Inc. in the United States and other countries.
  23 The Free Software Foundation is independent of Sun Microsystems, Inc.  */
  24
  25 #include "config.h"
  26 #include "system.h"
  27 #include "tree.h"
  28 #include "real.h"
  29 #include "rtl.h"
  30 #include "java-tree.h"
  31 #include "javaop.h"
  32 #include "java-opcodes.h"
  33 #include "jcf.h"
  34 #include "except.h"
  35 #include "java-except.h"
  36 #include "eh-common.h"
  37 #include "toplev.h"
  38
  39 extern struct obstack permanent_obstack;
  40
  41 struct eh_range *current_method_handlers;
  42
  43 struct eh_range *current_try_block = NULL;
  44
  45 struct eh_range *eh_range_freelist = NULL;
  46
  47 /* These variables are used to speed up find_handler. */
  48
  49 static int cache_range_start, cache_range_end;
  50 static struct eh_range *cache_range;
  51 static struct eh_range *cache_next_child;
  52
  53 /* A dummy range that represents the entire method. */
  54
  55 struct eh_range whole_range;
  56
  57 /* Search for the most specific eh_range containing PC.
  58    Assume PC is within RANGE.
  59    CHILD is a list of children of RANGE such that any
  60    previous children have end_pc values that are too low. */
  61
  62 static struct eh_range *
  63 find_handler_in_range (pc, range, child)
  64      int pc;
  65      struct eh_range *range;
  66      register struct eh_range *child;
  67 {
  68   for (; child != NULL;  child = child->next_sibling)
  69     {
  70       if (pc < child->start_pc)
  71         break;
  72       if (pc <= child->end_pc)
  73         return find_handler_in_range (pc, child, child->first_child);
  74     }
  75   cache_range = range;
  76   cache_range_start = pc;
  77   cache_next_child = child;
  78   cache_range_end = child == NULL ? range->end_pc : child->start_pc;
  79   return range;
  80 }
  81
  82 /* Find the inner-most handler that contains PC. */
  83
  84 struct eh_range *
  85 find_handler (pc)
  86      int pc;
  87 {
  88   struct eh_range *h;
  89   if (pc >= cache_range_start)
  90     {
  91       h = cache_range;
  92       if (pc < cache_range_end)
  93         return h;
  94       while (pc >= h->end_pc)
  95         {
  96           cache_next_child = h->next_sibling;
  97           h = h->outer;
  98         }
  99     }
 100   else
 101     {
 102       h = &whole_range;
 103       cache_next_child = h->first_child;
 104     }
 105   return find_handler_in_range (pc, h, cache_next_child);
 106 }
 107
 108 #if 0
 109 first_child;
 110 next_sibling;
 111 outer;
 112 #endif
 113
 114 /* Recursive helper routine for add_handler. */
 115
 116 static int
 117 link_handler (start_pc, end_pc, handler, type, outer)
 118      int start_pc, end_pc;
 119      tree handler;
 120      tree type;
 121      struct eh_range *outer;
 122 {
 123   struct eh_range **ptr;
 124   if (start_pc < outer->start_pc || end_pc > outer->end_pc)
 125     return 0;  /* invalid or non-nested exception range */
 126   if (start_pc == outer->start_pc && end_pc == outer->end_pc)
 127     {
 128       outer->handlers = tree_cons (type, handler, outer->handlers);
 129       return 1;
 130     }
 131   ptr = &outer->first_child;
 132   for (;; ptr = &(*ptr)->next_sibling)
 133     {
 134       if (*ptr == NULL || end_pc <= (*ptr)->start_pc)
 135         {
 136           struct eh_range *h = (struct eh_range *)
 137             oballoc (sizeof (struct eh_range));
 138           h->start_pc = start_pc;
 139           h->end_pc = end_pc;
 140           h->next_sibling = *ptr;
 141           h->first_child = NULL;
 142           h->outer = outer;
 143           h->handlers = build_tree_list (type, handler);
 144           *ptr = h;
 145           return 1;
 146         }
 147       else if (start_pc < (*ptr)->end_pc)
 148         return link_handler (start_pc, end_pc, handler, type, *ptr);
 149       /* end_pc > (*ptr)->start_pc && start_pc >= (*ptr)->end_pc. */
 150     }
 151 }
 152
 153 /* Called to re-initialize the exception machinery for a new method. */
 154
 155 void
 156 method_init_exceptions ()
 157 {
 158   whole_range.start_pc = 0;
 159   whole_range.end_pc = DECL_CODE_LENGTH (current_function_decl) + 1;
 160   whole_range.outer = NULL;
 161   whole_range.first_child = NULL;
 162   whole_range.next_sibling = NULL;
 163   cache_range_start = 0xFFFFFF;
 164   java_set_exception_lang_code ();
 165 }
 166
 167 void
 168 java_set_exception_lang_code ()
 169 {
 170   set_exception_lang_code (EH_LANG_Java);
 171   set_exception_version_code (1);
 172 }
 173
 174 int
 175 add_handler (start_pc, end_pc, handler, type)
 176      int start_pc, end_pc;
 177      tree handler;
 178      tree type;
 179 {
 180   return link_handler (start_pc, end_pc, handler, type, &whole_range);
 181 }
 182
 183
 184 /* if there are any handlers for this range, issue start of region */
 185 void
 186 expand_start_java_handler (range)
 187      struct eh_range *range;
 188 {
 189   expand_eh_region_start ();
 190 }
 191
 192 tree
 193 prepare_eh_table_type (type)
 194     tree type;
 195 {
 196   tree exp;
 197
 198   /* The "type" (metch_info) in a (Java) exception table is one:
 199    * a) NULL - meaning match any type in a try-finally.
 200    * b) a pointer to a (ccmpiled) class (low-order bit 0).
 201    * c) a pointer to the Utf8Const name of the class, plus one
 202    * (which yields a value with low-order bit 1). */
 203
 204   push_obstacks (&permanent_obstack, &permanent_obstack);
 205   if (type == NULL_TREE)
 206     exp = null_pointer_node;
 207   else if (is_compiled_class (type))
 208     exp = build_class_ref (type);
 209   else
 210     exp = fold (build
 211                 (PLUS_EXPR, ptr_type_node,
 212                  build_utf8_ref (build_internal_class_name (type)),
 213                  size_one_node));
 214   pop_obstacks ();
 215   return exp;
 216 }
 217
 218 /* if there are any handlers for this range, isssue end of range,
 219    and then all handler blocks */
 220 void
 221 expand_end_java_handler (range)
 222      struct eh_range *range;
 223 {
 224   tree handler = range->handlers;
 225   expand_start_all_catch ();
 226   for ( ; handler != NULL_TREE; handler = TREE_CHAIN (handler))
 227     {
 228       start_catch_handler (prepare_eh_table_type (TREE_PURPOSE (handler)));
 229       /* Push the thrown object on the top of the stack */
 230       expand_goto (TREE_VALUE (handler));
 231     }
 232   expand_end_all_catch ();
 233 }
 234
 235 /* Recursive helper routine for maybe_start_handlers. */
 236
 237 static void
 238 check_start_handlers (range, pc)
 239      struct eh_range *range;
 240      int pc;
 241 {
 242   if (range != NULL_EH_RANGE && range->start_pc == pc)
 243     {
 244       check_start_handlers (range->outer, pc);
 245       expand_start_java_handler (range);
 246     }
 247 }
 248
 249 struct eh_range *current_range;
 250
 251 /* Emit any start-of-try-range start at PC. */
 252
 253 void
 254 maybe_start_try (pc)
 255      int pc;
 256 {
 257   if (! doing_eh (1))
 258     return;
 259
 260   current_range = find_handler (pc);
 261   check_start_handlers (current_range, pc);
 262 }
 263
 264 /* Emit any end-of-try-range end at PC. */
 265
 266 void
 267 maybe_end_try (pc)
 268      int pc;
 269 {
 270   if (! doing_eh (1))
 271     return;
 272
 273   while (current_range != NULL_EH_RANGE && current_range->end_pc <= pc)
 274     {
 275       expand_end_java_handler (current_range);
 276       current_range = current_range->outer;
 277     }
 278 }
 279
 280 /* Emit the handler labels and their code */
 281
 282 void
 283 emit_handlers ()
 284 {
 285   if (catch_clauses)
 286     {
 287       rtx funcend = gen_label_rtx ();
 288       emit_jump (funcend);
 289
 290       emit_insns (catch_clauses);
 291       expand_leftover_cleanups ();
 292
 293       emit_label (funcend);
 294     }
 295 }