Lines Matching defs:val32
7428 static void reg_set_min_max(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32,
7436 s32 sval32 = (s32)val32;
7460 __mark_reg32_known(true_reg, val32);
7469 __mark_reg32_known(false_reg, val32);
7478 false_32off = tnum_and(false_32off, tnum_const(~val32));
7479 if (is_power_of_2(val32)) {
7480 true_32off = tnum_or(true_32off, tnum_const(val32));
7492 u32 false_umax = opcode == BPF_JGT ? val32 : val32 - 1;
7493 u32 true_umin = opcode == BPF_JGT ? val32 + 1 : val32;
7526 u32 false_umin = opcode == BPF_JLT ? val32 : val32 + 1;
7527 u32 true_umax = opcode == BPF_JLT ? val32 - 1 : val32;
7577 static void reg_set_min_max_inv(struct bpf_reg_state *true_reg, struct bpf_reg_state *false_reg, u64 val, u32 val32,
7599 reg_set_min_max(true_reg, false_reg, val, val32, opcode, is_jmp32);