Lines Matching refs:insn_state
1443 static int *insn_state; variable
1452 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
1455 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
1467 if (insn_state[w] == 0) { in push_insn()
1469 insn_state[t] = DISCOVERED | e; in push_insn()
1470 insn_state[w] = DISCOVERED; in push_insn()
1475 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
1478 } else if (insn_state[w] == EXPLORED) { in push_insn()
1480 insn_state[t] = DISCOVERED | e; in push_insn()
1498 insn_state = kcalloc(insn_cnt, sizeof(int), GFP_KERNEL); in check_cfg()
1499 if (!insn_state) in check_cfg()
1504 kfree(insn_state); in check_cfg()
1508 insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */ in check_cfg()
1571 insn_state[t] = EXPLORED; in check_cfg()
1581 if (insn_state[i] != EXPLORED) { in check_cfg()
1590 kfree(insn_state); in check_cfg()