REG_LIVE_WRITTEN (reference) in projects: linux-6.3-rc2

Searched refs:REG_LIVE_WRITTEN (Results 1 – 3 of 3) sorted by relevance

/linux-6.3-rc2/include/linux/
A D	bpf_verifier.h	`42 REG_LIVE_WRITTEN = 0x4, /* reg was written first, screening off later reads */ enumerator`
/linux-6.3-rc2/Documentation/bpf/
A D	verifier.rst	360 REG_LIVE_WRITTEN = 0x4, 392 * ``REG_LIVE_WRITTEN`` means that the value of the register (or stack slot) is 494 if state->live & REG_LIVE_WRITTEN: 516 Because stack writes could have different sizes ``REG_LIVE_WRITTEN`` marks are 528 As stated above, the write at (1) does not count as ``REG_LIVE_WRITTEN``. Should
/linux-6.3-rc2/kernel/bpf/
A D	verifier.c	645 if (live & REG_LIVE_WRITTEN) in print_liveness() 841 state->stack[spi].spilled_ptr.live \|= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr() 889 state->stack[spi].spilled_ptr.live \|= REG_LIVE_WRITTEN; in unmark_stack_slots_dynptr() 2525 if (writes && state->live & REG_LIVE_WRITTEN) in mark_reg_read() 2764 reg->live \|= REG_LIVE_WRITTEN; in check_reg_arg() 3771 state->regs[dst_regno].live \|= REG_LIVE_WRITTEN; in mark_reg_stack_read() 3835 state->regs[dst_regno].live \|= REG_LIVE_WRITTEN; in check_stack_read_fixed_off() 3846 state->regs[dst_regno].live \|= REG_LIVE_WRITTEN; in check_stack_read_fixed_off() 8584 reg->live \|= REG_LIVE_WRITTEN; in mark_btf_func_reg_size() 11589 dst_reg->live \|= REG_LIVE_WRITTEN; in check_alu_op() [all …]

Completed in 31 milliseconds