1 #include <limits.h>
2
3 extern void abort ();
4
test1(int x)5 int test1(int x)
6 {
7 return (x ^ INT_MIN) ^ 0x1234;
8 }
9
test1u(unsigned int x)10 unsigned int test1u(unsigned int x)
11 {
12 return (x ^ (unsigned int)INT_MIN) ^ 0x1234;
13 }
14
test2(int x)15 int test2(int x)
16 {
17 return (x ^ 0x1234) ^ INT_MIN;
18 }
19
test2u(unsigned int x)20 unsigned int test2u(unsigned int x)
21 {
22 return (x ^ 0x1234) ^ (unsigned int)INT_MIN;
23 }
24
test3(int x)25 int test3(int x)
26 {
27 return (x + INT_MIN) ^ 0x1234;
28 }
29
test3u(unsigned int x)30 unsigned int test3u(unsigned int x)
31 {
32 return (x + (unsigned int)INT_MIN) ^ 0x1234;
33 }
34
test4(int x)35 int test4(int x)
36 {
37 return (x ^ 0x1234) + INT_MIN;
38 }
39
test4u(unsigned int x)40 unsigned int test4u(unsigned int x)
41 {
42 return (x ^ 0x1234) + (unsigned int)INT_MIN;
43 }
44
test5(int x)45 int test5(int x)
46 {
47 return (x - INT_MIN) ^ 0x1234;
48 }
49
test5u(unsigned int x)50 unsigned int test5u(unsigned int x)
51 {
52 return (x - (unsigned int)INT_MIN) ^ 0x1234;
53 }
54
test6(int x)55 int test6(int x)
56 {
57 return (x ^ 0x1234) - INT_MIN;
58 }
59
test6u(unsigned int x)60 unsigned int test6u(unsigned int x)
61 {
62 return (x ^ 0x1234) - (unsigned int)INT_MIN;
63 }
64
test7(int x)65 int test7(int x)
66 {
67 int y = INT_MIN;
68 int z = 0x1234;
69 return (x ^ y) ^ z;
70 }
71
test7u(unsigned int x)72 unsigned int test7u(unsigned int x)
73 {
74 unsigned int y = (unsigned int)INT_MIN;
75 unsigned int z = 0x1234;
76 return (x ^ y) ^ z;
77 }
78
test8(int x)79 int test8(int x)
80 {
81 int y = 0x1234;
82 int z = INT_MIN;
83 return (x ^ y) ^ z;
84 }
85
test8u(unsigned int x)86 unsigned int test8u(unsigned int x)
87 {
88 unsigned int y = 0x1234;
89 unsigned int z = (unsigned int)INT_MIN;
90 return (x ^ y) ^ z;
91 }
92
test9(int x)93 int test9(int x)
94 {
95 int y = INT_MIN;
96 int z = 0x1234;
97 return (x + y) ^ z;
98 }
99
test9u(unsigned int x)100 unsigned int test9u(unsigned int x)
101 {
102 unsigned int y = (unsigned int)INT_MIN;
103 unsigned int z = 0x1234;
104 return (x + y) ^ z;
105 }
106
test10(int x)107 int test10(int x)
108 {
109 int y = 0x1234;
110 int z = INT_MIN;
111 return (x ^ y) + z;
112 }
113
test10u(unsigned int x)114 unsigned int test10u(unsigned int x)
115 {
116 unsigned int y = 0x1234;
117 unsigned int z = (unsigned int)INT_MIN;
118 return (x ^ y) + z;
119 }
120
test11(int x)121 int test11(int x)
122 {
123 int y = INT_MIN;
124 int z = 0x1234;
125 return (x - y) ^ z;
126 }
127
test11u(unsigned int x)128 unsigned int test11u(unsigned int x)
129 {
130 unsigned int y = (unsigned int)INT_MIN;
131 unsigned int z = 0x1234;
132 return (x - y) ^ z;
133 }
134
test12(int x)135 int test12(int x)
136 {
137 int y = 0x1234;
138 int z = INT_MIN;
139 return (x ^ y) - z;
140 }
141
test12u(unsigned int x)142 unsigned int test12u(unsigned int x)
143 {
144 unsigned int y = 0x1234;
145 unsigned int z = (unsigned int)INT_MIN;
146 return (x ^ y) - z;
147 }
148
149
test(int a,int b)150 void test(int a, int b)
151 {
152 if (test1(a) != b)
153 abort();
154 if (test2(a) != b)
155 abort();
156 if (test3(a) != b)
157 abort();
158 if (test4(a) != b)
159 abort();
160 if (test5(a) != b)
161 abort();
162 if (test6(a) != b)
163 abort();
164 if (test7(a) != b)
165 abort();
166 if (test8(a) != b)
167 abort();
168 if (test9(a) != b)
169 abort();
170 if (test10(a) != b)
171 abort();
172 if (test11(a) != b)
173 abort();
174 if (test12(a) != b)
175 abort();
176 }
177
testu(unsigned int a,unsigned int b)178 void testu(unsigned int a, unsigned int b)
179 {
180 if (test1u(a) != b)
181 abort();
182 if (test2u(a) != b)
183 abort();
184 if (test3u(a) != b)
185 abort();
186 if (test4u(a) != b)
187 abort();
188 if (test5u(a) != b)
189 abort();
190 if (test6u(a) != b)
191 abort();
192 if (test7u(a) != b)
193 abort();
194 if (test8u(a) != b)
195 abort();
196 if (test9u(a) != b)
197 abort();
198 if (test10u(a) != b)
199 abort();
200 if (test11u(a) != b)
201 abort();
202 if (test12u(a) != b)
203 abort();
204 }
205
206
main()207 int main()
208 {
209 #if INT_MAX == 2147483647
210 test(0x00000000,0x80001234);
211 test(0x00001234,0x80000000);
212 test(0x80000000,0x00001234);
213 test(0x80001234,0x00000000);
214 test(0x7fffffff,0xffffedcb);
215 test(0xffffffff,0x7fffedcb);
216
217 testu(0x00000000,0x80001234);
218 testu(0x00001234,0x80000000);
219 testu(0x80000000,0x00001234);
220 testu(0x80001234,0x00000000);
221 testu(0x7fffffff,0xffffedcb);
222 testu(0xffffffff,0x7fffedcb);
223 #endif
224
225 #if INT_MAX == 32767
226 test(0x0000,0x9234);
227 test(0x1234,0x8000);
228 test(0x8000,0x1234);
229 test(0x9234,0x0000);
230 test(0x7fff,0xedcb);
231 test(0xffff,0x6dcb);
232
233 testu(0x0000,0x9234);
234 testu(0x8000,0x1234);
235 testu(0x1234,0x8000);
236 testu(0x9234,0x0000);
237 testu(0x7fff,0xedcb);
238 testu(0xffff,0x6dcb);
239 #endif
240
241 return 0;
242 }
243
244