Lines Matching refs:U64
65 enum num_t { U64, first_t = U64, U32, S64, S32, last_t = S32 }; enumerator
70 case U64: return (u64)x < (u64)y ? (u64)x : (u64)y; in min_t()
81 case U64: return (u64)x > (u64)y ? (u64)x : (u64)y; in max_t()
92 case U64: return (u64)x; in cast_t()
103 case U64: return "u64"; in t_str()
114 case U64: return false; in t_is_32()
125 case U64: return S64; in t_signed()
136 case U64: return U64; in t_unsigned()
138 case S64: return U64; in t_unsigned()
151 case U64: return (u64)x <= UNUM_MAX_DECIMAL; in num_is_small()
165 case U64: return snappendf(sb, "%llu", (u64)x); in snprintf_num()
173 case U64: in snprintf_num()
243 [U64] = { 0, U64_MAX },
252 case U64: return unkn[U32]; in unkn_subreg()
263 case U64: return (struct range){ (u64)a, (u64)b }; in range()
312 case U64: in range_cast_u64()
333 case U64: in range_cast_s64()
336 return unkn[U64]; in range_cast_s64()
337 return range(U64, a, b); in range_cast_s64()
355 case U64: in range_cast_u32()
372 case U64: in range_cast_s32()
392 case U64: return range_cast_u64(to_t, from); in range_cast()
403 case U64: return true; in is_valid_num()
417 case U64: return (u64)x.a <= (u64)x.b; in is_valid_range()
524 case U64: { range_canbe(u64); } in range_canbe_op()
788 if (br_u == -1 && (t == U64 || t == S64)) { in reg_state_branch_taken_op()
1046 {"umin=", ®->r[U64].a, 0}, in parse_reg_state()
1047 {"umax=", ®->r[U64].b, U64_MAX}, in parse_reg_state()
1577 snprintf_num(U64, sb1, ctx->uvals[i]); in gen_vals()
1628 snprintf_range(U64, sb1, range(U64, ctx->uvals[i], ctx->uvals[j])); in gen_ranges()
1647 ctx->uranges[cnt] = range(U64, ctx->uvals[i], ctx->uvals[j]); in gen_ranges()
1763 ranges = init_t == U64 ? ctx.uranges : ctx.sranges; in validate_gen_range_vs_const_64()
1764 vals = init_t == U64 ? ctx.uvals : (const u64 *)ctx.svals; in validate_gen_range_vs_const_64()
1841 case U64: in validate_gen_range_vs_range()
1892 void test_reg_bounds_gen_consts_u64_u64(void) { validate_gen_range_vs_const_64(U64, U64); } in test_reg_bounds_gen_consts_u64_u64()
1893 void test_reg_bounds_gen_consts_u64_s64(void) { validate_gen_range_vs_const_64(U64, S64); } in test_reg_bounds_gen_consts_u64_s64()
1894 void test_reg_bounds_gen_consts_u64_u32(void) { validate_gen_range_vs_const_64(U64, U32); } in test_reg_bounds_gen_consts_u64_u32()
1895 void test_reg_bounds_gen_consts_u64_s32(void) { validate_gen_range_vs_const_64(U64, S32); } in test_reg_bounds_gen_consts_u64_s32()
1897 void test_reg_bounds_gen_consts_s64_u64(void) { validate_gen_range_vs_const_64(S64, U64); } in test_reg_bounds_gen_consts_s64_u64()
1902 void test_reg_bounds_gen_consts_u32_u64(void) { validate_gen_range_vs_const_32(U32, U64); } in test_reg_bounds_gen_consts_u32_u64()
1907 void test_reg_bounds_gen_consts_s32_u64(void) { validate_gen_range_vs_const_32(S32, U64); } in test_reg_bounds_gen_consts_s32_u64()
1913 void test_reg_bounds_gen_ranges_u64_u64(void) { validate_gen_range_vs_range(U64, U64); } in test_reg_bounds_gen_ranges_u64_u64()
1914 void test_reg_bounds_gen_ranges_u64_s64(void) { validate_gen_range_vs_range(U64, S64); } in test_reg_bounds_gen_ranges_u64_s64()
1915 void test_reg_bounds_gen_ranges_u64_u32(void) { validate_gen_range_vs_range(U64, U32); } in test_reg_bounds_gen_ranges_u64_u32()
1916 void test_reg_bounds_gen_ranges_u64_s32(void) { validate_gen_range_vs_range(U64, S32); } in test_reg_bounds_gen_ranges_u64_s32()
1918 void test_reg_bounds_gen_ranges_s64_u64(void) { validate_gen_range_vs_range(S64, U64); } in test_reg_bounds_gen_ranges_s64_u64()
1923 void test_reg_bounds_gen_ranges_u32_u64(void) { validate_gen_range_vs_range(U32, U64); } in test_reg_bounds_gen_ranges_u32_u64()
1928 void test_reg_bounds_gen_ranges_s32_u64(void) { validate_gen_range_vs_range(S32, U64); } in test_reg_bounds_gen_ranges_s32_u64()
2013 void test_reg_bounds_rand_consts_u64_u64(void) { validate_rand_ranges(U64, U64, true /* const */); } in test_reg_bounds_rand_consts_u64_u64()
2014 void test_reg_bounds_rand_consts_u64_s64(void) { validate_rand_ranges(U64, S64, true /* const */); } in test_reg_bounds_rand_consts_u64_s64()
2015 void test_reg_bounds_rand_consts_u64_u32(void) { validate_rand_ranges(U64, U32, true /* const */); } in test_reg_bounds_rand_consts_u64_u32()
2016 void test_reg_bounds_rand_consts_u64_s32(void) { validate_rand_ranges(U64, S32, true /* const */); } in test_reg_bounds_rand_consts_u64_s32()
2018 void test_reg_bounds_rand_consts_s64_u64(void) { validate_rand_ranges(S64, U64, true /* const */); } in test_reg_bounds_rand_consts_s64_u64()
2023 void test_reg_bounds_rand_consts_u32_u64(void) { validate_rand_ranges(U32, U64, true /* const */); } in test_reg_bounds_rand_consts_u32_u64()
2028 void test_reg_bounds_rand_consts_s32_u64(void) { validate_rand_ranges(S32, U64, true /* const */); } in test_reg_bounds_rand_consts_s32_u64()
2034 void test_reg_bounds_rand_ranges_u64_u64(void) { validate_rand_ranges(U64, U64, false /* range */);… in test_reg_bounds_rand_ranges_u64_u64()
2035 void test_reg_bounds_rand_ranges_u64_s64(void) { validate_rand_ranges(U64, S64, false /* range */);… in test_reg_bounds_rand_ranges_u64_s64()
2036 void test_reg_bounds_rand_ranges_u64_u32(void) { validate_rand_ranges(U64, U32, false /* range */);… in test_reg_bounds_rand_ranges_u64_u32()
2037 void test_reg_bounds_rand_ranges_u64_s32(void) { validate_rand_ranges(U64, S32, false /* range */);… in test_reg_bounds_rand_ranges_u64_s32()
2039 void test_reg_bounds_rand_ranges_s64_u64(void) { validate_rand_ranges(S64, U64, false /* range */);… in test_reg_bounds_rand_ranges_s64_u64()
2044 void test_reg_bounds_rand_ranges_u32_u64(void) { validate_rand_ranges(U32, U64, false /* range */);… in test_reg_bounds_rand_ranges_u32_u64()
2049 void test_reg_bounds_rand_ranges_s32_u64(void) { validate_rand_ranges(S32, U64, false /* range */);… in test_reg_bounds_rand_ranges_s32_u64()
2058 {U64, U64, {0, 0xffffffff}, {0, 0}},
2059 {U64, U64, {0, 0x80000000}, {0, 0}},
2060 {U64, U64, {0x100000000ULL, 0x100000100ULL}, {0, 0}},
2061 {U64, U64, {0x100000000ULL, 0x180000000ULL}, {0, 0}},
2062 {U64, U64, {0x100000000ULL, 0x1ffffff00ULL}, {0, 0}},
2063 {U64, U64, {0x100000000ULL, 0x1ffffff01ULL}, {0, 0}},
2064 {U64, U64, {0x100000000ULL, 0x1fffffffeULL}, {0, 0}},
2065 {U64, U64, {0x100000001ULL, 0x1000000ffULL}, {0, 0}},
2068 {U64, U64, {0, 1}, {1, 0x80000000}},
2069 {U64, S64, {0, 1}, {1, 0x80000000}},
2070 {U64, U32, {0, 1}, {1, 0x80000000}},
2071 {U64, S32, {0, 1}, {1, 0x80000000}},
2073 {U64, S64, {0, 0xffffffff00000000ULL}, {0, 0}},
2074 {U64, S64, {0x7fffffffffffffffULL, 0xffffffff00000000ULL}, {0, 0}},
2075 {U64, S64, {0x7fffffff00000001ULL, 0xffffffff00000000ULL}, {0, 0}},
2076 {U64, S64, {0, 0xffffffffULL}, {1, 1}},
2077 {U64, S64, {0, 0xffffffffULL}, {0x7fffffff, 0x7fffffff}},
2079 {U64, U32, {0, 0x100000000}, {0, 0}},
2080 {U64, U32, {0xfffffffe, 0x100000000}, {0x80000000, 0x80000000}},
2082 {U64, S32, {0, 0xffffffff00000000ULL}, {0, 0}},
2086 {U64, S32, {0, 0x0ffffffffULL}, {0, 0}},
2087 {U64, S32, {0, 0x100000000ULL}, {0, 0}},
2088 {U64, S32, {0, 0x100000001ULL}, {0, 0}},
2089 {U64, S32, {0, 0x180000000ULL}, {0, 0}},
2090 {U64, S32, {0, 0x17fffffffULL}, {0, 0}},
2091 {U64, S32, {0, 0x180000001ULL}, {0, 0}},
2096 {U64, U64, {0xffffffff, 0x100000000ULL}, {0, 0}}, /* s32: [-1, 0] */
2097 {U64, U64, {0xffffffff, 0x100000001ULL}, {0, 0}}, /* s32: [-1, 1] */
2102 {S64, U64, {0xffffffff00000001ULL, 0}, {0xffffffff00000000ULL, 0xffffffff00000000ULL}},
2108 {S32, U64, {(u32)S32_MIN, (u32)S32_MIN}, {(u32)(s32)-255, 0}},
2114 {U64, U64, {0, U64_MAX}, {U64_MAX, U64_MAX}},
2115 {U64, U64, {0, U64_MAX}, {0, 0}},
2116 {S64, U64, {S64_MIN, 0}, {S64_MIN, S64_MIN}},
2117 {S64, U64, {S64_MIN, 0}, {0, 0}},
2118 {S64, U64, {S64_MIN, S64_MAX}, {S64_MAX, S64_MAX}},