Lines Matching refs:tnum
414 struct tnum *range, const char *ctx, in verbose_invalid_scalar()
1476 struct tnum var32_off = tnum_subreg(reg->var_off); in __update_reg32_bounds()
1586 struct tnum var64_off = tnum_intersect(reg->var_off, in __reg_bound_offset()
1589 struct tnum var32_off = tnum_intersect(tnum_subreg(reg->var_off), in __reg_bound_offset()
4102 struct tnum reg_off; in check_pkt_ptr_alignment()
4138 struct tnum reg_off; in check_generic_ptr_alignment()
6990 struct tnum range = callee->callback_ret_range; in prepare_func_exit()
8606 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_and()
8675 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_or()
8744 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_xor()
8823 struct tnum subreg = tnum_subreg(dst_reg->var_off); in scalar32_min_max_lsh()
8883 struct tnum subreg = tnum_subreg(dst_reg->var_off); in scalar32_min_max_rsh()
9496 struct tnum subreg = tnum_subreg(reg->var_off); in is_branch32_taken()
9746 struct tnum false_32off = tnum_subreg(false_reg->var_off); in reg_set_min_max()
9747 struct tnum false_64off = false_reg->var_off; in reg_set_min_max()
9748 struct tnum true_32off = tnum_subreg(true_reg->var_off); in reg_set_min_max()
9749 struct tnum true_64off = true_reg->var_off; in reg_set_min_max()
10521 struct tnum enforce_attach_type_range = tnum_unknown; in check_return_code()
10524 struct tnum range = tnum_range(0, 1); in check_return_code()