Regression tests now pass on z80

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

diff --git a/support/regression/tests/muldiv.c b/support/regression/tests/muldiv.c
index ad3bdfc5560104cda06e0af63f9718c0f248b983..c66c70574974ef4917c32c89eaa5196af5f28fc5 100644 (file)
--- a/support/regression/tests/muldiv.c
+++ b/support/regression/tests/muldiv.c
@@ -1,42 +1,108 @@
 /** Simple test for the mul/div/mod operations.
 
-    type: int
-    storage: , static
+    type: int, char, short
+    storage: static,
+    attr: volatile,
 */
 #include <testfwk.h>
 
+static void
+testUnsignedModDiv(void)
+{
+    {attr} {storage} unsigned {type} i;
+    unsigned {type} result;
+
+    i = 100;
+
+    result = i/3;
+    ASSERT(result == 33);
+
+    result = i/12;
+    ASSERT(result == 8);
+
+    result = i%7;
+    ASSERT(result == 2);
+
+    result = i%34;
+    ASSERT(result == 32);
+}
+
+static void
+testUnsignedMul(void)
+{
+    {attr} {storage} unsigned {type} i;
+    unsigned {type} result;
+
+    i = 37;
+
+    LOG(("i*3 == 111 = %u\n", i*3));
+    result = i*3;
+    ASSERT(result == 111);
+
+    result = i*12;
+    ASSERT(result == ((unsigned {type})444));
+}
+
 static void
 testMul(void)
 {
-#if SDCC
-    // Disabled as the z80 port is broken
-#else
-    volatile {storage} {type} i;
+    {attr} {storage} signed {type} i;
+    signed {type} result;
 
     i = 5;
-    ASSERT(i*5 == 25);
+
+    LOG(("i*5 == 25 = %u\n", (int)i*5));
+    result = i*5;
+    ASSERT(result == 25);
+    LOG(("i*-4 == -20 = %u\n", (int)i*-4));
     ASSERT(i*-4 == -20);
 
     i = -10;
+    LOG(("i*12 == -120 = %u\n", (int)i*12));
     ASSERT(i*12 == -120);
+    LOG(("i*-3 == 30 = %u\n", (int)i*-3));
     ASSERT(i*-3 == 30);
-#endif
+
+    LOG(("30 == %u\n", (int)i*-3));
 }
 
 static void
 testDiv(void)
 {
-#if SDCC
-    // Disabled as the z80 port is broken
-#else
-    volatile {storage} {type} i;
+    {attr} {storage} signed {type} i;
 
     i = 100;
+    LOG(("i/5 == 20 = %u\n", (int)i/5));
     ASSERT(i/5 == 20);
+    LOG(("i/-4 == -25 = %u\n", (int)i/-4));
     ASSERT(i/-4 == -25);
 
     i = -50;
+    LOG(("i/25 == -2 = %u\n", (int)i/25));
     ASSERT(i/25 == -2);
+    LOG(("i/-12 == 4 = %u\n", (int)i/-12));
     ASSERT(i/-12 == 4);
+}
+
+static void
+testMod(void)
+{
+    {attr} {storage} signed {type} i;
+
+    // Disabled the LOG functions due to a bug in sdcc involving
+    // vaargs.
+    i = 100;
+    //    LOG(("i%%17 == 15 = %u\n", (int)(i%9)));
+    ASSERT(i%17 == 15);
+
+#if MOD_SIGN_FOLLOWS_DIVIDEND
+    //    LOG(("i%%-7 == 2 = %u\n", (int)i%-7));
+    ASSERT(i%-7 == 2);
+
+    i = -49;
+    //    LOG(("i%%3 == -1 = %u\n", (int)i%3));
+    ASSERT(i%3 == -1);
+    //    LOG(("i%%-5 == -4 = %u\n", (int)i%-5));
+    ASSERT(i%-5 == -4);
 #endif
 }