1844 	reg->r64 = cnum64_from_urange(imm, imm);  in ___mark_reg_known()
1985 	reg->r64 = CNUM64_UNBOUNDED;  in __mark_reg64_unbounded()
2040 	cnum64_intersect_with(&reg->r64, cnum64_from_tnum(reg->var_off));  in __update_reg64_bounds()
2078 	cnum32_intersect_with(&reg->r32, cnum32_from_cnum64(reg->r64));  in deduce_bounds_32_from_64()
2083 	reg->r64 = cnum64_cnum32_intersect(reg->r64, reg->r32);  in deduce_bounds_64_from_32()
2131 	return !cnum64_is_const(reg->r64) || reg->r64.base != reg->var_off.value;  in const_tnum_range_mismatch()
2144 	return cnum32_is_empty(reg->r32) || cnum64_is_empty(reg->r64);  in range_bounds_violation()
2172 		     reg->r64.base, reg->r64.size,  in reg_bounds_sanity_check()
5664 		reg->r64 = cnum64_from_urange(u64_cval, u64_cval);  in coerce_reg_to_size_sx()
14583 		dst_reg->r64 = cnum64_add(ptr_reg->r64, off_reg->r64);  in adjust_ptr_min_max_vals()
14628 		dst_reg->r64 = cnum64_add(ptr_reg->r64, cnum64_negate(off_reg->r64));  in adjust_ptr_min_max_vals()
14713 	dst_reg->r64 = cnum64_add(dst_reg->r64, src_reg->r64);  in scalar_min_max_add()
14725 	dst_reg->r64 = cnum64_add(dst_reg->r64, cnum64_negate(src_reg->r64));  in scalar_min_max_sub()
14786 	dst_reg->r64 = cnum64_intersect(cnum64_from_urange(umin, umax),  in scalar_min_max_mul()
15179 	dst_reg->r64 = cnum64_intersect(u, s);  in __scalar64_min_max_lsh()
16386 			reg1->r64 = cnum64_intersect(reg1->r64, reg2->r64);  in regs_refine_cond_op()
16387 			reg2->r64 = reg1->r64;  in regs_refine_cond_op()
16408 			cnum64_intersect_with(&reg1->r64, (struct cnum64){ val + 1, U64_MAX - 1 });  in regs_refine_cond_op()
16458 			cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2));  in regs_refine_cond_op()
16459 			cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1), U64_MAX);  in regs_refine_cond_op()
16467 			cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2) - 1);  in regs_refine_cond_op()
16468 			cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1) + 1, U64_MAX);  in regs_refine_cond_op()
16476 			cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2));  in regs_refine_cond_op()
16477 			cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1), S64_MAX);  in regs_refine_cond_op()
16485 			cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2) - 1);  in regs_refine_cond_op()
16486 			cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1) + 1, S64_MAX);  in regs_refine_cond_op()