git.gag.com Git - fw/sdcc/blob - support/regression/tests/rotate.c

   1 /** Tests covering rotate operations
   2     size: 8,16,32
   3     msb: 0,1
   4 */
   5 #include <testfwk.h>
   6
   7 #define SIZE ({size})
   8 #define MSB ({msb})
   9
  10 #if SIZE == 8
  11 #  define TYPE unsigned char
  12 #  if MSB
  13 #    define TEST_VECT 0xa4
  14 #  else
  15 #    define TEST_VECT 0x53
  16 #  endif
  17 #endif
  18
  19 #if SIZE == 16
  20 #  define TYPE unsigned int
  21 #  if MSB
  22 #    define TEST_VECT 0xa8ce
  23 #  else
  24 #    define TEST_VECT 0x5357
  25 #  endif
  26 #endif
  27
  28 #if SIZE == 32
  29 #  define TYPE unsigned long
  30 #  if MSB
  31 #    define TEST_VECT 0xa8c5a5c6
  32 #  else
  33 #    define TEST_VECT 0x55357553
  34 #  endif
  35 #endif
  36
  37 #if !defined __ds390
  38 TYPE rol1(TYPE s){ return (s<<1) | (s>>(SIZE-1)); }
  39 TYPE rol2(TYPE s){ return (s<<2) | (s>>(SIZE-2)); }
  40 TYPE rol3(TYPE s){ return (s<<3) | (s>>(SIZE-3)); }
  41 TYPE rol4(TYPE s){ return (s<<4) | (s>>(SIZE-4)); }
  42 TYPE rol5(TYPE s){ return (s<<5) | (s>>(SIZE-5)); }
  43 TYPE rol6(TYPE s){ return (s<<6) | (s>>(SIZE-6)); }
  44 TYPE rol7(TYPE s){ return (s<<7) | (s>>(SIZE-7)); }
  45 #endif
  46
  47 #if SIZE >=16 && !defined __ds390
  48 TYPE rol8 (TYPE s){ return (s<<8 ) | (s>>(SIZE-8 )); }
  49 TYPE rol9 (TYPE s){ return (s<<9 ) | (s>>(SIZE-9 )); }
  50 TYPE rol10(TYPE s){ return (s<<10) | (s>>(SIZE-10)); }
  51 TYPE rol11(TYPE s){ return (s<<11) | (s>>(SIZE-11)); }
  52 TYPE rol12(TYPE s){ return (s<<12) | (s>>(SIZE-12)); }
  53 TYPE rol13(TYPE s){ return (s<<13) | (s>>(SIZE-13)); }
  54 TYPE rol14(TYPE s){ return (s<<14) | (s>>(SIZE-14)); }
  55 TYPE rol15(TYPE s){ return (s<<15) | (s>>(SIZE-15)); }
  56 #endif
  57
  58 #if SIZE >=32
  59 TYPE rol16(TYPE s){ return (s<<16) | (s>>(SIZE-16)); }
  60 TYPE rol17(TYPE s){ return (s<<17) | (s>>(SIZE-17)); }
  61
  62 TYPE rol23(TYPE s){ return (s<<23) | (s>>(SIZE-23)); }
  63 TYPE rol24(TYPE s){ return (s<<24) | (s>>(SIZE-24)); }
  64 TYPE rol25(TYPE s){ return (s<<25) | (s>>(SIZE-25)); }
  65
  66 TYPE rol30(TYPE s){ return (s<<30) | (s>>(SIZE-30)); }
  67 TYPE rol31(TYPE s){ return (s<<31) | (s>>(SIZE-31)); }
  68 #endif
  69
  70 static void
  71 testRol(void)
  72 {
  73     volatile TYPE t = TEST_VECT;
  74     TYPE u;
  75
  76     u = t;
  77 #if !defined __ds390
  78     ASSERT( rol1(u) == (TYPE)((TEST_VECT<<1) | (TEST_VECT>>(SIZE-1))) );
  79     ASSERT( rol2(u) == (TYPE)((TEST_VECT<<2) | (TEST_VECT>>(SIZE-2))) );
  80     ASSERT( rol3(u) == (TYPE)((TEST_VECT<<3) | (TEST_VECT>>(SIZE-3))) );
  81     ASSERT( rol4(u) == (TYPE)((TEST_VECT<<4) | (TEST_VECT>>(SIZE-4))) );
  82     ASSERT( rol5(u) == (TYPE)((TEST_VECT<<5) | (TEST_VECT>>(SIZE-5))) );
  83     ASSERT( rol6(u) == (TYPE)((TEST_VECT<<6) | (TEST_VECT>>(SIZE-6))) );
  84     ASSERT( rol7(u) == (TYPE)((TEST_VECT<<7) | (TEST_VECT>>(SIZE-7))) );
  85 #endif
  86
  87 #if SIZE >=16 && !defined __ds390
  88     ASSERT( rol8 (u) == (TYPE)((TEST_VECT<<8 ) | (TEST_VECT>>(SIZE-8 ))) );
  89     ASSERT( rol9 (u) == (TYPE)((TEST_VECT<<9 ) | (TEST_VECT>>(SIZE-9 ))) );
  90     ASSERT( rol10(u) == (TYPE)((TEST_VECT<<10) | (TEST_VECT>>(SIZE-10))) );
  91     ASSERT( rol11(u) == (TYPE)((TEST_VECT<<11) | (TEST_VECT>>(SIZE-11))) );
  92     ASSERT( rol12(u) == (TYPE)((TEST_VECT<<12) | (TEST_VECT>>(SIZE-12))) );
  93     ASSERT( rol13(u) == (TYPE)((TEST_VECT<<13) | (TEST_VECT>>(SIZE-13))) );
  94     ASSERT( rol14(u) == (TYPE)((TEST_VECT<<14) | (TEST_VECT>>(SIZE-14))) );
  95     ASSERT( rol15(u) == (TYPE)((TEST_VECT<<15) | (TEST_VECT>>(SIZE-15))) );
  96 #endif
  97
  98 #if SIZE >=32
  99     ASSERT( rol16(u) == (TYPE)((TEST_VECT<<16) | (TEST_VECT>>(SIZE-16))) );
 100     ASSERT( rol17(u) == (TYPE)((TEST_VECT<<17) | (TEST_VECT>>(SIZE-17))) );
 101
 102     ASSERT( rol23(u) == (TYPE)((TEST_VECT<<23) | (TEST_VECT>>(SIZE-23))) );
 103     ASSERT( rol24(u) == (TYPE)((TEST_VECT<<24) | (TEST_VECT>>(SIZE-24))) );
 104     ASSERT( rol25(u) == (TYPE)((TEST_VECT<<25) | (TEST_VECT>>(SIZE-25))) );
 105
 106     ASSERT( rol30(u) == (TYPE)((TEST_VECT<<30) | (TEST_VECT>>(SIZE-30))) );
 107     ASSERT( rol31(u) == (TYPE)((TEST_VECT<<31) | (TEST_VECT>>(SIZE-31))) );
 108 #endif
 109 }
 110