Lines Matching defs:U32
65 enum num_t { U64, first_t = U64, U32, S64, S32, last_t = S32 };
71 case U32: return (u32)x < (u32)y ? (u32)x : (u32)y;
82 case U32: return (u32)x > (u32)y ? (u32)x : (u32)y;
93 case U32: return (u32)x;
104 case U32: return "u32";
115 case U32: return true;
126 case U32: return S32;
137 case U32: return U32;
139 case S32: return U32;
152 case U32: return (u32)x <= UNUM_MAX_DECIMAL;
166 case U32: return snappendf(sb, "%u", (u32)x);
180 case U32:
244 [U32] = { 0, U32_MAX },
252 case U64: return unkn[U32];
253 case U32: return unkn[U32];
254 case S64: return unkn[U32];
264 case U32: return (struct range){ (u32)a, (u32)b };
314 case U32:
316 return unkn[U32];
317 return range(U32, a, b);
338 case U32:
340 return unkn[U32];
341 return range(U32, a, b);
359 case U32:
362 return range_cast_to_s32(range(U32, a, b));
373 case U32:
393 case U32: return range_cast_u32(to_t, from);
404 case U32: return upper32(x) == 0;
418 case U32: return (u32)x.a <= (u32)x.b;
539 case U32: { range_canbe(u32); }
654 struct range r[4]; /* indexed by enum num_t: U64, U32, S64, S32 */
803 br = range_branch_taken_op(U32, x->r[U32], y->r[U32], op);
1064 {"umin32=", ®->r[U32].a, 0, true},
1065 {"umax32=", ®->r[U32].b, U32_MAX, true},
1409 .init_subregs = (init_t == U32 || init_t == S32),
1410 .setup_subregs = (init_t == U32 || init_t == S32),
1412 .compare_subregs = (cond_t == U32 || cond_t == S32),
1623 snprintf_num(U32, sb1, ctx->usubvals[i]);
1675 snprintf_range(U32, sb1, range(U32, ctx->usubvals[i], ctx->usubvals[j]));
1694 ctx->usubranges[cnt] = range(U32, ctx->usubvals[i], ctx->usubvals[j]);
1816 ranges = init_t == U32 ? ctx.usubranges : ctx.ssubranges;
1817 vals = init_t == U32 ? ctx.usubvals : (const u32 *)ctx.ssubvals;
1859 case U32:
1908 void test_reg_bounds_gen_consts_u64_u32(void) { validate_gen_range_vs_const_64(U64, U32); }
1913 void test_reg_bounds_gen_consts_s64_u32(void) { validate_gen_range_vs_const_64(S64, U32); }
1915 /* RANGE x CONST, U32 initial range */
1916 void test_reg_bounds_gen_consts_u32_u64(void) { validate_gen_range_vs_const_32(U32, U64); }
1917 void test_reg_bounds_gen_consts_u32_s64(void) { validate_gen_range_vs_const_32(U32, S64); }
1918 void test_reg_bounds_gen_consts_u32_u32(void) { validate_gen_range_vs_const_32(U32, U32); }
1919 void test_reg_bounds_gen_consts_u32_s32(void) { validate_gen_range_vs_const_32(U32, S32); }
1923 void test_reg_bounds_gen_consts_s32_u32(void) { validate_gen_range_vs_const_32(S32, U32); }
1929 void test_reg_bounds_gen_ranges_u64_u32(void) { validate_gen_range_vs_range(U64, U32); }
1934 void test_reg_bounds_gen_ranges_s64_u32(void) { validate_gen_range_vs_range(S64, U32); }
1936 /* RANGE x RANGE, U32 initial range */
1937 void test_reg_bounds_gen_ranges_u32_u64(void) { validate_gen_range_vs_range(U32, U64); }
1938 void test_reg_bounds_gen_ranges_u32_s64(void) { validate_gen_range_vs_range(U32, S64); }
1939 void test_reg_bounds_gen_ranges_u32_u32(void) { validate_gen_range_vs_range(U32, U32); }
1940 void test_reg_bounds_gen_ranges_u32_s32(void) { validate_gen_range_vs_range(U32, S32); }
1944 void test_reg_bounds_gen_ranges_s32_u32(void) { validate_gen_range_vs_range(S32, U32); }
2029 void test_reg_bounds_rand_consts_u64_u32(void) { validate_rand_ranges(U64, U32, true /* const */); }
2034 void test_reg_bounds_rand_consts_s64_u32(void) { validate_rand_ranges(S64, U32, true /* const */); }
2036 /* [RANDOM] RANGE x CONST, U32 initial range */
2037 void test_reg_bounds_rand_consts_u32_u64(void) { validate_rand_ranges(U32, U64, true /* const */); }
2038 void test_reg_bounds_rand_consts_u32_s64(void) { validate_rand_ranges(U32, S64, true /* const */); }
2039 void test_reg_bounds_rand_consts_u32_u32(void) { validate_rand_ranges(U32, U32, true /* const */); }
2040 void test_reg_bounds_rand_consts_u32_s32(void) { validate_rand_ranges(U32, S32, true /* const */); }
2044 void test_reg_bounds_rand_consts_s32_u32(void) { validate_rand_ranges(S32, U32, true /* const */); }
2050 void test_reg_bounds_rand_ranges_u64_u32(void) { validate_rand_ranges(U64, U32, false /* range */); }
2055 void test_reg_bounds_rand_ranges_s64_u32(void) { validate_rand_ranges(S64, U32, false /* range */); }
2057 /* [RANDOM] RANGE x RANGE, U32 initial range */
2058 void test_reg_bounds_rand_ranges_u32_u64(void) { validate_rand_ranges(U32, U64, false /* range */); }
2059 void test_reg_bounds_rand_ranges_u32_s64(void) { validate_rand_ranges(U32, S64, false /* range */); }
2060 void test_reg_bounds_rand_ranges_u32_u32(void) { validate_rand_ranges(U32, U32, false /* range */); }
2061 void test_reg_bounds_rand_ranges_u32_s32(void) { validate_rand_ranges(U32, S32, false /* range */); }
2065 void test_reg_bounds_rand_ranges_s32_u32(void) { validate_rand_ranges(S32, U32, false /* range */); }
2084 {U64, U32, {0, 1}, {1, 0x80000000}},
2093 {U64, U32, {0, 0x100000000}, {0, 0}},
2094 {U64, U32, {0xfffffffe, 0x100000000}, {0x80000000, 0x80000000}},
2118 {U32, U32, {1, U32_MAX}, {0, 0}},
2120 {U32, S32, {0, U32_MAX}, {U32_MAX, U32_MAX}},
2125 {S32, U32, {(u32)S32_MIN, (u32)S32_MIN}, {(u32)S32_MIN, (u32)S32_MIN}},
2133 {U32, U32, {0, U32_MAX}, {0, 0}},
2134 {U32, U32, {0, U32_MAX}, {U32_MAX, U32_MAX}},
2135 {S32, U32, {(u32)S32_MIN, 0}, {0, 0}},
2136 {S32, U32, {(u32)S32_MIN, 0}, {(u32)S32_MIN, (u32)S32_MIN}},
2137 {S32, U32, {(u32)S32_MIN, S32_MAX}, {S32_MAX, S32_MAX}},
2138 {S64, U32, {0x0, 0x1f}, {0xffffffff80000000ULL, 0x000000007fffffffULL}},
2139 {S64, U32, {0x0, 0x1f}, {0xffffffffffff8000ULL, 0x0000000000007fffULL}},
2140 {S64, U32, {0x0, 0x1f}, {0xffffffffffffff80ULL, 0x000000000000007fULL}},