Lines Matching full:exact
500 EXACT, enumerator
507 enum exact_level exact) in regsafe() argument
509 if (exact == EXACT) in regsafe()
549 if (!rold->precise && exact == NOT_EXACT) in regsafe()
703 enum exact_level exact) in stacksafe() argument
717 if (exact == EXACT) { in stacksafe()
755 if (!regsafe(env, old_reg, cur_reg, idmap, exact)) in stacksafe()
793 &cur->stack[spi].spilled_ptr, idmap, exact)) in stacksafe()
848 enum exact_level exact) in stack_arg_safe() argument
861 if (!regsafe(env, old_arg, cur_arg, idmap, exact)) in stack_arg_safe()
945 struct bpf_func_state *cur, u32 insn_idx, enum exact_level exact) in func_states_equal() argument
959 &env->idmap_scratch, exact)) in func_states_equal()
962 if (!stacksafe(env, old, cur, &env->idmap_scratch, exact)) in func_states_equal()
965 if (!stack_arg_safe(env, old, cur, &env->idmap_scratch, exact)) in func_states_equal()
982 enum exact_level exact) in states_equal() argument
1011 if (!func_states_equal(env, old->frame[i], cur->frame[i], insn_idx, exact)) in states_equal()
1371 states_equal(env, &sl->state, cur, EXACT) && in bpf_is_state_visited()