Home | History | Annotate | Download | only in verifier

Lines Matching refs:insn_idx

1284     uint32_t insn_idx = start_guess;
1285 for (; insn_idx < insns_size; insn_idx++) {
1286 if (insn_flags_[insn_idx].IsChanged())
1289 if (insn_idx == insns_size) {
1305 work_insn_idx_ = insn_idx;
1306 if (insn_flags_[insn_idx].IsBranchTarget()) {
1307 work_line_->CopyFromLine(reg_table_.GetLine(insn_idx));
1314 RegisterLine* register_line = reg_table_.GetLine(insn_idx);
1334 insn_flags_[insn_idx].SetVisited();
1335 insn_flags_[insn_idx].ClearChanged();
1348 uint32_t insn_idx = 0;
1349 for (; insn_idx < insns_size; insn_idx += insn_flags_[insn_idx].GetLengthInCodeUnits()) {
1354 if (insns[insn_idx] == Instruction::kPackedSwitchSignature ||
1355 insns[insn_idx] == Instruction::kSparseSwitchSignature ||
1356 insns[insn_idx] == Instruction::kArrayDataSignature ||
1357 (insns[insn_idx] == Instruction::NOP && (insn_idx + 1 < insns_size) &&
1358 (insns[insn_idx + 1] == Instruction::kPackedSwitchSignature ||
1359 insns[insn_idx + 1] == Instruction::kSparseSwitchSignature ||
1360 insns[insn_idx + 1] == Instruction::kArrayDataSignature))) {
1361 insn_flags_[insn_idx].SetVisited();
1364 if (!insn_flags_[insn_idx].IsVisited()) {
1366 dead_start = insn_idx;
1369 << "-" << reinterpret_cast<void*>(insn_idx - 1);
1375 << "-" << reinterpret_cast<void*>(insn_idx - 1);
3766 bool MethodVerifier::CheckNotMoveException(const uint16_t* insns, int insn_idx) {
3767 if ((insns[insn_idx] & 0xff) == Instruction::MOVE_EXCEPTION) {