Lines Matching refs:spilled_ptr
828 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
829 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
837 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
838 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
841 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
842 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
862 if (dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) in unmark_stack_slots_dynptr()
863 WARN_ON_ONCE(release_reference(env, state->stack[spi].spilled_ptr.ref_obj_id)); in unmark_stack_slots_dynptr()
865 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in unmark_stack_slots_dynptr()
866 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in unmark_stack_slots_dynptr()
889 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in unmark_stack_slots_dynptr()
890 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in unmark_stack_slots_dynptr()
914 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in destroy_if_dynptr_stack_slot()
917 if (dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in destroy_if_dynptr_stack_slot()
931 dynptr_id = state->stack[spi].spilled_ptr.id; in destroy_if_dynptr_stack_slot()
948 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in destroy_if_dynptr_stack_slot()
949 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in destroy_if_dynptr_stack_slot()
952 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
953 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
993 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in is_dynptr_reg_valid_init()
1023 return state->stack[spi].spilled_ptr.dynptr.type == dynptr_type; in is_dynptr_type_expected()
1155 print_liveness(env, state->stack[i].spilled_ptr.live); in print_verifier_state()
1157 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
2582 ret = mark_reg_read(env, &state->stack[spi].spilled_ptr, in mark_dynptr_read()
2583 state->stack[spi].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
2586 return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr, in mark_dynptr_read()
2587 state->stack[spi - 1].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
3063 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_precise()
3089 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_imprecise()
3220 reg = &func->stack[spi].spilled_ptr; in __mark_chain_precision()
3345 reg = &func->stack[i].spilled_ptr; in __mark_chain_precision()
3464 copy_register_state(&state->stack[spi].spilled_ptr, reg); in save_register_state()
3466 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
3570 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
3585 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write_fixed_off()
3692 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
3795 reg = ®_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
5766 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
5769 __mark_reg_unknown(env, &state->stack[spi].spilled_ptr); in check_stack_range_initialized()
5792 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
5793 state->stack[spi].spilled_ptr.parent, in check_stack_range_initialized()
6679 return state->stack[spi].spilled_ptr.id; in dynptr_id()
6692 return state->stack[spi].spilled_ptr.ref_obj_id; in dynptr_ref_obj_id()
6766 if (spi < 0 || !state->stack[spi].spilled_ptr.ref_obj_id) { in check_func_arg()
13743 live = st->stack[i].spilled_ptr.live; in clean_func_state()
13745 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE; in clean_func_state()
13747 __mark_reg_not_init(env, &st->stack[i].spilled_ptr); in clean_func_state()
13930 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) { in stacksafe()
13975 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
13976 &cur->stack[spi].spilled_ptr, idmap)) in stacksafe()
13983 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
13984 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
14178 parent_reg = &parent->stack[i].spilled_ptr; in propagate_liveness()
14179 state_reg = &state->stack[i].spilled_ptr; in propagate_liveness()
14216 state_reg = &state->stack[i].spilled_ptr; in propagate_precision()
14461 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()
14462 frame->stack[i].spilled_ptr.parent = in is_state_visited()
14463 &newframe->stack[i].spilled_ptr; in is_state_visited()