Lines Matching refs:max_t
78 static __always_inline u64 max_t(enum num_t t, u64 x, u64 y)
85 default: printf("max_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); \
574 *newy = range(t, max_t(t, x.a + 1, y.a), y.b);
578 *newy = range(t, max_t(t, x.a, y.a), y.b);
581 *newx = range(t, max_t(t, x.a, y.a + 1), x.b);
585 *newx = range(t, max_t(t, x.a, y.a), x.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));