Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c546 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
548 if (live & REG_LIVE_READ) in print_liveness()
H A Dverifier.c3350 if ((parent->live & REG_LIVE_READ) == flag || in mark_reg_read()
17751 if (!(live & REG_LIVE_READ)) in clean_func_state()
17762 if (!(live & REG_LIVE_READ)) { in clean_func_state()
17856 if (!(rold->live & REG_LIVE_READ) && exact == NOT_EXACT) in regsafe()
17982 unbound_reg.live |= REG_LIVE_READ; in unbound_reg_init()
18035 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ) in stacksafe()
18280 u8 parent_flag = parent_reg->live & REG_LIVE_READ; in propagate_liveness_reg()
18281 u8 flag = reg->live & REG_LIVE_READ; in propagate_liveness_reg()
18371 !(state_reg->live & REG_LIVE_READ)) in propagate_precision()
18389 !(state_reg->live & REG_LIVE_READ)) in propagate_precision()
/linux/include/linux/
H A Dbpf_verifier.h46 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64, enumerator
/linux/Documentation/bpf/
H A Dverifier.rst359 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64,
396 * ``REG_LIVE_READ{32,64}`` means that the value of the register (or stack slot)
539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.