Lines Matching defs:umin
2058 /* The u64 range and the tnum only overlap in umin.
2072 /* The u64 range and the tnum only overlap in between umin
14887 u32 umin = reg_u32_min(dst_reg);
14892 check_mul_overflow(umin, reg_u32_min(src_reg), &umin)) {
14894 umin = 0;
14909 dst_reg->r32 = cnum32_intersect(cnum32_from_urange(umin, umax),
14918 u64 umin = reg_umin(dst_reg);
14923 check_mul_overflow(umin, reg_umin(src_reg), &umin)) {
14925 umin = 0;
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