1 /*
2 * compile with -DINT_TYPE="char"
3 * or -DINT_TYPE="short"
4 * or -DINT_TYPE="int"
5 * or -DINT_TYPE="long"
6 * or -DINT_TYPE="long long"
7 */
8
9 #include <assert.h>
10
main()11 int main() {
12
13 volatile unsigned INT_TYPE a, b;
14
15 a = 1;
16 b = 8;
17 assert((a < b));
18 assert((a <= b));
19 assert(!(a > b));
20 assert(!(a >= b));
21 assert((a != b));
22 assert(!(a == b));
23
24 if ((INT_TYPE)(~0) > 255) {
25
26 volatile unsigned short a, b;
27 a = 256 + 2;
28 b = 256 + 21;
29 assert((a < b));
30 assert((a <= b));
31 assert(!(a > b));
32 assert(!(a >= b));
33 assert((a != b));
34 assert(!(a == b));
35
36 a = 21;
37 b = 256 + 1;
38 assert((a < b));
39 assert((a <= b));
40 assert(!(a > b));
41 assert(!(a >= b));
42 assert((a != b));
43 assert(!(a == b));
44
45 if ((INT_TYPE)(~0) > 65535) {
46
47 volatile unsigned int a, b;
48 a = 65536 + 2;
49 b = 65536 + 21;
50 assert((a < b));
51 assert((a <= b));
52 assert(!(a > b));
53 assert(!(a >= b));
54 assert((a != b));
55 assert(!(a == b));
56
57 a = 21;
58 b = 65536 + 1;
59 assert((a < b));
60 assert((a <= b));
61 assert(!(a > b));
62 assert(!(a >= b));
63 assert((a != b));
64 assert(!(a == b));
65
66 }
67
68 if ((INT_TYPE)(~0) > 4294967295) {
69
70 volatile unsigned long a, b;
71 a = 4294967296 + 2;
72 b = 4294967296 + 21;
73 assert((a < b));
74 assert((a <= b));
75 assert(!(a > b));
76 assert(!(a >= b));
77 assert((a != b));
78 assert(!(a == b));
79
80 a = 21;
81 b = 4294967296 + 1;
82 assert((a < b));
83 assert((a <= b));
84 assert(!(a > b));
85 assert(!(a >= b));
86 assert((a != b));
87 assert(!(a == b));
88
89 }
90
91 }
92
93 a = 8;
94 b = 1;
95 assert((a > b));
96 assert((a >= b));
97 assert(!(a < b));
98 assert(!(a <= b));
99 assert((a != b));
100 assert(!(a == b));
101
102 if ((INT_TYPE)(~0) > 255) {
103
104 volatile unsigned short a, b;
105 a = 256 + 2;
106 b = 256 + 1;
107 assert((a > b));
108 assert((a >= b));
109 assert(!(a < b));
110 assert(!(a <= b));
111 assert((a != b));
112 assert(!(a == b));
113
114 a = 256 + 2;
115 b = 6;
116 assert((a > b));
117 assert((a >= b));
118 assert(!(a < b));
119 assert(!(a <= b));
120 assert((a != b));
121 assert(!(a == b));
122
123 if ((INT_TYPE)(~0) > 65535) {
124
125 volatile unsigned int a, b;
126 a = 65536 + 2;
127 b = 65536 + 1;
128 assert((a > b));
129 assert((a >= b));
130 assert(!(a < b));
131 assert(!(a <= b));
132 assert((a != b));
133 assert(!(a == b));
134
135 a = 65536 + 2;
136 b = 6;
137 assert((a > b));
138 assert((a >= b));
139 assert(!(a < b));
140 assert(!(a <= b));
141 assert((a != b));
142 assert(!(a == b));
143
144 if ((INT_TYPE)(~0) > 4294967295) {
145
146 volatile unsigned long a, b;
147 a = 4294967296 + 2;
148 b = 4294967296 + 1;
149 assert((a > b));
150 assert((a >= b));
151 assert(!(a < b));
152 assert(!(a <= b));
153 assert((a != b));
154 assert(!(a == b));
155
156 a = 4294967296 + 2;
157 b = 6;
158 assert((a > b));
159 assert((a >= b));
160 assert(!(a < b));
161 assert(!(a <= b));
162 assert((a != b));
163 assert(!(a == b));
164
165 }
166
167 }
168
169 }
170
171 a = 0;
172 b = 0;
173 assert(!(a < b));
174 assert((a <= b));
175 assert(!(a > b));
176 assert((a >= b));
177 assert(!(a != b));
178 assert((a == b));
179
180 a = 1;
181 b = 1;
182 assert(!(a < b));
183 assert((a <= b));
184 assert(!(a > b));
185 assert((a >= b));
186 assert(!(a != b));
187 assert((a == b));
188
189 if ((INT_TYPE)(~0) > 255) {
190
191 volatile unsigned short a, b;
192 a = 256 + 5;
193 b = 256 + 5;
194 assert(!(a < b));
195 assert((a <= b));
196 assert(!(a > b));
197 assert((a >= b));
198 assert(!(a != b));
199 assert((a == b));
200
201 if ((INT_TYPE)(~0) > 65535) {
202
203 volatile unsigned int a, b;
204 a = 65536 + 5;
205 b = 65536 + 5;
206 assert(!(a < b));
207 assert((a <= b));
208 assert(!(a > b));
209 assert((a >= b));
210 assert(!(a != b));
211 assert((a == b));
212
213 if ((INT_TYPE)(~0) > 4294967295) {
214
215 volatile unsigned long a, b;
216 a = 4294967296 + 5;
217 b = 4294967296 + 5;
218 assert(!(a < b));
219 assert((a <= b));
220 assert(!(a > b));
221 assert((a >= b));
222 assert(!(a != b));
223 assert((a == b));
224
225 }
226
227 }
228
229 }
230
231 }
232
233