sdcc/support/regression/tests/bitfirstleading.c.in

   1 /* Test find first leading bit operations from stdbit.h
   2
   3    type: unsigned short, unsigned int, unsigned long, unsigned long long
   4  */
   5
   6 #include <testfwk.h>
   7
   8 #ifdef __SDCC // Todo: Enable for all C23 implementations
   9 #pragma std_c23
  10 #include <stdbit.h>
  11 #endif
  12
  13 #include <limits.h>
  14
  15 volatile {type} i;
  16
  17 #define OTHERBYTEBITS(x) (sizeof(x) - 1) * CHAR_BIT
  18
  19 void
  20 testTrailing(void)
  21 {
  22 #ifdef __SDCC // Todo: Enable for all C23 implementations
  23
  24         i = 0x0;
  25         ASSERT (stdc_first_leading_one(i) == 0);
  26         ASSERT (stdc_first_leading_zero(i) == 1);
  27
  28         i = 0x1;
  29         ASSERT (stdc_first_leading_one(i) == OTHERBYTEBITS(i) + 8);
  30         ASSERT (stdc_first_leading_zero(i) == 1);
  31
  32         i = 0x2;
  33         ASSERT (stdc_first_leading_one(i) == OTHERBYTEBITS(i) + 7);
  34         ASSERT (stdc_first_leading_zero(i) == 1);
  35
  36         i = 0x3;
  37         ASSERT (stdc_first_leading_one(i) == OTHERBYTEBITS(i) + 7);
  38         ASSERT (stdc_first_leading_zero(i) == 1);
  39
  40         i = 0x7;
  41         ASSERT (stdc_first_leading_one(i) == OTHERBYTEBITS(i) + 6);
  42         ASSERT (stdc_first_leading_zero(i) == 1);
  43
  44         i = 0x8;
  45         ASSERT (stdc_first_leading_one(i) == OTHERBYTEBITS(i) + 5);
  46         ASSERT (stdc_first_leading_zero(i) == 1);
  47
  48         i = 0x9;
  49         ASSERT (stdc_first_leading_one(i) == OTHERBYTEBITS(i) + 5);
  50         ASSERT (stdc_first_leading_zero(i) == 1);
  51 #endif
  52 }
  53