Searched refs:is_jmp32 (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/powerpc/net/ |
| H A D | bpf_jit_comp64.c | 1897 bool is_jmp32 = BPF_CLASS(code) == BPF_JMP32; in bpf_jit_build_body() local
1904 if (is_jmp32) in bpf_jit_build_body()
1912 if (is_jmp32) in bpf_jit_build_body()
1928 bool is_jmp32 = BPF_CLASS(code) == BPF_JMP32; in bpf_jit_build_body() local
1935 if (is_jmp32) in bpf_jit_build_body()
1941 if (is_jmp32) in bpf_jit_build_body()
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 15485 u8 opcode, bool is_jmp32);
15493 static int simulate_both_branches_taken(struct bpf_verifier_env *env, u8 opcode, bool is_jmp32) in simulate_both_branches_taken() argument
15496 regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32); in simulate_both_branches_taken()
15508 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in simulate_both_branches_taken()
15527 struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32) in is_scalar_branch_taken() argument
15529 struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off; in is_scalar_branch_taken()
15530 struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off; in is_scalar_branch_taken()
15531 u64 umin1 = is_jmp32 ? (u64)reg1->u32_min_value : reg1->umin_value; in is_scalar_branch_taken()
15532 u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value; in is_scalar_branch_taken()
15533 s64 smin1 = is_jmp32 ? (s64)reg1->s32_min_value : reg1->smin_value; in is_scalar_branch_taken()
[all …]
|