Searched refs:is_jmp32 (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/s390/net/ |
| H A D | bpf_jit_comp.c | 2121 bool is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32; in bpf_jit_insn() local
2125 EMIT4_RRF((is_jmp32 ? 0xb9f40000 : 0xb9e40000), in bpf_jit_insn()
2129 is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32; in bpf_jit_insn()
2131 EMIT6_IMM(is_jmp32 ? 0xc20d0000 : 0xc20c0000, in bpf_jit_insn()
2150 is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32; in bpf_jit_insn()
2154 EMIT6_PCREL(0xec000000, (is_jmp32 ? 0x0076 : 0x0064), in bpf_jit_insn()
2158 if (is_jmp32) in bpf_jit_insn()
2168 is_jmp32 = BPF_CLASS(insn->code) == BPF_JMP32; in bpf_jit_insn()
2172 EMIT6_PCREL(0xec000000, (is_jmp32 ? 0x0077 : 0x0065), in bpf_jit_insn()
2176 if (is_jmp32) in bpf_jit_insn()
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 16200 u8 opcode, bool is_jmp32);
16208 static int simulate_both_branches_taken(struct bpf_verifier_env *env, u8 opcode, bool is_jmp32) in simulate_both_branches_taken() argument
16211 regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32); in simulate_both_branches_taken()
16223 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in simulate_both_branches_taken()
16242 struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32) in is_scalar_branch_taken() argument
16244 struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off; in is_scalar_branch_taken()
16245 struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off; in is_scalar_branch_taken()
16246 u64 umin1 = is_jmp32 ? (u64)reg_u32_min(reg1) : reg_umin(reg1); in is_scalar_branch_taken()
16247 u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1); in is_scalar_branch_taken()
16248 s64 smin1 = is_jmp32 ? (s64)reg_s32_min(reg1) : reg_smin(reg1); in is_scalar_branch_taken()
[all …]
|