Lines Matching refs:tnum
412 struct tnum *range, const char *ctx, in verbose_invalid_scalar()
2058 struct tnum var32_off = tnum_subreg(reg->var_off); in __update_reg32_bounds()
2168 struct tnum var64_off = tnum_intersect(reg->var_off, in __reg_bound_offset()
2171 struct tnum var32_off = tnum_intersect(tnum_subreg(var64_off), in __reg_bound_offset()
5471 struct tnum reg_off; in check_pkt_ptr_alignment()
5507 struct tnum reg_off; in check_generic_ptr_alignment()
9258 struct tnum range = callee->callback_ret_range; in prepare_func_exit()
12429 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_and()
12498 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_or()
12567 struct tnum var32_off = tnum_subreg(dst_reg->var_off); in scalar32_min_max_xor()
12646 struct tnum subreg = tnum_subreg(dst_reg->var_off); in scalar32_min_max_lsh()
12706 struct tnum subreg = tnum_subreg(dst_reg->var_off); in scalar32_min_max_rsh()
13385 struct tnum subreg = tnum_subreg(reg->var_off); in is_branch32_taken()
13643 struct tnum false_32off = tnum_subreg(false_reg->var_off); in reg_set_min_max()
13644 struct tnum false_64off = false_reg->var_off; in reg_set_min_max()
13645 struct tnum true_32off = tnum_subreg(true_reg->var_off); in reg_set_min_max()
13646 struct tnum true_64off = true_reg->var_off; in reg_set_min_max()
14479 struct tnum enforce_attach_type_range = tnum_unknown; in check_return_code()
14482 struct tnum range = tnum_range(0, 1), const_0 = tnum_const(0); in check_return_code()