| /* |
| * This file was generated automatically by gen-mterp.py for 'allstubs'. |
| * |
| * --> DO NOT EDIT <-- |
| */ |
| |
| /* File: c/header.c */ |
| /* |
| * Copyright (C) 2008 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| /* common includes */ |
| #include "Dalvik.h" |
| #include "interp/InterpDefs.h" |
| #include "mterp/Mterp.h" |
| #include <math.h> // needed for fmod, fmodf |
| |
| /* |
| * Configuration defines. These affect the C implementations, i.e. the |
| * portable interpreter(s) and C stubs. |
| * |
| * Some defines are controlled by the Makefile, e.g.: |
| * WITH_PROFILER |
| * WITH_DEBUGGER |
| * WITH_INSTR_CHECKS |
| * WITH_TRACKREF_CHECKS |
| * EASY_GDB |
| * NDEBUG |
| * |
| * If THREADED_INTERP is not defined, we use a classic "while true / switch" |
| * interpreter. If it is defined, then the tail end of each instruction |
| * handler fetches the next instruction and jumps directly to the handler. |
| * This increases the size of the "Std" interpreter by about 10%, but |
| * provides a speedup of about the same magnitude. |
| * |
| * There's a "hybrid" approach that uses a goto table instead of a switch |
| * statement, avoiding the "is the opcode in range" tests required for switch. |
| * The performance is close to the threaded version, and without the 10% |
| * size increase, but the benchmark results are off enough that it's not |
| * worth adding as a third option. |
| */ |
| #define THREADED_INTERP /* threaded vs. while-loop interpreter */ |
| |
| #ifdef WITH_INSTR_CHECKS /* instruction-level paranoia */ |
| # define CHECK_BRANCH_OFFSETS |
| # define CHECK_REGISTER_INDICES |
| #endif |
| |
| /* |
| * ARM EABI requires 64-bit alignment for access to 64-bit data types. We |
| * can't just use pointers to copy 64-bit values out of our interpreted |
| * register set, because gcc will generate ldrd/strd. |
| * |
| * The __UNION version copies data in and out of a union. The __MEMCPY |
| * version uses a memcpy() call to do the transfer; gcc is smart enough to |
| * not actually call memcpy(). The __UNION version is very bad on ARM; |
| * it only uses one more instruction than __MEMCPY, but for some reason |
| * gcc thinks it needs separate storage for every instance of the union. |
| * On top of that, it feels the need to zero them out at the start of the |
| * method. Net result is we zero out ~700 bytes of stack space at the top |
| * of the interpreter using ARM STM instructions. |
| */ |
| #if defined(__ARM_EABI__) |
| //# define NO_UNALIGN_64__UNION |
| # define NO_UNALIGN_64__MEMCPY |
| #endif |
| |
| //#define LOG_INSTR /* verbose debugging */ |
| /* set and adjust ANDROID_LOG_TAGS='*:i jdwp:i dalvikvm:i dalvikvmi:i' */ |
| |
| /* |
| * Keep a tally of accesses to fields. Currently only works if full DEX |
| * optimization is disabled. |
| */ |
| #ifdef PROFILE_FIELD_ACCESS |
| # define UPDATE_FIELD_GET(_field) { (_field)->gets++; } |
| # define UPDATE_FIELD_PUT(_field) { (_field)->puts++; } |
| #else |
| # define UPDATE_FIELD_GET(_field) ((void)0) |
| # define UPDATE_FIELD_PUT(_field) ((void)0) |
| #endif |
| |
| /* |
| * Adjust the program counter. "_offset" is a signed int, in 16-bit units. |
| * |
| * Assumes the existence of "const u2* pc" and "const u2* curMethod->insns". |
| * |
| * We don't advance the program counter until we finish an instruction or |
| * branch, because we do want to have to unroll the PC if there's an |
| * exception. |
| */ |
| #ifdef CHECK_BRANCH_OFFSETS |
| # define ADJUST_PC(_offset) do { \ |
| int myoff = _offset; /* deref only once */ \ |
| if (pc + myoff < curMethod->insns || \ |
| pc + myoff >= curMethod->insns + dvmGetMethodInsnsSize(curMethod)) \ |
| { \ |
| char* desc; \ |
| desc = dexProtoCopyMethodDescriptor(&curMethod->prototype); \ |
| LOGE("Invalid branch %d at 0x%04x in %s.%s %s\n", \ |
| myoff, (int) (pc - curMethod->insns), \ |
| curMethod->clazz->descriptor, curMethod->name, desc); \ |
| free(desc); \ |
| dvmAbort(); \ |
| } \ |
| pc += myoff; \ |
| } while (false) |
| #else |
| # define ADJUST_PC(_offset) (pc += _offset) |
| #endif |
| |
| /* |
| * If enabled, log instructions as we execute them. |
| */ |
| #ifdef LOG_INSTR |
| # define ILOGD(...) ILOG(LOG_DEBUG, __VA_ARGS__) |
| # define ILOGV(...) ILOG(LOG_VERBOSE, __VA_ARGS__) |
| # define ILOG(_level, ...) do { \ |
| char debugStrBuf[128]; \ |
| snprintf(debugStrBuf, sizeof(debugStrBuf), __VA_ARGS__); \ |
| if (curMethod != NULL) \ |
| LOG(_level, LOG_TAG"i", "%-2d|%04x%s\n", \ |
| self->threadId, (int)(pc - curMethod->insns), debugStrBuf); \ |
| else \ |
| LOG(_level, LOG_TAG"i", "%-2d|####%s\n", \ |
| self->threadId, debugStrBuf); \ |
| } while(false) |
| void dvmDumpRegs(const Method* method, const u4* framePtr, bool inOnly); |
| # define DUMP_REGS(_meth, _frame, _inOnly) dvmDumpRegs(_meth, _frame, _inOnly) |
| static const char kSpacing[] = " "; |
| #else |
| # define ILOGD(...) ((void)0) |
| # define ILOGV(...) ((void)0) |
| # define DUMP_REGS(_meth, _frame, _inOnly) ((void)0) |
| #endif |
| |
| /* get a long from an array of u4 */ |
| static inline s8 getLongFromArray(const u4* ptr, int idx) |
| { |
| #if defined(NO_UNALIGN_64__UNION) |
| union { s8 ll; u4 parts[2]; } conv; |
| |
| ptr += idx; |
| conv.parts[0] = ptr[0]; |
| conv.parts[1] = ptr[1]; |
| return conv.ll; |
| #elif defined(NO_UNALIGN_64__MEMCPY) |
| s8 val; |
| memcpy(&val, &ptr[idx], 8); |
| return val; |
| #else |
| return *((s8*) &ptr[idx]); |
| #endif |
| } |
| |
| /* store a long into an array of u4 */ |
| static inline void putLongToArray(u4* ptr, int idx, s8 val) |
| { |
| #if defined(NO_UNALIGN_64__UNION) |
| union { s8 ll; u4 parts[2]; } conv; |
| |
| ptr += idx; |
| conv.ll = val; |
| ptr[0] = conv.parts[0]; |
| ptr[1] = conv.parts[1]; |
| #elif defined(NO_UNALIGN_64__MEMCPY) |
| memcpy(&ptr[idx], &val, 8); |
| #else |
| *((s8*) &ptr[idx]) = val; |
| #endif |
| } |
| |
| /* get a double from an array of u4 */ |
| static inline double getDoubleFromArray(const u4* ptr, int idx) |
| { |
| #if defined(NO_UNALIGN_64__UNION) |
| union { double d; u4 parts[2]; } conv; |
| |
| ptr += idx; |
| conv.parts[0] = ptr[0]; |
| conv.parts[1] = ptr[1]; |
| return conv.d; |
| #elif defined(NO_UNALIGN_64__MEMCPY) |
| double dval; |
| memcpy(&dval, &ptr[idx], 8); |
| return dval; |
| #else |
| return *((double*) &ptr[idx]); |
| #endif |
| } |
| |
| /* store a double into an array of u4 */ |
| static inline void putDoubleToArray(u4* ptr, int idx, double dval) |
| { |
| #if defined(NO_UNALIGN_64__UNION) |
| union { double d; u4 parts[2]; } conv; |
| |
| ptr += idx; |
| conv.d = dval; |
| ptr[0] = conv.parts[0]; |
| ptr[1] = conv.parts[1]; |
| #elif defined(NO_UNALIGN_64__MEMCPY) |
| memcpy(&ptr[idx], &dval, 8); |
| #else |
| *((double*) &ptr[idx]) = dval; |
| #endif |
| } |
| |
| /* |
| * If enabled, validate the register number on every access. Otherwise, |
| * just do an array access. |
| * |
| * Assumes the existence of "u4* fp". |
| * |
| * "_idx" may be referenced more than once. |
| */ |
| #ifdef CHECK_REGISTER_INDICES |
| # define GET_REGISTER(_idx) \ |
| ( (_idx) < curMethod->registersSize ? \ |
| (fp[(_idx)]) : (assert(!"bad reg"),1969) ) |
| # define SET_REGISTER(_idx, _val) \ |
| ( (_idx) < curMethod->registersSize ? \ |
| (fp[(_idx)] = (u4)(_val)) : (assert(!"bad reg"),1969) ) |
| # define GET_REGISTER_AS_OBJECT(_idx) ((Object *)GET_REGISTER(_idx)) |
| # define SET_REGISTER_AS_OBJECT(_idx, _val) SET_REGISTER(_idx, (s4)_val) |
| # define GET_REGISTER_INT(_idx) ((s4) GET_REGISTER(_idx)) |
| # define SET_REGISTER_INT(_idx, _val) SET_REGISTER(_idx, (s4)_val) |
| # define GET_REGISTER_WIDE(_idx) \ |
| ( (_idx) < curMethod->registersSize-1 ? \ |
| getLongFromArray(fp, (_idx)) : (assert(!"bad reg"),1969) ) |
| # define SET_REGISTER_WIDE(_idx, _val) \ |
| ( (_idx) < curMethod->registersSize-1 ? \ |
| putLongToArray(fp, (_idx), (_val)) : (assert(!"bad reg"),1969) ) |
| # define GET_REGISTER_FLOAT(_idx) \ |
| ( (_idx) < curMethod->registersSize ? \ |
| (*((float*) &fp[(_idx)])) : (assert(!"bad reg"),1969.0f) ) |
| # define SET_REGISTER_FLOAT(_idx, _val) \ |
| ( (_idx) < curMethod->registersSize ? \ |
| (*((float*) &fp[(_idx)]) = (_val)) : (assert(!"bad reg"),1969.0f) ) |
| # define GET_REGISTER_DOUBLE(_idx) \ |
| ( (_idx) < curMethod->registersSize-1 ? \ |
| getDoubleFromArray(fp, (_idx)) : (assert(!"bad reg"),1969.0) ) |
| # define SET_REGISTER_DOUBLE(_idx, _val) \ |
| ( (_idx) < curMethod->registersSize-1 ? \ |
| putDoubleToArray(fp, (_idx), (_val)) : (assert(!"bad reg"),1969.0) ) |
| #else |
| # define GET_REGISTER(_idx) (fp[(_idx)]) |
| # define SET_REGISTER(_idx, _val) (fp[(_idx)] = (_val)) |
| # define GET_REGISTER_AS_OBJECT(_idx) ((Object*) fp[(_idx)]) |
| # define SET_REGISTER_AS_OBJECT(_idx, _val) (fp[(_idx)] = (u4)(_val)) |
| # define GET_REGISTER_INT(_idx) ((s4)GET_REGISTER(_idx)) |
| # define SET_REGISTER_INT(_idx, _val) SET_REGISTER(_idx, (s4)_val) |
| # define GET_REGISTER_WIDE(_idx) getLongFromArray(fp, (_idx)) |
| # define SET_REGISTER_WIDE(_idx, _val) putLongToArray(fp, (_idx), (_val)) |
| # define GET_REGISTER_FLOAT(_idx) (*((float*) &fp[(_idx)])) |
| # define SET_REGISTER_FLOAT(_idx, _val) (*((float*) &fp[(_idx)]) = (_val)) |
| # define GET_REGISTER_DOUBLE(_idx) getDoubleFromArray(fp, (_idx)) |
| # define SET_REGISTER_DOUBLE(_idx, _val) putDoubleToArray(fp, (_idx), (_val)) |
| #endif |
| |
| /* |
| * Get 16 bits from the specified offset of the program counter. We always |
| * want to load 16 bits at a time from the instruction stream -- it's more |
| * efficient than 8 and won't have the alignment problems that 32 might. |
| * |
| * Assumes existence of "const u2* pc". |
| */ |
| #define FETCH(_offset) (pc[(_offset)]) |
| |
| /* |
| * Extract instruction byte from 16-bit fetch (_inst is a u2). |
| */ |
| #define INST_INST(_inst) ((_inst) & 0xff) |
| |
| /* |
| * Extract the "vA, vB" 4-bit registers from the instruction word (_inst is u2). |
| */ |
| #define INST_A(_inst) (((_inst) >> 8) & 0x0f) |
| #define INST_B(_inst) ((_inst) >> 12) |
| |
| /* |
| * Get the 8-bit "vAA" 8-bit register index from the instruction word. |
| * (_inst is u2) |
| */ |
| #define INST_AA(_inst) ((_inst) >> 8) |
| |
| /* |
| * The current PC must be available to Throwable constructors, e.g. |
| * those created by dvmThrowException(), so that the exception stack |
| * trace can be generated correctly. If we don't do this, the offset |
| * within the current method won't be shown correctly. See the notes |
| * in Exception.c. |
| * |
| * Assumes existence of "u4* fp" and "const u2* pc". |
| */ |
| #define EXPORT_PC() (SAVEAREA_FROM_FP(fp)->xtra.currentPc = pc) |
| |
| /* |
| * Determine if we need to switch to a different interpreter. "_current" |
| * is either INTERP_STD or INTERP_DBG. It should be fixed for a given |
| * interpreter generation file, which should remove the outer conditional |
| * from the following. |
| * |
| * If we're building without debug and profiling support, we never switch. |
| */ |
| #if defined(WITH_PROFILER) || defined(WITH_DEBUGGER) |
| # define NEED_INTERP_SWITCH(_current) ( \ |
| (_current == INTERP_STD) ? \ |
| dvmDebuggerOrProfilerActive() : !dvmDebuggerOrProfilerActive() ) |
| #else |
| # define NEED_INTERP_SWITCH(_current) (false) |
| #endif |
| |
| /* |
| * Look up an interface on a class using the cache. |
| */ |
| INLINE Method* dvmFindInterfaceMethodInCache(ClassObject* thisClass, |
| u4 methodIdx, const Method* method, DvmDex* methodClassDex) |
| { |
| #define ATOMIC_CACHE_CALC \ |
| dvmInterpFindInterfaceMethod(thisClass, methodIdx, method, methodClassDex) |
| |
| return (Method*) ATOMIC_CACHE_LOOKUP(methodClassDex->pInterfaceCache, |
| DEX_INTERFACE_CACHE_SIZE, thisClass, methodIdx); |
| |
| #undef ATOMIC_CACHE_CALC |
| } |
| |
| /* |
| * Check to see if "obj" is NULL. If so, throw an exception. Assumes the |
| * pc has already been exported to the stack. |
| * |
| * Perform additional checks on debug builds. |
| * |
| * Use this to check for NULL when the instruction handler calls into |
| * something that could throw an exception (so we have already called |
| * EXPORT_PC at the top). |
| */ |
| static inline bool checkForNull(Object* obj) |
| { |
| if (obj == NULL) { |
| dvmThrowException("Ljava/lang/NullPointerException;", NULL); |
| return false; |
| } |
| #ifdef WITH_EXTRA_OBJECT_VALIDATION |
| if (!dvmIsValidObject(obj)) { |
| LOGE("Invalid object %p\n", obj); |
| dvmAbort(); |
| } |
| #endif |
| #ifndef NDEBUG |
| if (obj->clazz == NULL || ((u4) obj->clazz) <= 65536) { |
| /* probable heap corruption */ |
| LOGE("Invalid object class %p (in %p)\n", obj->clazz, obj); |
| dvmAbort(); |
| } |
| #endif |
| return true; |
| } |
| |
| /* |
| * Check to see if "obj" is NULL. If so, export the PC into the stack |
| * frame and throw an exception. |
| * |
| * Perform additional checks on debug builds. |
| * |
| * Use this to check for NULL when the instruction handler doesn't do |
| * anything else that can throw an exception. |
| */ |
| static inline bool checkForNullExportPC(Object* obj, u4* fp, const u2* pc) |
| { |
| if (obj == NULL) { |
| EXPORT_PC(); |
| dvmThrowException("Ljava/lang/NullPointerException;", NULL); |
| return false; |
| } |
| #ifdef WITH_EXTRA_OBJECT_VALIDATION |
| if (!dvmIsValidObject(obj)) { |
| LOGE("Invalid object %p\n", obj); |
| dvmAbort(); |
| } |
| #endif |
| #ifndef NDEBUG |
| if (obj->clazz == NULL || ((u4) obj->clazz) <= 65536) { |
| /* probable heap corruption */ |
| LOGE("Invalid object class %p (in %p)\n", obj->clazz, obj); |
| dvmAbort(); |
| } |
| #endif |
| return true; |
| } |
| |
| |
| /* File: cstubs/stubdefs.c */ |
| /* this is a standard (no debug support) interpreter */ |
| #define INTERP_TYPE INTERP_STD |
| #define CHECK_DEBUG_AND_PROF() ((void)0) |
| # define CHECK_TRACKED_REFS() ((void)0) |
| |
| /* |
| * In the C mterp stubs, "goto" is a function call followed immediately |
| * by a return. |
| */ |
| |
| #define GOTO_TARGET_DECL(_target, ...) \ |
| void dvmMterp_##_target(MterpGlue* glue, ## __VA_ARGS__); |
| |
| #define GOTO_TARGET(_target, ...) \ |
| void dvmMterp_##_target(MterpGlue* glue, ## __VA_ARGS__) { \ |
| u2 ref, vsrc1, vsrc2, vdst; \ |
| u2 inst = FETCH(0); \ |
| const Method* methodToCall; \ |
| StackSaveArea* debugSaveArea; |
| |
| #define GOTO_TARGET_END } |
| |
| /* |
| * Redefine what used to be local variable accesses into MterpGlue struct |
| * references. (These are undefined down in "footer.c".) |
| */ |
| #define retval glue->retval |
| #define pc glue->pc |
| #define fp glue->fp |
| #define curMethod glue->method |
| #define methodClassDex glue->methodClassDex |
| #define self glue->self |
| #define debugTrackedRefStart glue->debugTrackedRefStart |
| |
| /* ugh */ |
| #define STUB_HACK(x) x |
| |
| |
| /* |
| * Opcode handler framing macros. Here, each opcode is a separate function |
| * that takes a "glue" argument and returns void. We can't declare |
| * these "static" because they may be called from an assembly stub. |
| */ |
| #define HANDLE_OPCODE(_op) \ |
| void dvmMterp_##_op(MterpGlue* glue) { \ |
| u2 ref, vsrc1, vsrc2, vdst; \ |
| u2 inst = FETCH(0); |
| |
| #define OP_END } |
| |
| /* |
| * Like the "portable" FINISH, but don't reload "inst", and return to caller |
| * when done. |
| */ |
| #define FINISH(_offset) { \ |
| ADJUST_PC(_offset); \ |
| CHECK_DEBUG_AND_PROF(); \ |
| CHECK_TRACKED_REFS(); \ |
| return; \ |
| } |
| |
| |
| /* |
| * The "goto label" statements turn into function calls followed by |
| * return statements. Some of the functions take arguments, which in the |
| * portable interpreter are handled by assigning values to globals. |
| */ |
| |
| #define GOTO_exceptionThrown() \ |
| do { \ |
| dvmMterp_exceptionThrown(glue); \ |
| return; \ |
| } while(false) |
| |
| #define GOTO_returnFromMethod() \ |
| do { \ |
| dvmMterp_returnFromMethod(glue); \ |
| return; \ |
| } while(false) |
| |
| #define GOTO_invoke(_target, _methodCallRange) \ |
| do { \ |
| dvmMterp_##_target(glue, _methodCallRange); \ |
| return; \ |
| } while(false) |
| |
| #define GOTO_invokeMethod(_methodCallRange, _methodToCall, _vsrc1, _vdst) \ |
| do { \ |
| dvmMterp_invokeMethod(glue, _methodCallRange, _methodToCall, \ |
| _vsrc1, _vdst); \ |
| return; \ |
| } while(false) |
| |
| /* |
| * As a special case, "goto bail" turns into a longjmp. Use "bail_switch" |
| * if we need to switch to the other interpreter upon our return. |
| */ |
| #define GOTO_bail() \ |
| dvmMterpStdBail(glue, false); |
| #define GOTO_bail_switch() \ |
| dvmMterpStdBail(glue, true); |
| |
| /* |
| * Periodically check for thread suspension. |
| * |
| * While we're at it, see if a debugger has attached or the profiler has |
| * started. If so, switch to a different "goto" table. |
| */ |
| #define PERIODIC_CHECKS(_entryPoint, _pcadj) { \ |
| dvmCheckSuspendQuick(self); \ |
| if (NEED_INTERP_SWITCH(INTERP_TYPE)) { \ |
| ADJUST_PC(_pcadj); \ |
| glue->entryPoint = _entryPoint; \ |
| LOGVV("threadid=%d: switch to STD ep=%d adj=%d\n", \ |
| glue->self->threadId, (_entryPoint), (_pcadj)); \ |
| GOTO_bail_switch(); \ |
| } \ |
| } |
| |
| |
| /* File: c/opcommon.c */ |
| /* forward declarations of goto targets */ |
| GOTO_TARGET_DECL(filledNewArray, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeVirtual, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeSuper, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeInterface, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeDirect, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeStatic, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeVirtualQuick, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeSuperQuick, bool methodCallRange); |
| GOTO_TARGET_DECL(invokeMethod, bool methodCallRange, const Method* methodToCall, |
| u2 count, u2 regs); |
| GOTO_TARGET_DECL(returnFromMethod); |
| GOTO_TARGET_DECL(exceptionThrown); |
| |
| /* |
| * =========================================================================== |
| * |
| * What follows are opcode definitions shared between multiple opcodes with |
| * minor substitutions handled by the C pre-processor. These should probably |
| * use the mterp substitution mechanism instead, with the code here moved |
| * into common fragment files (like the asm "binop.S"), although it's hard |
| * to give up the C preprocessor in favor of the much simpler text subst. |
| * |
| * =========================================================================== |
| */ |
| |
| #define HANDLE_NUMCONV(_opcode, _opname, _fromtype, _totype) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER##_totype(vdst, \ |
| GET_REGISTER##_fromtype(vsrc1)); \ |
| FINISH(1); |
| |
| #define HANDLE_FLOAT_TO_INT(_opcode, _opname, _fromvtype, _fromrtype, \ |
| _tovtype, _tortype) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| { \ |
| /* spec defines specific handling for +/- inf and NaN values */ \ |
| _fromvtype val; \ |
| _tovtype intMin, intMax, result; \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s v%d,v%d", (_opname), vdst, vsrc1); \ |
| val = GET_REGISTER##_fromrtype(vsrc1); \ |
| intMin = (_tovtype) 1 << (sizeof(_tovtype) * 8 -1); \ |
| intMax = ~intMin; \ |
| result = (_tovtype) val; \ |
| if (val >= intMax) /* +inf */ \ |
| result = intMax; \ |
| else if (val <= intMin) /* -inf */ \ |
| result = intMin; \ |
| else if (val != val) /* NaN */ \ |
| result = 0; \ |
| else \ |
| result = (_tovtype) val; \ |
| SET_REGISTER##_tortype(vdst, result); \ |
| } \ |
| FINISH(1); |
| |
| #define HANDLE_INT_TO_SMALL(_opcode, _opname, _type) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|int-to-%s v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER(vdst, (_type) GET_REGISTER(vsrc1)); \ |
| FINISH(1); |
| |
| /* NOTE: the comparison result is always a signed 4-byte integer */ |
| #define HANDLE_OP_CMPX(_opcode, _opname, _varType, _type, _nanVal) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| int result; \ |
| u2 regs; \ |
| _varType val1, val2; \ |
| vdst = INST_AA(inst); \ |
| regs = FETCH(1); \ |
| vsrc1 = regs & 0xff; \ |
| vsrc2 = regs >> 8; \ |
| ILOGV("|cmp%s v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| val1 = GET_REGISTER##_type(vsrc1); \ |
| val2 = GET_REGISTER##_type(vsrc2); \ |
| if (val1 == val2) \ |
| result = 0; \ |
| else if (val1 < val2) \ |
| result = -1; \ |
| else if (val1 > val2) \ |
| result = 1; \ |
| else \ |
| result = (_nanVal); \ |
| ILOGV("+ result=%d\n", result); \ |
| SET_REGISTER(vdst, result); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_IF_XX(_opcode, _opname, _cmp) \ |
| HANDLE_OPCODE(_opcode /*vA, vB, +CCCC*/) \ |
| vsrc1 = INST_A(inst); \ |
| vsrc2 = INST_B(inst); \ |
| if ((s4) GET_REGISTER(vsrc1) _cmp (s4) GET_REGISTER(vsrc2)) { \ |
| int branchOffset = (s2)FETCH(1); /* sign-extended */ \ |
| ILOGV("|if-%s v%d,v%d,+0x%04x", (_opname), vsrc1, vsrc2, \ |
| branchOffset); \ |
| ILOGV("> branch taken"); \ |
| if (branchOffset < 0) \ |
| PERIODIC_CHECKS(kInterpEntryInstr, branchOffset); \ |
| FINISH(branchOffset); \ |
| } else { \ |
| ILOGV("|if-%s v%d,v%d,-", (_opname), vsrc1, vsrc2); \ |
| FINISH(2); \ |
| } |
| |
| #define HANDLE_OP_IF_XXZ(_opcode, _opname, _cmp) \ |
| HANDLE_OPCODE(_opcode /*vAA, +BBBB*/) \ |
| vsrc1 = INST_AA(inst); \ |
| if ((s4) GET_REGISTER(vsrc1) _cmp 0) { \ |
| int branchOffset = (s2)FETCH(1); /* sign-extended */ \ |
| ILOGV("|if-%s v%d,+0x%04x", (_opname), vsrc1, branchOffset); \ |
| ILOGV("> branch taken"); \ |
| if (branchOffset < 0) \ |
| PERIODIC_CHECKS(kInterpEntryInstr, branchOffset); \ |
| FINISH(branchOffset); \ |
| } else { \ |
| ILOGV("|if-%s v%d,-", (_opname), vsrc1); \ |
| FINISH(2); \ |
| } |
| |
| #define HANDLE_UNOP(_opcode, _opname, _pfx, _sfx, _type) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER##_type(vdst, _pfx GET_REGISTER##_type(vsrc1) _sfx); \ |
| FINISH(1); |
| |
| #define HANDLE_OP_X_INT(_opcode, _opname, _op, _chkdiv) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| u2 srcRegs; \ |
| vdst = INST_AA(inst); \ |
| srcRegs = FETCH(1); \ |
| vsrc1 = srcRegs & 0xff; \ |
| vsrc2 = srcRegs >> 8; \ |
| ILOGV("|%s-int v%d,v%d", (_opname), vdst, vsrc1); \ |
| if (_chkdiv != 0) { \ |
| s4 firstVal, secondVal, result; \ |
| firstVal = GET_REGISTER(vsrc1); \ |
| secondVal = GET_REGISTER(vsrc2); \ |
| if (secondVal == 0) { \ |
| EXPORT_PC(); \ |
| dvmThrowException("Ljava/lang/ArithmeticException;", \ |
| "divide by zero"); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| if ((u4)firstVal == 0x80000000 && secondVal == -1) { \ |
| if (_chkdiv == 1) \ |
| result = firstVal; /* division */ \ |
| else \ |
| result = 0; /* remainder */ \ |
| } else { \ |
| result = firstVal _op secondVal; \ |
| } \ |
| SET_REGISTER(vdst, result); \ |
| } else { \ |
| /* non-div/rem case */ \ |
| SET_REGISTER(vdst, \ |
| (s4) GET_REGISTER(vsrc1) _op (s4) GET_REGISTER(vsrc2)); \ |
| } \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_SHX_INT(_opcode, _opname, _cast, _op) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| u2 srcRegs; \ |
| vdst = INST_AA(inst); \ |
| srcRegs = FETCH(1); \ |
| vsrc1 = srcRegs & 0xff; \ |
| vsrc2 = srcRegs >> 8; \ |
| ILOGV("|%s-int v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER(vdst, \ |
| _cast GET_REGISTER(vsrc1) _op (GET_REGISTER(vsrc2) & 0x1f)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_X_INT_LIT16(_opcode, _opname, _op, _chkdiv) \ |
| HANDLE_OPCODE(_opcode /*vA, vB, #+CCCC*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| vsrc2 = FETCH(1); \ |
| ILOGV("|%s-int/lit16 v%d,v%d,#+0x%04x", \ |
| (_opname), vdst, vsrc1, vsrc2); \ |
| if (_chkdiv != 0) { \ |
| s4 firstVal, result; \ |
| firstVal = GET_REGISTER(vsrc1); \ |
| if ((s2) vsrc2 == 0) { \ |
| EXPORT_PC(); \ |
| dvmThrowException("Ljava/lang/ArithmeticException;", \ |
| "divide by zero"); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| if ((u4)firstVal == 0x80000000 && ((s2) vsrc2) == -1) { \ |
| /* won't generate /lit16 instr for this; check anyway */ \ |
| if (_chkdiv == 1) \ |
| result = firstVal; /* division */ \ |
| else \ |
| result = 0; /* remainder */ \ |
| } else { \ |
| result = firstVal _op (s2) vsrc2; \ |
| } \ |
| SET_REGISTER(vdst, result); \ |
| } else { \ |
| /* non-div/rem case */ \ |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1) _op (s2) vsrc2); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_X_INT_LIT8(_opcode, _opname, _op, _chkdiv) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, #+CC*/) \ |
| { \ |
| u2 litInfo; \ |
| vdst = INST_AA(inst); \ |
| litInfo = FETCH(1); \ |
| vsrc1 = litInfo & 0xff; \ |
| vsrc2 = litInfo >> 8; /* constant */ \ |
| ILOGV("|%s-int/lit8 v%d,v%d,#+0x%02x", \ |
| (_opname), vdst, vsrc1, vsrc2); \ |
| if (_chkdiv != 0) { \ |
| s4 firstVal, result; \ |
| firstVal = GET_REGISTER(vsrc1); \ |
| if ((s1) vsrc2 == 0) { \ |
| EXPORT_PC(); \ |
| dvmThrowException("Ljava/lang/ArithmeticException;", \ |
| "divide by zero"); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| if ((u4)firstVal == 0x80000000 && ((s1) vsrc2) == -1) { \ |
| if (_chkdiv == 1) \ |
| result = firstVal; /* division */ \ |
| else \ |
| result = 0; /* remainder */ \ |
| } else { \ |
| result = firstVal _op ((s1) vsrc2); \ |
| } \ |
| SET_REGISTER(vdst, result); \ |
| } else { \ |
| SET_REGISTER(vdst, \ |
| (s4) GET_REGISTER(vsrc1) _op (s1) vsrc2); \ |
| } \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_SHX_INT_LIT8(_opcode, _opname, _cast, _op) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, #+CC*/) \ |
| { \ |
| u2 litInfo; \ |
| vdst = INST_AA(inst); \ |
| litInfo = FETCH(1); \ |
| vsrc1 = litInfo & 0xff; \ |
| vsrc2 = litInfo >> 8; /* constant */ \ |
| ILOGV("|%s-int/lit8 v%d,v%d,#+0x%02x", \ |
| (_opname), vdst, vsrc1, vsrc2); \ |
| SET_REGISTER(vdst, \ |
| _cast GET_REGISTER(vsrc1) _op (vsrc2 & 0x1f)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_X_INT_2ADDR(_opcode, _opname, _op, _chkdiv) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s-int-2addr v%d,v%d", (_opname), vdst, vsrc1); \ |
| if (_chkdiv != 0) { \ |
| s4 firstVal, secondVal, result; \ |
| firstVal = GET_REGISTER(vdst); \ |
| secondVal = GET_REGISTER(vsrc1); \ |
| if (secondVal == 0) { \ |
| EXPORT_PC(); \ |
| dvmThrowException("Ljava/lang/ArithmeticException;", \ |
| "divide by zero"); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| if ((u4)firstVal == 0x80000000 && secondVal == -1) { \ |
| if (_chkdiv == 1) \ |
| result = firstVal; /* division */ \ |
| else \ |
| result = 0; /* remainder */ \ |
| } else { \ |
| result = firstVal _op secondVal; \ |
| } \ |
| SET_REGISTER(vdst, result); \ |
| } else { \ |
| SET_REGISTER(vdst, \ |
| (s4) GET_REGISTER(vdst) _op (s4) GET_REGISTER(vsrc1)); \ |
| } \ |
| FINISH(1); |
| |
| #define HANDLE_OP_SHX_INT_2ADDR(_opcode, _opname, _cast, _op) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s-int-2addr v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER(vdst, \ |
| _cast GET_REGISTER(vdst) _op (GET_REGISTER(vsrc1) & 0x1f)); \ |
| FINISH(1); |
| |
| #define HANDLE_OP_X_LONG(_opcode, _opname, _op, _chkdiv) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| u2 srcRegs; \ |
| vdst = INST_AA(inst); \ |
| srcRegs = FETCH(1); \ |
| vsrc1 = srcRegs & 0xff; \ |
| vsrc2 = srcRegs >> 8; \ |
| ILOGV("|%s-long v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| if (_chkdiv != 0) { \ |
| s8 firstVal, secondVal, result; \ |
| firstVal = GET_REGISTER_WIDE(vsrc1); \ |
| secondVal = GET_REGISTER_WIDE(vsrc2); \ |
| if (secondVal == 0LL) { \ |
| EXPORT_PC(); \ |
| dvmThrowException("Ljava/lang/ArithmeticException;", \ |
| "divide by zero"); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| if ((u8)firstVal == 0x8000000000000000ULL && \ |
| secondVal == -1LL) \ |
| { \ |
| if (_chkdiv == 1) \ |
| result = firstVal; /* division */ \ |
| else \ |
| result = 0; /* remainder */ \ |
| } else { \ |
| result = firstVal _op secondVal; \ |
| } \ |
| SET_REGISTER_WIDE(vdst, result); \ |
| } else { \ |
| SET_REGISTER_WIDE(vdst, \ |
| (s8) GET_REGISTER_WIDE(vsrc1) _op (s8) GET_REGISTER_WIDE(vsrc2)); \ |
| } \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_SHX_LONG(_opcode, _opname, _cast, _op) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| u2 srcRegs; \ |
| vdst = INST_AA(inst); \ |
| srcRegs = FETCH(1); \ |
| vsrc1 = srcRegs & 0xff; \ |
| vsrc2 = srcRegs >> 8; \ |
| ILOGV("|%s-long v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| SET_REGISTER_WIDE(vdst, \ |
| _cast GET_REGISTER_WIDE(vsrc1) _op (GET_REGISTER(vsrc2) & 0x3f)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_X_LONG_2ADDR(_opcode, _opname, _op, _chkdiv) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s-long-2addr v%d,v%d", (_opname), vdst, vsrc1); \ |
| if (_chkdiv != 0) { \ |
| s8 firstVal, secondVal, result; \ |
| firstVal = GET_REGISTER_WIDE(vdst); \ |
| secondVal = GET_REGISTER_WIDE(vsrc1); \ |
| if (secondVal == 0LL) { \ |
| EXPORT_PC(); \ |
| dvmThrowException("Ljava/lang/ArithmeticException;", \ |
| "divide by zero"); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| if ((u8)firstVal == 0x8000000000000000ULL && \ |
| secondVal == -1LL) \ |
| { \ |
| if (_chkdiv == 1) \ |
| result = firstVal; /* division */ \ |
| else \ |
| result = 0; /* remainder */ \ |
| } else { \ |
| result = firstVal _op secondVal; \ |
| } \ |
| SET_REGISTER_WIDE(vdst, result); \ |
| } else { \ |
| SET_REGISTER_WIDE(vdst, \ |
| (s8) GET_REGISTER_WIDE(vdst) _op (s8)GET_REGISTER_WIDE(vsrc1));\ |
| } \ |
| FINISH(1); |
| |
| #define HANDLE_OP_SHX_LONG_2ADDR(_opcode, _opname, _cast, _op) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s-long-2addr v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER_WIDE(vdst, \ |
| _cast GET_REGISTER_WIDE(vdst) _op (GET_REGISTER(vsrc1) & 0x3f)); \ |
| FINISH(1); |
| |
| #define HANDLE_OP_X_FLOAT(_opcode, _opname, _op) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| u2 srcRegs; \ |
| vdst = INST_AA(inst); \ |
| srcRegs = FETCH(1); \ |
| vsrc1 = srcRegs & 0xff; \ |
| vsrc2 = srcRegs >> 8; \ |
| ILOGV("|%s-float v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| SET_REGISTER_FLOAT(vdst, \ |
| GET_REGISTER_FLOAT(vsrc1) _op GET_REGISTER_FLOAT(vsrc2)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_X_DOUBLE(_opcode, _opname, _op) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| u2 srcRegs; \ |
| vdst = INST_AA(inst); \ |
| srcRegs = FETCH(1); \ |
| vsrc1 = srcRegs & 0xff; \ |
| vsrc2 = srcRegs >> 8; \ |
| ILOGV("|%s-double v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| SET_REGISTER_DOUBLE(vdst, \ |
| GET_REGISTER_DOUBLE(vsrc1) _op GET_REGISTER_DOUBLE(vsrc2)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_X_FLOAT_2ADDR(_opcode, _opname, _op) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s-float-2addr v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER_FLOAT(vdst, \ |
| GET_REGISTER_FLOAT(vdst) _op GET_REGISTER_FLOAT(vsrc1)); \ |
| FINISH(1); |
| |
| #define HANDLE_OP_X_DOUBLE_2ADDR(_opcode, _opname, _op) \ |
| HANDLE_OPCODE(_opcode /*vA, vB*/) \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); \ |
| ILOGV("|%s-double-2addr v%d,v%d", (_opname), vdst, vsrc1); \ |
| SET_REGISTER_DOUBLE(vdst, \ |
| GET_REGISTER_DOUBLE(vdst) _op GET_REGISTER_DOUBLE(vsrc1)); \ |
| FINISH(1); |
| |
| #define HANDLE_OP_AGET(_opcode, _opname, _type, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| ArrayObject* arrayObj; \ |
| u2 arrayInfo; \ |
| EXPORT_PC(); \ |
| vdst = INST_AA(inst); \ |
| arrayInfo = FETCH(1); \ |
| vsrc1 = arrayInfo & 0xff; /* array ptr */ \ |
| vsrc2 = arrayInfo >> 8; /* index */ \ |
| ILOGV("|aget%s v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| arrayObj = (ArrayObject*) GET_REGISTER(vsrc1); \ |
| if (!checkForNull((Object*) arrayObj)) \ |
| GOTO_exceptionThrown(); \ |
| if (GET_REGISTER(vsrc2) >= arrayObj->length) { \ |
| LOGV("Invalid array access: %p %d (len=%d)\n", \ |
| arrayObj, vsrc2, arrayObj->length); \ |
| dvmThrowException("Ljava/lang/ArrayIndexOutOfBoundsException;", \ |
| NULL); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| SET_REGISTER##_regsize(vdst, \ |
| ((_type*) arrayObj->contents)[GET_REGISTER(vsrc2)]); \ |
| ILOGV("+ AGET[%d]=0x%x", GET_REGISTER(vsrc2), GET_REGISTER(vdst)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_OP_APUT(_opcode, _opname, _type, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vAA, vBB, vCC*/) \ |
| { \ |
| ArrayObject* arrayObj; \ |
| u2 arrayInfo; \ |
| EXPORT_PC(); \ |
| vdst = INST_AA(inst); /* AA: source value */ \ |
| arrayInfo = FETCH(1); \ |
| vsrc1 = arrayInfo & 0xff; /* BB: array ptr */ \ |
| vsrc2 = arrayInfo >> 8; /* CC: index */ \ |
| ILOGV("|aput%s v%d,v%d,v%d", (_opname), vdst, vsrc1, vsrc2); \ |
| arrayObj = (ArrayObject*) GET_REGISTER(vsrc1); \ |
| if (!checkForNull((Object*) arrayObj)) \ |
| GOTO_exceptionThrown(); \ |
| if (GET_REGISTER(vsrc2) >= arrayObj->length) { \ |
| dvmThrowException("Ljava/lang/ArrayIndexOutOfBoundsException;", \ |
| NULL); \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| ILOGV("+ APUT[%d]=0x%08x", GET_REGISTER(vsrc2), GET_REGISTER(vdst));\ |
| ((_type*) arrayObj->contents)[GET_REGISTER(vsrc2)] = \ |
| GET_REGISTER##_regsize(vdst); \ |
| } \ |
| FINISH(2); |
| |
| /* |
| * It's possible to get a bad value out of a field with sub-32-bit stores |
| * because the -quick versions always operate on 32 bits. Consider: |
| * short foo = -1 (sets a 32-bit register to 0xffffffff) |
| * iput-quick foo (writes all 32 bits to the field) |
| * short bar = 1 (sets a 32-bit register to 0x00000001) |
| * iput-short (writes the low 16 bits to the field) |
| * iget-quick foo (reads all 32 bits from the field, yielding 0xffff0001) |
| * This can only happen when optimized and non-optimized code has interleaved |
| * access to the same field. This is unlikely but possible. |
| * |
| * The easiest way to fix this is to always read/write 32 bits at a time. On |
| * a device with a 16-bit data bus this is sub-optimal. (The alternative |
| * approach is to have sub-int versions of iget-quick, but now we're wasting |
| * Dalvik instruction space and making it less likely that handler code will |
| * already be in the CPU i-cache.) |
| */ |
| #define HANDLE_IGET_X(_opcode, _opname, _ftype, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vA, vB, field@CCCC*/) \ |
| { \ |
| InstField* ifield; \ |
| Object* obj; \ |
| EXPORT_PC(); \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); /* object ptr */ \ |
| ref = FETCH(1); /* field ref */ \ |
| ILOGV("|iget%s v%d,v%d,field@0x%04x", (_opname), vdst, vsrc1, ref); \ |
| obj = (Object*) GET_REGISTER(vsrc1); \ |
| if (!checkForNull(obj)) \ |
| GOTO_exceptionThrown(); \ |
| ifield = (InstField*) dvmDexGetResolvedField(methodClassDex, ref); \ |
| if (ifield == NULL) { \ |
| ifield = dvmResolveInstField(curMethod->clazz, ref); \ |
| if (ifield == NULL) \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| SET_REGISTER##_regsize(vdst, \ |
| dvmGetField##_ftype(obj, ifield->byteOffset)); \ |
| ILOGV("+ IGET '%s'=0x%08llx", ifield->field.name, \ |
| (u8) GET_REGISTER##_regsize(vdst)); \ |
| UPDATE_FIELD_GET(&ifield->field); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_IGET_X_QUICK(_opcode, _opname, _ftype, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vA, vB, field@CCCC*/) \ |
| { \ |
| Object* obj; \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); /* object ptr */ \ |
| ref = FETCH(1); /* field offset */ \ |
| ILOGV("|iget%s-quick v%d,v%d,field@+%u", \ |
| (_opname), vdst, vsrc1, ref); \ |
| obj = (Object*) GET_REGISTER(vsrc1); \ |
| if (!checkForNullExportPC(obj, fp, pc)) \ |
| GOTO_exceptionThrown(); \ |
| SET_REGISTER##_regsize(vdst, dvmGetField##_ftype(obj, ref)); \ |
| ILOGV("+ IGETQ %d=0x%08llx", ref, \ |
| (u8) GET_REGISTER##_regsize(vdst)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_IPUT_X(_opcode, _opname, _ftype, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vA, vB, field@CCCC*/) \ |
| { \ |
| InstField* ifield; \ |
| Object* obj; \ |
| EXPORT_PC(); \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); /* object ptr */ \ |
| ref = FETCH(1); /* field ref */ \ |
| ILOGV("|iput%s v%d,v%d,field@0x%04x", (_opname), vdst, vsrc1, ref); \ |
| obj = (Object*) GET_REGISTER(vsrc1); \ |
| if (!checkForNull(obj)) \ |
| GOTO_exceptionThrown(); \ |
| ifield = (InstField*) dvmDexGetResolvedField(methodClassDex, ref); \ |
| if (ifield == NULL) { \ |
| ifield = dvmResolveInstField(curMethod->clazz, ref); \ |
| if (ifield == NULL) \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| dvmSetField##_ftype(obj, ifield->byteOffset, \ |
| GET_REGISTER##_regsize(vdst)); \ |
| ILOGV("+ IPUT '%s'=0x%08llx", ifield->field.name, \ |
| (u8) GET_REGISTER##_regsize(vdst)); \ |
| UPDATE_FIELD_PUT(&ifield->field); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_IPUT_X_QUICK(_opcode, _opname, _ftype, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vA, vB, field@CCCC*/) \ |
| { \ |
| Object* obj; \ |
| vdst = INST_A(inst); \ |
| vsrc1 = INST_B(inst); /* object ptr */ \ |
| ref = FETCH(1); /* field offset */ \ |
| ILOGV("|iput%s-quick v%d,v%d,field@0x%04x", \ |
| (_opname), vdst, vsrc1, ref); \ |
| obj = (Object*) GET_REGISTER(vsrc1); \ |
| if (!checkForNullExportPC(obj, fp, pc)) \ |
| GOTO_exceptionThrown(); \ |
| dvmSetField##_ftype(obj, ref, GET_REGISTER##_regsize(vdst)); \ |
| ILOGV("+ IPUTQ %d=0x%08llx", ref, \ |
| (u8) GET_REGISTER##_regsize(vdst)); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_SGET_X(_opcode, _opname, _ftype, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vAA, field@BBBB*/) \ |
| { \ |
| StaticField* sfield; \ |
| vdst = INST_AA(inst); \ |
| ref = FETCH(1); /* field ref */ \ |
| ILOGV("|sget%s v%d,sfield@0x%04x", (_opname), vdst, ref); \ |
| sfield = (StaticField*)dvmDexGetResolvedField(methodClassDex, ref); \ |
| if (sfield == NULL) { \ |
| EXPORT_PC(); \ |
| sfield = dvmResolveStaticField(curMethod->clazz, ref); \ |
| if (sfield == NULL) \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| SET_REGISTER##_regsize(vdst, dvmGetStaticField##_ftype(sfield)); \ |
| ILOGV("+ SGET '%s'=0x%08llx", \ |
| sfield->field.name, (u8)GET_REGISTER##_regsize(vdst)); \ |
| UPDATE_FIELD_GET(&sfield->field); \ |
| } \ |
| FINISH(2); |
| |
| #define HANDLE_SPUT_X(_opcode, _opname, _ftype, _regsize) \ |
| HANDLE_OPCODE(_opcode /*vAA, field@BBBB*/) \ |
| { \ |
| StaticField* sfield; \ |
| vdst = INST_AA(inst); \ |
| ref = FETCH(1); /* field ref */ \ |
| ILOGV("|sput%s v%d,sfield@0x%04x", (_opname), vdst, ref); \ |
| sfield = (StaticField*)dvmDexGetResolvedField(methodClassDex, ref); \ |
| if (sfield == NULL) { \ |
| EXPORT_PC(); \ |
| sfield = dvmResolveStaticField(curMethod->clazz, ref); \ |
| if (sfield == NULL) \ |
| GOTO_exceptionThrown(); \ |
| } \ |
| dvmSetStaticField##_ftype(sfield, GET_REGISTER##_regsize(vdst)); \ |
| ILOGV("+ SPUT '%s'=0x%08llx", \ |
| sfield->field.name, (u8)GET_REGISTER##_regsize(vdst)); \ |
| UPDATE_FIELD_PUT(&sfield->field); \ |
| } \ |
| FINISH(2); |
| |
| |
| /* File: c/OP_NOP.c */ |
| HANDLE_OPCODE(OP_NOP) |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_MOVE.c */ |
| HANDLE_OPCODE(OP_MOVE /*vA, vB*/) |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| ILOGV("|move%s v%d,v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE) ? "" : "-object", vdst, vsrc1, |
| kSpacing, vdst, GET_REGISTER(vsrc1)); |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1)); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_MOVE_FROM16.c */ |
| HANDLE_OPCODE(OP_MOVE_FROM16 /*vAA, vBBBB*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|move%s/from16 v%d,v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE_FROM16) ? "" : "-object", vdst, vsrc1, |
| kSpacing, vdst, GET_REGISTER(vsrc1)); |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1)); |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_MOVE_16.c */ |
| HANDLE_OPCODE(OP_MOVE_16 /*vAAAA, vBBBB*/) |
| vdst = FETCH(1); |
| vsrc1 = FETCH(2); |
| ILOGV("|move%s/16 v%d,v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE_16) ? "" : "-object", vdst, vsrc1, |
| kSpacing, vdst, GET_REGISTER(vsrc1)); |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1)); |
| FINISH(3); |
| OP_END |
| |
| /* File: c/OP_MOVE_WIDE.c */ |
| HANDLE_OPCODE(OP_MOVE_WIDE /*vA, vB*/) |
| /* IMPORTANT: must correctly handle overlapping registers, e.g. both |
| * "move-wide v6, v7" and "move-wide v7, v6" */ |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| ILOGV("|move-wide v%d,v%d %s(v%d=0x%08llx)", vdst, vsrc1, |
| kSpacing+5, vdst, GET_REGISTER_WIDE(vsrc1)); |
| SET_REGISTER_WIDE(vdst, GET_REGISTER_WIDE(vsrc1)); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_MOVE_WIDE_FROM16.c */ |
| HANDLE_OPCODE(OP_MOVE_WIDE_FROM16 /*vAA, vBBBB*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|move-wide/from16 v%d,v%d (v%d=0x%08llx)", vdst, vsrc1, |
| vdst, GET_REGISTER_WIDE(vsrc1)); |
| SET_REGISTER_WIDE(vdst, GET_REGISTER_WIDE(vsrc1)); |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_MOVE_WIDE_16.c */ |
| HANDLE_OPCODE(OP_MOVE_WIDE_16 /*vAAAA, vBBBB*/) |
| vdst = FETCH(1); |
| vsrc1 = FETCH(2); |
| ILOGV("|move-wide/16 v%d,v%d %s(v%d=0x%08llx)", vdst, vsrc1, |
| kSpacing+8, vdst, GET_REGISTER_WIDE(vsrc1)); |
| SET_REGISTER_WIDE(vdst, GET_REGISTER_WIDE(vsrc1)); |
| FINISH(3); |
| OP_END |
| |
| /* File: c/OP_MOVE_OBJECT.c */ |
| /* File: c/OP_MOVE.c */ |
| HANDLE_OPCODE(OP_MOVE_OBJECT /*vA, vB*/) |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| ILOGV("|move%s v%d,v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE) ? "" : "-object", vdst, vsrc1, |
| kSpacing, vdst, GET_REGISTER(vsrc1)); |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1)); |
| FINISH(1); |
| OP_END |
| |
| |
| /* File: c/OP_MOVE_OBJECT_FROM16.c */ |
| /* File: c/OP_MOVE_FROM16.c */ |
| HANDLE_OPCODE(OP_MOVE_OBJECT_FROM16 /*vAA, vBBBB*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|move%s/from16 v%d,v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE_FROM16) ? "" : "-object", vdst, vsrc1, |
| kSpacing, vdst, GET_REGISTER(vsrc1)); |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1)); |
| FINISH(2); |
| OP_END |
| |
| |
| /* File: c/OP_MOVE_OBJECT_16.c */ |
| /* File: c/OP_MOVE_16.c */ |
| HANDLE_OPCODE(OP_MOVE_OBJECT_16 /*vAAAA, vBBBB*/) |
| vdst = FETCH(1); |
| vsrc1 = FETCH(2); |
| ILOGV("|move%s/16 v%d,v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE_16) ? "" : "-object", vdst, vsrc1, |
| kSpacing, vdst, GET_REGISTER(vsrc1)); |
| SET_REGISTER(vdst, GET_REGISTER(vsrc1)); |
| FINISH(3); |
| OP_END |
| |
| |
| /* File: c/OP_MOVE_RESULT.c */ |
| HANDLE_OPCODE(OP_MOVE_RESULT /*vAA*/) |
| vdst = INST_AA(inst); |
| ILOGV("|move-result%s v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE_RESULT) ? "" : "-object", |
| vdst, kSpacing+4, vdst,retval.i); |
| SET_REGISTER(vdst, retval.i); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_MOVE_RESULT_WIDE.c */ |
| HANDLE_OPCODE(OP_MOVE_RESULT_WIDE /*vAA*/) |
| vdst = INST_AA(inst); |
| ILOGV("|move-result-wide v%d %s(0x%08llx)", vdst, kSpacing, retval.j); |
| SET_REGISTER_WIDE(vdst, retval.j); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_MOVE_RESULT_OBJECT.c */ |
| /* File: c/OP_MOVE_RESULT.c */ |
| HANDLE_OPCODE(OP_MOVE_RESULT_OBJECT /*vAA*/) |
| vdst = INST_AA(inst); |
| ILOGV("|move-result%s v%d %s(v%d=0x%08x)", |
| (INST_INST(inst) == OP_MOVE_RESULT) ? "" : "-object", |
| vdst, kSpacing+4, vdst,retval.i); |
| SET_REGISTER(vdst, retval.i); |
| FINISH(1); |
| OP_END |
| |
| |
| /* File: c/OP_MOVE_EXCEPTION.c */ |
| HANDLE_OPCODE(OP_MOVE_EXCEPTION /*vAA*/) |
| vdst = INST_AA(inst); |
| ILOGV("|move-exception v%d", vdst); |
| assert(self->exception != NULL); |
| SET_REGISTER(vdst, (u4)self->exception); |
| dvmClearException(self); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_RETURN_VOID.c */ |
| HANDLE_OPCODE(OP_RETURN_VOID /**/) |
| ILOGV("|return-void"); |
| #ifndef NDEBUG |
| retval.j = 0xababababULL; // placate valgrind |
| #endif |
| GOTO_returnFromMethod(); |
| OP_END |
| |
| /* File: c/OP_RETURN.c */ |
| HANDLE_OPCODE(OP_RETURN /*vAA*/) |
| vsrc1 = INST_AA(inst); |
| ILOGV("|return%s v%d", |
| (INST_INST(inst) == OP_RETURN) ? "" : "-object", vsrc1); |
| retval.i = GET_REGISTER(vsrc1); |
| GOTO_returnFromMethod(); |
| OP_END |
| |
| /* File: c/OP_RETURN_WIDE.c */ |
| HANDLE_OPCODE(OP_RETURN_WIDE /*vAA*/) |
| vsrc1 = INST_AA(inst); |
| ILOGV("|return-wide v%d", vsrc1); |
| retval.j = GET_REGISTER_WIDE(vsrc1); |
| GOTO_returnFromMethod(); |
| OP_END |
| |
| /* File: c/OP_RETURN_OBJECT.c */ |
| /* File: c/OP_RETURN.c */ |
| HANDLE_OPCODE(OP_RETURN_OBJECT /*vAA*/) |
| vsrc1 = INST_AA(inst); |
| ILOGV("|return%s v%d", |
| (INST_INST(inst) == OP_RETURN) ? "" : "-object", vsrc1); |
| retval.i = GET_REGISTER(vsrc1); |
| GOTO_returnFromMethod(); |
| OP_END |
| |
| |
| /* File: c/OP_CONST_4.c */ |
| HANDLE_OPCODE(OP_CONST_4 /*vA, #+B*/) |
| { |
| s4 tmp; |
| |
| vdst = INST_A(inst); |
| tmp = (s4) (INST_B(inst) << 28) >> 28; // sign extend 4-bit value |
| ILOGV("|const/4 v%d,#0x%02x", vdst, (s4)tmp); |
| SET_REGISTER(vdst, tmp); |
| } |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_CONST_16.c */ |
| HANDLE_OPCODE(OP_CONST_16 /*vAA, #+BBBB*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|const/16 v%d,#0x%04x", vdst, (s2)vsrc1); |
| SET_REGISTER(vdst, (s2) vsrc1); |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_CONST.c */ |
| HANDLE_OPCODE(OP_CONST /*vAA, #+BBBBBBBB*/) |
| { |
| u4 tmp; |
| |
| vdst = INST_AA(inst); |
| tmp = FETCH(1); |
| tmp |= (u4)FETCH(2) << 16; |
| ILOGV("|const v%d,#0x%08x", vdst, tmp); |
| SET_REGISTER(vdst, tmp); |
| } |
| FINISH(3); |
| OP_END |
| |
| /* File: c/OP_CONST_HIGH16.c */ |
| HANDLE_OPCODE(OP_CONST_HIGH16 /*vAA, #+BBBB0000*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|const/high16 v%d,#0x%04x0000", vdst, vsrc1); |
| SET_REGISTER(vdst, vsrc1 << 16); |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_CONST_WIDE_16.c */ |
| HANDLE_OPCODE(OP_CONST_WIDE_16 /*vAA, #+BBBB*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|const-wide/16 v%d,#0x%04x", vdst, (s2)vsrc1); |
| SET_REGISTER_WIDE(vdst, (s2)vsrc1); |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_CONST_WIDE_32.c */ |
| HANDLE_OPCODE(OP_CONST_WIDE_32 /*vAA, #+BBBBBBBB*/) |
| { |
| u4 tmp; |
| |
| vdst = INST_AA(inst); |
| tmp = FETCH(1); |
| tmp |= (u4)FETCH(2) << 16; |
| ILOGV("|const-wide/32 v%d,#0x%08x", vdst, tmp); |
| SET_REGISTER_WIDE(vdst, (s4) tmp); |
| } |
| FINISH(3); |
| OP_END |
| |
| /* File: c/OP_CONST_WIDE.c */ |
| HANDLE_OPCODE(OP_CONST_WIDE /*vAA, #+BBBBBBBBBBBBBBBB*/) |
| { |
| u8 tmp; |
| |
| vdst = INST_AA(inst); |
| tmp = FETCH(1); |
| tmp |= (u8)FETCH(2) << 16; |
| tmp |= (u8)FETCH(3) << 32; |
| tmp |= (u8)FETCH(4) << 48; |
| ILOGV("|const-wide v%d,#0x%08llx", vdst, tmp); |
| SET_REGISTER_WIDE(vdst, tmp); |
| } |
| FINISH(5); |
| OP_END |
| |
| /* File: c/OP_CONST_WIDE_HIGH16.c */ |
| HANDLE_OPCODE(OP_CONST_WIDE_HIGH16 /*vAA, #+BBBB000000000000*/) |
| vdst = INST_AA(inst); |
| vsrc1 = FETCH(1); |
| ILOGV("|const-wide/high16 v%d,#0x%04x000000000000", vdst, vsrc1); |
| SET_REGISTER_WIDE(vdst, ((u8) vsrc1) << 48); |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_CONST_STRING.c */ |
| HANDLE_OPCODE(OP_CONST_STRING /*vAA, string@BBBB*/) |
| { |
| StringObject* strObj; |
| |
| vdst = INST_AA(inst); |
| ref = FETCH(1); |
| ILOGV("|const-string v%d string@0x%04x", vdst, ref); |
| strObj = dvmDexGetResolvedString(methodClassDex, ref); |
| if (strObj == NULL) { |
| EXPORT_PC(); |
| strObj = dvmResolveString(curMethod->clazz, ref); |
| if (strObj == NULL) |
| GOTO_exceptionThrown(); |
| } |
| SET_REGISTER(vdst, (u4) strObj); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_CONST_STRING_JUMBO.c */ |
| HANDLE_OPCODE(OP_CONST_STRING_JUMBO /*vAA, string@BBBBBBBB*/) |
| { |
| StringObject* strObj; |
| u4 tmp; |
| |
| vdst = INST_AA(inst); |
| tmp = FETCH(1); |
| tmp |= (u4)FETCH(2) << 16; |
| ILOGV("|const-string/jumbo v%d string@0x%08x", vdst, tmp); |
| strObj = dvmDexGetResolvedString(methodClassDex, tmp); |
| if (strObj == NULL) { |
| EXPORT_PC(); |
| strObj = dvmResolveString(curMethod->clazz, tmp); |
| if (strObj == NULL) |
| GOTO_exceptionThrown(); |
| } |
| SET_REGISTER(vdst, (u4) strObj); |
| } |
| FINISH(3); |
| OP_END |
| |
| /* File: c/OP_CONST_CLASS.c */ |
| HANDLE_OPCODE(OP_CONST_CLASS /*vAA, class@BBBB*/) |
| { |
| ClassObject* clazz; |
| |
| vdst = INST_AA(inst); |
| ref = FETCH(1); |
| ILOGV("|const-class v%d class@0x%04x", vdst, ref); |
| clazz = dvmDexGetResolvedClass(methodClassDex, ref); |
| if (clazz == NULL) { |
| EXPORT_PC(); |
| clazz = dvmResolveClass(curMethod->clazz, ref, true); |
| if (clazz == NULL) |
| GOTO_exceptionThrown(); |
| } |
| SET_REGISTER(vdst, (u4) clazz); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_MONITOR_ENTER.c */ |
| HANDLE_OPCODE(OP_MONITOR_ENTER /*vAA*/) |
| { |
| Object* obj; |
| |
| vsrc1 = INST_AA(inst); |
| ILOGV("|monitor-enter v%d %s(0x%08x)", |
| vsrc1, kSpacing+6, GET_REGISTER(vsrc1)); |
| obj = (Object*)GET_REGISTER(vsrc1); |
| if (!checkForNullExportPC(obj, fp, pc)) |
| GOTO_exceptionThrown(); |
| ILOGV("+ locking %p %s\n", obj, obj->clazz->descriptor); |
| #ifdef WITH_MONITOR_TRACKING |
| EXPORT_PC(); /* need for stack trace */ |
| #endif |
| dvmLockObject(self, obj); |
| #ifdef WITH_DEADLOCK_PREDICTION |
| if (dvmCheckException(self)) |
| GOTO_exceptionThrown(); |
| #endif |
| } |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_MONITOR_EXIT.c */ |
| HANDLE_OPCODE(OP_MONITOR_EXIT /*vAA*/) |
| { |
| Object* obj; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); |
| ILOGV("|monitor-exit v%d %s(0x%08x)", |
| vsrc1, kSpacing+5, GET_REGISTER(vsrc1)); |
| obj = (Object*)GET_REGISTER(vsrc1); |
| if (!checkForNull(obj)) { |
| /* |
| * The exception needs to be processed at the *following* |
| * instruction, not the current instruction (see the Dalvik |
| * spec). Because we're jumping to an exception handler, |
| * we're not actually at risk of skipping an instruction |
| * by doing so. |
| */ |
| ADJUST_PC(1); /* monitor-exit width is 1 */ |
| GOTO_exceptionThrown(); |
| } |
| ILOGV("+ unlocking %p %s\n", obj, obj->clazz->descriptor); |
| if (!dvmUnlockObject(self, obj)) { |
| assert(dvmCheckException(self)); |
| ADJUST_PC(1); |
| GOTO_exceptionThrown(); |
| } |
| } |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_CHECK_CAST.c */ |
| HANDLE_OPCODE(OP_CHECK_CAST /*vAA, class@BBBB*/) |
| { |
| ClassObject* clazz; |
| Object* obj; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); |
| ref = FETCH(1); /* class to check against */ |
| ILOGV("|check-cast v%d,class@0x%04x", vsrc1, ref); |
| |
| obj = (Object*)GET_REGISTER(vsrc1); |
| if (obj != NULL) { |
| #if defined(WITH_EXTRA_OBJECT_VALIDATION) |
| if (!checkForNull(obj)) |
| GOTO_exceptionThrown(); |
| #endif |
| clazz = dvmDexGetResolvedClass(methodClassDex, ref); |
| if (clazz == NULL) { |
| clazz = dvmResolveClass(curMethod->clazz, ref, false); |
| if (clazz == NULL) |
| GOTO_exceptionThrown(); |
| } |
| if (!dvmInstanceof(obj->clazz, clazz)) { |
| dvmThrowExceptionWithClassMessage( |
| "Ljava/lang/ClassCastException;", obj->clazz->descriptor); |
| GOTO_exceptionThrown(); |
| } |
| } |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_INSTANCE_OF.c */ |
| HANDLE_OPCODE(OP_INSTANCE_OF /*vA, vB, class@CCCC*/) |
| { |
| ClassObject* clazz; |
| Object* obj; |
| |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); /* object to check */ |
| ref = FETCH(1); /* class to check against */ |
| ILOGV("|instance-of v%d,v%d,class@0x%04x", vdst, vsrc1, ref); |
| |
| obj = (Object*)GET_REGISTER(vsrc1); |
| if (obj == NULL) { |
| SET_REGISTER(vdst, 0); |
| } else { |
| #if defined(WITH_EXTRA_OBJECT_VALIDATION) |
| if (!checkForNullExportPC(obj, fp, pc)) |
| GOTO_exceptionThrown(); |
| #endif |
| clazz = dvmDexGetResolvedClass(methodClassDex, ref); |
| if (clazz == NULL) { |
| EXPORT_PC(); |
| clazz = dvmResolveClass(curMethod->clazz, ref, true); |
| if (clazz == NULL) |
| GOTO_exceptionThrown(); |
| } |
| SET_REGISTER(vdst, dvmInstanceof(obj->clazz, clazz)); |
| } |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_ARRAY_LENGTH.c */ |
| HANDLE_OPCODE(OP_ARRAY_LENGTH /*vA, vB*/) |
| { |
| ArrayObject* arrayObj; |
| |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| arrayObj = (ArrayObject*) GET_REGISTER(vsrc1); |
| ILOGV("|array-length v%d,v%d (%p)", vdst, vsrc1, arrayObj); |
| if (!checkForNullExportPC((Object*) arrayObj, fp, pc)) |
| GOTO_exceptionThrown(); |
| /* verifier guarantees this is an array reference */ |
| SET_REGISTER(vdst, arrayObj->length); |
| } |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_NEW_INSTANCE.c */ |
| HANDLE_OPCODE(OP_NEW_INSTANCE /*vAA, class@BBBB*/) |
| { |
| ClassObject* clazz; |
| Object* newObj; |
| |
| EXPORT_PC(); |
| |
| vdst = INST_AA(inst); |
| ref = FETCH(1); |
| ILOGV("|new-instance v%d,class@0x%04x", vdst, ref); |
| clazz = dvmDexGetResolvedClass(methodClassDex, ref); |
| if (clazz == NULL) { |
| clazz = dvmResolveClass(curMethod->clazz, ref, false); |
| if (clazz == NULL) |
| GOTO_exceptionThrown(); |
| } |
| |
| if (!dvmIsClassInitialized(clazz) && !dvmInitClass(clazz)) |
| GOTO_exceptionThrown(); |
| |
| /* |
| * Note: the verifier can ensure that this never happens, allowing us |
| * to remove the check. However, the spec requires we throw the |
| * exception at runtime, not verify time, so the verifier would |
| * need to replace the new-instance call with a magic "throw |
| * InstantiationError" instruction. |
| * |
| * Since this relies on the verifier, which is optional, we would |
| * also need a "new-instance-quick" instruction to identify instances |
| * that don't require the check. |
| */ |
| if (dvmIsInterfaceClass(clazz) || dvmIsAbstractClass(clazz)) { |
| dvmThrowExceptionWithClassMessage("Ljava/lang/InstantiationError;", |
| clazz->descriptor); |
| GOTO_exceptionThrown(); |
| } |
| newObj = dvmAllocObject(clazz, ALLOC_DONT_TRACK); |
| if (newObj == NULL) |
| GOTO_exceptionThrown(); |
| SET_REGISTER(vdst, (u4) newObj); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_NEW_ARRAY.c */ |
| HANDLE_OPCODE(OP_NEW_ARRAY /*vA, vB, class@CCCC*/) |
| { |
| ClassObject* arrayClass; |
| ArrayObject* newArray; |
| s4 length; |
| |
| EXPORT_PC(); |
| |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); /* length reg */ |
| ref = FETCH(1); |
| ILOGV("|new-array v%d,v%d,class@0x%04x (%d elements)", |
| vdst, vsrc1, ref, (s4) GET_REGISTER(vsrc1)); |
| length = (s4) GET_REGISTER(vsrc1); |
| if (length < 0) { |
| dvmThrowException("Ljava/lang/NegativeArraySizeException;", NULL); |
| GOTO_exceptionThrown(); |
| } |
| arrayClass = dvmDexGetResolvedClass(methodClassDex, ref); |
| if (arrayClass == NULL) { |
| arrayClass = dvmResolveClass(curMethod->clazz, ref, false); |
| if (arrayClass == NULL) |
| GOTO_exceptionThrown(); |
| } |
| /* verifier guarantees this is an array class */ |
| assert(dvmIsArrayClass(arrayClass)); |
| assert(dvmIsClassInitialized(arrayClass)); |
| |
| newArray = dvmAllocArrayByClass(arrayClass, length, ALLOC_DONT_TRACK); |
| if (newArray == NULL) |
| GOTO_exceptionThrown(); |
| SET_REGISTER(vdst, (u4) newArray); |
| } |
| FINISH(2); |
| OP_END |
| |
| |
| /* File: c/OP_FILLED_NEW_ARRAY.c */ |
| HANDLE_OPCODE(OP_FILLED_NEW_ARRAY /*vB, {vD, vE, vF, vG, vA}, class@CCCC*/) |
| GOTO_invoke(filledNewArray, false); |
| OP_END |
| |
| /* File: c/OP_FILLED_NEW_ARRAY_RANGE.c */ |
| HANDLE_OPCODE(OP_FILLED_NEW_ARRAY_RANGE /*{vCCCC..v(CCCC+AA-1)}, class@BBBB*/) |
| GOTO_invoke(filledNewArray, true); |
| OP_END |
| |
| /* File: c/OP_FILL_ARRAY_DATA.c */ |
| HANDLE_OPCODE(OP_FILL_ARRAY_DATA) /*vAA, +BBBBBBBB*/ |
| { |
| const u2* arrayData; |
| s4 offset; |
| ArrayObject* arrayObj; |
| |
| EXPORT_PC(); |
| vsrc1 = INST_AA(inst); |
| offset = FETCH(1) | (((s4) FETCH(2)) << 16); |
| ILOGV("|fill-array-data v%d +0x%04x", vsrc1, offset); |
| arrayData = pc + offset; // offset in 16-bit units |
| #ifndef NDEBUG |
| if (arrayData < curMethod->insns || |
| arrayData >= curMethod->insns + dvmGetMethodInsnsSize(curMethod)) |
| { |
| /* should have been caught in verifier */ |
| dvmThrowException("Ljava/lang/InternalError;", |
| "bad fill array data"); |
| GOTO_exceptionThrown(); |
| } |
| #endif |
| arrayObj = (ArrayObject*) GET_REGISTER(vsrc1); |
| if (!dvmInterpHandleFillArrayData(arrayObj, arrayData)) { |
| GOTO_exceptionThrown(); |
| } |
| FINISH(3); |
| } |
| OP_END |
| |
| /* File: c/OP_THROW.c */ |
| HANDLE_OPCODE(OP_THROW /*vAA*/) |
| { |
| Object* obj; |
| |
| vsrc1 = INST_AA(inst); |
| ILOGV("|throw v%d (%p)", vsrc1, (void*)GET_REGISTER(vsrc1)); |
| obj = (Object*) GET_REGISTER(vsrc1); |
| if (!checkForNullExportPC(obj, fp, pc)) { |
| /* will throw a null pointer exception */ |
| LOGVV("Bad exception\n"); |
| } else { |
| /* use the requested exception */ |
| dvmSetException(self, obj); |
| } |
| GOTO_exceptionThrown(); |
| } |
| OP_END |
| |
| /* File: c/OP_GOTO.c */ |
| HANDLE_OPCODE(OP_GOTO /*+AA*/) |
| vdst = INST_AA(inst); |
| if ((s1)vdst < 0) |
| ILOGV("|goto -0x%02x", -((s1)vdst)); |
| else |
| ILOGV("|goto +0x%02x", ((s1)vdst)); |
| ILOGV("> branch taken"); |
| if ((s1)vdst < 0) |
| PERIODIC_CHECKS(kInterpEntryInstr, (s1)vdst); |
| FINISH((s1)vdst); |
| OP_END |
| |
| /* File: c/OP_GOTO_16.c */ |
| HANDLE_OPCODE(OP_GOTO_16 /*+AAAA*/) |
| { |
| s4 offset = (s2) FETCH(1); /* sign-extend next code unit */ |
| |
| if (offset < 0) |
| ILOGV("|goto/16 -0x%04x", -offset); |
| else |
| ILOGV("|goto/16 +0x%04x", offset); |
| ILOGV("> branch taken"); |
| if (offset < 0) |
| PERIODIC_CHECKS(kInterpEntryInstr, offset); |
| FINISH(offset); |
| } |
| OP_END |
| |
| /* File: c/OP_GOTO_32.c */ |
| HANDLE_OPCODE(OP_GOTO_32 /*+AAAAAAAA*/) |
| { |
| s4 offset = FETCH(1); /* low-order 16 bits */ |
| offset |= ((s4) FETCH(2)) << 16; /* high-order 16 bits */ |
| |
| if (offset < 0) |
| ILOGV("|goto/32 -0x%08x", -offset); |
| else |
| ILOGV("|goto/32 +0x%08x", offset); |
| ILOGV("> branch taken"); |
| if (offset <= 0) /* allowed to branch to self */ |
| PERIODIC_CHECKS(kInterpEntryInstr, offset); |
| FINISH(offset); |
| } |
| OP_END |
| |
| /* File: c/OP_PACKED_SWITCH.c */ |
| HANDLE_OPCODE(OP_PACKED_SWITCH /*vAA, +BBBB*/) |
| { |
| const u2* switchData; |
| u4 testVal; |
| s4 offset; |
| |
| vsrc1 = INST_AA(inst); |
| offset = FETCH(1) | (((s4) FETCH(2)) << 16); |
| ILOGV("|packed-switch v%d +0x%04x", vsrc1, vsrc2); |
| switchData = pc + offset; // offset in 16-bit units |
| #ifndef NDEBUG |
| if (switchData < curMethod->insns || |
| switchData >= curMethod->insns + dvmGetMethodInsnsSize(curMethod)) |
| { |
| /* should have been caught in verifier */ |
| EXPORT_PC(); |
| dvmThrowException("Ljava/lang/InternalError;", "bad packed switch"); |
| GOTO_exceptionThrown(); |
| } |
| #endif |
| testVal = GET_REGISTER(vsrc1); |
| |
| offset = dvmInterpHandlePackedSwitch(switchData, testVal); |
| ILOGV("> branch taken (0x%04x)\n", offset); |
| if (offset <= 0) /* uncommon */ |
| PERIODIC_CHECKS(kInterpEntryInstr, offset); |
| FINISH(offset); |
| } |
| OP_END |
| |
| /* File: c/OP_SPARSE_SWITCH.c */ |
| HANDLE_OPCODE(OP_SPARSE_SWITCH /*vAA, +BBBB*/) |
| { |
| const u2* switchData; |
| u4 testVal; |
| s4 offset; |
| |
| vsrc1 = INST_AA(inst); |
| offset = FETCH(1) | (((s4) FETCH(2)) << 16); |
| ILOGV("|sparse-switch v%d +0x%04x", vsrc1, vsrc2); |
| switchData = pc + offset; // offset in 16-bit units |
| #ifndef NDEBUG |
| if (switchData < curMethod->insns || |
| switchData >= curMethod->insns + dvmGetMethodInsnsSize(curMethod)) |
| { |
| /* should have been caught in verifier */ |
| EXPORT_PC(); |
| dvmThrowException("Ljava/lang/InternalError;", "bad sparse switch"); |
| GOTO_exceptionThrown(); |
| } |
| #endif |
| testVal = GET_REGISTER(vsrc1); |
| |
| offset = dvmInterpHandleSparseSwitch(switchData, testVal); |
| ILOGV("> branch taken (0x%04x)\n", offset); |
| if (offset <= 0) /* uncommon */ |
| PERIODIC_CHECKS(kInterpEntryInstr, offset); |
| FINISH(offset); |
| } |
| OP_END |
| |
| /* File: c/OP_CMPL_FLOAT.c */ |
| HANDLE_OP_CMPX(OP_CMPL_FLOAT, "l-float", float, _FLOAT, -1) |
| OP_END |
| |
| /* File: c/OP_CMPG_FLOAT.c */ |
| HANDLE_OP_CMPX(OP_CMPG_FLOAT, "g-float", float, _FLOAT, 1) |
| OP_END |
| |
| /* File: c/OP_CMPL_DOUBLE.c */ |
| HANDLE_OP_CMPX(OP_CMPL_DOUBLE, "l-double", double, _DOUBLE, -1) |
| OP_END |
| |
| /* File: c/OP_CMPG_DOUBLE.c */ |
| HANDLE_OP_CMPX(OP_CMPG_DOUBLE, "g-double", double, _DOUBLE, 1) |
| OP_END |
| |
| /* File: c/OP_CMP_LONG.c */ |
| HANDLE_OP_CMPX(OP_CMP_LONG, "-long", s8, _WIDE, 0) |
| OP_END |
| |
| /* File: c/OP_IF_EQ.c */ |
| HANDLE_OP_IF_XX(OP_IF_EQ, "eq", ==) |
| OP_END |
| |
| /* File: c/OP_IF_NE.c */ |
| HANDLE_OP_IF_XX(OP_IF_NE, "ne", !=) |
| OP_END |
| |
| /* File: c/OP_IF_LT.c */ |
| HANDLE_OP_IF_XX(OP_IF_LT, "lt", <) |
| OP_END |
| |
| /* File: c/OP_IF_GE.c */ |
| HANDLE_OP_IF_XX(OP_IF_GE, "ge", >=) |
| OP_END |
| |
| /* File: c/OP_IF_GT.c */ |
| HANDLE_OP_IF_XX(OP_IF_GT, "gt", >) |
| OP_END |
| |
| /* File: c/OP_IF_LE.c */ |
| HANDLE_OP_IF_XX(OP_IF_LE, "le", <=) |
| OP_END |
| |
| /* File: c/OP_IF_EQZ.c */ |
| HANDLE_OP_IF_XXZ(OP_IF_EQZ, "eqz", ==) |
| OP_END |
| |
| /* File: c/OP_IF_NEZ.c */ |
| HANDLE_OP_IF_XXZ(OP_IF_NEZ, "nez", !=) |
| OP_END |
| |
| /* File: c/OP_IF_LTZ.c */ |
| HANDLE_OP_IF_XXZ(OP_IF_LTZ, "ltz", <) |
| OP_END |
| |
| /* File: c/OP_IF_GEZ.c */ |
| HANDLE_OP_IF_XXZ(OP_IF_GEZ, "gez", >=) |
| OP_END |
| |
| /* File: c/OP_IF_GTZ.c */ |
| HANDLE_OP_IF_XXZ(OP_IF_GTZ, "gtz", >) |
| OP_END |
| |
| /* File: c/OP_IF_LEZ.c */ |
| HANDLE_OP_IF_XXZ(OP_IF_LEZ, "lez", <=) |
| OP_END |
| |
| /* File: c/OP_UNUSED_3E.c */ |
| HANDLE_OPCODE(OP_UNUSED_3E) |
| OP_END |
| |
| /* File: c/OP_UNUSED_3F.c */ |
| HANDLE_OPCODE(OP_UNUSED_3F) |
| OP_END |
| |
| /* File: c/OP_UNUSED_40.c */ |
| HANDLE_OPCODE(OP_UNUSED_40) |
| OP_END |
| |
| /* File: c/OP_UNUSED_41.c */ |
| HANDLE_OPCODE(OP_UNUSED_41) |
| OP_END |
| |
| /* File: c/OP_UNUSED_42.c */ |
| HANDLE_OPCODE(OP_UNUSED_42) |
| OP_END |
| |
| /* File: c/OP_UNUSED_43.c */ |
| HANDLE_OPCODE(OP_UNUSED_43) |
| OP_END |
| |
| /* File: c/OP_AGET.c */ |
| HANDLE_OP_AGET(OP_AGET, "", u4, ) |
| OP_END |
| |
| /* File: c/OP_AGET_WIDE.c */ |
| HANDLE_OP_AGET(OP_AGET_WIDE, "-wide", s8, _WIDE) |
| OP_END |
| |
| /* File: c/OP_AGET_OBJECT.c */ |
| HANDLE_OP_AGET(OP_AGET_OBJECT, "-object", u4, ) |
| OP_END |
| |
| /* File: c/OP_AGET_BOOLEAN.c */ |
| HANDLE_OP_AGET(OP_AGET_BOOLEAN, "-boolean", u1, ) |
| OP_END |
| |
| /* File: c/OP_AGET_BYTE.c */ |
| HANDLE_OP_AGET(OP_AGET_BYTE, "-byte", s1, ) |
| OP_END |
| |
| /* File: c/OP_AGET_CHAR.c */ |
| HANDLE_OP_AGET(OP_AGET_CHAR, "-char", u2, ) |
| OP_END |
| |
| /* File: c/OP_AGET_SHORT.c */ |
| HANDLE_OP_AGET(OP_AGET_SHORT, "-short", s2, ) |
| OP_END |
| |
| /* File: c/OP_APUT.c */ |
| HANDLE_OP_APUT(OP_APUT, "", u4, ) |
| OP_END |
| |
| /* File: c/OP_APUT_WIDE.c */ |
| HANDLE_OP_APUT(OP_APUT_WIDE, "-wide", s8, _WIDE) |
| OP_END |
| |
| /* File: c/OP_APUT_OBJECT.c */ |
| HANDLE_OPCODE(OP_APUT_OBJECT /*vAA, vBB, vCC*/) |
| { |
| ArrayObject* arrayObj; |
| Object* obj; |
| u2 arrayInfo; |
| EXPORT_PC(); |
| vdst = INST_AA(inst); /* AA: source value */ |
| arrayInfo = FETCH(1); |
| vsrc1 = arrayInfo & 0xff; /* BB: array ptr */ |
| vsrc2 = arrayInfo >> 8; /* CC: index */ |
| ILOGV("|aput%s v%d,v%d,v%d", "-object", vdst, vsrc1, vsrc2); |
| arrayObj = (ArrayObject*) GET_REGISTER(vsrc1); |
| if (!checkForNull((Object*) arrayObj)) |
| GOTO_exceptionThrown(); |
| if (GET_REGISTER(vsrc2) >= arrayObj->length) { |
| dvmThrowException("Ljava/lang/ArrayIndexOutOfBoundsException;", |
| NULL); |
| GOTO_exceptionThrown(); |
| } |
| obj = (Object*) GET_REGISTER(vdst); |
| if (obj != NULL) { |
| if (!checkForNull(obj)) |
| GOTO_exceptionThrown(); |
| if (!dvmCanPutArrayElement(obj->clazz, arrayObj->obj.clazz)) { |
| LOGV("Can't put a '%s'(%p) into array type='%s'(%p)\n", |
| obj->clazz->descriptor, obj, |
| arrayObj->obj.clazz->descriptor, arrayObj); |
| //dvmDumpClass(obj->clazz); |
| //dvmDumpClass(arrayObj->obj.clazz); |
| dvmThrowException("Ljava/lang/ArrayStoreException;", NULL); |
| GOTO_exceptionThrown(); |
| } |
| } |
| ILOGV("+ APUT[%d]=0x%08x", GET_REGISTER(vsrc2), GET_REGISTER(vdst)); |
| ((u4*) arrayObj->contents)[GET_REGISTER(vsrc2)] = |
| GET_REGISTER(vdst); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_APUT_BOOLEAN.c */ |
| HANDLE_OP_APUT(OP_APUT_BOOLEAN, "-boolean", u1, ) |
| OP_END |
| |
| /* File: c/OP_APUT_BYTE.c */ |
| HANDLE_OP_APUT(OP_APUT_BYTE, "-byte", s1, ) |
| OP_END |
| |
| /* File: c/OP_APUT_CHAR.c */ |
| HANDLE_OP_APUT(OP_APUT_CHAR, "-char", u2, ) |
| OP_END |
| |
| /* File: c/OP_APUT_SHORT.c */ |
| HANDLE_OP_APUT(OP_APUT_SHORT, "-short", s2, ) |
| OP_END |
| |
| /* File: c/OP_IGET.c */ |
| HANDLE_IGET_X(OP_IGET, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IGET_WIDE.c */ |
| HANDLE_IGET_X(OP_IGET_WIDE, "-wide", Long, _WIDE) |
| OP_END |
| |
| /* File: c/OP_IGET_OBJECT.c */ |
| HANDLE_IGET_X(OP_IGET_OBJECT, "-object", Object, _AS_OBJECT) |
| OP_END |
| |
| /* File: c/OP_IGET_BOOLEAN.c */ |
| HANDLE_IGET_X(OP_IGET_BOOLEAN, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IGET_BYTE.c */ |
| HANDLE_IGET_X(OP_IGET_BYTE, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IGET_CHAR.c */ |
| HANDLE_IGET_X(OP_IGET_CHAR, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IGET_SHORT.c */ |
| HANDLE_IGET_X(OP_IGET_SHORT, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IPUT.c */ |
| HANDLE_IPUT_X(OP_IPUT, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IPUT_WIDE.c */ |
| HANDLE_IPUT_X(OP_IPUT_WIDE, "-wide", Long, _WIDE) |
| OP_END |
| |
| /* File: c/OP_IPUT_OBJECT.c */ |
| /* |
| * The VM spec says we should verify that the reference being stored into |
| * the field is assignment compatible. In practice, many popular VMs don't |
| * do this because it slows down a very common operation. It's not so bad |
| * for us, since "dexopt" quickens it whenever possible, but it's still an |
| * issue. |
| * |
| * To make this spec-complaint, we'd need to add a ClassObject pointer to |
| * the Field struct, resolve the field's type descriptor at link or class |
| * init time, and then verify the type here. |
| */ |
| HANDLE_IPUT_X(OP_IPUT_OBJECT, "-object", Object, _AS_OBJECT) |
| OP_END |
| |
| /* File: c/OP_IPUT_BOOLEAN.c */ |
| HANDLE_IPUT_X(OP_IPUT_BOOLEAN, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IPUT_BYTE.c */ |
| HANDLE_IPUT_X(OP_IPUT_BYTE, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IPUT_CHAR.c */ |
| HANDLE_IPUT_X(OP_IPUT_CHAR, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IPUT_SHORT.c */ |
| HANDLE_IPUT_X(OP_IPUT_SHORT, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SGET.c */ |
| HANDLE_SGET_X(OP_SGET, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SGET_WIDE.c */ |
| HANDLE_SGET_X(OP_SGET_WIDE, "-wide", Long, _WIDE) |
| OP_END |
| |
| /* File: c/OP_SGET_OBJECT.c */ |
| HANDLE_SGET_X(OP_SGET_OBJECT, "-object", Object, _AS_OBJECT) |
| OP_END |
| |
| /* File: c/OP_SGET_BOOLEAN.c */ |
| HANDLE_SGET_X(OP_SGET_BOOLEAN, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SGET_BYTE.c */ |
| HANDLE_SGET_X(OP_SGET_BYTE, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SGET_CHAR.c */ |
| HANDLE_SGET_X(OP_SGET_CHAR, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SGET_SHORT.c */ |
| HANDLE_SGET_X(OP_SGET_SHORT, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SPUT.c */ |
| HANDLE_SPUT_X(OP_SPUT, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SPUT_WIDE.c */ |
| HANDLE_SPUT_X(OP_SPUT_WIDE, "-wide", Long, _WIDE) |
| OP_END |
| |
| /* File: c/OP_SPUT_OBJECT.c */ |
| HANDLE_SPUT_X(OP_SPUT_OBJECT, "-object", Object, _AS_OBJECT) |
| OP_END |
| |
| /* File: c/OP_SPUT_BOOLEAN.c */ |
| HANDLE_SPUT_X(OP_SPUT_BOOLEAN, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SPUT_BYTE.c */ |
| HANDLE_SPUT_X(OP_SPUT_BYTE, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SPUT_CHAR.c */ |
| HANDLE_SPUT_X(OP_SPUT_CHAR, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_SPUT_SHORT.c */ |
| HANDLE_SPUT_X(OP_SPUT_SHORT, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_INVOKE_VIRTUAL.c */ |
| HANDLE_OPCODE(OP_INVOKE_VIRTUAL /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeVirtual, false); |
| OP_END |
| |
| /* File: c/OP_INVOKE_SUPER.c */ |
| HANDLE_OPCODE(OP_INVOKE_SUPER /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeSuper, false); |
| OP_END |
| |
| /* File: c/OP_INVOKE_DIRECT.c */ |
| HANDLE_OPCODE(OP_INVOKE_DIRECT /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeDirect, false); |
| OP_END |
| |
| /* File: c/OP_INVOKE_STATIC.c */ |
| HANDLE_OPCODE(OP_INVOKE_STATIC /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeStatic, false); |
| OP_END |
| |
| /* File: c/OP_INVOKE_INTERFACE.c */ |
| HANDLE_OPCODE(OP_INVOKE_INTERFACE /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeInterface, false); |
| OP_END |
| |
| /* File: c/OP_UNUSED_73.c */ |
| HANDLE_OPCODE(OP_UNUSED_73) |
| OP_END |
| |
| /* File: c/OP_INVOKE_VIRTUAL_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_VIRTUAL_RANGE /*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeVirtual, true); |
| OP_END |
| |
| /* File: c/OP_INVOKE_SUPER_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_SUPER_RANGE /*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeSuper, true); |
| OP_END |
| |
| /* File: c/OP_INVOKE_DIRECT_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_DIRECT_RANGE /*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeDirect, true); |
| OP_END |
| |
| /* File: c/OP_INVOKE_STATIC_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_STATIC_RANGE /*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeStatic, true); |
| OP_END |
| |
| /* File: c/OP_INVOKE_INTERFACE_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_INTERFACE_RANGE /*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeInterface, true); |
| OP_END |
| |
| /* File: c/OP_UNUSED_79.c */ |
| HANDLE_OPCODE(OP_UNUSED_79) |
| OP_END |
| |
| /* File: c/OP_UNUSED_7A.c */ |
| HANDLE_OPCODE(OP_UNUSED_7A) |
| OP_END |
| |
| /* File: c/OP_NEG_INT.c */ |
| HANDLE_UNOP(OP_NEG_INT, "neg-int", -, , ) |
| OP_END |
| |
| /* File: c/OP_NOT_INT.c */ |
| HANDLE_UNOP(OP_NOT_INT, "not-int", , ^ 0xffffffff, ) |
| OP_END |
| |
| /* File: c/OP_NEG_LONG.c */ |
| HANDLE_UNOP(OP_NEG_LONG, "neg-long", -, , _WIDE) |
| OP_END |
| |
| /* File: c/OP_NOT_LONG.c */ |
| HANDLE_UNOP(OP_NOT_LONG, "not-long", , ^ 0xffffffffffffffffULL, _WIDE) |
| OP_END |
| |
| /* File: c/OP_NEG_FLOAT.c */ |
| HANDLE_UNOP(OP_NEG_FLOAT, "neg-float", -, , _FLOAT) |
| OP_END |
| |
| /* File: c/OP_NEG_DOUBLE.c */ |
| HANDLE_UNOP(OP_NEG_DOUBLE, "neg-double", -, , _DOUBLE) |
| OP_END |
| |
| /* File: c/OP_INT_TO_LONG.c */ |
| HANDLE_NUMCONV(OP_INT_TO_LONG, "int-to-long", _INT, _WIDE) |
| OP_END |
| |
| /* File: c/OP_INT_TO_FLOAT.c */ |
| HANDLE_NUMCONV(OP_INT_TO_FLOAT, "int-to-float", _INT, _FLOAT) |
| OP_END |
| |
| /* File: c/OP_INT_TO_DOUBLE.c */ |
| HANDLE_NUMCONV(OP_INT_TO_DOUBLE, "int-to-double", _INT, _DOUBLE) |
| OP_END |
| |
| /* File: c/OP_LONG_TO_INT.c */ |
| HANDLE_NUMCONV(OP_LONG_TO_INT, "long-to-int", _WIDE, _INT) |
| OP_END |
| |
| /* File: c/OP_LONG_TO_FLOAT.c */ |
| HANDLE_NUMCONV(OP_LONG_TO_FLOAT, "long-to-float", _WIDE, _FLOAT) |
| OP_END |
| |
| /* File: c/OP_LONG_TO_DOUBLE.c */ |
| HANDLE_NUMCONV(OP_LONG_TO_DOUBLE, "long-to-double", _WIDE, _DOUBLE) |
| OP_END |
| |
| /* File: c/OP_FLOAT_TO_INT.c */ |
| HANDLE_FLOAT_TO_INT(OP_FLOAT_TO_INT, "float-to-int", |
| float, _FLOAT, s4, _INT) |
| OP_END |
| |
| /* File: c/OP_FLOAT_TO_LONG.c */ |
| HANDLE_FLOAT_TO_INT(OP_FLOAT_TO_LONG, "float-to-long", |
| float, _FLOAT, s8, _WIDE) |
| OP_END |
| |
| /* File: c/OP_FLOAT_TO_DOUBLE.c */ |
| HANDLE_NUMCONV(OP_FLOAT_TO_DOUBLE, "float-to-double", _FLOAT, _DOUBLE) |
| OP_END |
| |
| /* File: c/OP_DOUBLE_TO_INT.c */ |
| HANDLE_FLOAT_TO_INT(OP_DOUBLE_TO_INT, "double-to-int", |
| double, _DOUBLE, s4, _INT) |
| OP_END |
| |
| /* File: c/OP_DOUBLE_TO_LONG.c */ |
| HANDLE_FLOAT_TO_INT(OP_DOUBLE_TO_LONG, "double-to-long", |
| double, _DOUBLE, s8, _WIDE) |
| OP_END |
| |
| /* File: c/OP_DOUBLE_TO_FLOAT.c */ |
| HANDLE_NUMCONV(OP_DOUBLE_TO_FLOAT, "double-to-float", _DOUBLE, _FLOAT) |
| OP_END |
| |
| /* File: c/OP_INT_TO_BYTE.c */ |
| HANDLE_INT_TO_SMALL(OP_INT_TO_BYTE, "byte", s1) |
| OP_END |
| |
| /* File: c/OP_INT_TO_CHAR.c */ |
| HANDLE_INT_TO_SMALL(OP_INT_TO_CHAR, "char", u2) |
| OP_END |
| |
| /* File: c/OP_INT_TO_SHORT.c */ |
| HANDLE_INT_TO_SMALL(OP_INT_TO_SHORT, "short", s2) /* want sign bit */ |
| OP_END |
| |
| /* File: c/OP_ADD_INT.c */ |
| HANDLE_OP_X_INT(OP_ADD_INT, "add", +, 0) |
| OP_END |
| |
| /* File: c/OP_SUB_INT.c */ |
| HANDLE_OP_X_INT(OP_SUB_INT, "sub", -, 0) |
| OP_END |
| |
| /* File: c/OP_MUL_INT.c */ |
| HANDLE_OP_X_INT(OP_MUL_INT, "mul", *, 0) |
| OP_END |
| |
| /* File: c/OP_DIV_INT.c */ |
| HANDLE_OP_X_INT(OP_DIV_INT, "div", /, 1) |
| OP_END |
| |
| /* File: c/OP_REM_INT.c */ |
| HANDLE_OP_X_INT(OP_REM_INT, "rem", %, 2) |
| OP_END |
| |
| /* File: c/OP_AND_INT.c */ |
| HANDLE_OP_X_INT(OP_AND_INT, "and", &, 0) |
| OP_END |
| |
| /* File: c/OP_OR_INT.c */ |
| HANDLE_OP_X_INT(OP_OR_INT, "or", |, 0) |
| OP_END |
| |
| /* File: c/OP_XOR_INT.c */ |
| HANDLE_OP_X_INT(OP_XOR_INT, "xor", ^, 0) |
| OP_END |
| |
| /* File: c/OP_SHL_INT.c */ |
| HANDLE_OP_SHX_INT(OP_SHL_INT, "shl", (s4), <<) |
| OP_END |
| |
| /* File: c/OP_SHR_INT.c */ |
| HANDLE_OP_SHX_INT(OP_SHR_INT, "shr", (s4), >>) |
| OP_END |
| |
| /* File: c/OP_USHR_INT.c */ |
| HANDLE_OP_SHX_INT(OP_USHR_INT, "ushr", (u4), >>) |
| OP_END |
| |
| /* File: c/OP_ADD_LONG.c */ |
| HANDLE_OP_X_LONG(OP_ADD_LONG, "add", +, 0) |
| OP_END |
| |
| /* File: c/OP_SUB_LONG.c */ |
| HANDLE_OP_X_LONG(OP_SUB_LONG, "sub", -, 0) |
| OP_END |
| |
| /* File: c/OP_MUL_LONG.c */ |
| HANDLE_OP_X_LONG(OP_MUL_LONG, "mul", *, 0) |
| OP_END |
| |
| /* File: c/OP_DIV_LONG.c */ |
| HANDLE_OP_X_LONG(OP_DIV_LONG, "div", /, 1) |
| OP_END |
| |
| /* File: c/OP_REM_LONG.c */ |
| HANDLE_OP_X_LONG(OP_REM_LONG, "rem", %, 2) |
| OP_END |
| |
| /* File: c/OP_AND_LONG.c */ |
| HANDLE_OP_X_LONG(OP_AND_LONG, "and", &, 0) |
| OP_END |
| |
| /* File: c/OP_OR_LONG.c */ |
| HANDLE_OP_X_LONG(OP_OR_LONG, "or", |, 0) |
| OP_END |
| |
| /* File: c/OP_XOR_LONG.c */ |
| HANDLE_OP_X_LONG(OP_XOR_LONG, "xor", ^, 0) |
| OP_END |
| |
| /* File: c/OP_SHL_LONG.c */ |
| HANDLE_OP_SHX_LONG(OP_SHL_LONG, "shl", (s8), <<) |
| OP_END |
| |
| /* File: c/OP_SHR_LONG.c */ |
| HANDLE_OP_SHX_LONG(OP_SHR_LONG, "shr", (s8), >>) |
| OP_END |
| |
| /* File: c/OP_USHR_LONG.c */ |
| HANDLE_OP_SHX_LONG(OP_USHR_LONG, "ushr", (u8), >>) |
| OP_END |
| |
| /* File: c/OP_ADD_FLOAT.c */ |
| HANDLE_OP_X_FLOAT(OP_ADD_FLOAT, "add", +) |
| OP_END |
| |
| /* File: c/OP_SUB_FLOAT.c */ |
| HANDLE_OP_X_FLOAT(OP_SUB_FLOAT, "sub", -) |
| OP_END |
| |
| /* File: c/OP_MUL_FLOAT.c */ |
| HANDLE_OP_X_FLOAT(OP_MUL_FLOAT, "mul", *) |
| OP_END |
| |
| /* File: c/OP_DIV_FLOAT.c */ |
| HANDLE_OP_X_FLOAT(OP_DIV_FLOAT, "div", /) |
| OP_END |
| |
| /* File: c/OP_REM_FLOAT.c */ |
| HANDLE_OPCODE(OP_REM_FLOAT /*vAA, vBB, vCC*/) |
| { |
| u2 srcRegs; |
| vdst = INST_AA(inst); |
| srcRegs = FETCH(1); |
| vsrc1 = srcRegs & 0xff; |
| vsrc2 = srcRegs >> 8; |
| ILOGV("|%s-float v%d,v%d,v%d", "mod", vdst, vsrc1, vsrc2); |
| SET_REGISTER_FLOAT(vdst, |
| fmodf(GET_REGISTER_FLOAT(vsrc1), GET_REGISTER_FLOAT(vsrc2))); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_ADD_DOUBLE.c */ |
| HANDLE_OP_X_DOUBLE(OP_ADD_DOUBLE, "add", +) |
| OP_END |
| |
| /* File: c/OP_SUB_DOUBLE.c */ |
| HANDLE_OP_X_DOUBLE(OP_SUB_DOUBLE, "sub", -) |
| OP_END |
| |
| /* File: c/OP_MUL_DOUBLE.c */ |
| HANDLE_OP_X_DOUBLE(OP_MUL_DOUBLE, "mul", *) |
| OP_END |
| |
| /* File: c/OP_DIV_DOUBLE.c */ |
| HANDLE_OP_X_DOUBLE(OP_DIV_DOUBLE, "div", /) |
| OP_END |
| |
| /* File: c/OP_REM_DOUBLE.c */ |
| HANDLE_OPCODE(OP_REM_DOUBLE /*vAA, vBB, vCC*/) |
| { |
| u2 srcRegs; |
| vdst = INST_AA(inst); |
| srcRegs = FETCH(1); |
| vsrc1 = srcRegs & 0xff; |
| vsrc2 = srcRegs >> 8; |
| ILOGV("|%s-double v%d,v%d,v%d", "mod", vdst, vsrc1, vsrc2); |
| SET_REGISTER_DOUBLE(vdst, |
| fmod(GET_REGISTER_DOUBLE(vsrc1), GET_REGISTER_DOUBLE(vsrc2))); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_ADD_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_ADD_INT_2ADDR, "add", +, 0) |
| OP_END |
| |
| /* File: c/OP_SUB_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_SUB_INT_2ADDR, "sub", -, 0) |
| OP_END |
| |
| /* File: c/OP_MUL_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_MUL_INT_2ADDR, "mul", *, 0) |
| OP_END |
| |
| /* File: c/OP_DIV_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_DIV_INT_2ADDR, "div", /, 1) |
| OP_END |
| |
| /* File: c/OP_REM_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_REM_INT_2ADDR, "rem", %, 2) |
| OP_END |
| |
| /* File: c/OP_AND_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_AND_INT_2ADDR, "and", &, 0) |
| OP_END |
| |
| /* File: c/OP_OR_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_OR_INT_2ADDR, "or", |, 0) |
| OP_END |
| |
| /* File: c/OP_XOR_INT_2ADDR.c */ |
| HANDLE_OP_X_INT_2ADDR(OP_XOR_INT_2ADDR, "xor", ^, 0) |
| OP_END |
| |
| /* File: c/OP_SHL_INT_2ADDR.c */ |
| HANDLE_OP_SHX_INT_2ADDR(OP_SHL_INT_2ADDR, "shl", (s4), <<) |
| OP_END |
| |
| /* File: c/OP_SHR_INT_2ADDR.c */ |
| HANDLE_OP_SHX_INT_2ADDR(OP_SHR_INT_2ADDR, "shr", (s4), >>) |
| OP_END |
| |
| /* File: c/OP_USHR_INT_2ADDR.c */ |
| HANDLE_OP_SHX_INT_2ADDR(OP_USHR_INT_2ADDR, "ushr", (u4), >>) |
| OP_END |
| |
| /* File: c/OP_ADD_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_ADD_LONG_2ADDR, "add", +, 0) |
| OP_END |
| |
| /* File: c/OP_SUB_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_SUB_LONG_2ADDR, "sub", -, 0) |
| OP_END |
| |
| /* File: c/OP_MUL_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_MUL_LONG_2ADDR, "mul", *, 0) |
| OP_END |
| |
| /* File: c/OP_DIV_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_DIV_LONG_2ADDR, "div", /, 1) |
| OP_END |
| |
| /* File: c/OP_REM_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_REM_LONG_2ADDR, "rem", %, 2) |
| OP_END |
| |
| /* File: c/OP_AND_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_AND_LONG_2ADDR, "and", &, 0) |
| OP_END |
| |
| /* File: c/OP_OR_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_OR_LONG_2ADDR, "or", |, 0) |
| OP_END |
| |
| /* File: c/OP_XOR_LONG_2ADDR.c */ |
| HANDLE_OP_X_LONG_2ADDR(OP_XOR_LONG_2ADDR, "xor", ^, 0) |
| OP_END |
| |
| /* File: c/OP_SHL_LONG_2ADDR.c */ |
| HANDLE_OP_SHX_LONG_2ADDR(OP_SHL_LONG_2ADDR, "shl", (s8), <<) |
| OP_END |
| |
| /* File: c/OP_SHR_LONG_2ADDR.c */ |
| HANDLE_OP_SHX_LONG_2ADDR(OP_SHR_LONG_2ADDR, "shr", (s8), >>) |
| OP_END |
| |
| /* File: c/OP_USHR_LONG_2ADDR.c */ |
| HANDLE_OP_SHX_LONG_2ADDR(OP_USHR_LONG_2ADDR, "ushr", (u8), >>) |
| OP_END |
| |
| /* File: c/OP_ADD_FLOAT_2ADDR.c */ |
| HANDLE_OP_X_FLOAT_2ADDR(OP_ADD_FLOAT_2ADDR, "add", +) |
| OP_END |
| |
| /* File: c/OP_SUB_FLOAT_2ADDR.c */ |
| HANDLE_OP_X_FLOAT_2ADDR(OP_SUB_FLOAT_2ADDR, "sub", -) |
| OP_END |
| |
| /* File: c/OP_MUL_FLOAT_2ADDR.c */ |
| HANDLE_OP_X_FLOAT_2ADDR(OP_MUL_FLOAT_2ADDR, "mul", *) |
| OP_END |
| |
| /* File: c/OP_DIV_FLOAT_2ADDR.c */ |
| HANDLE_OP_X_FLOAT_2ADDR(OP_DIV_FLOAT_2ADDR, "div", /) |
| OP_END |
| |
| /* File: c/OP_REM_FLOAT_2ADDR.c */ |
| HANDLE_OPCODE(OP_REM_FLOAT_2ADDR /*vA, vB*/) |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| ILOGV("|%s-float-2addr v%d,v%d", "mod", vdst, vsrc1); |
| SET_REGISTER_FLOAT(vdst, |
| fmodf(GET_REGISTER_FLOAT(vdst), GET_REGISTER_FLOAT(vsrc1))); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_ADD_DOUBLE_2ADDR.c */ |
| HANDLE_OP_X_DOUBLE_2ADDR(OP_ADD_DOUBLE_2ADDR, "add", +) |
| OP_END |
| |
| /* File: c/OP_SUB_DOUBLE_2ADDR.c */ |
| HANDLE_OP_X_DOUBLE_2ADDR(OP_SUB_DOUBLE_2ADDR, "sub", -) |
| OP_END |
| |
| /* File: c/OP_MUL_DOUBLE_2ADDR.c */ |
| HANDLE_OP_X_DOUBLE_2ADDR(OP_MUL_DOUBLE_2ADDR, "mul", *) |
| OP_END |
| |
| /* File: c/OP_DIV_DOUBLE_2ADDR.c */ |
| HANDLE_OP_X_DOUBLE_2ADDR(OP_DIV_DOUBLE_2ADDR, "div", /) |
| OP_END |
| |
| /* File: c/OP_REM_DOUBLE_2ADDR.c */ |
| HANDLE_OPCODE(OP_REM_DOUBLE_2ADDR /*vA, vB*/) |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| ILOGV("|%s-double-2addr v%d,v%d", "mod", vdst, vsrc1); |
| SET_REGISTER_DOUBLE(vdst, |
| fmod(GET_REGISTER_DOUBLE(vdst), GET_REGISTER_DOUBLE(vsrc1))); |
| FINISH(1); |
| OP_END |
| |
| /* File: c/OP_ADD_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_ADD_INT_LIT16, "add", +, 0) |
| OP_END |
| |
| /* File: c/OP_RSUB_INT.c */ |
| HANDLE_OPCODE(OP_RSUB_INT /*vA, vB, #+CCCC*/) |
| { |
| vdst = INST_A(inst); |
| vsrc1 = INST_B(inst); |
| vsrc2 = FETCH(1); |
| ILOGV("|rsub-int v%d,v%d,#+0x%04x", vdst, vsrc1, vsrc2); |
| SET_REGISTER(vdst, (s2) vsrc2 - (s4) GET_REGISTER(vsrc1)); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_MUL_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_MUL_INT_LIT16, "mul", *, 0) |
| OP_END |
| |
| /* File: c/OP_DIV_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_DIV_INT_LIT16, "div", /, 1) |
| OP_END |
| |
| /* File: c/OP_REM_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_REM_INT_LIT16, "rem", %, 2) |
| OP_END |
| |
| /* File: c/OP_AND_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_AND_INT_LIT16, "and", &, 0) |
| OP_END |
| |
| /* File: c/OP_OR_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_OR_INT_LIT16, "or", |, 0) |
| OP_END |
| |
| /* File: c/OP_XOR_INT_LIT16.c */ |
| HANDLE_OP_X_INT_LIT16(OP_XOR_INT_LIT16, "xor", ^, 0) |
| OP_END |
| |
| /* File: c/OP_ADD_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_ADD_INT_LIT8, "add", +, 0) |
| OP_END |
| |
| /* File: c/OP_RSUB_INT_LIT8.c */ |
| HANDLE_OPCODE(OP_RSUB_INT_LIT8 /*vAA, vBB, #+CC*/) |
| { |
| u2 litInfo; |
| vdst = INST_AA(inst); |
| litInfo = FETCH(1); |
| vsrc1 = litInfo & 0xff; |
| vsrc2 = litInfo >> 8; |
| ILOGV("|%s-int/lit8 v%d,v%d,#+0x%02x", "rsub", vdst, vsrc1, vsrc2); |
| SET_REGISTER(vdst, (s1) vsrc2 - (s4) GET_REGISTER(vsrc1)); |
| } |
| FINISH(2); |
| OP_END |
| |
| /* File: c/OP_MUL_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_MUL_INT_LIT8, "mul", *, 0) |
| OP_END |
| |
| /* File: c/OP_DIV_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_DIV_INT_LIT8, "div", /, 1) |
| OP_END |
| |
| /* File: c/OP_REM_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_REM_INT_LIT8, "rem", %, 2) |
| OP_END |
| |
| /* File: c/OP_AND_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_AND_INT_LIT8, "and", &, 0) |
| OP_END |
| |
| /* File: c/OP_OR_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_OR_INT_LIT8, "or", |, 0) |
| OP_END |
| |
| /* File: c/OP_XOR_INT_LIT8.c */ |
| HANDLE_OP_X_INT_LIT8(OP_XOR_INT_LIT8, "xor", ^, 0) |
| OP_END |
| |
| /* File: c/OP_SHL_INT_LIT8.c */ |
| HANDLE_OP_SHX_INT_LIT8(OP_SHL_INT_LIT8, "shl", (s4), <<) |
| OP_END |
| |
| /* File: c/OP_SHR_INT_LIT8.c */ |
| HANDLE_OP_SHX_INT_LIT8(OP_SHR_INT_LIT8, "shr", (s4), >>) |
| OP_END |
| |
| /* File: c/OP_USHR_INT_LIT8.c */ |
| HANDLE_OP_SHX_INT_LIT8(OP_USHR_INT_LIT8, "ushr", (u4), >>) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E3.c */ |
| HANDLE_OPCODE(OP_UNUSED_E3) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E4.c */ |
| HANDLE_OPCODE(OP_UNUSED_E4) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E5.c */ |
| HANDLE_OPCODE(OP_UNUSED_E5) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E6.c */ |
| HANDLE_OPCODE(OP_UNUSED_E6) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E7.c */ |
| HANDLE_OPCODE(OP_UNUSED_E7) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E8.c */ |
| HANDLE_OPCODE(OP_UNUSED_E8) |
| OP_END |
| |
| /* File: c/OP_UNUSED_E9.c */ |
| HANDLE_OPCODE(OP_UNUSED_E9) |
| OP_END |
| |
| /* File: c/OP_UNUSED_EA.c */ |
| HANDLE_OPCODE(OP_UNUSED_EA) |
| OP_END |
| |
| /* File: c/OP_UNUSED_EB.c */ |
| HANDLE_OPCODE(OP_UNUSED_EB) |
| OP_END |
| |
| /* File: c/OP_UNUSED_EC.c */ |
| HANDLE_OPCODE(OP_UNUSED_EC) |
| OP_END |
| |
| /* File: c/OP_UNUSED_ED.c */ |
| HANDLE_OPCODE(OP_UNUSED_ED) |
| OP_END |
| |
| /* File: c/OP_EXECUTE_INLINE.c */ |
| HANDLE_OPCODE(OP_EXECUTE_INLINE /*vB, {vD, vE, vF, vG}, inline@CCCC*/) |
| { |
| /* |
| * This has the same form as other method calls, but we ignore |
| * the 5th argument (vA). This is chiefly because the first four |
| * arguments to a function on ARM are in registers. |
| * |
| * We only set the arguments that are actually used, leaving |
| * the rest uninitialized. We're assuming that, if the method |
| * needs them, they'll be specified in the call. |
| * |
| * This annoys gcc when optimizations are enabled, causing a |
| * "may be used uninitialized" warning. We can quiet the warnings |
| * for a slight penalty (5%: 373ns vs. 393ns on empty method). Note |
| * that valgrind is perfectly happy with this arrangement, because |
| * the uninitialiezd values are never actually used. |
| */ |
| u4 arg0, arg1, arg2, arg3; |
| //arg0 = arg1 = arg2 = arg3 = 0; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_B(inst); /* #of args */ |
| ref = FETCH(1); /* inline call "ref" */ |
| vdst = FETCH(2); /* 0-4 register indices */ |
| ILOGV("|execute-inline args=%d @%d {regs=0x%04x}", |
| vsrc1, ref, vdst); |
| |
| assert((vdst >> 16) == 0); // 16-bit type -or- high 16 bits clear |
| assert(vsrc1 <= 4); |
| |
| switch (vsrc1) { |
| case 4: |
| arg3 = GET_REGISTER(vdst >> 12); |
| /* fall through */ |
| case 3: |
| arg2 = GET_REGISTER((vdst & 0x0f00) >> 8); |
| /* fall through */ |
| case 2: |
| arg1 = GET_REGISTER((vdst & 0x00f0) >> 4); |
| /* fall through */ |
| case 1: |
| arg0 = GET_REGISTER(vdst & 0x0f); |
| /* fall through */ |
| default: // case 0 |
| ; |
| } |
| |
| #if INTERP_TYPE == INTERP_DBG |
| if (!dvmPerformInlineOp4Dbg(arg0, arg1, arg2, arg3, &retval, ref)) |
| GOTO_exceptionThrown(); |
| #else |
| if (!dvmPerformInlineOp4Std(arg0, arg1, arg2, arg3, &retval, ref)) |
| GOTO_exceptionThrown(); |
| #endif |
| } |
| FINISH(3); |
| OP_END |
| |
| /* File: c/OP_UNUSED_EF.c */ |
| HANDLE_OPCODE(OP_UNUSED_EF) |
| OP_END |
| |
| /* File: c/OP_INVOKE_DIRECT_EMPTY.c */ |
| HANDLE_OPCODE(OP_INVOKE_DIRECT_EMPTY /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| #if INTERP_TYPE != INTERP_DBG |
| //LOGI("Ignoring empty\n"); |
| FINISH(3); |
| #else |
| if (!gDvm.debuggerActive) { |
| //LOGI("Skipping empty\n"); |
| FINISH(3); // don't want it to show up in profiler output |
| } else { |
| //LOGI("Running empty\n"); |
| /* fall through to OP_INVOKE_DIRECT */ |
| GOTO_invoke(invokeDirect, false); |
| } |
| #endif |
| OP_END |
| |
| /* File: c/OP_UNUSED_F1.c */ |
| HANDLE_OPCODE(OP_UNUSED_F1) |
| OP_END |
| |
| /* File: c/OP_IGET_QUICK.c */ |
| HANDLE_IGET_X_QUICK(OP_IGET_QUICK, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IGET_WIDE_QUICK.c */ |
| HANDLE_IGET_X_QUICK(OP_IGET_WIDE_QUICK, "-wide", Long, _WIDE) |
| OP_END |
| |
| /* File: c/OP_IGET_OBJECT_QUICK.c */ |
| HANDLE_IGET_X_QUICK(OP_IGET_OBJECT_QUICK, "-object", Object, _AS_OBJECT) |
| OP_END |
| |
| /* File: c/OP_IPUT_QUICK.c */ |
| HANDLE_IPUT_X_QUICK(OP_IPUT_QUICK, "", Int, ) |
| OP_END |
| |
| /* File: c/OP_IPUT_WIDE_QUICK.c */ |
| HANDLE_IPUT_X_QUICK(OP_IPUT_WIDE_QUICK, "-wide", Long, _WIDE) |
| OP_END |
| |
| /* File: c/OP_IPUT_OBJECT_QUICK.c */ |
| HANDLE_IPUT_X_QUICK(OP_IPUT_OBJECT_QUICK, "-object", Object, _AS_OBJECT) |
| OP_END |
| |
| /* File: c/OP_INVOKE_VIRTUAL_QUICK.c */ |
| HANDLE_OPCODE(OP_INVOKE_VIRTUAL_QUICK /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeVirtualQuick, false); |
| OP_END |
| |
| /* File: c/OP_INVOKE_VIRTUAL_QUICK_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_VIRTUAL_QUICK_RANGE/*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeVirtualQuick, true); |
| OP_END |
| |
| /* File: c/OP_INVOKE_SUPER_QUICK.c */ |
| HANDLE_OPCODE(OP_INVOKE_SUPER_QUICK /*vB, {vD, vE, vF, vG, vA}, meth@CCCC*/) |
| GOTO_invoke(invokeSuperQuick, false); |
| OP_END |
| |
| /* File: c/OP_INVOKE_SUPER_QUICK_RANGE.c */ |
| HANDLE_OPCODE(OP_INVOKE_SUPER_QUICK_RANGE /*{vCCCC..v(CCCC+AA-1)}, meth@BBBB*/) |
| GOTO_invoke(invokeSuperQuick, true); |
| OP_END |
| |
| /* File: c/OP_UNUSED_FC.c */ |
| HANDLE_OPCODE(OP_UNUSED_FC) |
| OP_END |
| |
| /* File: c/OP_UNUSED_FD.c */ |
| HANDLE_OPCODE(OP_UNUSED_FD) |
| OP_END |
| |
| /* File: c/OP_UNUSED_FE.c */ |
| HANDLE_OPCODE(OP_UNUSED_FE) |
| OP_END |
| |
| /* File: c/OP_UNUSED_FF.c */ |
| HANDLE_OPCODE(OP_UNUSED_FF) |
| /* |
| * In portable interp, most unused opcodes will fall through to here. |
| */ |
| LOGE("unknown opcode 0x%02x\n", INST_INST(inst)); |
| dvmAbort(); |
| FINISH(1); |
| OP_END |
| |
| /* File: cstubs/entry.c */ |
| /* |
| * Handler function table, one entry per opcode. |
| */ |
| #undef H |
| #define H(_op) dvmMterp_##_op |
| DEFINE_GOTO_TABLE(gDvmMterpHandlers) |
| |
| #undef H |
| #define H(_op) #_op |
| DEFINE_GOTO_TABLE(gDvmMterpHandlerNames) |
| |
| #include <setjmp.h> |
| |
| /* |
| * C mterp entry point. This just calls the various C fallbacks, making |
| * this a slow but portable interpeter. |
| * |
| * This is only used for the "allstubs" variant. |
| */ |
| bool dvmMterpStdRun(MterpGlue* glue) |
| { |
| jmp_buf jmpBuf; |
| int changeInterp; |
| |
| glue->bailPtr = &jmpBuf; |
| |
| /* |
| * We want to return "changeInterp" as a boolean, but we can't return |
| * zero through longjmp, so we return (boolean+1). |
| */ |
| changeInterp = setjmp(jmpBuf) -1; |
| if (changeInterp >= 0) { |
| Thread* threadSelf = dvmThreadSelf(); |
| LOGVV("mterp threadid=%d returning %d\n", |
| threadSelf->threadId, changeInterp); |
| return changeInterp; |
| } |
| |
| /* |
| * We may not be starting at a point where we're executing instructions. |
| * We need to pick up where the other interpreter left off. |
| * |
| * In some cases we need to call into a throw/return handler which |
| * will do some processing and then either return to us (updating "glue") |
| * or longjmp back out. |
| */ |
| switch (glue->entryPoint) { |
| case kInterpEntryInstr: |
| /* just start at the start */ |
| break; |
| case kInterpEntryReturn: |
| dvmMterp_returnFromMethod(glue); |
| break; |
| case kInterpEntryThrow: |
| dvmMterp_exceptionThrown(glue); |
| break; |
| default: |
| dvmAbort(); |
| } |
| |
| /* run until somebody longjmp()s out */ |
| while (true) { |
| typedef void (*Handler)(MterpGlue* glue); |
| |
| u2 inst = /*glue->*/pc[0]; |
| Handler handler = (Handler) gDvmMterpHandlers[inst & 0xff]; |
| LOGVV("handler %p %s\n", |
| handler, (const char*) gDvmMterpHandlerNames[inst & 0xff]); |
| (*handler)(glue); |
| } |
| } |
| |
| /* |
| * C mterp exit point. Call here to bail out of the interpreter. |
| */ |
| void dvmMterpStdBail(MterpGlue* glue, bool changeInterp) |
| { |
| jmp_buf* pJmpBuf = glue->bailPtr; |
| longjmp(*pJmpBuf, ((int)changeInterp)+1); |
| } |
| |
| |
| /* File: c/gotoTargets.c */ |
| /* |
| * C footer. This has some common code shared by the various targets. |
| */ |
| |
| /* |
| * Everything from here on is a "goto target". In the basic interpreter |
| * we jump into these targets and then jump directly to the handler for |
| * next instruction. Here, these are subroutines that return to the caller. |
| */ |
| |
| GOTO_TARGET(filledNewArray, bool methodCallRange) |
| { |
| ClassObject* arrayClass; |
| ArrayObject* newArray; |
| u4* contents; |
| char typeCh; |
| int i; |
| u4 arg5; |
| |
| EXPORT_PC(); |
| |
| ref = FETCH(1); /* class ref */ |
| vdst = FETCH(2); /* first 4 regs -or- range base */ |
| |
| if (methodCallRange) { |
| vsrc1 = INST_AA(inst); /* #of elements */ |
| arg5 = -1; /* silence compiler warning */ |
| ILOGV("|filled-new-array-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| } else { |
| arg5 = INST_A(inst); |
| vsrc1 = INST_B(inst); /* #of elements */ |
| ILOGV("|filled-new-array args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1, ref, vdst, arg5); |
| } |
| |
| /* |
| * Resolve the array class. |
| */ |
| arrayClass = dvmDexGetResolvedClass(methodClassDex, ref); |
| if (arrayClass == NULL) { |
| arrayClass = dvmResolveClass(curMethod->clazz, ref, false); |
| if (arrayClass == NULL) |
| GOTO_exceptionThrown(); |
| } |
| /* |
| if (!dvmIsArrayClass(arrayClass)) { |
| dvmThrowException("Ljava/lang/RuntimeError;", |
| "filled-new-array needs array class"); |
| GOTO_exceptionThrown(); |
| } |
| */ |
| /* verifier guarantees this is an array class */ |
| assert(dvmIsArrayClass(arrayClass)); |
| assert(dvmIsClassInitialized(arrayClass)); |
| |
| /* |
| * Create an array of the specified type. |
| */ |
| LOGVV("+++ filled-new-array type is '%s'\n", arrayClass->descriptor); |
| typeCh = arrayClass->descriptor[1]; |
| if (typeCh == 'D' || typeCh == 'J') { |
| /* category 2 primitives not allowed */ |
| dvmThrowException("Ljava/lang/RuntimeError;", |
| "bad filled array req"); |
| GOTO_exceptionThrown(); |
| } else if (typeCh != 'L' && typeCh != '[' && typeCh != 'I') { |
| /* TODO: requires multiple "fill in" loops with different widths */ |
| LOGE("non-int primitives not implemented\n"); |
| dvmThrowException("Ljava/lang/InternalError;", |
| "filled-new-array not implemented for anything but 'int'"); |
| GOTO_exceptionThrown(); |
| } |
| |
| newArray = dvmAllocArrayByClass(arrayClass, vsrc1, ALLOC_DONT_TRACK); |
| if (newArray == NULL) |
| GOTO_exceptionThrown(); |
| |
| /* |
| * Fill in the elements. It's legal for vsrc1 to be zero. |
| */ |
| contents = (u4*) newArray->contents; |
| if (methodCallRange) { |
| for (i = 0; i < vsrc1; i++) |
| contents[i] = GET_REGISTER(vdst+i); |
| } else { |
| assert(vsrc1 <= 5); |
| if (vsrc1 == 5) { |
| contents[4] = GET_REGISTER(arg5); |
| vsrc1--; |
| } |
| for (i = 0; i < vsrc1; i++) { |
| contents[i] = GET_REGISTER(vdst & 0x0f); |
| vdst >>= 4; |
| } |
| } |
| |
| retval.l = newArray; |
| } |
| FINISH(3); |
| GOTO_TARGET_END |
| |
| |
| GOTO_TARGET(invokeVirtual, bool methodCallRange) |
| { |
| Method* baseMethod; |
| Object* thisPtr; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* method ref */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| /* |
| * The object against which we are executing a method is always |
| * in the first argument. |
| */ |
| if (methodCallRange) { |
| assert(vsrc1 > 0); |
| ILOGV("|invoke-virtual-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| thisPtr = (Object*) GET_REGISTER(vdst); |
| } else { |
| assert((vsrc1>>4) > 0); |
| ILOGV("|invoke-virtual args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| thisPtr = (Object*) GET_REGISTER(vdst & 0x0f); |
| } |
| |
| if (!checkForNull(thisPtr)) |
| GOTO_exceptionThrown(); |
| |
| /* |
| * Resolve the method. This is the correct method for the static |
| * type of the object. We also verify access permissions here. |
| */ |
| baseMethod = dvmDexGetResolvedMethod(methodClassDex, ref); |
| if (baseMethod == NULL) { |
| baseMethod = dvmResolveMethod(curMethod->clazz, ref,METHOD_VIRTUAL); |
| if (baseMethod == NULL) { |
| ILOGV("+ unknown method or access denied\n"); |
| GOTO_exceptionThrown(); |
| } |
| } |
| |
| /* |
| * Combine the object we found with the vtable offset in the |
| * method. |
| */ |
| assert(baseMethod->methodIndex < thisPtr->clazz->vtableCount); |
| methodToCall = thisPtr->clazz->vtable[baseMethod->methodIndex]; |
| |
| #if 0 |
| if (dvmIsAbstractMethod(methodToCall)) { |
| /* |
| * This can happen if you create two classes, Base and Sub, where |
| * Sub is a sub-class of Base. Declare a protected abstract |
| * method foo() in Base, and invoke foo() from a method in Base. |
| * Base is an "abstract base class" and is never instantiated |
| * directly. Now, Override foo() in Sub, and use Sub. This |
| * Works fine unless Sub stops providing an implementation of |
| * the method. |
| */ |
| dvmThrowException("Ljava/lang/AbstractMethodError;", |
| "abstract method not implemented"); |
| GOTO_exceptionThrown(); |
| } |
| #else |
| assert(!dvmIsAbstractMethod(methodToCall) || |
| methodToCall->nativeFunc != NULL); |
| #endif |
| |
| LOGVV("+++ base=%s.%s virtual[%d]=%s.%s\n", |
| baseMethod->clazz->descriptor, baseMethod->name, |
| (u4) baseMethod->methodIndex, |
| methodToCall->clazz->descriptor, methodToCall->name); |
| assert(methodToCall != NULL); |
| |
| #if 0 |
| if (vsrc1 != methodToCall->insSize) { |
| LOGW("WRONG METHOD: base=%s.%s virtual[%d]=%s.%s\n", |
| baseMethod->clazz->descriptor, baseMethod->name, |
| (u4) baseMethod->methodIndex, |
| methodToCall->clazz->descriptor, methodToCall->name); |
| //dvmDumpClass(baseMethod->clazz); |
| //dvmDumpClass(methodToCall->clazz); |
| dvmDumpAllClasses(0); |
| } |
| #endif |
| |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| } |
| GOTO_TARGET_END |
| |
| GOTO_TARGET(invokeSuper, bool methodCallRange) |
| { |
| Method* baseMethod; |
| u2 thisReg; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* method ref */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| if (methodCallRange) { |
| ILOGV("|invoke-super-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| thisReg = vdst; |
| } else { |
| ILOGV("|invoke-super args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| thisReg = vdst & 0x0f; |
| } |
| /* impossible in well-formed code, but we must check nevertheless */ |
| if (!checkForNull((Object*) GET_REGISTER(thisReg))) |
| GOTO_exceptionThrown(); |
| |
| /* |
| * Resolve the method. This is the correct method for the static |
| * type of the object. We also verify access permissions here. |
| * The first arg to dvmResolveMethod() is just the referring class |
| * (used for class loaders and such), so we don't want to pass |
| * the superclass into the resolution call. |
| */ |
| baseMethod = dvmDexGetResolvedMethod(methodClassDex, ref); |
| if (baseMethod == NULL) { |
| baseMethod = dvmResolveMethod(curMethod->clazz, ref,METHOD_VIRTUAL); |
| if (baseMethod == NULL) { |
| ILOGV("+ unknown method or access denied\n"); |
| GOTO_exceptionThrown(); |
| } |
| } |
| |
| /* |
| * Combine the object we found with the vtable offset in the |
| * method's class. |
| * |
| * We're using the current method's class' superclass, not the |
| * superclass of "this". This is because we might be executing |
| * in a method inherited from a superclass, and we want to run |
| * in that class' superclass. |
| */ |
| if (baseMethod->methodIndex >= curMethod->clazz->super->vtableCount) { |
| /* |
| * Method does not exist in the superclass. Could happen if |
| * superclass gets updated. |
| */ |
| dvmThrowException("Ljava/lang/NoSuchMethodError;", |
| baseMethod->name); |
| GOTO_exceptionThrown(); |
| } |
| methodToCall = curMethod->clazz->super->vtable[baseMethod->methodIndex]; |
| #if 0 |
| if (dvmIsAbstractMethod(methodToCall)) { |
| dvmThrowException("Ljava/lang/AbstractMethodError;", |
| "abstract method not implemented"); |
| GOTO_exceptionThrown(); |
| } |
| #else |
| assert(!dvmIsAbstractMethod(methodToCall) || |
| methodToCall->nativeFunc != NULL); |
| #endif |
| LOGVV("+++ base=%s.%s super-virtual=%s.%s\n", |
| baseMethod->clazz->descriptor, baseMethod->name, |
| methodToCall->clazz->descriptor, methodToCall->name); |
| assert(methodToCall != NULL); |
| |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| } |
| GOTO_TARGET_END |
| |
| GOTO_TARGET(invokeInterface, bool methodCallRange) |
| { |
| Object* thisPtr; |
| ClassObject* thisClass; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* method ref */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| /* |
| * The object against which we are executing a method is always |
| * in the first argument. |
| */ |
| if (methodCallRange) { |
| assert(vsrc1 > 0); |
| ILOGV("|invoke-interface-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| thisPtr = (Object*) GET_REGISTER(vdst); |
| } else { |
| assert((vsrc1>>4) > 0); |
| ILOGV("|invoke-interface args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| thisPtr = (Object*) GET_REGISTER(vdst & 0x0f); |
| } |
| if (!checkForNull(thisPtr)) |
| GOTO_exceptionThrown(); |
| |
| thisClass = thisPtr->clazz; |
| |
| /* |
| * Given a class and a method index, find the Method* with the |
| * actual code we want to execute. |
| */ |
| methodToCall = dvmFindInterfaceMethodInCache(thisClass, ref, curMethod, |
| methodClassDex); |
| if (methodToCall == NULL) { |
| assert(dvmCheckException(self)); |
| GOTO_exceptionThrown(); |
| } |
| |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| } |
| GOTO_TARGET_END |
| |
| GOTO_TARGET(invokeDirect, bool methodCallRange) |
| { |
| u2 thisReg; |
| |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* method ref */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| EXPORT_PC(); |
| |
| if (methodCallRange) { |
| ILOGV("|invoke-direct-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| thisReg = vdst; |
| } else { |
| ILOGV("|invoke-direct args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| thisReg = vdst & 0x0f; |
| } |
| if (!checkForNull((Object*) GET_REGISTER(thisReg))) |
| GOTO_exceptionThrown(); |
| |
| methodToCall = dvmDexGetResolvedMethod(methodClassDex, ref); |
| if (methodToCall == NULL) { |
| methodToCall = dvmResolveMethod(curMethod->clazz, ref, |
| METHOD_DIRECT); |
| if (methodToCall == NULL) { |
| ILOGV("+ unknown direct method\n"); // should be impossible |
| GOTO_exceptionThrown(); |
| } |
| } |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| } |
| GOTO_TARGET_END |
| |
| GOTO_TARGET(invokeStatic, bool methodCallRange) |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* method ref */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| EXPORT_PC(); |
| |
| if (methodCallRange) |
| ILOGV("|invoke-static-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| else |
| ILOGV("|invoke-static args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| |
| methodToCall = dvmDexGetResolvedMethod(methodClassDex, ref); |
| if (methodToCall == NULL) { |
| methodToCall = dvmResolveMethod(curMethod->clazz, ref, METHOD_STATIC); |
| if (methodToCall == NULL) { |
| ILOGV("+ unknown method\n"); |
| GOTO_exceptionThrown(); |
| } |
| } |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| GOTO_TARGET_END |
| |
| GOTO_TARGET(invokeVirtualQuick, bool methodCallRange) |
| { |
| Object* thisPtr; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* vtable index */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| /* |
| * The object against which we are executing a method is always |
| * in the first argument. |
| */ |
| if (methodCallRange) { |
| assert(vsrc1 > 0); |
| ILOGV("|invoke-virtual-quick-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| thisPtr = (Object*) GET_REGISTER(vdst); |
| } else { |
| assert((vsrc1>>4) > 0); |
| ILOGV("|invoke-virtual-quick args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| thisPtr = (Object*) GET_REGISTER(vdst & 0x0f); |
| } |
| |
| if (!checkForNull(thisPtr)) |
| GOTO_exceptionThrown(); |
| |
| /* |
| * Combine the object we found with the vtable offset in the |
| * method. |
| */ |
| assert(ref < thisPtr->clazz->vtableCount); |
| methodToCall = thisPtr->clazz->vtable[ref]; |
| |
| #if 0 |
| if (dvmIsAbstractMethod(methodToCall)) { |
| dvmThrowException("Ljava/lang/AbstractMethodError;", |
| "abstract method not implemented"); |
| GOTO_exceptionThrown(); |
| } |
| #else |
| assert(!dvmIsAbstractMethod(methodToCall) || |
| methodToCall->nativeFunc != NULL); |
| #endif |
| |
| LOGVV("+++ virtual[%d]=%s.%s\n", |
| ref, methodToCall->clazz->descriptor, methodToCall->name); |
| assert(methodToCall != NULL); |
| |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| } |
| GOTO_TARGET_END |
| |
| GOTO_TARGET(invokeSuperQuick, bool methodCallRange) |
| { |
| u2 thisReg; |
| |
| EXPORT_PC(); |
| |
| vsrc1 = INST_AA(inst); /* AA (count) or BA (count + arg 5) */ |
| ref = FETCH(1); /* vtable index */ |
| vdst = FETCH(2); /* 4 regs -or- first reg */ |
| |
| if (methodCallRange) { |
| ILOGV("|invoke-super-quick-range args=%d @0x%04x {regs=v%d-v%d}", |
| vsrc1, ref, vdst, vdst+vsrc1-1); |
| thisReg = vdst; |
| } else { |
| ILOGV("|invoke-super-quick args=%d @0x%04x {regs=0x%04x %x}", |
| vsrc1 >> 4, ref, vdst, vsrc1 & 0x0f); |
| thisReg = vdst & 0x0f; |
| } |
| /* impossible in well-formed code, but we must check nevertheless */ |
| if (!checkForNull((Object*) GET_REGISTER(thisReg))) |
| GOTO_exceptionThrown(); |
| |
| #if 0 /* impossible in optimized + verified code */ |
| if (ref >= curMethod->clazz->super->vtableCount) { |
| dvmThrowException("Ljava/lang/NoSuchMethodError;", NULL); |
| GOTO_exceptionThrown(); |
| } |
| #else |
| assert(ref < curMethod->clazz->super->vtableCount); |
| #endif |
| |
| /* |
| * Combine the object we found with the vtable offset in the |
| * method's class. |
| * |
| * We're using the current method's class' superclass, not the |
| * superclass of "this". This is because we might be executing |
| * in a method inherited from a superclass, and we want to run |
| * in the method's class' superclass. |
| */ |
| methodToCall = curMethod->clazz->super->vtable[ref]; |
| |
| #if 0 |
| if (dvmIsAbstractMethod(methodToCall)) { |
| dvmThrowException("Ljava/lang/AbstractMethodError;", |
| "abstract method not implemented"); |
| GOTO_exceptionThrown(); |
| } |
| #else |
| assert(!dvmIsAbstractMethod(methodToCall) || |
| methodToCall->nativeFunc != NULL); |
| #endif |
| LOGVV("+++ super-virtual[%d]=%s.%s\n", |
| ref, methodToCall->clazz->descriptor, methodToCall->name); |
| assert(methodToCall != NULL); |
| |
| GOTO_invokeMethod(methodCallRange, methodToCall, vsrc1, vdst); |
| } |
| GOTO_TARGET_END |
| |
| |
| |
| /* |
| * General handling for return-void, return, and return-wide. Put the |
| * return value in "retval" before jumping here. |
| */ |
| GOTO_TARGET(returnFromMethod) |
| { |
| StackSaveArea* saveArea; |
| |
| /* |
| * We must do this BEFORE we pop the previous stack frame off, so |
| * that the GC can see the return value (if any) in the local vars. |
| * |
| * Since this is now an interpreter switch point, we must do it before |
| * we do anything at all. |
| */ |
| PERIODIC_CHECKS(kInterpEntryReturn, 0); |
| |
| ILOGV("> retval=0x%llx (leaving %s.%s %s)", |
| retval.j, curMethod->clazz->descriptor, curMethod->name, |
| curMethod->shorty); |
| //DUMP_REGS(curMethod, fp); |
| |
| saveArea = SAVEAREA_FROM_FP(fp); |
| |
| #ifdef EASY_GDB |
| debugSaveArea = saveArea; |
| #endif |
| #if (INTERP_TYPE == INTERP_DBG) && defined(WITH_PROFILER) |
| TRACE_METHOD_EXIT(self, curMethod); |
| #endif |
| |
| /* back up to previous frame and see if we hit a break */ |
| fp = saveArea->prevFrame; |
| assert(fp != NULL); |
| if (dvmIsBreakFrame(fp)) { |
| /* bail without popping the method frame from stack */ |
| LOGVV("+++ returned into break frame\n"); |
| GOTO_bail(); |
| } |
| |
| /* update thread FP, and reset local variables */ |
| self->curFrame = fp; |
| curMethod = SAVEAREA_FROM_FP(fp)->method; |
| //methodClass = curMethod->clazz; |
| methodClassDex = curMethod->clazz->pDvmDex; |
| pc = saveArea->savedPc; |
| ILOGD("> (return to %s.%s %s)", curMethod->clazz->descriptor, |
| curMethod->name, curMethod->shorty); |
| |
| /* use FINISH on the caller's invoke instruction */ |
| //u2 invokeInstr = INST_INST(FETCH(0)); |
| if (true /*invokeInstr >= OP_INVOKE_VIRTUAL && |
| invokeInstr <= OP_INVOKE_INTERFACE*/) |
| { |
| FINISH(3); |
| } else { |
| //LOGE("Unknown invoke instr %02x at %d\n", |
| // invokeInstr, (int) (pc - curMethod->insns)); |
| assert(false); |
| } |
| } |
| GOTO_TARGET_END |
| |
| |
| /* |
| * Jump here when the code throws an exception. |
| * |
| * By the time we get here, the Throwable has been created and the stack |
| * trace has been saved off. |
| */ |
| GOTO_TARGET(exceptionThrown) |
| { |
| Object* exception; |
| int catchRelPc; |
| |
| /* |
| * Since this is now an interpreter switch point, we must do it before |
| * we do anything at all. |
| */ |
| PERIODIC_CHECKS(kInterpEntryThrow, 0); |
| |
| /* |
| * We save off the exception and clear the exception status. While |
| * processing the exception we might need to load some Throwable |
| * classes, and we don't want class loader exceptions to get |
| * confused with this one. |
| */ |
| assert(dvmCheckException(self)); |
| exception = dvmGetException(self); |
| dvmAddTrackedAlloc(exception, self); |
| dvmClearException(self); |
| |
| LOGV("Handling exception %s at %s:%d\n", |
| exception->clazz->descriptor, curMethod->name, |
| dvmLineNumFromPC(curMethod, pc - curMethod->insns)); |
| |
| #if (INTERP_TYPE == INTERP_DBG) && defined(WITH_DEBUGGER) |
| /* |
| * Tell the debugger about it. |
| * |
| * TODO: if the exception was thrown by interpreted code, control |
| * fell through native, and then back to us, we will report the |
| * exception at the point of the throw and again here. We can avoid |
| * this by not reporting exceptions when we jump here directly from |
| * the native call code above, but then we won't report exceptions |
| * that were thrown *from* the JNI code (as opposed to *through* it). |
| * |
| * The correct solution is probably to ignore from-native exceptions |
| * here, and have the JNI exception code do the reporting to the |
| * debugger. |
| */ |
| if (gDvm.debuggerActive) { |
| void* catchFrame; |
| catchRelPc = dvmFindCatchBlock(self, pc - curMethod->insns, |
| exception, true, &catchFrame); |
| dvmDbgPostException(fp, pc - curMethod->insns, catchFrame, |
| catchRelPc, exception); |
| } |
| #endif |
| |
| /* |
| * We need to unroll to the catch block or the nearest "break" |
| * frame. |
| * |
| * A break frame could indicate that we have reached an intermediate |
| * native call, or have gone off the top of the stack and the thread |
| * needs to exit. Either way, we return from here, leaving the |
| * exception raised. |
| * |
| * If we do find a catch block, we want to transfer execution to |
| * that point. |
| */ |
| catchRelPc = dvmFindCatchBlock(self, pc - curMethod->insns, |
| exception, false, (void*)&fp); |
| |
| /* |
| * Restore the stack bounds after an overflow. This isn't going to |
| * be correct in all circumstances, e.g. if JNI code devours the |
| * exception this won't happen until some other exception gets |
| * thrown. If the code keeps pushing the stack bounds we'll end |
| * up aborting the VM. |
| * |
| * Note we want to do this *after* the call to dvmFindCatchBlock, |
| * because that may need extra stack space to resolve exception |
| * classes (e.g. through a class loader). |
| */ |
| if (self->stackOverflowed) |
| dvmCleanupStackOverflow(self); |
| |
| if (catchRelPc < 0) { |
| /* falling through to JNI code or off the bottom of the stack */ |
| #if DVM_SHOW_EXCEPTION >= 2 |
| LOGD("Exception %s from %s:%d not caught locally\n", |
| exception->clazz->descriptor, dvmGetMethodSourceFile(curMethod), |
| dvmLineNumFromPC(curMethod, pc - curMethod->insns)); |
| #endif |
| dvmSetException(self, exception); |
| dvmReleaseTrackedAlloc(exception, self); |
| GOTO_bail(); |
| } |
| |
| #if DVM_SHOW_EXCEPTION >= 3 |
| { |
| const Method* catchMethod = SAVEAREA_FROM_FP(fp)->method; |
| LOGD("Exception %s thrown from %s:%d to %s:%d\n", |
| exception->clazz->descriptor, dvmGetMethodSourceFile(curMethod), |
| dvmLineNumFromPC(curMethod, pc - curMethod->insns), |
| dvmGetMethodSourceFile(catchMethod), |
| dvmLineNumFromPC(catchMethod, catchRelPc)); |
| } |
| #endif |
| |
| /* |
| * Adjust local variables to match self->curFrame and the |
| * updated PC. |
| */ |
| //fp = (u4*) self->curFrame; |
| curMethod = SAVEAREA_FROM_FP(fp)->method; |
| //methodClass = curMethod->clazz; |
| methodClassDex = curMethod->clazz->pDvmDex; |
| pc = curMethod->insns + catchRelPc; |
| ILOGV("> pc <-- %s.%s %s", curMethod->clazz->descriptor, |
| curMethod->name, curMethod->shorty); |
| DUMP_REGS(curMethod, fp, false); // show all regs |
| |
| /* |
| * Restore the exception if the handler wants it. |
| * |
| * The Dalvik spec mandates that, if an exception handler wants to |
| * do something with the exception, the first instruction executed |
| * must be "move-exception". We can pass the exception along |
| * through the thread struct, and let the move-exception instruction |
| * clear it for us. |
| * |
| * If the handler doesn't call move-exception, we don't want to |
| * finish here with an exception still pending. |
| */ |
| if (INST_INST(FETCH(0)) == OP_MOVE_EXCEPTION) |
| dvmSetException(self, exception); |
| |
| dvmReleaseTrackedAlloc(exception, self); |
| FINISH(0); |
| } |
| GOTO_TARGET_END |
| |
| |
| /* |
| * General handling for invoke-{virtual,super,direct,static,interface}, |
| * including "quick" variants. |
| * |
| * Set "methodToCall" to the Method we're calling, and "methodCallRange" |
| * depending on whether this is a "/range" instruction. |
| * |
| * For a range call: |
| * "vsrc1" holds the argument count (8 bits) |
| * "vdst" holds the first argument in the range |
| * For a non-range call: |
| * "vsrc1" holds the argument count (4 bits) and the 5th argument index |
| * "vdst" holds four 4-bit register indices |
| * |
| * The caller must EXPORT_PC before jumping here, because any method |
| * call can throw a stack overflow exception. |
| */ |
| GOTO_TARGET(invokeMethod, bool methodCallRange, const Method* _methodToCall, |
| u2 count, u2 regs) |
| { |
| STUB_HACK(vsrc1 = count; vdst = regs; methodToCall = _methodToCall;); |
| |
| //printf("range=%d call=%p count=%d regs=0x%04x\n", |
| // methodCallRange, methodToCall, count, regs); |
| //printf(" --> %s.%s %s\n", methodToCall->clazz->descriptor, |
| // methodToCall->name, methodToCall->shorty); |
| |
| u4* outs; |
| int i; |
| |
| /* |
| * Copy args. This may corrupt vsrc1/vdst. |
| */ |
| if (methodCallRange) { |
| // could use memcpy or a "Duff's device"; most functions have |
| // so few args it won't matter much |
| assert(vsrc1 <= curMethod->outsSize); |
| assert(vsrc1 == methodToCall->insSize); |
| outs = OUTS_FROM_FP(fp, vsrc1); |
| for (i = 0; i < vsrc1; i++) |
| outs[i] = GET_REGISTER(vdst+i); |
| } else { |
| u4 count = vsrc1 >> 4; |
| |
| assert(count <= curMethod->outsSize); |
| assert(count == methodToCall->insSize); |
| assert(count <= 5); |
| |
| outs = OUTS_FROM_FP(fp, count); |
| #if 0 |
| if (count == 5) { |
| outs[4] = GET_REGISTER(vsrc1 & 0x0f); |
| count--; |
| } |
| for (i = 0; i < (int) count; i++) { |
| outs[i] = GET_REGISTER(vdst & 0x0f); |
| vdst >>= 4; |
| } |
| #else |
| // This version executes fewer instructions but is larger |
| // overall. Seems to be a teensy bit faster. |
| assert((vdst >> 16) == 0); // 16 bits -or- high 16 bits clear |
| switch (count) { |
| case 5: |
| outs[4] = GET_REGISTER(vsrc1 & 0x0f); |
| case 4: |
| outs[3] = GET_REGISTER(vdst >> 12); |
| case 3: |
| outs[2] = GET_REGISTER((vdst & 0x0f00) >> 8); |
| case 2: |
| outs[1] = GET_REGISTER((vdst & 0x00f0) >> 4); |
| case 1: |
| outs[0] = GET_REGISTER(vdst & 0x0f); |
| default: |
| ; |
| } |
| #endif |
| } |
| } |
| |
| /* |
| * (This was originally a "goto" target; I've kept it separate from the |
| * stuff above in case we want to refactor things again.) |
| * |
| * At this point, we have the arguments stored in the "outs" area of |
| * the current method's stack frame, and the method to call in |
| * "methodToCall". Push a new stack frame. |
| */ |
| { |
| StackSaveArea* newSaveArea; |
| u4* newFp; |
| |
| ILOGV("> %s%s.%s %s", |
| dvmIsNativeMethod(methodToCall) ? "(NATIVE) " : "", |
| methodToCall->clazz->descriptor, methodToCall->name, |
| methodToCall->shorty); |
| |
| newFp = (u4*) SAVEAREA_FROM_FP(fp) - methodToCall->registersSize; |
| newSaveArea = SAVEAREA_FROM_FP(newFp); |
| |
| /* verify that we have enough space */ |
| if (true) { |
| u1* bottom; |
| bottom = (u1*) newSaveArea - methodToCall->outsSize * sizeof(u4); |
| if (bottom < self->interpStackEnd) { |
| /* stack overflow */ |
| LOGV("Stack overflow on method call (start=%p end=%p newBot=%p size=%d '%s')\n", |
| self->interpStackStart, self->interpStackEnd, bottom, |
| self->interpStackSize, methodToCall->name); |
| dvmHandleStackOverflow(self); |
| assert(dvmCheckException(self)); |
| GOTO_exceptionThrown(); |
| } |
| //LOGD("+++ fp=%p newFp=%p newSave=%p bottom=%p\n", |
| // fp, newFp, newSaveArea, bottom); |
| } |
| |
| #ifdef LOG_INSTR |
| if (methodToCall->registersSize > methodToCall->insSize) { |
| /* |
| * This makes valgrind quiet when we print registers that |
| * haven't been initialized. Turn it off when the debug |
| * messages are disabled -- we want valgrind to report any |
| * used-before-initialized issues. |
| */ |
| memset(newFp, 0xcc, |
| (methodToCall->registersSize - methodToCall->insSize) * 4); |
| } |
| #endif |
| |
| #ifdef EASY_GDB |
| newSaveArea->prevSave = SAVEAREA_FROM_FP(fp); |
| #endif |
| newSaveArea->prevFrame = fp; |
| newSaveArea->savedPc = pc; |
| newSaveArea->method = methodToCall; |
| |
| if (!dvmIsNativeMethod(methodToCall)) { |
| /* |
| * "Call" interpreted code. Reposition the PC, update the |
| * frame pointer and other local state, and continue. |
| */ |
| curMethod = methodToCall; |
| methodClassDex = curMethod->clazz->pDvmDex; |
| pc = methodToCall->insns; |
| fp = self->curFrame = newFp; |
| #ifdef EASY_GDB |
| debugSaveArea = SAVEAREA_FROM_FP(newFp); |
| #endif |
| #if INTERP_TYPE == INTERP_DBG |
| debugIsMethodEntry = true; // profiling, debugging |
| #endif |
| ILOGD("> pc <-- %s.%s %s", curMethod->clazz->descriptor, |
| curMethod->name, curMethod->shorty); |
| DUMP_REGS(curMethod, fp, true); // show input args |
| FINISH(0); // jump to method start |
| } else { |
| /* set this up for JNI locals, even if not a JNI native */ |
| newSaveArea->xtra.localRefTop = self->jniLocalRefTable.nextEntry; |
| |
| self->curFrame = newFp; |
| |
| DUMP_REGS(methodToCall, newFp, true); // show input args |
| |
| #if (INTERP_TYPE == INTERP_DBG) && defined(WITH_DEBUGGER) |
| if (gDvm.debuggerActive) { |
| dvmDbgPostLocationEvent(methodToCall, -1, |
| dvmGetThisPtr(curMethod, fp), DBG_METHOD_ENTRY); |
| } |
| #endif |
| #if (INTERP_TYPE == INTERP_DBG) && defined(WITH_PROFILER) |
| TRACE_METHOD_ENTER(self, methodToCall); |
| #endif |
| |
| ILOGD("> native <-- %s.%s %s", methodToCall->clazz->descriptor, |
| methodToCall->name, methodToCall->shorty); |
| |
| /* |
| * Jump through native call bridge. Because we leave no |
| * space for locals on native calls, "newFp" points directly |
| * to the method arguments. |
| */ |
| (*methodToCall->nativeFunc)(newFp, &retval, methodToCall, self); |
| |
| #if (INTERP_TYPE == INTERP_DBG) && defined(WITH_DEBUGGER) |
| if (gDvm.debuggerActive) { |
| dvmDbgPostLocationEvent(methodToCall, -1, |
| dvmGetThisPtr(curMethod, fp), DBG_METHOD_EXIT); |
| } |
| #endif |
| #if (INTERP_TYPE == INTERP_DBG) && defined(WITH_PROFILER) |
| TRACE_METHOD_EXIT(self, methodToCall); |
| #endif |
| |
| /* pop frame off */ |
| dvmPopJniLocals(self, newSaveArea); |
| self->curFrame = fp; |
| |
| /* |
| * If the native code threw an exception, or interpreted code |
| * invoked by the native call threw one and nobody has cleared |
| * it, jump to our local exception handling. |
| */ |
| if (dvmCheckException(self)) { |
| LOGV("Exception thrown by/below native code\n"); |
| GOTO_exceptionThrown(); |
| } |
| |
| ILOGD("> retval=0x%llx (leaving native)", retval.j); |
| ILOGD("> (return from native %s.%s to %s.%s %s)", |
| methodToCall->clazz->descriptor, methodToCall->name, |
| curMethod->clazz->descriptor, curMethod->name, |
| curMethod->shorty); |
| |
| //u2 invokeInstr = INST_INST(FETCH(0)); |
| if (true /*invokeInstr >= OP_INVOKE_VIRTUAL && |
| invokeInstr <= OP_INVOKE_INTERFACE*/) |
| { |
| FINISH(3); |
| } else { |
| //LOGE("Unknown invoke instr %02x at %d\n", |
| // invokeInstr, (int) (pc - curMethod->insns)); |
| assert(false); |
| } |
| } |
| } |
| assert(false); // should not get here |
| GOTO_TARGET_END |
| |
| |
| /* File: cstubs/enddefs.c */ |
| |
| /* undefine "magic" name remapping */ |
| #undef retval |
| #undef pc |
| #undef fp |
| #undef curMethod |
| #undef methodClassDex |
| #undef self |
| #undef debugTrackedRefStart |
| |