src/integer/bitwise/cl_I_mkf.cc

   1 // mask_field().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_integer.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_integer.h"
  13 #include "cl_I.h"
  14 #include "cl_I_byte.h"
  15
  16 const cl_I mask_field (const cl_I& n, const cl_byte& b)
  17 {
  18       // Methode:
  19       // (mask-field (byte s p) n) extrahiere die Bits p,...,p+s-1 von n.
  20       // l:=(integer-length n)
  21       // Falls l <= p :
  22       //   Falls n>=0: 0, falls n<0: 2^(p+s) - 2^p (s Einsenbits).
  23       // Falls p <= l :
  24       //   q:=min(p+s,l).
  25       //   Extrahiere die Bits p,...,q-1 von n.
  26       //   Falls p+s>l und n<0, füge p+s-l Einsenbits an (addiere 2^(p+s)-2^l).
  27       var uintL s = b.size;
  28       var uintL p = b.position;
  29      {var uintL ps = p+s;
  30       var uintL l = integer_length(n); // l = (integer-length n)
  31       if (l<=p)
  32         // l<=p
  33         if (!minusp(n))
  34           // n>=0
  35           return 0; // 0 als Ergebnis
  36           else
  37           // n<0
  38           return cl_fullbyte(p,ps); // 2^(p+s)-2^p als Ergebnis
  39         else
  40         // l>p
  41         { // Bits p,...,q-1 mit q = min(p+s,l) extrahieren:
  42           var cl_I erg = mkf_extract(n,p,(ps<l ? ps : l));
  43           if ((ps>l) && minusp(n)) // p+s>l und n<0 ?
  44             { return logior(erg,cl_fullbyte(l,ps)); } // setze Bits l,...,p+s-1
  45             // (logisches Exklusiv-Oder oder Addition ginge auch)
  46             else
  47             return erg;
  48      }  }
  49 }