Lines Matching refs:tnum
419 struct tnum *range, const char *ctx, in verbose_invalid_scalar()
1713 struct tnum var32_off = tnum_subreg(reg->var_off); in __update_reg32_bounds()
1823 struct tnum var64_off = tnum_intersect(reg->var_off, in __reg_bound_offset()
1826 struct tnum var32_off = tnum_intersect(tnum_subreg(reg->var_off), in __reg_bound_offset()
4603 struct tnum reg_off; in check_pkt_ptr_alignment()
4639 struct tnum reg_off; in check_generic_ptr_alignment()
7866 struct tnum range = callee->callback_ret_range; in prepare_func_exit()
10870 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_and()
10939 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_or()
11008 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_xor()
11087 struct tnum subreg = tnum_subreg(dst_reg->var_off); in scalar32_min_max_lsh()
11147 struct tnum subreg = tnum_subreg(dst_reg->var_off); in scalar32_min_max_rsh()
11765 struct tnum subreg = tnum_subreg(reg->var_off); in is_branch32_taken()
12015 struct tnum false_32off = tnum_subreg(false_reg->var_off); in reg_set_min_max()
12016 struct tnum false_64off = false_reg->var_off; in reg_set_min_max()
12017 struct tnum true_32off = tnum_subreg(true_reg->var_off); in reg_set_min_max()
12018 struct tnum true_64off = true_reg->var_off; in reg_set_min_max()
12838 struct tnum enforce_attach_type_range = tnum_unknown; in check_return_code()
12841 struct tnum range = tnum_range(0, 1); in check_return_code()