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)
5 #define ARGS(TYPE) T(TYPE) a, T(TYPE)b
7 _Bool
cmpe_sextp(ARGS(INT32
)) { return TEST(UINT64
, UINT32
, a
, ==, 0x7fffffff); }
8 _Bool
cmps_sextp(ARGS(INT32
)) { return TEST( INT64
, INT32
, a
, < , 0x7fffffff); }
9 _Bool
cmpu_sextp(ARGS(INT32
)) { return TEST(UINT64
, UINT32
, a
, < , 0x7fffffff); }
10 _Bool
cmpe_sextn(ARGS(INT32
)) { return TEST(UINT64
, UINT32
, a
, ==, -1); }
11 _Bool
cmps_sextn(ARGS(INT32
)) { return TEST( INT64
, INT32
, a
, < , -1); }
12 _Bool
cmpu_sextn(ARGS(INT32
)) { return TEST(UINT64
, UINT32
, a
, < , -1); }
14 _Bool
cmpltu_sext(int a
) { return (a
< 0x80000000ULL
) == (a
>= 0); }
15 _Bool
cmpgtu_sext(int a
) { return (a
>= 0x80000000ULL
) == (a
< 0); }
18 * check-name: cmp-sext
19 * check-command: test-linearize -Wno-decl $file
22 * check-output-returns: 1