1 #define T(TYPE) __##TYPE##_TYPE__
2 #define cmp(TYPE, X, OP, Y) ((T(TYPE)) X OP (T(TYPE)) Y)
3 #define TEST(T1, T2, X, OP, Y) cmp(T1, X, OP, Y) == cmp(T2, X, OP, Y)
4
5 #define ARGS(TYPE) T(TYPE) a, T(TYPE)b
6
ARGSnull7 _Bool cmpe_sextp(ARGS(INT32)) { return TEST(UINT64, UINT32, a, ==, 0x7fffffff); }
ARGSnull8 _Bool cmps_sextp(ARGS(INT32)) { return TEST( INT64, INT32, a, < , 0x7fffffff); }
ARGSnull9 _Bool cmpu_sextp(ARGS(INT32)) { return TEST(UINT64, UINT32, a, < , 0x7fffffff); }
ARGSnull10 _Bool cmpe_sextn(ARGS(INT32)) { return TEST(UINT64, UINT32, a, ==, -1); }
ARGSnull11 _Bool cmps_sextn(ARGS(INT32)) { return TEST( INT64, INT32, a, < , -1); }
ARGSnull12 _Bool cmpu_sextn(ARGS(INT32)) { return TEST(UINT64, UINT32, a, < , -1); }
13
cmpltu_sext(int a)14 _Bool cmpltu_sext(int a) { return (a < 0x80000000ULL) == (a >= 0); }
cmpgtu_sext(int a)15 _Bool cmpgtu_sext(int a) { return (a >= 0x80000000ULL) == (a < 0); }
16
17 /*
18 * check-name: cmp-sext
19 * check-command: test-linearize -Wno-decl $file
20 *
21 * check-output-ignore
22 * check-output-returns: 1
23 */
24