bpf/prog_tests/reg_bounds.c

65 enum num_t { U64, first_t = U64, U32, S64, S32, last_t = S32 };
70 	case U64: return (u64)x < (u64)y ? (u64)x : (u64)y;
81 	case U64: return (u64)x > (u64)y ? (u64)x : (u64)y;
92 	case U64: return (u64)x;
103 	case U64: return "u64";
114 	case U64: return false;
125 	case U64: return S64;
136 	case U64: return U64;
138 	case S64: return U64;
151 	case U64: return (u64)x <= UNUM_MAX_DECIMAL;
165 		case U64: return snappendf(sb, "%llu", (u64)x);
173 		case U64:
243 	[U64] = { 0, U64_MAX },
252 	case U64: return unkn[U32];
263 	case U64: return (struct range){ (u64)a, (u64)b };
312 	case U64:
333 	case U64:
336 			return unkn[U64];
337 		return range(U64, a, b);
355 	case U64:
372 	case U64:
392 	case U64: return range_cast_u64(to_t, from);
403 	case U64: return true;
417 	case U64: return (u64)x.a <= (u64)x.b;
511 	case U64: { range_canbe(u64); }
627 	struct range r[4]; /* indexed by enum num_t: U64, U32, S64, S32 */
775 		if (br_u == -1 && (t == U64 || t == S64)) {
1033 		{"umin=", &reg->r[U64].a, 0},
1034 		{"umax=", &reg->r[U64].b, U64_MAX},
1564 			snprintf_num(U64, sb1, ctx->uvals[i]);
1615 				snprintf_range(U64, sb1, range(U64, ctx->uvals[i], ctx->uvals[j]));
1634 			ctx->uranges[cnt] = range(U64, ctx->uvals[i], ctx->uvals[j]);
1750 	ranges = init_t == U64 ? ctx.uranges : ctx.sranges;
1751 	vals = init_t == U64 ? ctx.uvals : (const u64 *)ctx.svals;
1828 	case U64:
1878 /* RANGE x CONST, U64 initial range */
1879 void test_reg_bounds_gen_consts_u64_u64(void) { validate_gen_range_vs_const_64(U64, U64); }
1880 void test_reg_bounds_gen_consts_u64_s64(void) { validate_gen_range_vs_const_64(U64, S64); }
1881 void test_reg_bounds_gen_consts_u64_u32(void) { validate_gen_range_vs_const_64(U64, U32); }
1882 void test_reg_bounds_gen_consts_u64_s32(void) { validate_gen_range_vs_const_64(U64, S32); }
1884 void test_reg_bounds_gen_consts_s64_u64(void) { validate_gen_range_vs_const_64(S64, U64); }
1889 void test_reg_bounds_gen_consts_u32_u64(void) { validate_gen_range_vs_const_32(U32, U64); }
1894 void test_reg_bounds_gen_consts_s32_u64(void) { validate_gen_range_vs_const_32(S32, U64); }
1899 /* RANGE x RANGE, U64 initial range */
1900 void test_reg_bounds_gen_ranges_u64_u64(void) { validate_gen_range_vs_range(U64, U64); }
1901 void test_reg_bounds_gen_ranges_u64_s64(void) { validate_gen_range_vs_range(U64, S64); }
1902 void test_reg_bounds_gen_ranges_u64_u32(void) { validate_gen_range_vs_range(U64, U32); }
1903 void test_reg_bounds_gen_ranges_u64_s32(void) { validate_gen_range_vs_range(U64, S32); }
1905 void test_reg_bounds_gen_ranges_s64_u64(void) { validate_gen_range_vs_range(S64, U64); }
1910 void test_reg_bounds_gen_ranges_u32_u64(void) { validate_gen_range_vs_range(U32, U64); }
1915 void test_reg_bounds_gen_ranges_s32_u64(void) { validate_gen_range_vs_range(S32, U64); }
1999 /* [RANDOM] RANGE x CONST, U64 initial range */
2000 void test_reg_bounds_rand_consts_u64_u64(void) { validate_rand_ranges(U64, U64, true /* const */); }
2001 void test_reg_bounds_rand_consts_u64_s64(void) { validate_rand_ranges(U64, S64, true /* const */); }
2002 void test_reg_bounds_rand_consts_u64_u32(void) { validate_rand_ranges(U64, U32, true /* const */); }
2003 void test_reg_bounds_rand_consts_u64_s32(void) { validate_rand_ranges(U64, S32, true /* const */); }
2005 void test_reg_bounds_rand_consts_s64_u64(void) { validate_rand_ranges(S64, U64, true /* const */); }
2010 void test_reg_bounds_rand_consts_u32_u64(void) { validate_rand_ranges(U32, U64, true /* const */); }
2015 void test_reg_bounds_rand_consts_s32_u64(void) { validate_rand_ranges(S32, U64, true /* const */); }
2020 /* [RANDOM] RANGE x RANGE, U64 initial range */
2021 void test_reg_bounds_rand_ranges_u64_u64(void) { validate_rand_ranges(U64, U64, false /* range */); }
2022 void test_reg_bounds_rand_ranges_u64_s64(void) { validate_rand_ranges(U64, S64, false /* range */); }
2023 void test_reg_bounds_rand_ranges_u64_u32(void) { validate_rand_ranges(U64, U32, false /* range */); }
2024 void test_reg_bounds_rand_ranges_u64_s32(void) { validate_rand_ranges(U64, S32, false /* range */); }
2026 void test_reg_bounds_rand_ranges_s64_u64(void) { validate_rand_ranges(S64, U64, false /* range */); }
2031 void test_reg_bounds_rand_ranges_u32_u64(void) { validate_rand_ranges(U32, U64, false /* range */); }
2036 void test_reg_bounds_rand_ranges_s32_u64(void) { validate_rand_ranges(S32, U64, false /* range */); }
2045 	{U64, U64, {0, 0xffffffff}, {0, 0}},
2046 	{U64, U64, {0, 0x80000000}, {0, 0}},
2047 	{U64, U64, {0x100000000ULL, 0x100000100ULL}, {0, 0}},
2048 	{U64, U64, {0x100000000ULL, 0x180000000ULL}, {0, 0}},
2049 	{U64, U64, {0x100000000ULL, 0x1ffffff00ULL}, {0, 0}},
2050 	{U64, U64, {0x100000000ULL, 0x1ffffff01ULL}, {0, 0}},
2051 	{U64, U64, {0x100000000ULL, 0x1fffffffeULL}, {0, 0}},
2052 	{U64, U64, {0x100000001ULL, 0x1000000ffULL}, {0, 0}},
2055 	{U64, U64, {0, 1}, {1, 0x80000000}},
2056 	{U64, S64, {0, 1}, {1, 0x80000000}},
2057 	{U64, U32, {0, 1}, {1, 0x80000000}},
2058 	{U64, S32, {0, 1}, {1, 0x80000000}},
2060 	{U64, S64, {0, 0xffffffff00000000ULL}, {0, 0}},
2061 	{U64, S64, {0x7fffffffffffffffULL, 0xffffffff00000000ULL}, {0, 0}},
2062 	{U64, S64, {0x7fffffff00000001ULL, 0xffffffff00000000ULL}, {0, 0}},
2063 	{U64, S64, {0, 0xffffffffULL}, {1, 1}},
2064 	{U64, S64, {0, 0xffffffffULL}, {0x7fffffff, 0x7fffffff}},
2066 	{U64, U32, {0, 0x100000000}, {0, 0}},
2067 	{U64, U32, {0xfffffffe, 0x100000000}, {0x80000000, 0x80000000}},
2069 	{U64, S32, {0, 0xffffffff00000000ULL}, {0, 0}},
2073 	{U64, S32, {0, 0x0ffffffffULL}, {0, 0}},
2074 	{U64, S32, {0, 0x100000000ULL}, {0, 0}},
2075 	{U64, S32, {0, 0x100000001ULL}, {0, 0}},
2076 	{U64, S32, {0, 0x180000000ULL}, {0, 0}},
2077 	{U64, S32, {0, 0x17fffffffULL}, {0, 0}},
2078 	{U64, S32, {0, 0x180000001ULL}, {0, 0}},
2083 	{U64, U64, {0xffffffff, 0x100000000ULL}, {0, 0}}, /* s32: [-1, 0] */
2084 	{U64, U64, {0xffffffff, 0x100000001ULL}, {0, 0}}, /* s32: [-1, 1] */
2089 	{S64, U64, {0xffffffff00000001ULL, 0}, {0xffffffff00000000ULL, 0xffffffff00000000ULL}},
2095 	{S32, U64, {(u32)S32_MIN, (u32)S32_MIN}, {(u32)(s32)-255, 0}},
2101 	{U64, U64, {0, U64_MAX}, {U64_MAX, U64_MAX}},
2102 	{U64, U64, {0, U64_MAX}, {0, 0}},
2103 	{S64, U64, {S64_MIN, 0}, {S64_MIN, S64_MIN}},
2104 	{S64, U64, {S64_MIN, 0}, {0, 0}},
2105 	{S64, U64, {S64_MIN, S64_MAX}, {S64_MAX, S64_MAX}},