| H A D | verifier.c | 14947 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */
14949 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val, in scalar_min_max_udiv()
14950 reg_u32_max(dst_reg) / src_val); in scalar_min_max_udiv()
14959 u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */
14961 reg_set_urange64(dst_reg, div64_u64(reg_umin(dst_reg), src_val), in scalar32_min_max_sdiv()
14962 div64_u64(reg_umax(dst_reg), src_val)); in scalar32_min_max_sdiv()
14973 s32 src_val = reg_s32_min(src_reg); /* non-zero, const divisor */ in scalar32_min_max_sdiv()
14977 if (smin == S32_MIN && src_val == -1) { in scalar32_min_max_sdiv()
14993 res1 = smin / src_val; in scalar32_min_max_sdiv()
14994 res2 = smax / src_val; in scalar32_min_max_sdiv()
14939 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */ scalar32_min_max_udiv() local
14951 u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */ scalar_min_max_udiv() local
14965 s32 src_val = reg_s32_min(src_reg); /* non-zero, const divisor */ scalar32_min_max_sdiv() local
15001 s64 src_val = reg_smin(src_reg); /* non-zero, const divisor */ scalar_min_max_sdiv() local
15035 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */ scalar32_min_max_umod() local
15054 u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */ scalar_min_max_umod() local
15073 s32 src_val = reg_s32_min(src_reg); /* non-zero, const divisor */ scalar32_min_max_smod() local
15112 s64 src_val = reg_smin(src_reg); /* non-zero, const divisor */ scalar_min_max_smod() local
[all...] |