Searched refs:is_jmp32 (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 16024 u8 opcode, bool is_jmp32);
16032 static int simulate_both_branches_taken(struct bpf_verifier_env *env, u8 opcode, bool is_jmp32) in simulate_both_branches_taken() argument
16035 regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32); in simulate_both_branches_taken()
16047 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in simulate_both_branches_taken()
16066 struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32) in is_scalar_branch_taken() argument
16068 struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off; in is_scalar_branch_taken()
16069 struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off; in is_scalar_branch_taken()
16070 u64 umin1 = is_jmp32 ? (u64)reg_u32_min(reg1) : reg_umin(reg1); in is_scalar_branch_taken()
16071 u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1); in is_scalar_branch_taken()
16072 s64 smin1 = is_jmp32 ? (s64)reg_s32_min(reg1) : reg_smin(reg1); in is_scalar_branch_taken()
[all …]
|