Lines Matching defs:S64
65 enum num_t { U64, first_t = U64, U32, S64, S32, last_t = S32 };
72 case S64: return (s64)x < (s64)y ? (s64)x : (s64)y;
83 case S64: return (s64)x > (s64)y ? (s64)x : (s64)y;
94 case S64: return (s64)x;
105 case S64: return "s64";
116 case S64: return false;
125 case U64: return S64;
127 case S64: return S64;
138 case S64: return U64;
153 case S64: return (s64)x >= SNUM_MIN_DECIMAL && (s64)x <= SNUM_MAX_DECIMAL;
167 case S64: return snappendf(sb, "%lld", (s64)x);
187 case S64:
245 [S64] = { (u64)S64_MIN, (u64)S64_MAX },
254 case S64: return unkn[U32];
265 case S64: return (struct range){ (s64)a, (s64)b };
318 case S64:
320 return unkn[S64];
321 return range(S64, a, b);
342 case S64:
356 case S64:
374 case S64:
394 case S64: return range_cast_s64(to_t, from);
405 case S64: return true;
419 case S64: return (s64)x.a <= (s64)x.b;
445 if (x_t == S64 && y_t == S32 && y_cast.a <= S32_MAX && y_cast.b <= S32_MAX &&
469 if (x_t == S64 && x.a > x.b) {
540 case S64: { range_canbe(s64); }
654 struct range r[4]; /* indexed by enum num_t: U64, U32, S64, S32 */
802 if (br_u == -1 && (t == U64 || t == S64)) {
1058 {"smin=", ®->r[S64].a, S64_MIN},
1059 {"smax=", ®->r[S64].b, S64_MAX},
1411 .setup_signed = (init_t == S64 || init_t == S32),
1413 .compare_signed = (cond_t == S64 || cond_t == S32),
1592 snprintf_num(S64, sb2, ctx->svals[i]);
1643 snprintf_range(S64, sb2, range(S64, ctx->svals[i], ctx->svals[j]));
1662 ctx->sranges[cnt] = range(S64, ctx->svals[i], ctx->svals[j]);
1863 case S64:
1907 void test_reg_bounds_gen_consts_u64_s64(void) { validate_gen_range_vs_const_64(U64, S64); }
1910 /* RANGE x CONST, S64 initial range */
1911 void test_reg_bounds_gen_consts_s64_u64(void) { validate_gen_range_vs_const_64(S64, U64); }
1912 void test_reg_bounds_gen_consts_s64_s64(void) { validate_gen_range_vs_const_64(S64, S64); }
1913 void test_reg_bounds_gen_consts_s64_u32(void) { validate_gen_range_vs_const_64(S64, U32); }
1914 void test_reg_bounds_gen_consts_s64_s32(void) { validate_gen_range_vs_const_64(S64, S32); }
1917 void test_reg_bounds_gen_consts_u32_s64(void) { validate_gen_range_vs_const_32(U32, S64); }
1922 void test_reg_bounds_gen_consts_s32_s64(void) { validate_gen_range_vs_const_32(S32, S64); }
1928 void test_reg_bounds_gen_ranges_u64_s64(void) { validate_gen_range_vs_range(U64, S64); }
1931 /* RANGE x RANGE, S64 initial range */
1932 void test_reg_bounds_gen_ranges_s64_u64(void) { validate_gen_range_vs_range(S64, U64); }
1933 void test_reg_bounds_gen_ranges_s64_s64(void) { validate_gen_range_vs_range(S64, S64); }
1934 void test_reg_bounds_gen_ranges_s64_u32(void) { validate_gen_range_vs_range(S64, U32); }
1935 void test_reg_bounds_gen_ranges_s64_s32(void) { validate_gen_range_vs_range(S64, S32); }
1938 void test_reg_bounds_gen_ranges_u32_s64(void) { validate_gen_range_vs_range(U32, S64); }
1943 void test_reg_bounds_gen_ranges_s32_s64(void) { validate_gen_range_vs_range(S32, S64); }
2028 void test_reg_bounds_rand_consts_u64_s64(void) { validate_rand_ranges(U64, S64, true /* const */); }
2031 /* [RANDOM] RANGE x CONST, S64 initial range */
2032 void test_reg_bounds_rand_consts_s64_u64(void) { validate_rand_ranges(S64, U64, true /* const */); }
2033 void test_reg_bounds_rand_consts_s64_s64(void) { validate_rand_ranges(S64, S64, true /* const */); }
2034 void test_reg_bounds_rand_consts_s64_u32(void) { validate_rand_ranges(S64, U32, true /* const */); }
2035 void test_reg_bounds_rand_consts_s64_s32(void) { validate_rand_ranges(S64, S32, true /* const */); }
2038 void test_reg_bounds_rand_consts_u32_s64(void) { validate_rand_ranges(U32, S64, true /* const */); }
2043 void test_reg_bounds_rand_consts_s32_s64(void) { validate_rand_ranges(S32, S64, true /* const */); }
2049 void test_reg_bounds_rand_ranges_u64_s64(void) { validate_rand_ranges(U64, S64, false /* range */); }
2052 /* [RANDOM] RANGE x RANGE, S64 initial range */
2053 void test_reg_bounds_rand_ranges_s64_u64(void) { validate_rand_ranges(S64, U64, false /* range */); }
2054 void test_reg_bounds_rand_ranges_s64_s64(void) { validate_rand_ranges(S64, S64, false /* range */); }
2055 void test_reg_bounds_rand_ranges_s64_u32(void) { validate_rand_ranges(S64, U32, false /* range */); }
2056 void test_reg_bounds_rand_ranges_s64_s32(void) { validate_rand_ranges(S64, S32, false /* range */); }
2059 void test_reg_bounds_rand_ranges_u32_s64(void) { validate_rand_ranges(U32, S64, false /* range */); }
2064 void test_reg_bounds_rand_ranges_s32_s64(void) { validate_rand_ranges(S32, S64, false /* range */); }
2083 {U64, S64, {0, 1}, {1, 0x80000000}},
2087 {U64, S64, {0, 0xffffffff00000000ULL}, {0, 0}},
2088 {U64, S64, {0x7fffffffffffffffULL, 0xffffffff00000000ULL}, {0, 0}},
2089 {U64, S64, {0x7fffffff00000001ULL, 0xffffffff00000000ULL}, {0, 0}},
2090 {U64, S64, {0, 0xffffffffULL}, {1, 1}},
2091 {U64, S64, {0, 0xffffffffULL}, {0x7fffffff, 0x7fffffff}},
2108 {S64, S64, {0xffffffffffffffffULL, 0}, {0xffffffff00000000ULL, 0xffffffff00000000ULL}},
2116 {S64, U64, {0xffffffff00000001ULL, 0}, {0xffffffff00000000ULL, 0xffffffff00000000ULL}},
2123 {S32, S64, {(u32)S32_MIN, (u32)(s32)-255}, {(u32)(s32)-2, 0}},
2124 {S32, S64, {0, 1}, {(u32)S32_MIN, (u32)S32_MIN}},
2130 {S64, U64, {S64_MIN, 0}, {S64_MIN, S64_MIN}},
2131 {S64, U64, {S64_MIN, 0}, {0, 0}},
2132 {S64, U64, {S64_MIN, S64_MAX}, {S64_MAX, S64_MAX}},
2138 {S64, U32, {0x0, 0x1f}, {0xffffffff80000000ULL, 0x000000007fffffffULL}},
2139 {S64, U32, {0x0, 0x1f}, {0xffffffffffff8000ULL, 0x0000000000007fffULL}},
2140 {S64, U32, {0x0, 0x1f}, {0xffffffffffffff80ULL, 0x000000000000007fULL}},