24 static bool processInstruction(VerifierData* vdata, u4 curIdx,
26 static bool markDebugLocals(VerifierData* vdata);
27 static void dumpLiveState(const VerifierData* vdata, u4 curIdx,
38 static InstructionWidth* createBackwardWidthTable(VerifierData* vdata)  in createBackwardWidthTable()  argument
43             calloc(vdata->insnsSize, sizeof(InstructionWidth));  in createBackwardWidthTable()
48     for (u4 idx = 0; idx < vdata->insnsSize; ) {  in createBackwardWidthTable()
50         insnWidth = dvmInsnGetWidth(vdata->insnFlags, idx);  in createBackwardWidthTable()
60 bool dvmComputeLiveness(VerifierData* vdata)  in dvmComputeLiveness()  argument
62     const InsnFlags* insnFlags = vdata->insnFlags;  in dvmComputeLiveness()
70         const Method* meth = vdata->method;  in dvmComputeLiveness()
75     assert(vdata->registerLines != NULL);  in dvmComputeLiveness()
77     backwardWidth = createBackwardWidthTable(vdata);  in dvmComputeLiveness()
87     workBits = dvmAllocBitVector(vdata->insnRegCount, false);  in dvmComputeLiveness()
103             LOG_VFY_METH(vdata->method, "oh dear");  in dvmComputeLiveness()
121             for (u4 idx = 0; idx < vdata->insnsSize; idx++) {  in dvmComputeLiveness()
122                 VfyBasicBlock* block = vdata->basicBlocks[idx];  in dvmComputeLiveness()
151             dumpLiveState(vdata, 0xfffd, workBlock->liveRegs);  in dvmComputeLiveness()
152             dumpLiveState(vdata, 0xffff, workBits);  in dvmComputeLiveness()
175             if (!processInstruction(vdata, curIdx, workBits))  in dvmComputeLiveness()
179                 dumpLiveState(vdata, curIdx + 0x8000, workBits);  in dvmComputeLiveness()
183                 BitVector* lineBits = vdata->registerLines[curIdx].liveRegs;  in dvmComputeLiveness()
185                     lineBits = vdata->registerLines[curIdx].liveRegs =  in dvmComputeLiveness()
186                         dvmAllocBitVector(vdata->insnRegCount, false);  in dvmComputeLiveness()
201             dumpLiveState(vdata, curIdx, workBits);  in dvmComputeLiveness()
220                 dumpLiveState(vdata, 0xfffa, pred->liveRegs);  in dvmComputeLiveness()
221                 dumpLiveState(vdata, 0xfffb, workBits);  in dvmComputeLiveness()
249     for (checkIdx = 0; checkIdx < vdata->insnsSize; ) {  in dvmComputeLiveness()
251             if (vdata->registerLines[checkIdx].liveRegs == NULL) {  in dvmComputeLiveness()
252                 LOG_VFY_METH(vdata->method,  in dvmComputeLiveness()
256         } else if (vdata->registerLines[checkIdx].liveRegs != NULL) {  in dvmComputeLiveness()
257             LOG_VFY_METH(vdata->method,  in dvmComputeLiveness()
269     if (!markDebugLocals(vdata))  in dvmComputeLiveness()
319 static bool processInstruction(VerifierData* vdata, u4 insnIdx,  in processInstruction()  argument
322     const Method* meth = vdata->method;  in processInstruction()
996     VerifierData* vdata = (VerifierData*) ctxt;  in markLocalsCb()  local
997     bool verbose = dvmWantVerboseVerification(vdata->method);  in markLocalsCb()
1005     assert(reg <= vdata->insnRegCount + (wide ? 1 : 0));  in markLocalsCb()
1013         BitVector* liveRegs = vdata->registerLines[idx].liveRegs;  in markLocalsCb()
1040 static bool markDebugLocals(VerifierData* vdata)  in markDebugLocals()  argument
1042     const Method* meth = vdata->method;  in markDebugLocals()
1046         NULL, markLocalsCb, vdata);  in markDebugLocals()
1057 static void dumpLiveState(const VerifierData* vdata, u4 curIdx,  in dumpLiveState()  argument
1060     u4 insnRegCount = vdata->insnRegCount;  in dumpLiveState()