Searched refs:regs_refine_cond_op (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 15476 static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, in scalar32_min_max_smod()
15482 * regs_refine_cond_op() is sound, so producing ill-formed register bounds for the branch means in scalar32_min_max_smod()
15488 regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32); in scalar_min_max_smod()
15500 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in scalar_min_max_smod()
15810 static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, in scalar32_min_max_rsh()
15872 * jump would be predicted and regs_refine_cond_op() in scalar32_min_max_arsh()
16978 static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, regs_refine_cond_op() function
|