Lines Matching refs:SCALAR_VALUE
551 [SCALAR_VALUE] = "inv",
632 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
634 if ((t == SCALAR_VALUE || t == PTR_TO_STACK) && in print_verifier_state()
646 if (t != SCALAR_VALUE) in print_verifier_state()
724 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
726 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) in print_verifier_state()
1118 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
1448 reg->type = SCALAR_VALUE; in __mark_reg_unknown()
1493 if (reg_type == SCALAR_VALUE) { in mark_btf_ld_reg()
1993 if (t == SRC_OP && reg->type != SCALAR_VALUE) in is_reg64()
2371 if (reg->type != SCALAR_VALUE) in mark_all_scalars_precise()
2379 if (reg->type != SCALAR_VALUE) in mark_all_scalars_precise()
2406 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2423 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2488 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2522 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
2597 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in register_is_null()
2602 return reg->type == SCALAR_VALUE && tnum_is_const(reg->var_off); in register_is_const()
2616 return reg->type == SCALAR_VALUE && !__is_scalar_unbounded(reg); in register_is_bounded()
2625 return reg->type != SCALAR_VALUE; in __is_pointer_value()
2808 && *stype != SCALAR_VALUE) { in check_stack_write_var_off()
2928 if (reg->type != SCALAR_VALUE) { in check_stack_read_fixed_off()
4175 regs[value_regno].type = SCALAR_VALUE; in check_mem_access()
4192 enum bpf_reg_type reg_type = SCALAR_VALUE; in check_mem_access()
4214 if (reg_type == SCALAR_VALUE) { in check_mem_access()
4321 regs[value_regno].type == SCALAR_VALUE) { in check_mem_access()
4522 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
4884 static const struct bpf_reg_types scalar_types = { .types = { SCALAR_VALUE } };
5959 if (r0->type != SCALAR_VALUE) { in prepare_func_exit()
7931 if (dst_reg->type != SCALAR_VALUE) in adjust_reg_min_max_vals()
7940 if (src_reg->type != SCALAR_VALUE) { in adjust_reg_min_max_vals()
7941 if (dst_reg->type != SCALAR_VALUE) { in adjust_reg_min_max_vals()
7977 off_reg.type = SCALAR_VALUE; in adjust_reg_min_max_vals()
8071 if (src_reg->type == SCALAR_VALUE && !src_reg->id) in check_alu_op()
8087 } else if (src_reg->type == SCALAR_VALUE) { in check_alu_op()
8108 regs[insn->dst_reg].type = SCALAR_VALUE; in check_alu_op()
8746 reg->type = SCALAR_VALUE; in mark_ptr_or_null_reg()
8926 if (reg->type == SCALAR_VALUE && reg->id == known_reg->id) in find_equal_scalars()
8933 if (reg->type == SCALAR_VALUE && reg->id == known_reg->id) in find_equal_scalars()
8991 } else if (src_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
8997 } else if (src_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
9062 if (dst_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
9063 src_reg->type == SCALAR_VALUE) { in check_cond_jmp_op()
9093 } else if (dst_reg->type == SCALAR_VALUE) { in check_cond_jmp_op()
9099 if (dst_reg->type == SCALAR_VALUE && dst_reg->id && in check_cond_jmp_op()
9157 dst_reg->type = SCALAR_VALUE; in check_ld_imm()
9362 if (reg->type != SCALAR_VALUE) { in check_return_code()
9376 if (reg->type != SCALAR_VALUE) { in check_return_code()
9440 if (reg->type != SCALAR_VALUE) { in check_return_code()
10224 case SCALAR_VALUE: in regsafe()
10227 if (rcur->type == SCALAR_VALUE) { in regsafe()
10557 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
10571 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
13126 else if (regs[i].type == SCALAR_VALUE) in do_check_common()