src/integer/bitwise/cl_I_ldbx.cc

   1 // ldb_extract().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_I_byte.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_integer.h"
  13 #include "cl_I.h"
  14 #include "cl_DS.h"
  15
  16 const cl_I ldb_extract (const cl_I& x, uintL p, uintL q)
  17     { CL_ALLOCA_STACK;
  18       var const uintD* MSDptr;
  19       var uintC len;
  20       var const uintD* LSDptr;
  21       I_to_NDS_nocopy(x, MSDptr=,len=,LSDptr=,cl_true, { return 0; } ); // NDS zu x bilden
  22       // MSDptr erhöhen und len erniedrigen, so daß len = ceiling(q/intDsize) wird:
  23       { var uintL qD = ceiling(q,intDsize); // ceiling(q/intDsize)
  24         // wegen q<=l ist qD = ceiling(q/intDsize) <= ceiling((l+1)/intDsize) = len, also
  25         // paßt qD ebenso wie len in ein uintC.
  26         MSDptr = MSDptr mspop ((uintL)len - qD); // MSDptr um len-qD Digits erhöhen
  27         len = qD; // len um len-qD erniedrigen
  28       }
  29       // LSDptr und len um floor(p/intDsize) erniedrigen:
  30       { var uintL pD = floor(p,intDsize); // floor(p/intDsize)
  31         LSDptr = LSDptr lspop pD;
  32         len -= pD;
  33       }
  34       // Jetzt enthält MSDptr/len/LSDptr genau die maßgeblichen Digits.
  35       var uintD* newMSDptr;
  36       { var uintL i = p%intDsize; // p mod intDsize
  37         // Kopiere sie und schiebe sie dabei um i Bits nach rechts:
  38         num_stack_alloc_1((uintL)len, newMSDptr=,); // neue UDS newMSDptr/len/..
  39         if (i==0)
  40           { copy_loop_msp(MSDptr,newMSDptr,len); }
  41           else
  42           { shiftrightcopy_loop_msp(MSDptr,newMSDptr,len,i,0); }
  43       }
  44       // newMSDptr/len/.. = geschobene Kopie der maßgeblichen Digits
  45       // Ausblenden der Bits mit Nummern >= q-p:
  46       { var uintL bitcount = intDsize*(uintL)len - (q-p);
  47         // Anzahl vorne auszublendender Bits ( >=0, <= intDsize-1 + intDsize-1 )
  48         if (bitcount>=intDsize)
  49           { bitcount -= intDsize; msshrink(newMSDptr); len -= 1; } // intDsize Bits ausblenden
  50         // Noch 0 <= bitcount < intDsize Bits auszublenden:
  51         if (bitcount > 0)
  52           { mspref(newMSDptr,0) &= (uintD)(bit(intDsize-bitcount)-1); }
  53       }
  54       // Jetzt enthält die UDS newMSDptr/len/.. die extrahierten Bits.
  55       return UDS_to_I(newMSDptr,len); // UDS in Integer umwandeln
  56     }