502 	[SCALAR_VALUE]		= "inv",
582 		if (t == SCALAR_VALUE && reg->precise)  in print_verifier_state()
584 		if ((t == SCALAR_VALUE || t == PTR_TO_STACK) &&  in print_verifier_state()
596 			if (t != SCALAR_VALUE)  in print_verifier_state()
673 			if (t == SCALAR_VALUE && reg->precise)  in print_verifier_state()
675 			if (t == SCALAR_VALUE && tnum_is_const(reg->var_off))  in print_verifier_state()
1059 	reg->type = SCALAR_VALUE;  in __mark_reg_const_zero()
1342 	reg->type = SCALAR_VALUE;  in __mark_reg_unknown()
1386 	if (reg_type == SCALAR_VALUE) {  in mark_btf_ld_reg()
1654 		if (reg->type != SCALAR_VALUE)  in is_reg64()
2004 				if (reg->type != SCALAR_VALUE)  in mark_all_scalars_precise()
2012 				if (reg->type != SCALAR_VALUE)  in mark_all_scalars_precise()
2039 		if (reg->type != SCALAR_VALUE) {  in __mark_chain_precision()
2056 		if (reg->type != SCALAR_VALUE) {  in __mark_chain_precision()
2121 			if (reg->type != SCALAR_VALUE) {  in __mark_chain_precision()
2155 			if (reg->type != SCALAR_VALUE) {  in __mark_chain_precision()
2226 	return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0);  in register_is_null()
2231 	return reg->type == SCALAR_VALUE && tnum_is_const(reg->var_off);  in register_is_const()
2245 	return reg->type == SCALAR_VALUE && !__is_scalar_unbounded(reg);  in register_is_bounded()
2254 	return reg->type != SCALAR_VALUE;  in __is_pointer_value()
2420 			if (reg->type != SCALAR_VALUE) {  in check_stack_read()
3447 				regs[value_regno].type = SCALAR_VALUE;  in check_mem_access()
3464 		enum bpf_reg_type reg_type = SCALAR_VALUE;  in check_mem_access()
3485 			if (reg_type == SCALAR_VALUE) {  in check_mem_access()
3590 	    regs[value_regno].type == SCALAR_VALUE) {  in check_mem_access()
3760 		    state->stack[spi].spilled_ptr.type == SCALAR_VALUE) {  in check_stack_boundary()
4040 static const struct bpf_reg_types scalar_types = { .types = { SCALAR_VALUE } };
6455 	if (dst_reg->type != SCALAR_VALUE)  in adjust_reg_min_max_vals()
6464 		if (src_reg->type != SCALAR_VALUE) {  in adjust_reg_min_max_vals()
6465 			if (dst_reg->type != SCALAR_VALUE) {  in adjust_reg_min_max_vals()
6501 		off_reg.type = SCALAR_VALUE;  in adjust_reg_min_max_vals()
6595 				if (src_reg->type == SCALAR_VALUE && !src_reg->id)  in check_alu_op()
6611 				} else if (src_reg->type == SCALAR_VALUE) {  in check_alu_op()
6632 			regs[insn->dst_reg].type = SCALAR_VALUE;  in check_alu_op()
7226 			reg->type = SCALAR_VALUE;  in mark_ptr_or_null_reg()
7422 			if (reg->type == SCALAR_VALUE && reg->id == known_reg->id)  in find_equal_scalars()
7429 			if (reg->type == SCALAR_VALUE && reg->id == known_reg->id)  in find_equal_scalars()
7487 	} else if (src_reg->type == SCALAR_VALUE &&  in check_cond_jmp_op()
7493 	} else if (src_reg->type == SCALAR_VALUE &&  in check_cond_jmp_op()
7539 		if (dst_reg->type == SCALAR_VALUE &&  in check_cond_jmp_op()
7540 		    src_reg->type == SCALAR_VALUE) {  in check_cond_jmp_op()
7570 	} else if (dst_reg->type == SCALAR_VALUE) {  in check_cond_jmp_op()
7576 	if (dst_reg->type == SCALAR_VALUE && dst_reg->id &&  in check_cond_jmp_op()
7634 		dst_reg->type = SCALAR_VALUE;  in check_ld_imm()
7815 		if (reg->type != SCALAR_VALUE) {  in check_return_code()
7876 	if (reg->type != SCALAR_VALUE) {  in check_return_code()
8628 	case SCALAR_VALUE:  in regsafe()
8629 		if (rcur->type == SCALAR_VALUE) {  in regsafe()
8968 		if (state_reg->type != SCALAR_VALUE ||  in propagate_precision()
8982 		if (state_reg->type != SCALAR_VALUE ||  in propagate_precision()
11289 			else if (regs[i].type == SCALAR_VALUE)  in do_check_common()