blob: 1d8665785f4e06c70a88b04c06520f64d4214283 [file] [log] [blame]
Ben Chengba4fc8b2009-06-01 13:00:29 -07001/*
2 * Copyright (C) 2008 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16#ifdef WITH_JIT
17
18/*
19 * Target independent portion of Android's Jit
20 */
21
22#include "Dalvik.h"
23#include "Jit.h"
24
25
26#include "dexdump/OpCodeNames.h"
27#include <unistd.h>
28#include <pthread.h>
29#include <sys/time.h>
30#include <signal.h>
31#include "compiler/Compiler.h"
Bill Buzbee6e963e12009-06-17 16:56:19 -070032#include "compiler/CompilerUtility.h"
33#include "compiler/CompilerIR.h"
Ben Chengba4fc8b2009-06-01 13:00:29 -070034#include <errno.h>
35
Jeff Hao97319a82009-08-12 16:57:15 -070036#if defined(WITH_SELF_VERIFICATION)
37/* Allocate space for per-thread ShadowSpace data structures */
38void* dvmSelfVerificationShadowSpaceAlloc(Thread* self)
39{
40 self->shadowSpace = (ShadowSpace*) calloc(1, sizeof(ShadowSpace));
41 if (self->shadowSpace == NULL)
42 return NULL;
43
44 self->shadowSpace->registerSpaceSize = REG_SPACE;
45 self->shadowSpace->registerSpace =
46 (int*) calloc(self->shadowSpace->registerSpaceSize, sizeof(int));
47
48 return self->shadowSpace->registerSpace;
49}
50
51/* Free per-thread ShadowSpace data structures */
52void dvmSelfVerificationShadowSpaceFree(Thread* self)
53{
54 free(self->shadowSpace->registerSpace);
55 free(self->shadowSpace);
56}
57
58/*
59 * Save out PC, FP, InterpState, and registers to shadow space.
60 * Return a pointer to the shadow space for JIT to use.
61 */
62void* dvmSelfVerificationSaveState(const u2* pc, const void* fp,
Ben Chengccd6c012009-10-15 14:52:45 -070063 InterpState* interpState)
Jeff Hao97319a82009-08-12 16:57:15 -070064{
65 Thread *self = dvmThreadSelf();
66 ShadowSpace *shadowSpace = self->shadowSpace;
Jeff Hao97319a82009-08-12 16:57:15 -070067 int preBytes = interpState->method->outsSize*4 + sizeof(StackSaveArea);
68 int postBytes = interpState->method->registersSize*4;
69
70 //LOGD("### selfVerificationSaveState(%d) pc: 0x%x fp: 0x%x",
71 // self->threadId, (int)pc, (int)fp);
72
73 if (shadowSpace->selfVerificationState != kSVSIdle) {
74 LOGD("~~~ Save: INCORRECT PREVIOUS STATE(%d): %d",
75 self->threadId, shadowSpace->selfVerificationState);
76 LOGD("********** SHADOW STATE DUMP **********");
Ben Chengccd6c012009-10-15 14:52:45 -070077 LOGD("PC: 0x%x FP: 0x%x", (int)pc, (int)fp);
Jeff Hao97319a82009-08-12 16:57:15 -070078 }
79 shadowSpace->selfVerificationState = kSVSStart;
80
81 // Dynamically grow shadow register space if necessary
82 while (preBytes + postBytes > shadowSpace->registerSpaceSize) {
83 shadowSpace->registerSpaceSize *= 2;
84 free(shadowSpace->registerSpace);
85 shadowSpace->registerSpace =
86 (int*) calloc(shadowSpace->registerSpaceSize, sizeof(int));
87 }
88
89 // Remember original state
90 shadowSpace->startPC = pc;
91 shadowSpace->fp = fp;
Ben Chengccd6c012009-10-15 14:52:45 -070092 shadowSpace->glue = interpState;
93 /*
94 * Store the original method here in case the trace ends with a
95 * return/invoke, the last method.
96 */
97 shadowSpace->method = interpState->method;
Jeff Hao97319a82009-08-12 16:57:15 -070098 shadowSpace->shadowFP = shadowSpace->registerSpace +
99 shadowSpace->registerSpaceSize - postBytes/4;
100
101 // Create a copy of the InterpState
Ben Chengccd6c012009-10-15 14:52:45 -0700102 //shadowSpace->interpState = *interpState;
103 memcpy(&(shadowSpace->interpState), interpState, sizeof(InterpState));
Jeff Hao97319a82009-08-12 16:57:15 -0700104 shadowSpace->interpState.fp = shadowSpace->shadowFP;
105 shadowSpace->interpState.interpStackEnd = (u1*)shadowSpace->registerSpace;
106
107 // Create a copy of the stack
108 memcpy(((char*)shadowSpace->shadowFP)-preBytes, ((char*)fp)-preBytes,
109 preBytes+postBytes);
110
111 // Setup the shadowed heap space
112 shadowSpace->heapSpaceTail = shadowSpace->heapSpace;
113
114 // Reset trace length
115 shadowSpace->traceLength = 0;
116
117 return shadowSpace;
118}
119
120/*
121 * Save ending PC, FP and compiled code exit point to shadow space.
122 * Return a pointer to the shadow space for JIT to restore state.
123 */
124void* dvmSelfVerificationRestoreState(const u2* pc, const void* fp,
125 SelfVerificationState exitPoint)
126{
127 Thread *self = dvmThreadSelf();
128 ShadowSpace *shadowSpace = self->shadowSpace;
129 shadowSpace->endPC = pc;
130 shadowSpace->endShadowFP = fp;
131
132 //LOGD("### selfVerificationRestoreState(%d) pc: 0x%x fp: 0x%x endPC: 0x%x",
133 // self->threadId, (int)shadowSpace->startPC, (int)shadowSpace->fp,
134 // (int)pc);
135
136 if (shadowSpace->selfVerificationState != kSVSStart) {
137 LOGD("~~~ Restore: INCORRECT PREVIOUS STATE(%d): %d",
138 self->threadId, shadowSpace->selfVerificationState);
139 LOGD("********** SHADOW STATE DUMP **********");
Ben Chengccd6c012009-10-15 14:52:45 -0700140 LOGD("Dalvik PC: 0x%x endPC: 0x%x", (int)shadowSpace->startPC,
Jeff Hao97319a82009-08-12 16:57:15 -0700141 (int)shadowSpace->endPC);
Ben Chengccd6c012009-10-15 14:52:45 -0700142 LOGD("Interp FP: 0x%x", (int)shadowSpace->fp);
143 LOGD("Shadow FP: 0x%x endFP: 0x%x", (int)shadowSpace->shadowFP,
Jeff Hao97319a82009-08-12 16:57:15 -0700144 (int)shadowSpace->endShadowFP);
145 }
146
147 // Special case when punting after a single instruction
148 if (exitPoint == kSVSPunt && pc == shadowSpace->startPC) {
149 shadowSpace->selfVerificationState = kSVSIdle;
150 } else {
151 shadowSpace->selfVerificationState = exitPoint;
152 }
153
154 return shadowSpace;
155}
156
157/* Print contents of virtual registers */
Ben Chengccd6c012009-10-15 14:52:45 -0700158static void selfVerificationPrintRegisters(int* addr, int* addrRef,
159 int numWords)
Jeff Hao97319a82009-08-12 16:57:15 -0700160{
161 int i;
162 for (i = 0; i < numWords; i++) {
Ben Chengccd6c012009-10-15 14:52:45 -0700163 LOGD("(v%d) 0x%8x%s", i, addr[i], addr[i] != addrRef[i] ? " X" : "");
Jeff Hao97319a82009-08-12 16:57:15 -0700164 }
165}
166
167/* Print values maintained in shadowSpace */
168static void selfVerificationDumpState(const u2* pc, Thread* self)
169{
170 ShadowSpace* shadowSpace = self->shadowSpace;
171 StackSaveArea* stackSave = SAVEAREA_FROM_FP(self->curFrame);
172 int frameBytes = (int) shadowSpace->registerSpace +
173 shadowSpace->registerSpaceSize*4 -
174 (int) shadowSpace->shadowFP;
175 int localRegs = 0;
176 int frameBytes2 = 0;
177 if (self->curFrame < shadowSpace->fp) {
178 localRegs = (stackSave->method->registersSize -
179 stackSave->method->insSize)*4;
180 frameBytes2 = (int) shadowSpace->fp - (int) self->curFrame - localRegs;
181 }
182 LOGD("********** SHADOW STATE DUMP **********");
Ben Chengccd6c012009-10-15 14:52:45 -0700183 LOGD("CurrentPC: 0x%x, Offset: 0x%04x", (int)pc,
Jeff Hao97319a82009-08-12 16:57:15 -0700184 (int)(pc - stackSave->method->insns));
Ben Chengccd6c012009-10-15 14:52:45 -0700185 LOGD("Class: %s", shadowSpace->method->clazz->descriptor);
186 LOGD("Method: %s", shadowSpace->method->name);
187 LOGD("Dalvik PC: 0x%x endPC: 0x%x", (int)shadowSpace->startPC,
Jeff Hao97319a82009-08-12 16:57:15 -0700188 (int)shadowSpace->endPC);
Ben Chengccd6c012009-10-15 14:52:45 -0700189 LOGD("Interp FP: 0x%x endFP: 0x%x", (int)shadowSpace->fp,
Jeff Hao97319a82009-08-12 16:57:15 -0700190 (int)self->curFrame);
Ben Chengccd6c012009-10-15 14:52:45 -0700191 LOGD("Shadow FP: 0x%x endFP: 0x%x", (int)shadowSpace->shadowFP,
Jeff Hao97319a82009-08-12 16:57:15 -0700192 (int)shadowSpace->endShadowFP);
Ben Chengccd6c012009-10-15 14:52:45 -0700193 LOGD("Frame1 Bytes: %d Frame2 Local: %d Bytes: %d", frameBytes,
Jeff Hao97319a82009-08-12 16:57:15 -0700194 localRegs, frameBytes2);
Ben Chengccd6c012009-10-15 14:52:45 -0700195 LOGD("Trace length: %d State: %d", shadowSpace->traceLength,
Jeff Hao97319a82009-08-12 16:57:15 -0700196 shadowSpace->selfVerificationState);
197}
198
199/* Print decoded instructions in the current trace */
200static void selfVerificationDumpTrace(const u2* pc, Thread* self)
201{
202 ShadowSpace* shadowSpace = self->shadowSpace;
203 StackSaveArea* stackSave = SAVEAREA_FROM_FP(self->curFrame);
Ben Chengbcdc1de2009-08-21 16:18:46 -0700204 int i, addr, offset;
205 DecodedInstruction *decInsn;
Jeff Hao97319a82009-08-12 16:57:15 -0700206
207 LOGD("********** SHADOW TRACE DUMP **********");
208 for (i = 0; i < shadowSpace->traceLength; i++) {
Ben Chengbcdc1de2009-08-21 16:18:46 -0700209 addr = shadowSpace->trace[i].addr;
210 offset = (int)((u2*)addr - stackSave->method->insns);
211 decInsn = &(shadowSpace->trace[i].decInsn);
212 /* Not properly decoding instruction, some registers may be garbage */
Ben Chengccd6c012009-10-15 14:52:45 -0700213 LOGD("0x%x: (0x%04x) %s", addr, offset, getOpcodeName(decInsn->opCode));
Jeff Hao97319a82009-08-12 16:57:15 -0700214 }
215}
216
Ben Chengbcdc1de2009-08-21 16:18:46 -0700217/* Code is forced into this spin loop when a divergence is detected */
Ben Chengccd6c012009-10-15 14:52:45 -0700218static void selfVerificationSpinLoop(ShadowSpace *shadowSpace)
Ben Chengbcdc1de2009-08-21 16:18:46 -0700219{
Ben Chengccd6c012009-10-15 14:52:45 -0700220 const u2 *startPC = shadowSpace->startPC;
221 JitTraceDescription* desc = dvmCopyTraceDescriptor(startPC);
222 if (desc) {
223 dvmCompilerWorkEnqueue(startPC, kWorkOrderTraceDebug, desc);
224 }
Ben Chengbcdc1de2009-08-21 16:18:46 -0700225 gDvmJit.selfVerificationSpin = true;
226 while(gDvmJit.selfVerificationSpin) sleep(10);
227}
228
Jeff Hao97319a82009-08-12 16:57:15 -0700229/* Manage self verification while in the debug interpreter */
230static bool selfVerificationDebugInterp(const u2* pc, Thread* self)
231{
232 ShadowSpace *shadowSpace = self->shadowSpace;
Jeff Hao97319a82009-08-12 16:57:15 -0700233 SelfVerificationState state = shadowSpace->selfVerificationState;
Ben Chengbcdc1de2009-08-21 16:18:46 -0700234
235 DecodedInstruction decInsn;
236 dexDecodeInstruction(gDvm.instrFormat, pc, &decInsn);
237
Jeff Hao97319a82009-08-12 16:57:15 -0700238 //LOGD("### DbgIntp(%d): PC: 0x%x endPC: 0x%x state: %d len: %d %s",
239 // self->threadId, (int)pc, (int)shadowSpace->endPC, state,
Ben Chengbcdc1de2009-08-21 16:18:46 -0700240 // shadowSpace->traceLength, getOpcodeName(decInsn.opCode));
Jeff Hao97319a82009-08-12 16:57:15 -0700241
242 if (state == kSVSIdle || state == kSVSStart) {
243 LOGD("~~~ DbgIntrp: INCORRECT PREVIOUS STATE(%d): %d",
244 self->threadId, state);
245 selfVerificationDumpState(pc, self);
246 selfVerificationDumpTrace(pc, self);
247 }
248
249 /* Skip endPC once when trace has a backward branch */
250 if ((state == kSVSBackwardBranch && pc == shadowSpace->endPC) ||
251 state != kSVSBackwardBranch) {
252 shadowSpace->selfVerificationState = kSVSDebugInterp;
253 }
254
255 /* Check that the current pc is the end of the trace */
256 if ((state == kSVSSingleStep || state == kSVSDebugInterp) &&
257 pc == shadowSpace->endPC) {
258
259 shadowSpace->selfVerificationState = kSVSIdle;
260
261 /* Check register space */
262 int frameBytes = (int) shadowSpace->registerSpace +
263 shadowSpace->registerSpaceSize*4 -
264 (int) shadowSpace->shadowFP;
265 if (memcmp(shadowSpace->fp, shadowSpace->shadowFP, frameBytes)) {
Ben Chengccd6c012009-10-15 14:52:45 -0700266 LOGD("~~~ DbgIntp(%d): REGISTERS DIVERGENCE!", self->threadId);
Jeff Hao97319a82009-08-12 16:57:15 -0700267 selfVerificationDumpState(pc, self);
268 selfVerificationDumpTrace(pc, self);
269 LOGD("*** Interp Registers: addr: 0x%x bytes: %d",
270 (int)shadowSpace->fp, frameBytes);
Ben Chengccd6c012009-10-15 14:52:45 -0700271 selfVerificationPrintRegisters((int*)shadowSpace->fp,
272 (int*)shadowSpace->shadowFP,
273 frameBytes/4);
Jeff Hao97319a82009-08-12 16:57:15 -0700274 LOGD("*** Shadow Registers: addr: 0x%x bytes: %d",
275 (int)shadowSpace->shadowFP, frameBytes);
276 selfVerificationPrintRegisters((int*)shadowSpace->shadowFP,
Ben Chengccd6c012009-10-15 14:52:45 -0700277 (int*)shadowSpace->fp,
278 frameBytes/4);
279 selfVerificationSpinLoop(shadowSpace);
Jeff Hao97319a82009-08-12 16:57:15 -0700280 }
281 /* Check new frame if it exists (invokes only) */
282 if (self->curFrame < shadowSpace->fp) {
283 StackSaveArea* stackSave = SAVEAREA_FROM_FP(self->curFrame);
284 int localRegs = (stackSave->method->registersSize -
285 stackSave->method->insSize)*4;
286 int frameBytes2 = (int) shadowSpace->fp -
287 (int) self->curFrame - localRegs;
288 if (memcmp(((char*)self->curFrame)+localRegs,
289 ((char*)shadowSpace->endShadowFP)+localRegs, frameBytes2)) {
Ben Chengccd6c012009-10-15 14:52:45 -0700290 LOGD("~~~ DbgIntp(%d): REGISTERS (FRAME2) DIVERGENCE!",
Jeff Hao97319a82009-08-12 16:57:15 -0700291 self->threadId);
292 selfVerificationDumpState(pc, self);
293 selfVerificationDumpTrace(pc, self);
294 LOGD("*** Interp Registers: addr: 0x%x l: %d bytes: %d",
295 (int)self->curFrame, localRegs, frameBytes2);
296 selfVerificationPrintRegisters((int*)self->curFrame,
Ben Chengccd6c012009-10-15 14:52:45 -0700297 (int*)shadowSpace->endShadowFP,
298 (frameBytes2+localRegs)/4);
Jeff Hao97319a82009-08-12 16:57:15 -0700299 LOGD("*** Shadow Registers: addr: 0x%x l: %d bytes: %d",
300 (int)shadowSpace->endShadowFP, localRegs, frameBytes2);
301 selfVerificationPrintRegisters((int*)shadowSpace->endShadowFP,
Ben Chengccd6c012009-10-15 14:52:45 -0700302 (int*)self->curFrame,
303 (frameBytes2+localRegs)/4);
304 selfVerificationSpinLoop(shadowSpace);
Jeff Hao97319a82009-08-12 16:57:15 -0700305 }
306 }
307
308 /* Check memory space */
Ben Chengbcdc1de2009-08-21 16:18:46 -0700309 bool memDiff = false;
Jeff Hao97319a82009-08-12 16:57:15 -0700310 ShadowHeap* heapSpacePtr;
311 for (heapSpacePtr = shadowSpace->heapSpace;
312 heapSpacePtr != shadowSpace->heapSpaceTail; heapSpacePtr++) {
Ben Chengbcdc1de2009-08-21 16:18:46 -0700313 int memData = *((unsigned int*) heapSpacePtr->addr);
314 if (heapSpacePtr->data != memData) {
Ben Chengccd6c012009-10-15 14:52:45 -0700315 LOGD("~~~ DbgIntp(%d): MEMORY DIVERGENCE!", self->threadId);
316 LOGD("Addr: 0x%x Intrp Data: 0x%x Jit Data: 0x%x",
Ben Chengbcdc1de2009-08-21 16:18:46 -0700317 heapSpacePtr->addr, memData, heapSpacePtr->data);
Jeff Hao97319a82009-08-12 16:57:15 -0700318 selfVerificationDumpState(pc, self);
319 selfVerificationDumpTrace(pc, self);
Ben Chengbcdc1de2009-08-21 16:18:46 -0700320 memDiff = true;
Jeff Hao97319a82009-08-12 16:57:15 -0700321 }
322 }
Ben Chengccd6c012009-10-15 14:52:45 -0700323 if (memDiff) selfVerificationSpinLoop(shadowSpace);
Jeff Hao97319a82009-08-12 16:57:15 -0700324 return true;
325
326 /* If end not been reached, make sure max length not exceeded */
327 } else if (shadowSpace->traceLength >= JIT_MAX_TRACE_LEN) {
328 LOGD("~~~ DbgIntp(%d): CONTROL DIVERGENCE!", self->threadId);
Ben Chengccd6c012009-10-15 14:52:45 -0700329 LOGD("startPC: 0x%x endPC: 0x%x currPC: 0x%x",
Jeff Hao97319a82009-08-12 16:57:15 -0700330 (int)shadowSpace->startPC, (int)shadowSpace->endPC, (int)pc);
331 selfVerificationDumpState(pc, self);
332 selfVerificationDumpTrace(pc, self);
Ben Chengccd6c012009-10-15 14:52:45 -0700333 selfVerificationSpinLoop(shadowSpace);
Jeff Hao97319a82009-08-12 16:57:15 -0700334
335 return true;
336 }
Ben Chengbcdc1de2009-08-21 16:18:46 -0700337 /* Log the instruction address and decoded instruction for debug */
Jeff Hao97319a82009-08-12 16:57:15 -0700338 shadowSpace->trace[shadowSpace->traceLength].addr = (int)pc;
Ben Chengbcdc1de2009-08-21 16:18:46 -0700339 shadowSpace->trace[shadowSpace->traceLength].decInsn = decInsn;
Jeff Hao97319a82009-08-12 16:57:15 -0700340 shadowSpace->traceLength++;
341
342 return false;
343}
344#endif
345
Ben Chengba4fc8b2009-06-01 13:00:29 -0700346int dvmJitStartup(void)
347{
348 unsigned int i;
349 bool res = true; /* Assume success */
350
351 // Create the compiler thread and setup miscellaneous chores */
352 res &= dvmCompilerStartup();
353
354 dvmInitMutex(&gDvmJit.tableLock);
355 if (res && gDvm.executionMode == kExecutionModeJit) {
Bill Buzbee716f1202009-07-23 13:22:09 -0700356 JitEntry *pJitTable = NULL;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700357 unsigned char *pJitProfTable = NULL;
Ben Cheng3f02aa42009-08-14 13:52:09 -0700358 // Power of 2?
359 assert(gDvmJit.jitTableSize &&
360 !(gDvmJit.jitTableSize & (gDvmJit.jitTableSize - 1)));
Ben Chengba4fc8b2009-06-01 13:00:29 -0700361 dvmLockMutex(&gDvmJit.tableLock);
Bill Buzbee716f1202009-07-23 13:22:09 -0700362 pJitTable = (JitEntry*)
Bill Buzbee27176222009-06-09 09:20:16 -0700363 calloc(gDvmJit.jitTableSize, sizeof(*pJitTable));
Ben Chengba4fc8b2009-06-01 13:00:29 -0700364 if (!pJitTable) {
365 LOGE("jit table allocation failed\n");
366 res = false;
367 goto done;
368 }
Ben Chengba4fc8b2009-06-01 13:00:29 -0700369 /*
370 * NOTE: the profile table must only be allocated once, globally.
371 * Profiling is turned on and off by nulling out gDvm.pJitProfTable
372 * and then restoring its original value. However, this action
373 * is not syncronized for speed so threads may continue to hold
374 * and update the profile table after profiling has been turned
375 * off by null'ng the global pointer. Be aware.
376 */
377 pJitProfTable = (unsigned char *)malloc(JIT_PROF_SIZE);
378 if (!pJitProfTable) {
379 LOGE("jit prof table allocation failed\n");
380 res = false;
381 goto done;
382 }
383 memset(pJitProfTable,0,JIT_PROF_SIZE);
Bill Buzbee27176222009-06-09 09:20:16 -0700384 for (i=0; i < gDvmJit.jitTableSize; i++) {
Bill Buzbee716f1202009-07-23 13:22:09 -0700385 pJitTable[i].u.info.chain = gDvmJit.jitTableSize;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700386 }
387 /* Is chain field wide enough for termination pattern? */
Ben Cheng3f02aa42009-08-14 13:52:09 -0700388 assert(pJitTable[0].u.info.chain == gDvmJit.jitTableSize);
Ben Chengba4fc8b2009-06-01 13:00:29 -0700389
390done:
391 gDvmJit.pJitEntryTable = pJitTable;
Bill Buzbee27176222009-06-09 09:20:16 -0700392 gDvmJit.jitTableMask = gDvmJit.jitTableSize - 1;
393 gDvmJit.jitTableEntriesUsed = 0;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700394 gDvmJit.pProfTableCopy = gDvmJit.pProfTable = pJitProfTable;
395 dvmUnlockMutex(&gDvmJit.tableLock);
396 }
397 return res;
398}
399
400/*
401 * If one of our fixed tables or the translation buffer fills up,
402 * call this routine to avoid wasting cycles on future translation requests.
403 */
404void dvmJitStopTranslationRequests()
405{
406 /*
407 * Note 1: This won't necessarily stop all translation requests, and
408 * operates on a delayed mechanism. Running threads look to the copy
409 * of this value in their private InterpState structures and won't see
410 * this change until it is refreshed (which happens on interpreter
411 * entry).
412 * Note 2: This is a one-shot memory leak on this table. Because this is a
413 * permanent off switch for Jit profiling, it is a one-time leak of 1K
414 * bytes, and no further attempt will be made to re-allocate it. Can't
415 * free it because some thread may be holding a reference.
416 */
417 gDvmJit.pProfTable = gDvmJit.pProfTableCopy = NULL;
418}
419
420#if defined(EXIT_STATS)
421/* Convenience function to increment counter from assembly code */
422void dvmBumpNoChain()
423{
424 gDvm.jitNoChainExit++;
425}
426
427/* Convenience function to increment counter from assembly code */
428void dvmBumpNormal()
429{
430 gDvm.jitNormalExit++;
431}
432
433/* Convenience function to increment counter from assembly code */
434void dvmBumpPunt(int from)
435{
436 gDvm.jitPuntExit++;
437}
438#endif
439
440/* Dumps debugging & tuning stats to the log */
441void dvmJitStats()
442{
443 int i;
444 int hit;
445 int not_hit;
446 int chains;
447 if (gDvmJit.pJitEntryTable) {
448 for (i=0, chains=hit=not_hit=0;
Bill Buzbee27176222009-06-09 09:20:16 -0700449 i < (int) gDvmJit.jitTableSize;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700450 i++) {
451 if (gDvmJit.pJitEntryTable[i].dPC != 0)
452 hit++;
453 else
454 not_hit++;
Bill Buzbee716f1202009-07-23 13:22:09 -0700455 if (gDvmJit.pJitEntryTable[i].u.info.chain != gDvmJit.jitTableSize)
Ben Chengba4fc8b2009-06-01 13:00:29 -0700456 chains++;
457 }
458 LOGD(
459 "JIT: %d traces, %d slots, %d chains, %d maxQ, %d thresh, %s",
460 hit, not_hit + hit, chains, gDvmJit.compilerMaxQueued,
461 gDvmJit.threshold, gDvmJit.blockingMode ? "Blocking" : "Non-blocking");
462#if defined(EXIT_STATS)
463 LOGD(
464 "JIT: Lookups: %d hits, %d misses; %d NoChain, %d normal, %d punt",
465 gDvmJit.addrLookupsFound, gDvmJit.addrLookupsNotFound,
466 gDvmJit.noChainExit, gDvmJit.normalExit, gDvmJit.puntExit);
467#endif
468 LOGD("JIT: %d Translation chains", gDvmJit.translationChains);
469#if defined(INVOKE_STATS)
Ben Cheng38329f52009-07-07 14:19:20 -0700470 LOGD("JIT: Invoke: %d chainable, %d pred. chain, %d native, "
471 "%d return",
472 gDvmJit.invokeChain, gDvmJit.invokePredictedChain,
473 gDvmJit.invokeNative, gDvmJit.returnOp);
Ben Chengba4fc8b2009-06-01 13:00:29 -0700474#endif
Ben Chenge80cd942009-07-17 15:54:23 -0700475 if (gDvmJit.profile) {
Bill Buzbee716f1202009-07-23 13:22:09 -0700476 dvmCompilerSortAndPrintTraceProfiles();
Bill Buzbee6e963e12009-06-17 16:56:19 -0700477 }
Ben Chengba4fc8b2009-06-01 13:00:29 -0700478 }
479}
480
Bill Buzbee716f1202009-07-23 13:22:09 -0700481
Ben Chengba4fc8b2009-06-01 13:00:29 -0700482/*
483 * Final JIT shutdown. Only do this once, and do not attempt to restart
484 * the JIT later.
485 */
486void dvmJitShutdown(void)
487{
488 /* Shutdown the compiler thread */
489 dvmCompilerShutdown();
490
491 dvmCompilerDumpStats();
492
493 dvmDestroyMutex(&gDvmJit.tableLock);
494
495 if (gDvmJit.pJitEntryTable) {
496 free(gDvmJit.pJitEntryTable);
497 gDvmJit.pJitEntryTable = NULL;
498 }
499
500 if (gDvmJit.pProfTable) {
501 free(gDvmJit.pProfTable);
502 gDvmJit.pProfTable = NULL;
503 }
504}
505
Ben Chengba4fc8b2009-06-01 13:00:29 -0700506/*
507 * Adds to the current trace request one instruction at a time, just
508 * before that instruction is interpreted. This is the primary trace
509 * selection function. NOTE: return instruction are handled a little
510 * differently. In general, instructions are "proposed" to be added
511 * to the current trace prior to interpretation. If the interpreter
512 * then successfully completes the instruction, is will be considered
513 * part of the request. This allows us to examine machine state prior
514 * to interpretation, and also abort the trace request if the instruction
515 * throws or does something unexpected. However, return instructions
516 * will cause an immediate end to the translation request - which will
517 * be passed to the compiler before the return completes. This is done
518 * in response to special handling of returns by the interpreter (and
519 * because returns cannot throw in a way that causes problems for the
520 * translated code.
521 */
Ben Chengba4fc8b2009-06-01 13:00:29 -0700522int dvmCheckJit(const u2* pc, Thread* self, InterpState* interpState)
523{
524 int flags,i,len;
525 int switchInterp = false;
526 int debugOrProfile = (gDvm.debuggerActive || self->suspendCount
527#if defined(WITH_PROFILER)
528 || gDvm.activeProfilers
529#endif
530 );
Ben Cheng79d173c2009-09-29 16:12:51 -0700531 /* Prepare to handle last PC and stage the current PC */
532 const u2 *lastPC = interpState->lastPC;
533 interpState->lastPC = pc;
534
Ben Chengba4fc8b2009-06-01 13:00:29 -0700535 switch (interpState->jitState) {
536 char* nopStr;
537 int target;
538 int offset;
539 DecodedInstruction decInsn;
540 case kJitTSelect:
Ben Chengdc84bb22009-10-02 12:58:52 -0700541 /* First instruction - just remember the PC and exit */
542 if (lastPC == NULL) break;
Ben Cheng79d173c2009-09-29 16:12:51 -0700543 /* Grow the trace around the last PC if jitState is kJitTSelect */
544 dexDecodeInstruction(gDvm.instrFormat, lastPC, &decInsn);
Ben Chengba4fc8b2009-06-01 13:00:29 -0700545#if defined(SHOW_TRACE)
546 LOGD("TraceGen: adding %s",getOpcodeName(decInsn.opCode));
547#endif
548 flags = dexGetInstrFlags(gDvm.instrFlags, decInsn.opCode);
Ben Cheng79d173c2009-09-29 16:12:51 -0700549 len = dexGetInstrOrTableWidthAbs(gDvm.instrWidth, lastPC);
550 offset = lastPC - interpState->method->insns;
551 assert((unsigned) offset <
552 dvmGetMethodInsnsSize(interpState->method));
553 if (lastPC != interpState->currRunHead + interpState->currRunLen) {
Bill Buzbee50a6bf22009-07-08 13:08:04 -0700554 int currTraceRun;
555 /* We need to start a new trace run */
556 currTraceRun = ++interpState->currTraceRun;
557 interpState->currRunLen = 0;
Ben Cheng79d173c2009-09-29 16:12:51 -0700558 interpState->currRunHead = (u2*)lastPC;
Bill Buzbee50a6bf22009-07-08 13:08:04 -0700559 interpState->trace[currTraceRun].frag.startOffset = offset;
560 interpState->trace[currTraceRun].frag.numInsts = 0;
561 interpState->trace[currTraceRun].frag.runEnd = false;
562 interpState->trace[currTraceRun].frag.hint = kJitHintNone;
563 }
564 interpState->trace[interpState->currTraceRun].frag.numInsts++;
565 interpState->totalTraceLen++;
566 interpState->currRunLen += len;
Ben Cheng79d173c2009-09-29 16:12:51 -0700567
568 /* Will probably never hit this with the current trace buildier */
569 if (interpState->currTraceRun == (MAX_JIT_RUN_LEN - 1)) {
570 interpState->jitState = kJitTSelectEnd;
571 }
572
Bill Buzbee50a6bf22009-07-08 13:08:04 -0700573 if ( ((flags & kInstrUnconditional) == 0) &&
Bill Buzbeef4ce16f2009-07-28 13:28:25 -0700574 /* don't end trace on INVOKE_DIRECT_EMPTY */
575 (decInsn.opCode != OP_INVOKE_DIRECT_EMPTY) &&
Bill Buzbee50a6bf22009-07-08 13:08:04 -0700576 ((flags & (kInstrCanBranch |
577 kInstrCanSwitch |
578 kInstrCanReturn |
579 kInstrInvoke)) != 0)) {
580 interpState->jitState = kJitTSelectEnd;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700581#if defined(SHOW_TRACE)
Bill Buzbee50a6bf22009-07-08 13:08:04 -0700582 LOGD("TraceGen: ending on %s, basic block end",
583 getOpcodeName(decInsn.opCode));
Ben Chengba4fc8b2009-06-01 13:00:29 -0700584#endif
Bill Buzbee50a6bf22009-07-08 13:08:04 -0700585 }
586 if (decInsn.opCode == OP_THROW) {
587 interpState->jitState = kJitTSelectEnd;
588 }
589 if (interpState->totalTraceLen >= JIT_MAX_TRACE_LEN) {
590 interpState->jitState = kJitTSelectEnd;
591 }
592 if (debugOrProfile) {
593 interpState->jitState = kJitTSelectAbort;
594 switchInterp = !debugOrProfile;
595 break;
596 }
597 if ((flags & kInstrCanReturn) != kInstrCanReturn) {
598 break;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700599 }
600 /* NOTE: intentional fallthrough for returns */
601 case kJitTSelectEnd:
602 {
603 if (interpState->totalTraceLen == 0) {
604 switchInterp = !debugOrProfile;
605 break;
606 }
607 JitTraceDescription* desc =
608 (JitTraceDescription*)malloc(sizeof(JitTraceDescription) +
609 sizeof(JitTraceRun) * (interpState->currTraceRun+1));
610 if (desc == NULL) {
611 LOGE("Out of memory in trace selection");
612 dvmJitStopTranslationRequests();
613 interpState->jitState = kJitTSelectAbort;
614 switchInterp = !debugOrProfile;
615 break;
616 }
617 interpState->trace[interpState->currTraceRun].frag.runEnd =
618 true;
619 interpState->jitState = kJitNormal;
620 desc->method = interpState->method;
621 memcpy((char*)&(desc->trace[0]),
622 (char*)&(interpState->trace[0]),
623 sizeof(JitTraceRun) * (interpState->currTraceRun+1));
624#if defined(SHOW_TRACE)
625 LOGD("TraceGen: trace done, adding to queue");
626#endif
627 dvmCompilerWorkEnqueue(
628 interpState->currTraceHead,kWorkOrderTrace,desc);
629 if (gDvmJit.blockingMode) {
630 dvmCompilerDrainQueue();
631 }
632 switchInterp = !debugOrProfile;
633 }
634 break;
635 case kJitSingleStep:
636 interpState->jitState = kJitSingleStepEnd;
637 break;
638 case kJitSingleStepEnd:
639 interpState->entryPoint = kInterpEntryResume;
640 switchInterp = !debugOrProfile;
641 break;
642 case kJitTSelectAbort:
643#if defined(SHOW_TRACE)
644 LOGD("TraceGen: trace abort");
645#endif
646 interpState->jitState = kJitNormal;
647 switchInterp = !debugOrProfile;
648 break;
649 case kJitNormal:
Ben Cheng38329f52009-07-07 14:19:20 -0700650 switchInterp = !debugOrProfile;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700651 break;
Jeff Hao97319a82009-08-12 16:57:15 -0700652#if defined(WITH_SELF_VERIFICATION)
653 case kJitSelfVerification:
654 if (selfVerificationDebugInterp(pc, self)) {
655 interpState->jitState = kJitNormal;
656 switchInterp = !debugOrProfile;
657 }
658 break;
659#endif
Ben Chenged79ff02009-10-13 13:26:40 -0700660 /* If JIT is off stay out of interpreter selections */
661 case kJitOff:
662 break;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700663 default:
Ben Cheng9c147b82009-10-07 16:41:46 -0700664 if (!debugOrProfile) {
665 LOGE("Unexpected JIT state: %d", interpState->jitState);
666 dvmAbort();
667 }
668 break;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700669 }
670 return switchInterp;
671}
672
Ben Chengccd6c012009-10-15 14:52:45 -0700673JitEntry *dvmFindJitEntry(const u2* pc)
Ben Chengba4fc8b2009-06-01 13:00:29 -0700674{
675 int idx = dvmJitHash(pc);
676
677 /* Expect a high hit rate on 1st shot */
678 if (gDvmJit.pJitEntryTable[idx].dPC == pc)
679 return &gDvmJit.pJitEntryTable[idx];
680 else {
Bill Buzbee27176222009-06-09 09:20:16 -0700681 int chainEndMarker = gDvmJit.jitTableSize;
Bill Buzbee716f1202009-07-23 13:22:09 -0700682 while (gDvmJit.pJitEntryTable[idx].u.info.chain != chainEndMarker) {
683 idx = gDvmJit.pJitEntryTable[idx].u.info.chain;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700684 if (gDvmJit.pJitEntryTable[idx].dPC == pc)
685 return &gDvmJit.pJitEntryTable[idx];
686 }
687 }
688 return NULL;
689}
690
Bill Buzbee27176222009-06-09 09:20:16 -0700691/*
Ben Chengba4fc8b2009-06-01 13:00:29 -0700692 * If a translated code address exists for the davik byte code
693 * pointer return it. This routine needs to be fast.
694 */
695void* dvmJitGetCodeAddr(const u2* dPC)
696{
697 int idx = dvmJitHash(dPC);
698
Bill Buzbee46cd5b62009-06-05 15:36:06 -0700699 /* If anything is suspended, don't re-enter the code cache */
700 if (gDvm.sumThreadSuspendCount > 0) {
701 return NULL;
702 }
703
Ben Chengba4fc8b2009-06-01 13:00:29 -0700704 /* Expect a high hit rate on 1st shot */
705 if (gDvmJit.pJitEntryTable[idx].dPC == dPC) {
706#if defined(EXIT_STATS)
707 gDvmJit.addrLookupsFound++;
708#endif
709 return gDvmJit.pJitEntryTable[idx].codeAddress;
710 } else {
Bill Buzbee27176222009-06-09 09:20:16 -0700711 int chainEndMarker = gDvmJit.jitTableSize;
Bill Buzbee716f1202009-07-23 13:22:09 -0700712 while (gDvmJit.pJitEntryTable[idx].u.info.chain != chainEndMarker) {
713 idx = gDvmJit.pJitEntryTable[idx].u.info.chain;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700714 if (gDvmJit.pJitEntryTable[idx].dPC == dPC) {
715#if defined(EXIT_STATS)
716 gDvmJit.addrLookupsFound++;
717#endif
718 return gDvmJit.pJitEntryTable[idx].codeAddress;
719 }
720 }
721 }
722#if defined(EXIT_STATS)
723 gDvmJit.addrLookupsNotFound++;
724#endif
725 return NULL;
726}
727
728/*
Bill Buzbee716f1202009-07-23 13:22:09 -0700729 * Find an entry in the JitTable, creating if necessary.
730 * Returns null if table is full.
731 */
732JitEntry *dvmJitLookupAndAdd(const u2* dPC)
733{
734 u4 chainEndMarker = gDvmJit.jitTableSize;
735 u4 idx = dvmJitHash(dPC);
736
737 /* Walk the bucket chain to find an exact match for our PC */
738 while ((gDvmJit.pJitEntryTable[idx].u.info.chain != chainEndMarker) &&
739 (gDvmJit.pJitEntryTable[idx].dPC != dPC)) {
740 idx = gDvmJit.pJitEntryTable[idx].u.info.chain;
741 }
742
743 if (gDvmJit.pJitEntryTable[idx].dPC != dPC) {
744 /*
745 * No match. Aquire jitTableLock and find the last
746 * slot in the chain. Possibly continue the chain walk in case
747 * some other thread allocated the slot we were looking
748 * at previuosly (perhaps even the dPC we're trying to enter).
749 */
750 dvmLockMutex(&gDvmJit.tableLock);
751 /*
752 * At this point, if .dPC is NULL, then the slot we're
753 * looking at is the target slot from the primary hash
754 * (the simple, and common case). Otherwise we're going
755 * to have to find a free slot and chain it.
756 */
757 MEM_BARRIER(); /* Make sure we reload [].dPC after lock */
758 if (gDvmJit.pJitEntryTable[idx].dPC != NULL) {
759 u4 prev;
760 while (gDvmJit.pJitEntryTable[idx].u.info.chain != chainEndMarker) {
761 if (gDvmJit.pJitEntryTable[idx].dPC == dPC) {
762 /* Another thread got there first for this dPC */
763 dvmUnlockMutex(&gDvmJit.tableLock);
764 return &gDvmJit.pJitEntryTable[idx];
765 }
766 idx = gDvmJit.pJitEntryTable[idx].u.info.chain;
767 }
768 /* Here, idx should be pointing to the last cell of an
769 * active chain whose last member contains a valid dPC */
770 assert(gDvmJit.pJitEntryTable[idx].dPC != NULL);
771 /* Linear walk to find a free cell and add it to the end */
772 prev = idx;
773 while (true) {
774 idx++;
775 if (idx == chainEndMarker)
776 idx = 0; /* Wraparound */
777 if ((gDvmJit.pJitEntryTable[idx].dPC == NULL) ||
778 (idx == prev))
779 break;
780 }
781 if (idx != prev) {
782 JitEntryInfoUnion oldValue;
783 JitEntryInfoUnion newValue;
784 /*
785 * Although we hold the lock so that noone else will
786 * be trying to update a chain field, the other fields
787 * packed into the word may be in use by other threads.
788 */
789 do {
790 oldValue = gDvmJit.pJitEntryTable[prev].u;
791 newValue = oldValue;
792 newValue.info.chain = idx;
793 } while (!ATOMIC_CMP_SWAP(
794 &gDvmJit.pJitEntryTable[prev].u.infoWord,
795 oldValue.infoWord, newValue.infoWord));
796 }
797 }
798 if (gDvmJit.pJitEntryTable[idx].dPC == NULL) {
799 /* Allocate the slot */
800 gDvmJit.pJitEntryTable[idx].dPC = dPC;
801 gDvmJit.jitTableEntriesUsed++;
802 } else {
803 /* Table is full */
804 idx = chainEndMarker;
805 }
806 dvmUnlockMutex(&gDvmJit.tableLock);
807 }
808 return (idx == chainEndMarker) ? NULL : &gDvmJit.pJitEntryTable[idx];
809}
810/*
Ben Chengba4fc8b2009-06-01 13:00:29 -0700811 * Register the translated code pointer into the JitTable.
812 * NOTE: Once a codeAddress field transitions from NULL to
813 * JIT'd code, it must not be altered without first halting all
Bill Buzbee716f1202009-07-23 13:22:09 -0700814 * threads. This routine should only be called by the compiler
815 * thread.
Ben Chengba4fc8b2009-06-01 13:00:29 -0700816 */
Bill Buzbee716f1202009-07-23 13:22:09 -0700817void dvmJitSetCodeAddr(const u2* dPC, void *nPC, JitInstructionSetType set) {
818 JitEntryInfoUnion oldValue;
819 JitEntryInfoUnion newValue;
820 JitEntry *jitEntry = dvmJitLookupAndAdd(dPC);
Ben Chengba4fc8b2009-06-01 13:00:29 -0700821 assert(jitEntry);
Bill Buzbee716f1202009-07-23 13:22:09 -0700822 /* Note: order of update is important */
823 do {
824 oldValue = jitEntry->u;
825 newValue = oldValue;
826 newValue.info.instructionSet = set;
827 } while (!ATOMIC_CMP_SWAP(
828 &jitEntry->u.infoWord,
829 oldValue.infoWord, newValue.infoWord));
830 jitEntry->codeAddress = nPC;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700831}
832
833/*
834 * Determine if valid trace-bulding request is active. Return true
835 * if we need to abort and switch back to the fast interpreter, false
836 * otherwise. NOTE: may be called even when trace selection is not being
837 * requested
838 */
839
Ben Chengba4fc8b2009-06-01 13:00:29 -0700840bool dvmJitCheckTraceRequest(Thread* self, InterpState* interpState)
841{
Bill Buzbee48f18242009-06-19 16:02:27 -0700842 bool res = false; /* Assume success */
843 int i;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700844 if (gDvmJit.pJitEntryTable != NULL) {
Bill Buzbee48f18242009-06-19 16:02:27 -0700845 /* Two-level filtering scheme */
846 for (i=0; i< JIT_TRACE_THRESH_FILTER_SIZE; i++) {
847 if (interpState->pc == interpState->threshFilter[i]) {
848 break;
849 }
850 }
851 if (i == JIT_TRACE_THRESH_FILTER_SIZE) {
852 /*
853 * Use random replacement policy - otherwise we could miss a large
854 * loop that contains more traces than the size of our filter array.
855 */
856 i = rand() % JIT_TRACE_THRESH_FILTER_SIZE;
857 interpState->threshFilter[i] = interpState->pc;
858 res = true;
859 }
Ben Chengba4fc8b2009-06-01 13:00:29 -0700860 /*
861 * If the compiler is backlogged, or if a debugger or profiler is
862 * active, cancel any JIT actions
863 */
Bill Buzbee48f18242009-06-19 16:02:27 -0700864 if ( res || (gDvmJit.compilerQueueLength >= gDvmJit.compilerHighWater) ||
Ben Chengba4fc8b2009-06-01 13:00:29 -0700865 gDvm.debuggerActive || self->suspendCount
866#if defined(WITH_PROFILER)
867 || gDvm.activeProfilers
868#endif
869 ) {
870 if (interpState->jitState != kJitOff) {
871 interpState->jitState = kJitNormal;
872 }
Ben Chengba4fc8b2009-06-01 13:00:29 -0700873 } else if (interpState->jitState == kJitTSelectRequest) {
Bill Buzbee716f1202009-07-23 13:22:09 -0700874 JitEntry *slot = dvmJitLookupAndAdd(interpState->pc);
875 if (slot == NULL) {
Ben Chengba4fc8b2009-06-01 13:00:29 -0700876 /*
Bill Buzbee716f1202009-07-23 13:22:09 -0700877 * Table is full. This should have been
878 * detected by the compiler thread and the table
879 * resized before we run into it here. Assume bad things
880 * are afoot and disable profiling.
Ben Chengba4fc8b2009-06-01 13:00:29 -0700881 */
882 interpState->jitState = kJitTSelectAbort;
Bill Buzbee716f1202009-07-23 13:22:09 -0700883 LOGD("JIT: JitTable full, disabling profiling");
884 dvmJitStopTranslationRequests();
885 } else if (slot->u.info.traceRequested) {
886 /* Trace already requested - revert to interpreter */
887 interpState->jitState = kJitTSelectAbort;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700888 } else {
Bill Buzbee716f1202009-07-23 13:22:09 -0700889 /* Mark request */
890 JitEntryInfoUnion oldValue;
891 JitEntryInfoUnion newValue;
892 do {
893 oldValue = slot->u;
894 newValue = oldValue;
895 newValue.info.traceRequested = true;
896 } while (!ATOMIC_CMP_SWAP( &slot->u.infoWord,
897 oldValue.infoWord, newValue.infoWord));
Ben Chengba4fc8b2009-06-01 13:00:29 -0700898 }
899 }
900 switch (interpState->jitState) {
901 case kJitTSelectRequest:
902 interpState->jitState = kJitTSelect;
903 interpState->currTraceHead = interpState->pc;
904 interpState->currTraceRun = 0;
905 interpState->totalTraceLen = 0;
906 interpState->currRunHead = interpState->pc;
907 interpState->currRunLen = 0;
908 interpState->trace[0].frag.startOffset =
909 interpState->pc - interpState->method->insns;
910 interpState->trace[0].frag.numInsts = 0;
911 interpState->trace[0].frag.runEnd = false;
912 interpState->trace[0].frag.hint = kJitHintNone;
Ben Cheng79d173c2009-09-29 16:12:51 -0700913 interpState->lastPC = 0;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700914 break;
915 case kJitTSelect:
916 case kJitTSelectAbort:
917 res = true;
918 case kJitSingleStep:
919 case kJitSingleStepEnd:
920 case kJitOff:
921 case kJitNormal:
Jeff Hao97319a82009-08-12 16:57:15 -0700922#if defined(WITH_SELF_VERIFICATION)
923 case kJitSelfVerification:
924#endif
Ben Chengba4fc8b2009-06-01 13:00:29 -0700925 break;
926 default:
Ben Cheng9c147b82009-10-07 16:41:46 -0700927 LOGE("Unexpected JIT state: %d", interpState->jitState);
Ben Chengba4fc8b2009-06-01 13:00:29 -0700928 dvmAbort();
929 }
930 }
931 return res;
932}
933
Bill Buzbee27176222009-06-09 09:20:16 -0700934/*
935 * Resizes the JitTable. Must be a power of 2, and returns true on failure.
936 * Stops all threads, and thus is a heavyweight operation.
937 */
938bool dvmJitResizeJitTable( unsigned int size )
939{
Bill Buzbee716f1202009-07-23 13:22:09 -0700940 JitEntry *pNewTable;
941 JitEntry *pOldTable;
Bill Buzbee27176222009-06-09 09:20:16 -0700942 u4 newMask;
Bill Buzbee716f1202009-07-23 13:22:09 -0700943 unsigned int oldSize;
Bill Buzbee27176222009-06-09 09:20:16 -0700944 unsigned int i;
945
Ben Cheng3f02aa42009-08-14 13:52:09 -0700946 assert(gDvmJit.pJitEntryTable != NULL);
Bill Buzbee27176222009-06-09 09:20:16 -0700947 assert(size && !(size & (size - 1))); /* Is power of 2? */
948
949 LOGD("Jit: resizing JitTable from %d to %d", gDvmJit.jitTableSize, size);
950
951 newMask = size - 1;
952
953 if (size <= gDvmJit.jitTableSize) {
954 return true;
955 }
956
Bill Buzbee716f1202009-07-23 13:22:09 -0700957 pNewTable = (JitEntry*)calloc(size, sizeof(*pNewTable));
Bill Buzbee27176222009-06-09 09:20:16 -0700958 if (pNewTable == NULL) {
959 return true;
960 }
961 for (i=0; i< size; i++) {
Bill Buzbee716f1202009-07-23 13:22:09 -0700962 pNewTable[i].u.info.chain = size; /* Initialize chain termination */
Bill Buzbee27176222009-06-09 09:20:16 -0700963 }
964
965 /* Stop all other interpreting/jit'ng threads */
966 dvmSuspendAllThreads(SUSPEND_FOR_JIT);
967
Bill Buzbee716f1202009-07-23 13:22:09 -0700968 pOldTable = gDvmJit.pJitEntryTable;
969 oldSize = gDvmJit.jitTableSize;
Bill Buzbee27176222009-06-09 09:20:16 -0700970
971 dvmLockMutex(&gDvmJit.tableLock);
Bill Buzbee27176222009-06-09 09:20:16 -0700972 gDvmJit.pJitEntryTable = pNewTable;
973 gDvmJit.jitTableSize = size;
974 gDvmJit.jitTableMask = size - 1;
Bill Buzbee716f1202009-07-23 13:22:09 -0700975 gDvmJit.jitTableEntriesUsed = 0;
Bill Buzbee27176222009-06-09 09:20:16 -0700976 dvmUnlockMutex(&gDvmJit.tableLock);
977
Bill Buzbee716f1202009-07-23 13:22:09 -0700978 for (i=0; i < oldSize; i++) {
979 if (pOldTable[i].dPC) {
980 JitEntry *p;
981 u2 chain;
982 p = dvmJitLookupAndAdd(pOldTable[i].dPC);
983 p->dPC = pOldTable[i].dPC;
984 /*
985 * Compiler thread may have just updated the new entry's
986 * code address field, so don't blindly copy null.
987 */
988 if (pOldTable[i].codeAddress != NULL) {
989 p->codeAddress = pOldTable[i].codeAddress;
990 }
991 /* We need to preserve the new chain field, but copy the rest */
992 dvmLockMutex(&gDvmJit.tableLock);
993 chain = p->u.info.chain;
994 p->u = pOldTable[i].u;
995 p->u.info.chain = chain;
996 dvmUnlockMutex(&gDvmJit.tableLock);
997 }
998 }
999
1000 free(pOldTable);
1001
Bill Buzbee27176222009-06-09 09:20:16 -07001002 /* Restart the world */
1003 dvmResumeAllThreads(SUSPEND_FOR_JIT);
1004
1005 return false;
1006}
1007
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001008/*
1009 * Float/double conversion requires clamping to min and max of integer form. If
1010 * target doesn't support this normally, use these.
1011 */
1012s8 dvmJitd2l(double d)
1013{
Bill Buzbee9727c3d2009-08-01 11:32:36 -07001014 static const double kMaxLong = (double)(s8)0x7fffffffffffffffULL;
1015 static const double kMinLong = (double)(s8)0x8000000000000000ULL;
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001016 if (d >= kMaxLong)
Bill Buzbee9727c3d2009-08-01 11:32:36 -07001017 return (s8)0x7fffffffffffffffULL;
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001018 else if (d <= kMinLong)
Bill Buzbee9727c3d2009-08-01 11:32:36 -07001019 return (s8)0x8000000000000000ULL;
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001020 else if (d != d) // NaN case
1021 return 0;
1022 else
1023 return (s8)d;
1024}
1025
1026s8 dvmJitf2l(float f)
1027{
Bill Buzbee9727c3d2009-08-01 11:32:36 -07001028 static const float kMaxLong = (float)(s8)0x7fffffffffffffffULL;
1029 static const float kMinLong = (float)(s8)0x8000000000000000ULL;
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001030 if (f >= kMaxLong)
Bill Buzbee9727c3d2009-08-01 11:32:36 -07001031 return (s8)0x7fffffffffffffffULL;
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001032 else if (f <= kMinLong)
Bill Buzbee9727c3d2009-08-01 11:32:36 -07001033 return (s8)0x8000000000000000ULL;
Bill Buzbee50a6bf22009-07-08 13:08:04 -07001034 else if (f != f) // NaN case
1035 return 0;
1036 else
1037 return (s8)f;
1038}
1039
Bill Buzbee27176222009-06-09 09:20:16 -07001040
Ben Chengba4fc8b2009-06-01 13:00:29 -07001041#endif /* WITH_JIT */