libjava/include/java-interp.h

   1 // java-interp.h - Header file for the bytecode interpreter.  -*- c++ -*-
   2
   3 /* Copyright (C) 1999  Cygnus Solutions
   4
   5    This file is part of libgcj.
   6
   7 This software is copyrighted work licensed under the terms of the
   8 Libgcj License.  Please consult the file "LIBGCJ_LICENSE" for
   9 details.  */
  10
  11 #ifndef __JAVA_INTERP_H__
  12 #define __JAVA_INTERP_H__
  13
  14 #include <jvm.h>
  15 #include <java-cpool.h>
  16
  17 #ifdef INTERPRETER
  18
  19 #pragma interface
  20
  21 #include <java/lang/Class.h>
  22 #include <java/lang/ClassLoader.h>
  23 #include <gnu/gcj/runtime/MethodInvocation.h>
  24
  25 extern "C" {
  26 #include <ffi.h>
  27 }
  28
  29 extern inline jboolean
  30 _Jv_IsInterpretedClass (jclass c)
  31 {
  32   return (c->loader != 0);
  33 }
  34
  35 struct _Jv_ResolvedMethod;
  36
  37 void _Jv_VerifyFieldSignature (_Jv_Utf8Const*sig);
  38 void _Jv_VerifyMethodSignature (_Jv_Utf8Const*sig);
  39 void _Jv_VerifyClassName (unsigned char* ptr, _Jv_ushort length);
  40 void _Jv_VerifyClassName (_Jv_Utf8Const *name);
  41 void _Jv_VerifyIdentifier (_Jv_Utf8Const *);
  42 bool _Jv_ClassNameSamePackage (_Jv_Utf8Const *name1, _Jv_Utf8Const *name2);
  43 void _Jv_DefineClass (jclass, jbyteArray, jint, jint);
  44 void _Jv_ResolveField (_Jv_Field *, java::lang::ClassLoader*);
  45
  46 void _Jv_InitField (jobject, jclass, int);
  47 void * _Jv_AllocMethodInvocation (jsize size);
  48
  49 /* FIXME: this should really be defined in some more generic place */
  50 #define ROUND(V, A) (((((unsigned) (V))-1) | ((A)-1))+1)
  51
  52 /* the interpreter is written in C++, primarily because it makes it easy for
  53  * the entire thing to be "friend" with class Class. */
  54
  55 class _Jv_InterpClass;
  56 class _Jv_InterpMethod;
  57 class _Jv_InterpMethodInvocation;
  58
  59 class _Jv_InterpException {
  60   int  start_pc;
  61   int  end_pc;
  62   int  handler_pc;
  63   int  handler_type;
  64
  65   friend class _Jv_ClassReader;
  66   friend class _Jv_InterpMethod;
  67 };
  68
  69 class _Jv_InterpMethod {
  70
  71   _Jv_ushort       max_stack;
  72   _Jv_ushort       max_locals;
  73   int              code_length;
  74
  75   _Jv_ushort       exc_count;
  76   _Jv_ushort       args_raw_size;
  77
  78   _Jv_InterpClass *defining_class;
  79   _Jv_Method      *self;
  80
  81   unsigned char* bytecode ()
  82   {
  83     return
  84       ((unsigned char*)this)
  85       + ROUND((sizeof (_Jv_InterpMethod)
  86                + exc_count*sizeof (_Jv_InterpException)), 4);
  87   }
  88
  89   _Jv_InterpException * exceptions ()
  90   {
  91     return (_Jv_InterpException*) (this+1);
  92   }
  93
  94   static size_t size (int exc_count, int code_length)
  95   {
  96     return
  97       ROUND ((sizeof (_Jv_InterpMethod)
  98               + (exc_count * sizeof (_Jv_InterpException))), 4)
  99       + code_length;
 100   }
 101
 102   // return the method's invocation pointer (a stub).
 103   void *ncode ();
 104   void continue1 (_Jv_InterpMethodInvocation *inv);
 105
 106   static void run_normal (ffi_cif*, void*, ffi_raw*, void*);
 107   static void run_synch_object (ffi_cif*, void*, ffi_raw*, void*);
 108   static void run_synch_class (ffi_cif*, void*, ffi_raw*, void*);
 109
 110   inline jobject run (ffi_cif*, void*, ffi_raw*,
 111                       _Jv_InterpMethodInvocation*);
 112
 113   bool find_exception (jobject ex,
 114                        _Jv_InterpMethodInvocation *inv);
 115
 116  public:
 117   static void dump_object(jobject o);
 118
 119   friend class _Jv_ClassReader;
 120   friend class _Jv_InterpMethodInvocation;
 121   friend class gnu::gcj::runtime::MethodInvocation;
 122
 123   friend void _Jv_PrepareClass(jclass);
 124 };
 125
 126 class _Jv_InterpMethodInvocation {
 127   _Jv_InterpMethod *running;
 128   _Jv_word         *sp;
 129   unsigned char    *pc;
 130   _Jv_word          state[0];
 131
 132   _Jv_word*         stack_base () { return &state[0]; }
 133   _Jv_word*         local_base () { return &state[running->max_stack]; }
 134
 135   friend class _Jv_InterpMethod;
 136 };
 137
 138 class _Jv_InterpClass : public java::lang::Class
 139 {
 140   _Jv_InterpMethod **interpreted_methods;
 141   _Jv_ushort        *field_initializers;
 142
 143   friend class _Jv_ClassReader;
 144   friend class _Jv_InterpMethod;
 145   friend void  _Jv_PrepareClass(jclass);
 146   friend void  _Jv_InitField (jobject, jclass, int);
 147   friend void* _Jv_MarkObj (void *, void *, void *, void *);
 148 };
 149
 150 struct _Jv_ResolvedMethod {
 151   jint            stack_item_count;
 152   jint            vtable_index;
 153   jclass          klass;
 154   _Jv_Method*     method;
 155
 156   // a resolved method holds the cif in-line, so that _Jv_MarkObj just needs
 157   // to mark the resolved method to hold on to the cif.  Some memory could be
 158   // saved by keeping a cache of cif's, since many will be the same.
 159   ffi_cif         cif;
 160   ffi_type *      arg_types[0];
 161 };
 162
 163 #endif /* INTERPRETER */
 164
 165 #endif /* __JAVA_INTERP_H__ */