Lines Matching refs:live
532 static void print_liveness(struct bpf_verifier_env *env, enum bpf_reg_liveness live)
534 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) {
537 if (live & REG_LIVE_READ) {
540 if (live & REG_LIVE_WRITTEN) {
543 if (live & REG_LIVE_DONE) {
576 print_liveness(env, reg->live);
657 print_liveness(env, state->stack[i].spilled_ptr.live);
1384 regs[i].live = REG_LIVE_NONE;
1545 if (writes && (state->live & REG_LIVE_WRITTEN)) {
1548 if (parent->live & REG_LIVE_DONE) {
1556 if ((parent->live & REG_LIVE_READ) == flag || (parent->live & REG_LIVE_READ64)) {
1569 parent->live |= flag;
1572 parent->live &= ~REG_LIVE_READ32;
1748 reg->live |= REG_LIVE_WRITTEN;
2276 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN;
2373 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN;
2545 state->regs[dst_regno].live |= REG_LIVE_WRITTEN;
2579 state->regs[dst_regno].live |= REG_LIVE_WRITTEN;
2598 state->regs[dst_regno].live |= REG_LIVE_WRITTEN;
7031 dst_reg->live |= REG_LIVE_WRITTEN;
7045 dst_reg->live |= REG_LIVE_WRITTEN;
8884 enum bpf_reg_liveness live;
8888 live = st->regs[i].live;
8890 st->regs[i].live |= REG_LIVE_DONE;
8891 if (!(live & REG_LIVE_READ)) {
8900 live = st->stack[i].spilled_ptr.live;
8902 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE;
8903 if (!(live & REG_LIVE_READ)) {
8916 if (st->frame[0]->regs[0].live & REG_LIVE_DONE) {
8987 if (!(rold->live & REG_LIVE_READ)) {
9121 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) {
9272 u8 parent_flag = parent_reg->live & REG_LIVE_READ;
9273 u8 flag = reg->live & REG_LIVE_READ;
9515 if (sl->state.frame[0]->regs[0].live & REG_LIVE_DONE) {
9602 cur->frame[j]->regs[i].live = REG_LIVE_NONE;
9612 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE;
10508 /* First live insn doesn't match first live linfo, it needs to "inherit"
10510 * means no live instructions after (tail of the program was removed).
11153 * live anymore. We can just unlink its descriptor table as it's