Lines Matching refs:true_reg
8516 static void reg_set_min_max(struct bpf_reg_state *true_reg, in reg_set_min_max() argument
8523 struct tnum true_32off = tnum_subreg(true_reg->var_off); in reg_set_min_max()
8524 struct tnum true_64off = true_reg->var_off; in reg_set_min_max()
8542 opcode == BPF_JEQ ? true_reg : false_reg; in reg_set_min_max()
8580 true_reg->u32_min_value = max(true_reg->u32_min_value, in reg_set_min_max()
8587 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
8599 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
8605 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()
8618 true_reg->u32_max_value = min(true_reg->u32_max_value, in reg_set_min_max()
8625 true_reg->umax_value = min(true_reg->umax_value, true_umax); in reg_set_min_max()
8637 true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax); in reg_set_min_max()
8643 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()
8654 true_reg->var_off = tnum_or(tnum_clear_subreg(true_64off), in reg_set_min_max()
8657 __reg_combine_32_into_64(true_reg); in reg_set_min_max()
8660 true_reg->var_off = true_64off; in reg_set_min_max()
8662 __reg_combine_64_into_32(true_reg); in reg_set_min_max()
8669 static void reg_set_min_max_inv(struct bpf_reg_state *true_reg, in reg_set_min_max_inv() argument
8679 reg_set_min_max(true_reg, false_reg, val, val32, opcode, is_jmp32); in reg_set_min_max_inv()