1817     uint32_t insn_idx = start_guess;  in CodeFlowVerifyMethod()  local
1818     for (; insn_idx < insns_size; insn_idx++) {  in CodeFlowVerifyMethod()
1819       if (GetInstructionFlags(insn_idx).IsChanged())  in CodeFlowVerifyMethod()
1822     if (insn_idx == insns_size) {  in CodeFlowVerifyMethod()
1838     work_insn_idx_ = insn_idx;  in CodeFlowVerifyMethod()
1839     if (GetInstructionFlags(insn_idx).IsBranchTarget()) {  in CodeFlowVerifyMethod()
1840       work_line_->CopyFromLine(reg_table_.GetLine(insn_idx));  in CodeFlowVerifyMethod()
1846       RegisterLine* register_line = reg_table_.GetLine(insn_idx);  in CodeFlowVerifyMethod()
1865     GetInstructionFlags(insn_idx).SetVisited();  in CodeFlowVerifyMethod()
1866     GetInstructionFlags(insn_idx).ClearChanged();  in CodeFlowVerifyMethod()
1879     uint32_t insn_idx = 0;  in CodeFlowVerifyMethod()  local
1880     for (; insn_idx < insns_size;  in CodeFlowVerifyMethod()
1881          insn_idx += Instruction::At(code_item_->insns_ + insn_idx)->SizeInCodeUnits()) {  in CodeFlowVerifyMethod()
1886       if (insns[insn_idx] == Instruction::kPackedSwitchSignature ||  in CodeFlowVerifyMethod()
1887           insns[insn_idx] == Instruction::kSparseSwitchSignature ||  in CodeFlowVerifyMethod()
1888           insns[insn_idx] == Instruction::kArrayDataSignature ||  in CodeFlowVerifyMethod()
1889           (insns[insn_idx] == Instruction::NOP && (insn_idx + 1 < insns_size) &&  in CodeFlowVerifyMethod()
1890            (insns[insn_idx + 1] == Instruction::kPackedSwitchSignature ||  in CodeFlowVerifyMethod()
1891             insns[insn_idx + 1] == Instruction::kSparseSwitchSignature ||  in CodeFlowVerifyMethod()
1892             insns[insn_idx + 1] == Instruction::kArrayDataSignature))) {  in CodeFlowVerifyMethod()
1893         GetInstructionFlags(insn_idx).SetVisited();  in CodeFlowVerifyMethod()
1896       if (!GetInstructionFlags(insn_idx).IsVisited()) {  in CodeFlowVerifyMethod()
1898           dead_start = insn_idx;  in CodeFlowVerifyMethod()
1901                         << "-" << reinterpret_cast<void*>(insn_idx - 1);  in CodeFlowVerifyMethod()
1907                       << "-" << reinterpret_cast<void*>(insn_idx - 1);  in CodeFlowVerifyMethod()
4891 bool MethodVerifier::CheckNotMoveException(const uint16_t* insns, int insn_idx) {  in CheckNotMoveException()  argument
4892   if ((insns[insn_idx] & 0xff) == Instruction::MOVE_EXCEPTION) {  in CheckNotMoveException()
4899 bool MethodVerifier::CheckNotMoveResult(const uint16_t* insns, int insn_idx) {  in CheckNotMoveResult()  argument
4900   if (((insns[insn_idx] & 0xff) >= Instruction::MOVE_RESULT) &&  in CheckNotMoveResult()
4901       ((insns[insn_idx] & 0xff) <= Instruction::MOVE_RESULT_OBJECT)) {  in CheckNotMoveResult()
4908 bool MethodVerifier::CheckNotMoveExceptionOrMoveResult(const uint16_t* insns, int insn_idx) {  in CheckNotMoveExceptionOrMoveResult()  argument
4909   return (CheckNotMoveException(insns, insn_idx) && CheckNotMoveResult(insns, insn_idx));  in CheckNotMoveExceptionOrMoveResult()