Lines Matching refs:SCALAR_VALUE
586 [SCALAR_VALUE] = "scalar", in reg_type_str()
1061 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
1063 if ((t == SCALAR_VALUE || t == PTR_TO_STACK) && in print_verifier_state()
1066 verbose(env, "%s", t == SCALAR_VALUE ? "" : reg_type_str(env, t)); in print_verifier_state()
1087 if (t != SCALAR_VALUE) in print_verifier_state()
1159 verbose(env, "=%s", t == SCALAR_VALUE ? "" : reg_type_str(env, t)); in print_verifier_state()
1160 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
1162 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) in print_verifier_state()
1588 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
1926 reg->type = SCALAR_VALUE; in __mark_reg_unknown()
1974 if (reg_type == SCALAR_VALUE) { in mark_btf_ld_reg()
2646 if (t == SRC_OP && reg->type != SCALAR_VALUE) in is_reg64()
3056 if (reg->type != SCALAR_VALUE) in mark_all_scalars_precise()
3064 if (reg->type != SCALAR_VALUE) in mark_all_scalars_precise()
3082 if (reg->type != SCALAR_VALUE) in mark_all_scalars_imprecise()
3090 if (reg->type != SCALAR_VALUE) in mark_all_scalars_imprecise()
3208 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
3221 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
3254 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
3312 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
3346 if (reg->type != SCALAR_VALUE) { in __mark_chain_precision()
3416 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in register_is_null()
3421 return reg->type == SCALAR_VALUE && tnum_is_const(reg->var_off); in register_is_const()
3435 return reg->type == SCALAR_VALUE && !__is_scalar_unbounded(reg); in register_is_bounded()
3444 return reg->type != SCALAR_VALUE; in __is_pointer_value()
3552 fake_reg.type = SCALAR_VALUE; in check_stack_write_fixed_off()
3804 if (reg->type != SCALAR_VALUE) { in check_stack_read_fixed_off()
5366 regs[value_regno].type = SCALAR_VALUE; in check_mem_access()
5398 enum bpf_reg_type reg_type = SCALAR_VALUE; in check_mem_access()
5421 if (reg_type == SCALAR_VALUE) { in check_mem_access()
5531 regs[value_regno].type == SCALAR_VALUE) { in check_mem_access()
5766 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
6421 static const struct bpf_reg_types scalar_types = { .types = { SCALAR_VALUE } };
6645 case SCALAR_VALUE: in check_func_arg_reg_off()
7692 callee->regs[BPF_REG_1].type = SCALAR_VALUE; in set_loop_callback_state()
7868 if (r0->type != SCALAR_VALUE) { in prepare_func_exit()
8693 if (!btf_type_is_scalar(t) || reg->type != SCALAR_VALUE) in is_kfunc_arg_mem_size()
9491 if (reg->type != SCALAR_VALUE) { in check_kfunc_args()
11437 if (dst_reg->type != SCALAR_VALUE) in adjust_reg_min_max_vals()
11446 if (src_reg->type != SCALAR_VALUE) { in adjust_reg_min_max_vals()
11447 if (dst_reg->type != SCALAR_VALUE) { in adjust_reg_min_max_vals()
11488 off_reg.type = SCALAR_VALUE; in adjust_reg_min_max_vals()
11582 if (src_reg->type == SCALAR_VALUE && !src_reg->id) in check_alu_op()
11598 } else if (src_reg->type == SCALAR_VALUE) { in check_alu_op()
11620 regs[insn->dst_reg].type = SCALAR_VALUE; in check_alu_op()
12239 reg->type = SCALAR_VALUE; in mark_ptr_or_null_reg()
12399 if (reg->type == SCALAR_VALUE && reg->id == known_reg->id) in find_equal_scalars()
12457 } else if (src_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
12463 } else if (src_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
12528 if (dst_reg->type == SCALAR_VALUE && in check_cond_jmp_op()
12529 src_reg->type == SCALAR_VALUE) { in check_cond_jmp_op()
12559 } else if (dst_reg->type == SCALAR_VALUE) { in check_cond_jmp_op()
12565 if (dst_reg->type == SCALAR_VALUE && dst_reg->id && in check_cond_jmp_op()
12660 dst_reg->type = SCALAR_VALUE; in check_ld_imm()
12883 if (reg->type != SCALAR_VALUE) { in check_return_code()
12897 if (reg->type != SCALAR_VALUE) { in check_return_code()
12977 if (reg->type != SCALAR_VALUE) { in check_return_code()
13868 case SCALAR_VALUE: in regsafe()
14203 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
14217 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
17061 else if (regs[i].type == SCALAR_VALUE) in do_check_common()