Home
last modified time | relevance | path

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

/Linux-v4.19/include/linux/
Dbpf_verifier.h39 REG_LIVE_READ, /* reg was read, so we're sensitive to initial value */ enumerator
/Linux-v4.19/kernel/bpf/
Dverifier.c269 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN)) in print_liveness()
271 if (live & REG_LIVE_READ) in print_liveness()
946 parent->frame[parent->curframe]->regs[regno].live |= REG_LIVE_READ; in mark_reg_read()
1157 parent->frame[frameno]->stack[slot].spilled_ptr.live |= REG_LIVE_READ; in mark_stack_slot_read()
4377 if (!(rold->live & REG_LIVE_READ)) in regsafe()
4494 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) in stacksafe()
4632 if (vparent->frame[vparent->curframe]->regs[i].live & REG_LIVE_READ) in propagate_liveness()
4634 if (vstate->frame[vstate->curframe]->regs[i].live & REG_LIVE_READ) { in propagate_liveness()
4647 if (parent->stack[i].spilled_ptr.live & REG_LIVE_READ) in propagate_liveness()
4649 if (state->stack[i].spilled_ptr.live & REG_LIVE_READ) in propagate_liveness()