Searched refs:reg_smax (Results 1 – 3 of 3) sorted by relevance
575 {"smax", reg_smax(reg), reg_smax(reg) == S64_MAX}, in print_scalar_ranges()
338 if (reg_smax(reg) < S64_MAX) { in verbose_invalid_scalar() 339 verbose(env, " smax=%lld", reg_smax(reg)); in verbose_invalid_scalar() 359 if (reg_smin(reg) <= -BPF_MAX_VAR_OFF || reg_smax(reg) >= BPF_MAX_VAR_OFF) in reg_not_null() 2230 min_t(s64, reg_smax(reg), s32_max)); in __mark_reg_s32_range() 3683 max_off = reg_smax(ptr_reg) + off + size; in check_stack_write_var_off() 4066 max_off = reg_smax(reg) + off; in check_stack_read_var_off() 5715 top_smax_value = ((u64)reg_smax(reg) >> num_bits) << num_bits; in coerce_reg_to_size_sx() 5723 init_s64_max = (s8)reg_smax(reg); in coerce_reg_to_size_sx() 5726 init_s64_max = (s16)reg_smax(reg); in coerce_reg_to_size_sx() 5729 init_s64_max = (s32)reg_smax(re in coerce_reg_to_size_sx() [all...]
175 static inline s64 reg_smax(const struct bpf_reg_state *reg) in reg_smax() function