src/integer/conv/cl_I_cached_power.cc

   1 // cached_power().
   2
   3 // Specification.
   4 #include "integer/conv/cl_I_cached_power.h"
   5
   6
   7 // Implementation.
   8
   9 namespace cln {
  10
  11 const power_table_entry power_table [36-2+1] = {
  12 #if (intDsize==8)
  13         { 7, 2*2*2*2*2*2*2 },
  14         { 5, 3*3*3*3*3 },
  15         { 3, 4*4*4 },
  16         { 3, 5*5*5 },
  17         { 3, 6*6*6 },
  18         { 2, 7*7 },
  19         { 2, 8*8 },
  20         { 2, 9*9 },
  21         { 2, 10*10 },
  22         { 2, 11*11 },
  23         { 2, 12*12 },
  24         { 2, 13*13 },
  25         { 2, 14*14 },
  26         { 2, 15*15 },
  27         { 1, 16 },
  28         { 1, 17 },
  29         { 1, 18 },
  30         { 1, 19 },
  31         { 1, 20 },
  32         { 1, 21 },
  33         { 1, 22 },
  34         { 1, 23 },
  35         { 1, 24 },
  36         { 1, 25 },
  37         { 1, 26 },
  38         { 1, 27 },
  39         { 1, 28 },
  40         { 1, 29 },
  41         { 1, 30 },
  42         { 1, 31 },
  43         { 1, 32 },
  44         { 1, 33 },
  45         { 1, 34 },
  46         { 1, 35 },
  47         { 1, 36 },
  48 #endif
  49 #if (intDsize==16)
  50         { 15, 2*2*2*2*2*2*2*2*2*2*2*2*2*2*2 },
  51         { 10, 3*3*3*3*3*3*3*3*3*3 },
  52         {  7, 4*4*4*4*4*4*4 },
  53         {  6, 5*5*5*5*5*5 },
  54         {  6, 6*6*6*6*6*6 },
  55         {  5, 7*7*7*7*7 },
  56         {  5, 8*8*8*8*8 },
  57         {  5, 9*9*9*9*9 },
  58         {  4, 10*10*10*10 },
  59         {  4, 11*11*11*11 },
  60         {  4, 12*12*12*12 },
  61         {  4, 13*13*13*13 },
  62         {  4, 14*14*14*14 },
  63         {  4, 15*15*15*15 },
  64         {  3, 16*16*16 },
  65         {  3, 17*17*17 },
  66         {  3, 18*18*18 },
  67         {  3, 19*19*19 },
  68         {  3, 20*20*20 },
  69         {  3, 21*21*21 },
  70         {  3, 22*22*22 },
  71         {  3, 23*23*23 },
  72         {  3, 24*24*24 },
  73         {  3, 25*25*25 },
  74         {  3, 26*26*26 },
  75         {  3, 27*27*27 },
  76         {  3, 28*28*28 },
  77         {  3, 29*29*29 },
  78         {  3, 30*30*30 },
  79         {  3, 31*31*31 },
  80         {  3, 32*32*32 },
  81         {  3, 33*33*33 },
  82         {  3, 34*34*34 },
  83         {  3, 35*35*35 },
  84         {  3, 36*36*36 },
  85 #endif
  86 #if (intDsize==32)
  87         { 31, 2UL*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2 },
  88         { 20, 3UL*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3 },
  89         { 15, 4UL*4*4*4*4*4*4*4*4*4*4*4*4*4*4 },
  90         { 13, 5UL*5*5*5*5*5*5*5*5*5*5*5*5 },
  91         { 12, 6UL*6*6*6*6*6*6*6*6*6*6*6 },
  92         { 11, 7UL*7*7*7*7*7*7*7*7*7*7 },
  93         { 10, 8UL*8*8*8*8*8*8*8*8*8 },
  94         { 10, 9UL*9*9*9*9*9*9*9*9*9 },
  95         {  9, 10UL*10*10*10*10*10*10*10*10 },
  96         {  9, 11UL*11*11*11*11*11*11*11*11 },
  97         {  8, 12UL*12*12*12*12*12*12*12 },
  98         {  8, 13UL*13*13*13*13*13*13*13 },
  99         {  8, 14UL*14*14*14*14*14*14*14 },
 100         {  8, 15UL*15*15*15*15*15*15*15 },
 101         {  7, 16UL*16*16*16*16*16*16 },
 102         {  7, 17UL*17*17*17*17*17*17 },
 103         {  7, 18UL*18*18*18*18*18*18 },
 104         {  7, 19UL*19*19*19*19*19*19 },
 105         {  7, 20UL*20*20*20*20*20*20 },
 106         {  7, 21UL*21*21*21*21*21*21 },
 107         {  7, 22UL*22*22*22*22*22*22 },
 108         {  7, 23UL*23*23*23*23*23*23 },
 109         {  6, 24UL*24*24*24*24*24 },
 110         {  6, 25UL*25*25*25*25*25 },
 111         {  6, 26UL*26*26*26*26*26 },
 112         {  6, 27UL*27*27*27*27*27 },
 113         {  6, 28UL*28*28*28*28*28 },
 114         {  6, 29UL*29*29*29*29*29 },
 115         {  6, 30UL*30*30*30*30*30 },
 116         {  6, 31UL*31*31*31*31*31 },
 117         {  6, 32UL*32*32*32*32*32 },
 118         {  6, 33UL*33*33*33*33*33 },
 119         {  6, 34UL*34*34*34*34*34 },
 120         {  6, 35UL*35*35*35*35*35 },
 121         {  6, 36UL*36*36*36*36*36 },
 122 #endif
 123 #if (intDsize==64)
 124         { 63, 2ULL*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2 },
 125         { 40, 3ULL*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3*3 },
 126         { 31, 4ULL*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4*4 },
 127         { 27, 5ULL*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5*5 },
 128         { 24, 6ULL*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6*6 },
 129         { 22, 7ULL*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7*7 },
 130         { 21, 8ULL*8*8*8*8*8*8*8*8*8*8*8*8*8*8*8*8*8*8*8*8 },
 131         { 20, 9ULL*9*9*9*9*9*9*9*9*9*9*9*9*9*9*9*9*9*9*9 },
 132         { 19, 10ULL*10*10*10*10*10*10*10*10*10*10*10*10*10*10*10*10*10*10 },
 133         { 18, 11ULL*11*11*11*11*11*11*11*11*11*11*11*11*11*11*11*11*11 },
 134         { 17, 12ULL*12*12*12*12*12*12*12*12*12*12*12*12*12*12*12*12 },
 135         { 17, 13ULL*13*13*13*13*13*13*13*13*13*13*13*13*13*13*13*13 },
 136         { 16, 14ULL*14*14*14*14*14*14*14*14*14*14*14*14*14*14*14 },
 137         { 16, 15ULL*15*15*15*15*15*15*15*15*15*15*15*15*15*15*15 },
 138         { 15, 16ULL*16*16*16*16*16*16*16*16*16*16*16*16*16*16 },
 139         { 15, 17ULL*17*17*17*17*17*17*17*17*17*17*17*17*17*17 },
 140         { 15, 18ULL*18*18*18*18*18*18*18*18*18*18*18*18*18*18 },
 141         { 15, 19ULL*19*19*19*19*19*19*19*19*19*19*19*19*19*19 },
 142         { 14, 20ULL*20*20*20*20*20*20*20*20*20*20*20*20*20 },
 143         { 14, 21ULL*21*21*21*21*21*21*21*21*21*21*21*21*21 },
 144         { 14, 22ULL*22*22*22*22*22*22*22*22*22*22*22*22*22 },
 145         { 14, 23ULL*23*23*23*23*23*23*23*23*23*23*23*23*23 },
 146         { 13, 24ULL*24*24*24*24*24*24*24*24*24*24*24*24 },
 147         { 13, 25ULL*25*25*25*25*25*25*25*25*25*25*25*25 },
 148         { 13, 26ULL*26*26*26*26*26*26*26*26*26*26*26*26 },
 149         { 13, 27ULL*27*27*27*27*27*27*27*27*27*27*27*27 },
 150         { 13, 28ULL*28*28*28*28*28*28*28*28*28*28*28*28 },
 151         { 13, 29ULL*29*29*29*29*29*29*29*29*29*29*29*29 },
 152         { 13, 30ULL*30*30*30*30*30*30*30*30*30*30*30*30 },
 153         { 12, 31ULL*31*31*31*31*31*31*31*31*31*31*31 },
 154         { 12, 32ULL*32*32*32*32*32*32*32*32*32*32*32 },
 155         { 12, 33ULL*33*33*33*33*33*33*33*33*33*33*33 },
 156         { 12, 34ULL*34*34*34*34*34*34*34*34*34*34*34 },
 157         { 12, 35ULL*35*35*35*35*35*35*35*35*35*35*35 },
 158         { 12, 36ULL*36*36*36*36*36*36*36*36*36*36*36 },
 159 #endif
 160 };
 161
 162 cached_power_table* ctable [36-2+1] = {
 163         NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 164         NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 165         NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 166         NULL, NULL, NULL, NULL, NULL
 167 };
 168
 169 const cached_power_table_entry * cached_power (uintD base, uintL i)
 170 {
 171         var cached_power_table* ptr;
 172         if (!(ptr = ctable[base-2]))
 173         { ctable[base-2] = ptr = new cached_power_table (); }
 174         var uintL j;
 175         for (j = 0; j <= i; j++) {
 176                 if (zerop(ptr->element[j].base_pow)) {
 177                         // Compute b^(k*2^j) and its inverse.
 178                         cl_I x =
 179                             (j==0 ? cl_I(power_table[base-2].b_to_the_k)
 180                                   : ptr->element[j-1].base_pow * ptr->element[j-1].base_pow
 181                              );
 182                         ptr->element[j].base_pow = x;
 183 #ifdef MUL_REPLACES_DIV
 184                         ptr->element[j].inv_base_pow = floor1(ash(1,2*integer_length(x)),x);
 185 #endif
 186                 }
 187         }
 188         return &ptr->element[i];
 189 }
 190
 191 AT_DESTRUCTION(cached_power)
 192 {
 193         for (var uintD base = 2; base <= 36; base++) {
 194                 var cached_power_table* ptr = ctable[base-2];
 195                 if (ptr) {
 196                         delete ptr;
 197                         ctable[base-2] = NULL;
 198                 }
 199         }
 200 }
 201
 202 }  // namespace cln