Lines Matching refs:umax
2073 * (excluded) and umax.
2131 * slightly, e.g. if umax was 0x7f...f and var_off was (0; 0xf...fc),
2132 * then new var_off is (0; 0x7f...fc) which improves our umax.
14831 * range set from the checked pointer's umax, so var_off must not tighten
14832 * its umax. r32 must still match var_off for reg_bounds_sanity_check().
14888 u32 umax = reg_u32_max(dst_reg);
14891 if (check_mul_overflow(umax, reg_u32_max(src_reg), &umax) ||
14895 umax = U32_MAX;
14909 dst_reg->r32 = cnum32_intersect(cnum32_from_urange(umin, umax),
14919 u64 umax = reg_umax(dst_reg);
14922 if (check_mul_overflow(umax, reg_umax(src_reg), &umax) ||
14926 umax = U64_MAX;
14940 dst_reg->r64 = cnum64_intersect(cnum64_from_urange(umin, umax),
16281 /* constants, umin/umax and smin/smax checks would be
16307 /* constants, umin/umax and smin/smax checks would be