Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c16961 struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL; in check_cond_jmp_op() local
17107 other_branch_regs = other_branch->frame[other_branch->curframe]->regs; in check_cond_jmp_op()
17115 other_branch_regs[insn->dst_reg] = env->true_reg1; in check_cond_jmp_op()
17117 other_branch_regs[insn->src_reg] = env->true_reg2; in check_cond_jmp_op()
17121 !WARN_ON_ONCE(src_reg->id != other_branch_regs[insn->src_reg].id)) { in check_cond_jmp_op()
17123 sync_linked_regs(env, other_branch, &other_branch_regs[insn->src_reg], in check_cond_jmp_op()
17127 !WARN_ON_ONCE(dst_reg->id != other_branch_regs[insn->dst_reg].id)) { in check_cond_jmp_op()
17129 sync_linked_regs(env, other_branch, &other_branch_regs[insn->dst_reg], in check_cond_jmp_op()
17152 eq_branch_regs = other_branch_regs; in check_cond_jmp_op()