Lines Matching refs:insn_state
16054 int *insn_state = env->cfg.insn_state; in push_insn() local
16056 if (e == FALLTHROUGH && insn_state[t] >= (DISCOVERED | FALLTHROUGH)) in push_insn()
16059 if (e == BRANCH && insn_state[t] >= (DISCOVERED | BRANCH)) in push_insn()
16074 if (insn_state[w] == 0) { in push_insn()
16076 insn_state[t] = DISCOVERED | e; in push_insn()
16077 insn_state[w] = DISCOVERED; in push_insn()
16082 } else if ((insn_state[w] & 0xF0) == DISCOVERED) { in push_insn()
16089 } else if (insn_state[w] == EXPLORED) { in push_insn()
16091 insn_state[t] = DISCOVERED | e; in push_insn()
16497 int *insn_stack, *insn_state; in check_cfg() local
16501 insn_state = env->cfg.insn_state = kvcalloc(insn_cnt, sizeof(int), GFP_KERNEL); in check_cfg()
16502 if (!insn_state) in check_cfg()
16507 kvfree(insn_state); in check_cfg()
16511 insn_state[0] = DISCOVERED; /* mark 1st insn as discovered */ in check_cfg()
16522 insn_state[t] = EXPLORED; in check_cfg()
16545 insn_state[ex_insn_beg] = DISCOVERED; in check_cfg()
16555 if (insn_state[i] != EXPLORED) { in check_cfg()
16561 if (insn_state[i + 1] != 0) { in check_cfg()
16572 kvfree(insn_state); in check_cfg()
16574 env->cfg.insn_state = env->cfg.insn_stack = NULL; in check_cfg()