bpf/prog_tests/reg_bounds.c

67 static __always_inline u64 min_t(enum num_t t, u64 x, u64 y)
74 	default: printf("min_t!\n"); exit(1);
427 	return range(t, max_t(t, old.a, new.a), min_t(t, old.b, new.b));
504 	case OP_EQ: return (T)max_t(t, x.a, y.a) <= (T)min_t(t, x.b, y.b);			\
573 		*newx = range(t, x.a, min_t(t, x.b, y.b - 1));
577 		*newx = range(t, x.a, min_t(t, x.b, y.b));
582 		*newy = range(t, y.a, min_t(t, x.b - 1, y.b));
586 		*newy = range(t, y.a, min_t(t, x.b, y.b));
589 		*newx = range(t, max_t(t, x.a, y.a), min_t(t, x.b, y.b));
590 		*newy = range(t, max_t(t, x.a, y.a), min_t(t, x.b, y.b));
1944 	return range(t, min_t(t, x, y), max_t(t, x, y));