Home
last modified time | relevance | path

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

/Linux-v4.19/include/linux/
Dbpf_verifier.h40 REG_LIVE_WRITTEN, /* reg was written first, screening off later reads */ enumerator
/Linux-v4.19/kernel/bpf/
Dverifier.c269 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN)) in print_liveness()
273 if (live & REG_LIVE_WRITTEN) in print_liveness()
940 if (writes && state->frame[state->curframe]->regs[regno].live & REG_LIVE_WRITTEN) in mark_reg_read()
979 regs[regno].live |= REG_LIVE_WRITTEN; in check_reg_arg()
1051 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write()
1095 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write()
1154 if (writes && state->frame[frameno]->stack[slot].spilled_ptr.live & REG_LIVE_WRITTEN) in mark_stack_slot_read()
1199 state->regs[value_regno].live |= REG_LIVE_WRITTEN; in check_stack_read()
1230 state->regs[value_regno].live |= REG_LIVE_WRITTEN; in check_stack_read()
3291 regs[insn->dst_reg].live |= REG_LIVE_WRITTEN; in check_alu_op()