* device/lib/_modsint.c,

[fw/sdcc] / support / regression / tests / onebyte.c

diff --git a/support/regression/tests/onebyte.c b/support/regression/tests/onebyte.c
new file mode 100644 (file)
index 0000000..a5fb515
--- /dev/null
+++ b/support/regression/tests/onebyte.c
@@ -0,0 +1,123 @@
+/** test one byte mul/div/mod operations.
+
+  attrL: volatile,
+  attrR: volatile,
+*/
+#include <testfwk.h>
+
+void
+testMul(void)
+{
+  {attrL}            char  cL;
+  {attrL}  unsigned  char ucL;
+  {attrR}            char  cR;
+  {attrR}  unsigned  char ucR;
+  volatile           char   r8 , r8b;
+  volatile unsigned  char  ur8, ur8b;
+  volatile           short r16, r16b;
+
+  cL = -127; cR =   -5; r16 =  cL * cR; r16b = cR *  cL; ASSERT(r16 ==  635); ASSERT(r16b ==  635);
+  cL =  127; cR =   -5; r16 =  cL * cR; r16b = cR *  cL; ASSERT(r16 == -635); ASSERT(r16b == -635);
+  cL = -127; cR =    5; r16 =  cL * cR; r16b = cR *  cL; ASSERT(r16 == -635); ASSERT(r16b == -635);
+  cL =  127; cR =    5; r16 =  cL * cR; r16b = cR *  cL; ASSERT(r16 ==  635); ASSERT(r16b ==  635);
+
+  cL = -128; cR =   -1; ur8  =  cL * cR; ur8b  = cR *  cL; ASSERT(ur8  ==  128); ASSERT(ur8b  ==  128);
+  cL =  128; cR =   -1;  r8  =  cL * cR;  r8b  = cR *  cL; ASSERT( r8  == -128); ASSERT( r8b  == -128);
+  cL = -128; cR =    1;  r8  =  cL * cR;  r8b  = cR *  cL; ASSERT( r8  == -128); ASSERT( r8b  == -128);
+  cL =  128; cR =    1; ur8  =  cL * cR; ur8b  = cR *  cL; ASSERT(ur8  ==  128); ASSERT(ur8b  ==  128);
+
+#ifndef SDCC_z80
+  ucL = 128; cR =   -5; r16 = ucL * cR; r16b = cR * ucL; ASSERT(r16 == -640); ASSERT(r16b == -640);
+  ucL = 128; cR =    5; r16 = ucL * cR; r16b = cR * ucL; ASSERT(r16 ==  640); ASSERT(r16b ==  640);
+#endif
+
+  ucL = 127;  cR =  -1;  r8 = ucL * cR;   r8b  = cR * ucL; ASSERT( r8 == -127); ASSERT( r8b  == -127);
+  ucL = 128;  cR =   1; ur8 = ucL * cR;  ur8b  = cR * ucL; ASSERT(ur8 ==  128); ASSERT(ur8b  ==  128);
+  ucL = 128; ucR =   5; r16 = ucL * ucR; r16b = ucR * ucL; ASSERT(r16 ==  640); ASSERT(r16b ==  640);
+  ucL = 128; ucR =   1; ur8 = ucL * ucR; ur8b = ucR * ucL; ASSERT(ur8 ==  128); ASSERT(ur8b ==  128);
+}
+
+void
+testDiv(void)
+{
+  {attrL}           char  cL;
+  {attrL}  unsigned char ucL;
+  {attrR}           char  cR;
+  {attrR}  unsigned char ucR;
+  volatile          char  r8;
+  volatile unsigned char ur8;
+  volatile         short r16;
+
+   cL = -128;  cR =   -2; r8  = cL / cR; ASSERT(r8  ==  64);
+   cL = -128;  cR =   -2; r16 = cL / cR; ASSERT(r16 ==  64);
+ 
+  ucL =  255; ucR =    3; r8 = ucL / ucR; ASSERT(r8 ==  85);
+  ucL =  255; ucR =  255; r8 = ucL / ucR; ASSERT(r8 ==   1);
+  ucL =    3; ucR =  255; r8 = ucL / ucR; ASSERT(r8 ==   0);
+
+   cL =  127;  cR =    3; r8 =  cL /  cR; ASSERT(r8 ==  42);
+   cL = -127;  cR =    3; r8 =  cL /  cR; ASSERT(r8 == -42);
+   cL =  127;  cR =   -3; r8 =  cL /  cR; ASSERT(r8 == -42);
+   cL = -127;  cR =   -3; r8 =  cL /  cR; ASSERT(r8 ==  42);
+
+  ucL =  127;  cR =    3; r8 = ucL /  cR; ASSERT(r8 ==  42);
+  ucL =  255;  cR =    3; r8 = ucL /  cR; ASSERT(r8 ==  85);
+#ifndef SDCC_z80
+  ucL =  127;  cR =   -3; r8 = ucL /  cR; ASSERT(r8 == -42);
+  ucL =  255;  cR =   -3; r8 = ucL /  cR; ASSERT(r8 == -85);
+#endif
+   
+   cL =  127; ucR =    3; r8 =  cL / ucR; ASSERT(r8 ==  42);
+   cL = -127; ucR =    3; r8 =  cL / ucR; ASSERT(r8 == -42);
+   cL =  127; ucR =  128; r8 =  cL / ucR; ASSERT(r8 ==   0);
+   cL = -127; ucR =  128; r8 =  cL / ucR; ASSERT(r8 ==   0);
+
+   cL =  127;  cR =    1; r8  =  cL /  cR; ASSERT(r8  == 127);
+   cL =  127;  cR =    1; r16 =  cL /  cR; ASSERT(r16 == 127);
+
+  ucL = 251;   cR =    1; ur8 = ucL /  cR; ASSERT(ur8 == 251);
+  ucL = 251;   cR =    1; r16 = ucL /  cR; ASSERT(r16 == 251);
+  
+#ifndef SDCC_z80
+  ucL = 253;   cR =   -3; r8  = ucL /  cR; ASSERT(r8  == -84);
+  ucL = 253;   cR =   -3; r16 = ucL /  cR; ASSERT(r16 == -84);
+  
+  ucL =  254;  cR =   -1; r16 = ucL /  cR; ASSERT(r16 == -254);
+#endif
+   cL = -128;  cR =   -1; r16 =  cL /  cR; ASSERT(r16 ==  128);
+}
+
+void
+testMod(void)
+{
+  {attrL}           char  cL;
+  {attrL}  unsigned char ucL;
+  {attrR}           char  cR;
+  {attrR}  unsigned char ucR;
+  volatile          char  r8;
+  volatile unsigned char ur8;
+  volatile         short r16;
+
+  ucL =  128;  cR =    5; r16 = ucL %  cR; ASSERT(r16 ==  3);
+#ifndef SDCC_z80
+  ucL =  128;  cR =   -5; r16 = ucL %  cR; ASSERT(r16 ==  3);
+#endif
+  ucL =  128; ucR =    5; r16 = ucL % ucR; ASSERT(r16 ==  3);
+
+  ucL =  128; ucR =  255; ur8 = ucL % ucR; ASSERT(ur8 == 128);
+  ucL =  128; ucR =  255; r16 = ucL % ucR; ASSERT(r16 == 128);
+
+  ucL =  128;  cR =  127; r8  = ucL %  cR; ASSERT(r8  ==  1);
+   
+   cL =  127;  cR =    5; r16 =  cL %  cR; ASSERT(r16 ==  2);
+   r16 = -1;
+   cL =  127;  cR =   -5; r16 =  cL %  cR; ASSERT(r16 ==  2);
+   r16 = -1;
+   cL =  127; ucR =    5; r16 =  cL % ucR; ASSERT(r16 ==  2);
+  
+   cL = -128;  cR =    5; r16 =  cL %  cR; ASSERT(r16 == -3);
+   r16 = 0;
+   cL = -128;  cR =   -5; r16 =  cL %  cR; ASSERT(r16 == -3);
+   r16 = 0;
+   cL = -128; ucR =    5; r16 =  cL % ucR; ASSERT(r16 == -3);
+}