1 /** test one byte mul/div/mod operations.
12 {attrL} unsigned char ucL;
14 {attrR} unsigned char ucR;
15 volatile char r8 , r8b;
16 volatile unsigned char ur8, ur8b;
17 volatile short r16, r16b;
19 cL = -127; cR = -5; r16 = cL * cR; r16b = cR * cL; ASSERT (r16 == 635); ASSERT (r16b == 635);
20 cL = 127; cR = -5; r16 = cL * cR; r16b = cR * cL; ASSERT (r16 == -635); ASSERT (r16b == -635);
21 cL = -127; cR = 5; r16 = cL * cR; r16b = cR * cL; ASSERT (r16 == -635); ASSERT (r16b == -635);
22 cL = 127; cR = 5; r16 = cL * cR; r16b = cR * cL; ASSERT (r16 == 635); ASSERT (r16b == 635);
24 cL = -128; cR = -1; ur8 = cL * cR; ur8b = cR * cL; ASSERT (ur8 == 128); ASSERT (ur8b == 128);
25 cL = 128; cR = -1; r8 = cL * cR; r8b = cR * cL; ASSERT ( r8 == -128); ASSERT ( r8b == -128);
26 cL = -128; cR = 1; r8 = cL * cR; r8b = cR * cL; ASSERT ( r8 == -128); ASSERT ( r8b == -128);
27 cL = 128; cR = 1; ur8 = cL * cR; ur8b = cR * cL; ASSERT (ur8 == 128); ASSERT (ur8b == 128);
29 ucL = 128; cR = -5; r16 = ucL * cR; r16b = cR * ucL; ASSERT (r16 == -640); ASSERT (r16b == -640);
30 ucL = 128; cR = 5; r16 = ucL * cR; r16b = cR * ucL; ASSERT (r16 == 640); ASSERT (r16b == 640);
32 ucL = 127; cR = -1; r8 = ucL * cR; r8b = cR * ucL; ASSERT ( r8 == -127); ASSERT ( r8b == -127);
33 ucL = 128; cR = 1; ur8 = ucL * cR; ur8b = cR * ucL; ASSERT (ur8 == 128); ASSERT (ur8b == 128);
34 ucL = 128; ucR = 5; r16 = ucL * ucR; r16b = ucR * ucL; ASSERT (r16 == 640); ASSERT (r16b == 640);
35 ucL = 128; ucR = 1; ur8 = ucL * ucR; ur8b = ucR * ucL; ASSERT (ur8 == 128); ASSERT (ur8b == 128);
37 ucL = 254; cR = -1; r16 = ucL * cR; ASSERT (r16 == -254);
38 cL = -128; cR = -1; r16 = cL * cR; ASSERT (r16 == 128);
45 {attrL} unsigned char ucL;
47 {attrR} unsigned char ucR;
49 volatile unsigned char ur8;
52 cL = -128; cR = -2; r8 = cL / cR; ASSERT (r8 == 64);
53 cL = -128; cR = -2; r16 = cL / cR; ASSERT (r16 == 64);
55 ucL = 255; ucR = 3; r8 = ucL / ucR; ASSERT (r8 == 85);
56 ucL = 255; ucR = 255; r8 = ucL / ucR; ASSERT (r8 == 1);
57 ucL = 3; ucR = 255; r8 = ucL / ucR; ASSERT (r8 == 0);
59 cL = 127; cR = 3; r8 = cL / cR; ASSERT (r8 == 42);
60 cL = -127; cR = 3; r8 = cL / cR; ASSERT (r8 == -42);
61 cL = 127; cR = -3; r8 = cL / cR; ASSERT (r8 == -42);
62 cL = -127; cR = -3; r8 = cL / cR; ASSERT (r8 == 42);
64 ucL = 127; cR = 3; r8 = ucL / cR; ASSERT (r8 == 42);
65 ucL = 255; cR = 3; r8 = ucL / cR; ASSERT (r8 == 85);
66 ucL = 127; cR = -3; r8 = ucL / cR; ASSERT (r8 == -42);
67 ucL = 255; cR = -3; r8 = ucL / cR; ASSERT (r8 == -85);
69 cL = 127; ucR = 3; r8 = cL / ucR; ASSERT (r8 == 42);
70 cL = -127; ucR = 3; r8 = cL / ucR; ASSERT (r8 == -42);
71 cL = 127; ucR = 128; r8 = cL / ucR; ASSERT (r8 == 0);
72 cL = -127; ucR = 128; r8 = cL / ucR; ASSERT (r8 == 0);
74 cL = 127; cR = 1; r8 = cL / cR; ASSERT (r8 == 127);
75 cL = 127; cR = 1; r16 = cL / cR; ASSERT (r16 == 127);
77 ucL = 251; cR = 1; ur8 = ucL / cR; ASSERT (ur8 == 251);
78 ucL = 251; cR = 1; r16 = ucL / cR; ASSERT (r16 == 251);
80 ucL = 253; cR = -3; r8 = ucL / cR; ASSERT (r8 == -84);
81 ucL = 253; cR = -3; r16 = ucL / cR; ASSERT (r16 == -84);
83 ucL = 254; cR = -1; r16 = ucL / cR; ASSERT (r16 == -254);
84 cL = -128; cR = -1; r16 = cL / cR; ASSERT (r16 == 128);
91 {attrL} unsigned char ucL;
93 {attrR} unsigned char ucR;
95 volatile unsigned char ur8;
98 ucL = 128; cR = 5; r16 = ucL % cR; ASSERT (r16 == 3);
99 ucL = 128; cR = -5; r16 = ucL % cR; ASSERT (r16 == 3);
100 ucL = 128; ucR = 5; r16 = ucL % ucR; ASSERT (r16 == 3);
102 ucL = 128; ucR = 255; ur8 = ucL % ucR; ASSERT (ur8 == 128);
103 ucL = 128; ucR = 255; r16 = ucL % ucR; ASSERT (r16 == 128);
105 ucL = 128; cR = 127; r8 = ucL % cR; ASSERT (r8 == 1);
107 cL = 127; cR = 5; r16 = cL % cR; ASSERT (r16 == 2);
109 cL = 127; cR = -5; r16 = cL % cR; ASSERT (r16 == 2);
111 cL = 127; ucR = 5; r16 = cL % ucR; ASSERT (r16 == 2);
113 cL = -128; cR = 5; r16 = cL % cR; ASSERT (r16 == -3);
115 cL = -128; cR = -5; r16 = cL % cR; ASSERT (r16 == -3);
117 cL = -128; ucR = 5; r16 = cL % ucR; ASSERT (r16 == -3);
124 {attrL} unsigned char ucL;
126 {attrR} unsigned char ucR;
127 volatile short r16, r16b;
129 cL = 0x00; cR = 0x80; r16 = cL | cR; r16b = cR | cL; ASSERT (r16 == (short) 0xff80); ASSERT (r16b == (short) 0xff80);
130 ucL = 0x80; cR = 0x00; r16 = ucL | cR; r16b = cR | ucL; ASSERT (r16 == 0x80); ASSERT (r16b == 0x80);
131 ucL = 0x80; ucR = 0x80; r16 = ucL | ucR; r16b = ucR | ucL; ASSERT (r16 == 0x80); ASSERT (r16b == 0x80);
138 {attrL} unsigned char ucL;
140 {attrR} unsigned char ucR;
141 volatile short r16, r16b;
143 cL = 0x80; cR = 0x80; r16 = cL ^ cR; r16b = cR ^ cL; ASSERT (r16 == 0); ASSERT (r16b == 0);
144 cL = 0x80; cR = 0x00; r16 = cL ^ cR; r16b = cR ^ cL; ASSERT (r16 == (short) 0xff80); ASSERT (r16b == (short) 0xff80);
146 ucL = 0x80; cR = 0x80; r16 = ucL ^ cR; r16b = cR ^ ucL; ASSERT (r16 == (short) 0xff00); ASSERT (r16b == (short) 0xff00);
147 ucL = 0x80; cR = 0; r16 = ucL ^ cR; r16b = cR ^ ucL; ASSERT (r16 == 0x80); ASSERT (r16b == 0x80);
148 ucL = 0; cR = 0x80; r16 = ucL ^ cR; r16b = cR ^ ucL; ASSERT (r16 == (short) 0xff80); ASSERT (r16b == (short) 0xff80);
150 ucL = 0x80; ucR = 0x80; r16 = ucL ^ ucR; r16b = ucR ^ ucL; ASSERT (r16 == 0); ASSERT (r16b == 0);
151 ucL = 0; ucR = 0x80; r16 = ucL ^ ucR; r16b = ucR ^ ucL; ASSERT (r16 == 0x80); ASSERT (r16b == 0x80);
158 {attrL} unsigned char ucL;
160 {attrR} unsigned char ucR;
161 volatile short r16, r16b;
163 cL = 0x80; cR = 0x80; r16 = cL & cR; r16b = cR & cL; ASSERT (r16 == (short) 0xff80); ASSERT (r16b == (short) 0xff80);
164 ucL = 0x80; cR = 0x80; r16 = ucL & cR; r16b = cR & ucL; ASSERT (r16 == 0x80); ASSERT (r16b == 0x80);
165 ucL = 0x80; ucR = 0x80; r16 = ucL & ucR; r16b = ucR & ucL; ASSERT (r16 == 0x80); ASSERT (r16b == 0x80);
169 testComplement (void)
172 {attrR} unsigned char uc;
175 c = 0x00; r16 = ~ c; ASSERT (r16 == (short) 0xffff); ASSERT (~ c < 0);
176 uc = 0x00; r16 = ~uc; ASSERT (r16 == (short) 0xffff); ASSERT (~uc < 0);
177 ASSERT (~ (char) 0x00 == (short) 0xffff); ASSERT (~ (char) 0x00 < 0);
178 ASSERT (~ (unsigned char) 0x00 == (short) 0xffff); ASSERT (~ (unsigned char) 0x00 < 0);
179 c = 0x80; r16 = ~ c; ASSERT (r16 == (short) 0x007f); ASSERT (~ c > 0);
180 uc = 0x80; r16 = ~uc; ASSERT (r16 == (short) 0xff7f); ASSERT (~uc < 0);
181 ASSERT (~ (char) 0x80 == (short) 0x007f); ASSERT (~ (char) 0x80 > 0);
182 ASSERT (~ (unsigned char) 0x80 == (short) 0xff7f); ASSERT (~ (unsigned char) 0x80 < 0);
193 {attrL} signed char c;
194 {attrR} unsigned char uc;
197 uc = 0x80; /* +128 */
210 signed char {attrL} sc;
211 unsigned char {attrL} uc;
212 signed int {attrL} si;
213 unsigned int {attrL} ui;
214 signed long {attrL} sl;
215 unsigned long {attrL} ul;
217 ASSERT (-(53l ) < 0);
218 ASSERT (-(53ul) > 0);
225 ASSERT (-(53u ) > 0);
231 ASSERT (-( 250 ) == -250);
233 ASSERT (-uc == -250);
235 ASSERT (-(-128 ) == 128);
241 testBug1571231 (void)
243 unsigned char {attrL} uc;