Lines Matching refs:BPF_REG_SIZE
614 return stack->slot_type[BPF_REG_SIZE - 1] == STACK_SPILL; in is_spilled_reg()
712 for (i = 0; i < state->allocated_stack / BPF_REG_SIZE; i++) { in print_verifier_state()
713 char types_buf[BPF_REG_SIZE + 1]; in print_verifier_state()
717 for (j = 0; j < BPF_REG_SIZE; j++) { in print_verifier_state()
723 types_buf[BPF_REG_SIZE] = 0; in print_verifier_state()
726 verbose(env, " fp%d", (-i - 1) * BPF_REG_SIZE); in print_verifier_state()
816 size_t n = src->allocated_stack / BPF_REG_SIZE; in copy_stack_state()
840 size_t old_n = state->allocated_stack / BPF_REG_SIZE, n = size / BPF_REG_SIZE; in grow_stack_state()
2393 spi = (-insn->off - 1) / BPF_REG_SIZE; in backtrack_insn()
2410 spi = (-insn->off - 1) / BPF_REG_SIZE; in backtrack_insn()
2524 for (j = 0; j < func->allocated_stack / BPF_REG_SIZE; j++) { in mark_all_scalars_precise()
2648 if (i >= func->allocated_stack / BPF_REG_SIZE) { in __mark_chain_precision()
2784 if (size == BPF_REG_SIZE) in save_register_state()
2787 for (i = BPF_REG_SIZE; i > BPF_REG_SIZE - size; i--) in save_register_state()
2805 int i, slot = -off - 1, spi = slot / BPF_REG_SIZE, err; in check_stack_write_fixed_off()
2809 err = grow_stack_state(state, round_up(slot + 1, BPF_REG_SIZE)); in check_stack_write_fixed_off()
2817 size != BPF_REG_SIZE) { in check_stack_write_fixed_off()
2839 if (reg && !(off % BPF_REG_SIZE) && register_is_bounded(reg) && in check_stack_write_fixed_off()
2855 if (size != BPF_REG_SIZE) { in check_stack_write_fixed_off()
2872 for (i = 0; i < BPF_REG_SIZE; i++) in check_stack_write_fixed_off()
2883 if (size == BPF_REG_SIZE) in check_stack_write_fixed_off()
2897 state->stack[spi].slot_type[(slot - i) % BPF_REG_SIZE] = in check_stack_write_fixed_off()
2947 err = grow_stack_state(state, round_up(-min_off, BPF_REG_SIZE)); in check_stack_write_var_off()
2958 spi = slot / BPF_REG_SIZE; in check_stack_write_var_off()
2959 stype = &state->stack[spi].slot_type[slot % BPF_REG_SIZE]; in check_stack_write_var_off()
3029 spi = slot / BPF_REG_SIZE; in mark_reg_stack_read()
3031 if (stype[slot % BPF_REG_SIZE] != STACK_ZERO) in mark_reg_stack_read()
3074 int i, slot = -off - 1, spi = slot / BPF_REG_SIZE; in check_stack_read_fixed_off()
3084 for (i = BPF_REG_SIZE - 1; i > 0 && stype[i - 1] == STACK_SPILL; i--) in check_stack_read_fixed_off()
3087 if (size != BPF_REG_SIZE || spill_size != BPF_REG_SIZE) { in check_stack_read_fixed_off()
3098 if (!(off % BPF_REG_SIZE) && size == spill_size) { in check_stack_read_fixed_off()
3108 type = stype[(slot - i) % BPF_REG_SIZE]; in check_stack_read_fixed_off()
3145 type = stype[(slot - i) % BPF_REG_SIZE]; in check_stack_read_fixed_off()
4509 if (!err && size < BPF_REG_SIZE && value_regno >= 0 && t == BPF_READ && in check_mem_access()
4705 spi = slot / BPF_REG_SIZE; in check_stack_range_initialized()
4708 stype = &state->stack[spi].slot_type[slot % BPF_REG_SIZE]; in check_stack_range_initialized()
4728 for (j = 0; j < BPF_REG_SIZE; j++) in check_stack_range_initialized()
10348 for (i = 0; i < st->allocated_stack / BPF_REG_SIZE; i++) { in clean_func_state()
10354 for (j = 0; j < BPF_REG_SIZE; j++) in clean_func_state()
10557 spi = i / BPF_REG_SIZE; in stacksafe()
10560 i += BPF_REG_SIZE - 1; in stacksafe()
10565 if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID) in stacksafe()
10578 if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_MISC && in stacksafe()
10579 cur->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_ZERO) in stacksafe()
10581 if (old->stack[spi].slot_type[i % BPF_REG_SIZE] != in stacksafe()
10582 cur->stack[spi].slot_type[i % BPF_REG_SIZE]) in stacksafe()
10589 if (i % BPF_REG_SIZE != BPF_REG_SIZE - 1) in stacksafe()
10761 for (i = 0; i < state->allocated_stack / BPF_REG_SIZE && in propagate_liveness()
10762 i < parent->allocated_stack / BPF_REG_SIZE; i++) { in propagate_liveness()
10797 for (i = 0; i < state->allocated_stack / BPF_REG_SIZE; i++) { in propagate_precision()
10806 (-i - 1) * BPF_REG_SIZE); in propagate_precision()
11046 for (i = 0; i < frame->allocated_stack / BPF_REG_SIZE; i++) { in is_state_visited()