303 		    tnum_is_const(reg->var_off)) {  in print_verifier_state()
305 			verbose(env, "%lld", reg->var_off.value + reg->off);  in print_verifier_state()
320 			if (tnum_is_const(reg->var_off)) {  in print_verifier_state()
325 				verbose(env, ",imm=%llx", reg->var_off.value);  in print_verifier_state()
341 				if (!tnum_is_unknown(reg->var_off)) {  in print_verifier_state()
344 					tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in print_verifier_state()
557 	reg->var_off = tnum_const(imm);  in __mark_reg_known()
614 	       tnum_equals_const(reg->var_off, 0);  in reg_is_init_pkt_pointer()
622 				reg->var_off.value | (reg->var_off.mask & S64_MIN));  in __update_reg_bounds()
625 				reg->var_off.value | (reg->var_off.mask & S64_MAX));  in __update_reg_bounds()
626 	reg->umin_value = max(reg->umin_value, reg->var_off.value);  in __update_reg_bounds()
628 			      reg->var_off.value | reg->var_off.mask);  in __update_reg_bounds()
669 	reg->var_off = tnum_intersect(reg->var_off,  in __reg_bound_offset()
689 	reg->var_off = tnum_unknown;  in __mark_reg_unknown()
1006 	return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0);  in register_is_null()
1456 	reg_off = tnum_add(reg->var_off, tnum_const(ip_align + reg->off + off));  in check_pkt_ptr_alignment()
1460 		tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in check_pkt_ptr_alignment()
1481 	reg_off = tnum_add(reg->var_off, tnum_const(reg->off + off));  in check_generic_ptr_alignment()
1485 		tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in check_generic_ptr_alignment()
1634 	if (!tnum_is_const(reg->var_off) || reg->var_off.value) {  in check_ctx_reg()
1637 		tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in check_ctx_reg()
1653 	reg->var_off = tnum_cast(reg->var_off, size);  in coerce_reg_to_size()
1741 		if (!tnum_is_const(reg->var_off)) {  in check_mem_access()
1744 			tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in check_mem_access()
1749 		off += reg->var_off.value;  in check_mem_access()
1866 	if (!tnum_is_const(reg->var_off)) {  in check_stack_boundary()
1869 		tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in check_stack_boundary()
1874 	off = reg->off + reg->var_off.value;  in check_stack_boundary()
2065 		if (!tnum_is_const(reg->var_off))  in check_func_arg()
2654 	bool known = tnum_is_const(reg->var_off);  in check_reg_sane_offset()
2655 	s64 val = reg->var_off.value;  in check_reg_sane_offset()
2698 	bool known = tnum_is_const(off_reg->var_off);  in adjust_ptr_min_max_vals()
2763 			dst_reg->var_off = ptr_reg->var_off;  in adjust_ptr_min_max_vals()
2793 		dst_reg->var_off = tnum_add(ptr_reg->var_off, off_reg->var_off);  in adjust_ptr_min_max_vals()
2824 			dst_reg->var_off = ptr_reg->var_off;  in adjust_ptr_min_max_vals()
2851 		dst_reg->var_off = tnum_sub(ptr_reg->var_off, off_reg->var_off);  in adjust_ptr_min_max_vals()
2912 	src_known = tnum_is_const(src_reg.var_off);  in adjust_scalar_min_max_vals()
2913 	dst_known = tnum_is_const(dst_reg->var_off);  in adjust_scalar_min_max_vals()
2948 		dst_reg->var_off = tnum_add(dst_reg->var_off, src_reg.var_off);  in adjust_scalar_min_max_vals()
2969 		dst_reg->var_off = tnum_sub(dst_reg->var_off, src_reg.var_off);  in adjust_scalar_min_max_vals()
2972 		dst_reg->var_off = tnum_mul(dst_reg->var_off, src_reg.var_off);  in adjust_scalar_min_max_vals()
3002 			__mark_reg_known(dst_reg, dst_reg->var_off.value &  in adjust_scalar_min_max_vals()
3003 						  src_reg.var_off.value);  in adjust_scalar_min_max_vals()
3009 		dst_reg->var_off = tnum_and(dst_reg->var_off, src_reg.var_off);  in adjust_scalar_min_max_vals()
3010 		dst_reg->umin_value = dst_reg->var_off.value;  in adjust_scalar_min_max_vals()
3030 			__mark_reg_known(dst_reg, dst_reg->var_off.value |  in adjust_scalar_min_max_vals()
3031 						  src_reg.var_off.value);  in adjust_scalar_min_max_vals()
3037 		dst_reg->var_off = tnum_or(dst_reg->var_off, src_reg.var_off);  in adjust_scalar_min_max_vals()
3039 		dst_reg->umax_value = dst_reg->var_off.value |  in adjust_scalar_min_max_vals()
3040 				      dst_reg->var_off.mask;  in adjust_scalar_min_max_vals()
3078 		dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val);  in adjust_scalar_min_max_vals()
3106 		dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val);  in adjust_scalar_min_max_vals()
3126 		dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val);  in adjust_scalar_min_max_vals()
3632 	src_reg->var_off = dst_reg->var_off = tnum_intersect(src_reg->var_off,  in __reg_combine_min_max()
3633 							     dst_reg->var_off);  in __reg_combine_min_max()
3678 				 !tnum_equals_const(reg->var_off, 0) ||  in mark_map_reg()
3865 	    tnum_is_const(dst_reg->var_off)) {  in check_cond_jmp_op()
3866 		if ((opcode == BPF_JEQ && dst_reg->var_off.value == insn->imm) ||  in check_cond_jmp_op()
3867 		    (opcode == BPF_JNE && dst_reg->var_off.value != insn->imm)) {  in check_cond_jmp_op()
3897 			if (tnum_is_const(regs[insn->src_reg].var_off))  in check_cond_jmp_op()
3899 						dst_reg, regs[insn->src_reg].var_off.value,  in check_cond_jmp_op()
3901 			else if (tnum_is_const(dst_reg->var_off))  in check_cond_jmp_op()
3904 						    dst_reg->var_off.value, opcode);  in check_cond_jmp_op()
4098 	if (!tnum_in(range, reg->var_off)) {  in check_return_code()
4100 		if (!tnum_is_unknown(reg->var_off)) {  in check_return_code()
4103 			tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);  in check_return_code()
4402 			       tnum_in(rold->var_off, rcur->var_off);  in regsafe()
4421 		       tnum_in(rold->var_off, rcur->var_off);  in regsafe()
4458 		       tnum_in(rold->var_off, rcur->var_off);  in regsafe()