backends/simplec/test00_tb.c

   1 #include <stdio.h>
   2 #include <assert.h>
   3 #include "test00_uut.c"
   4
   5 uint32_t xorshift32()
   6 {
   7         static uint32_t x32 = 314159265;
   8         x32 ^= x32 << 13;
   9         x32 ^= x32 >> 17;
  10         x32 ^= x32 << 5;
  11         return x32;
  12 }
  13
  14 int main()
  15 {
  16         struct test_state_t state;
  17         uint32_t a, b, c, x, y, z, w;
  18         bool first_eval = true;
  19
  20         for (int i = 0; i < 10; i++)
  21         {
  22                 a = xorshift32();
  23                 b = xorshift32();
  24                 c = xorshift32();
  25
  26                 x = (a & b) | c;
  27                 y = a & (b | c);
  28                 z = a ^ b ^ c;
  29                 w = z;
  30
  31                 state.a.value_7_0   = a;
  32                 state.a.value_15_8  = a >> 8;
  33                 state.a.value_23_16 = a >> 16;
  34                 state.a.value_31_24 = a >> 24;
  35
  36                 state.b.value_7_0   = b;
  37                 state.b.value_15_8  = b >> 8;
  38                 state.b.value_23_16 = b >> 16;
  39                 state.b.value_31_24 = b >> 24;
  40
  41                 state.c.value_7_0   = c;
  42                 state.c.value_15_8  = c >> 8;
  43                 state.c.value_23_16 = c >> 16;
  44                 state.c.value_31_24 = c >> 24;
  45
  46                 if (first_eval) {
  47                         first_eval = false;
  48                         test_init(&state);
  49                 } else {
  50                         test_eval(&state);
  51                 }
  52
  53                 uint32_t uut_x = 0;
  54                 uut_x |= (uint32_t)state.x.value_7_0;
  55                 uut_x |= (uint32_t)state.x.value_15_8  << 8;
  56                 uut_x |= (uint32_t)state.x.value_23_16 << 16;
  57                 uut_x |= (uint32_t)state.x.value_31_24 << 24;
  58
  59                 uint32_t uut_y = 0;
  60                 uut_y |= (uint32_t)state.y.value_7_0;
  61                 uut_y |= (uint32_t)state.y.value_15_8  << 8;
  62                 uut_y |= (uint32_t)state.y.value_23_16 << 16;
  63                 uut_y |= (uint32_t)state.y.value_31_24 << 24;
  64
  65                 uint32_t uut_z = 0;
  66                 uut_z |= (uint32_t)state.z.value_7_0;
  67                 uut_z |= (uint32_t)state.z.value_15_8  << 8;
  68                 uut_z |= (uint32_t)state.z.value_23_16 << 16;
  69                 uut_z |= (uint32_t)state.z.value_31_24 << 24;
  70
  71                 uint32_t uut_w = 0;
  72                 uut_w |= (uint32_t)state.w.value_7_0;
  73                 uut_w |= (uint32_t)state.w.value_15_8  << 8;
  74                 uut_w |= (uint32_t)state.w.value_23_16 << 16;
  75                 uut_w |= (uint32_t)state.w.value_31_24 << 24;
  76
  77                 printf("---\n");
  78                 printf("A: 0x%08x\n", a);
  79                 printf("B: 0x%08x\n", b);
  80                 printf("C: 0x%08x\n", c);
  81                 printf("X: 0x%08x 0x%08x\n", x, uut_x);
  82                 printf("Y: 0x%08x 0x%08x\n", y, uut_y);
  83                 printf("Z: 0x%08x 0x%08x\n", z, uut_z);
  84                 printf("W: 0x%08x 0x%08x\n", w, uut_w);
  85
  86                 assert(x == uut_x);
  87                 assert(y == uut_y);
  88                 assert(z == uut_z);
  89                 assert(w == uut_w);
  90         }
  91
  92         return 0;
  93 }