1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#include <limits.h>
int __attribute__((noinline)) nge(int a, int b) {return -(a >= b);}
int __attribute__((noinline)) ngt(int a, int b) {return -(a > b);}
int __attribute__((noinline)) nle(int a, int b) {return -(a <= b);}
int __attribute__((noinline)) nlt(int a, int b) {return -(a < b);}
int __attribute__((noinline)) neq(int a, int b) {return -(a == b);}
int __attribute__((noinline)) nne(int a, int b) {return -(a != b);}
int __attribute__((noinline)) ngeu(unsigned a, unsigned b) {return -(a >= b);}
int __attribute__((noinline)) ngtu(unsigned a, unsigned b) {return -(a > b);}
int __attribute__((noinline)) nleu(unsigned a, unsigned b) {return -(a <= b);}
int __attribute__((noinline)) nltu(unsigned a, unsigned b) {return -(a < b);}
int main()
{
if (nge(INT_MIN, INT_MAX) != 0) abort();
if (nge(INT_MAX, INT_MIN) != -1) abort();
if (ngt(INT_MIN, INT_MAX) != 0) abort();
if (ngt(INT_MAX, INT_MIN) != -1) abort();
if (nle(INT_MIN, INT_MAX) != -1) abort();
if (nle(INT_MAX, INT_MIN) != 0) abort();
if (nlt(INT_MIN, INT_MAX) != -1) abort();
if (nlt(INT_MAX, INT_MIN) != 0) abort();
if (neq(INT_MIN, INT_MAX) != 0) abort();
if (neq(INT_MAX, INT_MIN) != 0) abort();
if (nne(INT_MIN, INT_MAX) != -1) abort();
if (nne(INT_MAX, INT_MIN) != -1) abort();
if (ngeu(0, ~0U) != 0) abort();
if (ngeu(~0U, 0) != -1) abort();
if (ngtu(0, ~0U) != 0) abort();
if (ngtu(~0U, 0) != -1) abort();
if (nleu(0, ~0U) != -1) abort();
if (nleu(~0U, 0) != 0) abort();
if (nltu(0, ~0U) != -1) abort();
if (nltu(~0U, 0) != 0) abort();
exit(0);
}
|
