Lines Matching refs:SCALAR_VALUE
545 [SCALAR_VALUE] = "inv",
640 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
642 if ((t == SCALAR_VALUE || t == PTR_TO_STACK) && in print_verifier_state()
654 if (t != SCALAR_VALUE) in print_verifier_state()
732 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
734 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) in print_verifier_state()
1126 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
1463 reg->type = SCALAR_VALUE; in __mark_reg_unknown()
1508 if (reg_type == SCALAR_VALUE) { in mark_btf_ld_reg()
2141 if (t == SRC_OP && reg->type != SCALAR_VALUE) in is_reg64()
2520 if (reg->type != SCALAR_VALUE) in mark_all_scalars_precise()
2528 if (reg->type != SCALAR_VALUE) in mark_all_scalars_precise()
2555 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2572 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2637 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2671 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2746 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in register_is_null()
2751 return reg->type == SCALAR_VALUE && tnum_is_const(reg->var_off); in register_is_const()
2765 return reg->type == SCALAR_VALUE && !__is_scalar_unbounded(reg); in register_is_bounded()
2774 return reg->type != SCALAR_VALUE; in __is_pointer_value()
2963 && *stype != SCALAR_VALUE) { in check_stack_write_var_off()
3088 if (reg->type != SCALAR_VALUE) { in check_stack_read_fixed_off()
4364 regs[value_regno].type = SCALAR_VALUE; in check_mem_access()
4381 enum bpf_reg_type reg_type = SCALAR_VALUE; in check_mem_access()
4403 if (reg_type == SCALAR_VALUE) { in check_mem_access()
4510 regs[value_regno].type == SCALAR_VALUE) { in check_mem_access()
4724 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
5089 static const struct bpf_reg_types scalar_types = { .types = { SCALAR_VALUE } };
6174 if (r0->type != SCALAR_VALUE) { in prepare_func_exit()
8156 if (dst_reg->type != SCALAR_VALUE) in adjust_reg_min_max_vals()
8165 if (src_reg->type != SCALAR_VALUE) { in adjust_reg_min_max_vals()
8166 if (dst_reg->type != SCALAR_VALUE) { in adjust_reg_min_max_vals()
8202 off_reg.type = SCALAR_VALUE; in adjust_reg_min_max_vals()
8296 if (src_reg->type == SCALAR_VALUE && !src_reg->id) in check_alu_op()
8312 } else if (src_reg->type == SCALAR_VALUE) { in check_alu_op()
8337 regs[insn->dst_reg].type = SCALAR_VALUE; in check_alu_op()
8975 reg->type = SCALAR_VALUE; in mark_ptr_or_null_reg()
9155 if (reg->type == SCALAR_VALUE && reg->id == known_reg->id) in find_equal_scalars()
9162 if (reg->type == SCALAR_VALUE && reg->id == known_reg->id) in find_equal_scalars()
9220 } else if (src_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
9226 } else if (src_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
9291 if (dst_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
9292 src_reg->type == SCALAR_VALUE) { in check_cond_jmp_op()
9322 } else if (dst_reg->type == SCALAR_VALUE) { in check_cond_jmp_op()
9328 if (dst_reg->type == SCALAR_VALUE && dst_reg->id && in check_cond_jmp_op()
9386 dst_reg->type = SCALAR_VALUE; in check_ld_imm()
9592 if (reg->type != SCALAR_VALUE) { in check_return_code()
9606 if (reg->type != SCALAR_VALUE) { in check_return_code()
9670 if (reg->type != SCALAR_VALUE) { in check_return_code()
10454 case SCALAR_VALUE: in regsafe()
10457 if (rcur->type == SCALAR_VALUE) { in regsafe()
10787 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
10801 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
13373 else if (regs[i].type == SCALAR_VALUE) in do_check_common()