Home
last modified time | relevance | path

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

/Linux-v5.4/include/linux/
Dbpf_verifier.h39 REG_LIVE_WRITTEN = 0x4, /* reg was written first, screening off later reads */ enumerator
/Linux-v5.4/kernel/bpf/
Dverifier.c415 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
419 if (live & REG_LIVE_WRITTEN) in print_liveness()
1204 if (writes && state->live & REG_LIVE_WRITTEN) in mark_reg_read()
1395 reg->live |= REG_LIVE_WRITTEN; in check_reg_arg()
1875 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
1993 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write()
2039 state->regs[value_regno].live |= REG_LIVE_WRITTEN; in check_stack_read()
2058 state->regs[value_regno].live |= REG_LIVE_WRITTEN; in check_stack_read()
2097 state->regs[value_regno].live |= REG_LIVE_WRITTEN; in check_stack_read()
4992 dst_reg->live |= REG_LIVE_WRITTEN; in check_alu_op()
[all …]