crmf 0.1.1 → 0.1.3

data/ext/crlibm-1.0beta5/scs_lib/multiplication_scs.c

@@ -0,0 +1,339 @@
+/** Functions for SCS multiplication operations 
+@file multiplication_scs.c
+
+@author Defour David David.Defour@ens-lyon.fr
+@author Florent de Dinechin Florent.de.Dinechin@ens-lyon.fr 
+
+ This file is part of the SCS library.
+*/
+
+/*
+Copyright (C) 2002  David Defour and Florent de Dinechin
+
+    This library is free software; you can redistribute it and/or
+    modify it under the terms of the GNU Lesser General Public
+    License as published by the Free Software Foundation; either
+    version 2.1 of the License, or (at your option) any later version.
+
+    This library is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+    Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public
+    License along with this library; if not, write to the Free Software
+    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+
+*/
+
+#include "scs.h"
+#include "scs_private.h"
+
+#if 0 /* used to help debugging */
+void pr(char* s,double d) {
+  db_number x;
+  x.d=d;
+  printf(s);printf("   ");
+  printf("%8x%8x . 2^%d   (%8f %8x %8x)   \n",
+	 (x.i[HI]&0x000FFFFF)+0x00100000,
+	 x.i[LO],
+	 (x.i[HI]>>20)-1023,
+	 x.d,
+	 x.i[HI],
+	 x.i[LO]);
+}
+#endif
+
+
+
+/*  Compute the carry of r1, remove it from r1, and add it to r0 */
+#define SCS_CARRY_PROPAGATE(r1,r0,tmp) \
+      {tmp = r1>>SCS_NB_BITS; r0 += tmp; r1 -= (tmp<<SCS_NB_BITS);}     
+
+
+
+
+
+
+
+/************************************************************/
+/* We have unrolled the loops for SCS_NB_WORDS==8 
+It leads to almost x2 speedup.
+
+   We just wish gcc would do it for us ! There are option switches,
+   but they don't lead to any performance improvement. When they do,
+   this part of the source code will be removed.
+
+   In the meantime, feel free to unroll for other values. */
+
+
+
+
+
+/***************************/
+#if (SCS_NB_WORDS==8)
+/***************************/
+void scs_mul(scs_ptr result, scs_ptr x, scs_ptr y){
+  uint64_t     val, tmp;
+  uint64_t     r0,r1,r2,r3,r4,r5,r6,r7,r8;
+  uint64_t     x0,x1,x2,x3,x4,x5,x6,x7;
+  int                    y0,y1,y2,y3,y4,y5,y6,y7;
+    
+  R_EXP = X_EXP * Y_EXP;
+  R_SGN = X_SGN * Y_SGN;
+  R_IND = X_IND + Y_IND;
+
+  /* Partial products computation */   
+  x7=X_HW[7];  y7=Y_HW[7];  x6=X_HW[6];  y6=Y_HW[6];
+  x5=X_HW[5];  y5=Y_HW[5];  x4=X_HW[4];  y4=Y_HW[4];
+  x3=X_HW[3];  y3=Y_HW[3];  x2=X_HW[2];  y2=Y_HW[2];
+  x1=X_HW[1];  y1=Y_HW[1];  x0=X_HW[0];  y0=Y_HW[0];
+
+  r8 = x7*y1 + x6*y2 + x5*y3 + x4*y4 + x3*y5 + x2*y6 + x1*y7;
+  r7 = x7*y0 + x6*y1 + x5*y2 + x4*y3 + x3*y4 + x2*y5 + x1*y6 + x0*y7;
+  r6 = x6*y0 + x5*y1 + x4*y2 + x3*y3 + x2*y4 + x1*y5 + x0*y6;
+  r5 = x5*y0 + x4*y1 + x3*y2 + x2*y3 + x1*y4 + x0*y5;
+  r4 = x4*y0 + x3*y1 + x2*y2 + x1*y3 + x0*y4 ;
+  r3 = x3*y0 + x2*y1 + x1*y2 + x0*y3;
+  r2 = x2*y0 + x1*y1 + x0*y2;
+  r1 = x1*y0 + x0*y1 ;
+  r0 = x0*y0 ;
+ 
+  val= 0;
+  /* Carry Propagate */
+  SCS_CARRY_PROPAGATE(r8,r7,tmp)
+  SCS_CARRY_PROPAGATE(r7,r6,tmp)
+  SCS_CARRY_PROPAGATE(r6,r5,tmp)
+  SCS_CARRY_PROPAGATE(r5,r4,tmp)
+  SCS_CARRY_PROPAGATE(r4,r3,tmp)
+  SCS_CARRY_PROPAGATE(r3,r2,tmp)
+  SCS_CARRY_PROPAGATE(r2,r1,tmp)
+  SCS_CARRY_PROPAGATE(r1,r0,tmp)      
+  SCS_CARRY_PROPAGATE(r0,val,tmp)      
+ 
+  if(val != 0){
+    /* shift all the digits ! */
+    R_HW[0] = val; R_HW[1] = r0; R_HW[2] = r1;  R_HW[3] = r2;
+    R_HW[4] = r3;  R_HW[5] = r4; R_HW[6] = r5;  R_HW[7] = r6;
+    R_IND += 1;
+  }
+  else {
+    R_HW[0] = r0; R_HW[1] = r1; R_HW[2] = r2; R_HW[3] = r3;
+    R_HW[4] = r4; R_HW[5] = r5; R_HW[6] = r6; R_HW[7] = r7;
+  }
+
+}
+
+
+void scs_square(scs_ptr result, scs_ptr x){
+  uint64_t  r0,r1,r2,r3,r4,r5,r6,r7,r8;
+  uint64_t  x0,x1,x2,x3,x4,x5,x6,x7;
+  uint64_t  val, tmp;
+
+
+  R_EXP = X_EXP * X_EXP;
+  R_IND = X_IND + X_IND;
+  R_SGN = 1;
+    
+  /*
+   * Partial products
+   */   
+  x7=X_HW[7];  x6=X_HW[6];  x5=X_HW[5];  x4=X_HW[4];
+  x3=X_HW[3];  x2=X_HW[2];  x1=X_HW[1];  x0=X_HW[0];
+
+  r0 =  x0*x0;
+  r1 = (x0*x1)* 2 ;
+  r2 =  x1*x1 + (x0*x2*2);
+  r3 = (x1*x2 +  x0*x3)* 2;
+  r4 =  x2*x2 + (x1*x3 + x0*x4)* 2;
+  r5 = (x2*x3 +  x1*x4 + x0*x5)* 2;
+  r6 =  x3*x3 + (x2*x4 + x1*x5 + x0*x6)* 2;
+  r7 = (x3*x4 +  x2*x5 + x1*x6 + x0*x7)* 2;
+  r8 =  x4*x4 + (x3*x5 + x2*x6 + x1*x7)* 2;
+
+  val= 0;
+  /* Carry propagation */
+  SCS_CARRY_PROPAGATE(r8,r7,tmp)
+  SCS_CARRY_PROPAGATE(r7,r6,tmp)
+  SCS_CARRY_PROPAGATE(r6,r5,tmp)
+  SCS_CARRY_PROPAGATE(r5,r4,tmp)
+  SCS_CARRY_PROPAGATE(r4,r3,tmp)
+  SCS_CARRY_PROPAGATE(r3,r2,tmp)
+  SCS_CARRY_PROPAGATE(r2,r1,tmp)
+  SCS_CARRY_PROPAGATE(r1,r0,tmp)      
+  SCS_CARRY_PROPAGATE(r0,val,tmp)      
+ 
+  if(val != 0){
+    /* shift all the digits ! */
+    R_HW[0] = val; R_HW[1] = r0; R_HW[2] = r1;  R_HW[3] = r2;
+    R_HW[4] = r3;  R_HW[5] = r4; R_HW[6] = r5;  R_HW[7] = r6;
+    R_IND += 1;
+  }
+  else {
+    R_HW[0] = r0; R_HW[1] = r1; R_HW[2] = r2; R_HW[3] = r3;
+    R_HW[4] = r4; R_HW[5] = r5; R_HW[6] = r6; R_HW[7] = r7;
+  }
+  
+}
+
+
+
+/***************************/
+#else
+/***************************/
+/* From there on, the normal, unrolled case */
+
+
+void scs_mul(scs_ptr result, scs_ptr x, scs_ptr y){
+  uint64_t RES[SCS_NB_WORDS+1];
+  uint64_t val, tmp;
+  int i, j;    
+
+  R_EXP = X_EXP * Y_EXP;
+  R_SGN = X_SGN * Y_SGN;
+  R_IND = X_IND + Y_IND;
+
+  for(i=0; i<=SCS_NB_WORDS; i++)
+    RES[i]=0;
+
+  /* Compute only the first half of the partial product. See the
+     unrolled code for an example of what we compute */
+
+ /* i=0 */
+ tmp = X_HW[0];
+ for(j=0; j<(SCS_NB_WORDS); j++)
+   RES[j] += tmp * Y_HW[j];
+ /* i = 1..SCS_NB_WORDS-1 */
+ for(i=1 ; i<SCS_NB_WORDS; i++){
+      tmp = X_HW[i];
+      for(j=0; j<(SCS_NB_WORDS-i); j++)
+	RES[i+j] += tmp * Y_HW[j];
+      RES[SCS_NB_WORDS] += tmp * Y_HW[j]; /* here j==SCS_NB_WORDS-i */
+  }
+
+  val = 0;
+
+  /* Carry propagate */
+  for(i=SCS_NB_WORDS; i>0; i--)
+    SCS_CARRY_PROPAGATE(RES[i],RES[i-1],tmp)
+  SCS_CARRY_PROPAGATE(RES[0],val,tmp)
+
+
+  /* Store the result */
+  if(val != 0){
+    /* shift all the digits ! */     
+    R_HW[0] = val;
+    for(i=1; i<SCS_NB_WORDS; i++)
+      R_HW[i] = RES[i-1];
+  
+    R_IND += 1;
+  }else {
+    for(i=0; i<SCS_NB_WORDS; i++)
+      R_HW[i] = RES[i];
+   }
+}
+
+
+
+
+
+
+
+void scs_square(scs_ptr result, scs_ptr x){
+  uint64_t RES[SCS_NB_WORDS+1];
+  uint64_t val, tmp;
+  int i, j;
+  
+
+  R_EXP = X_EXP * X_EXP;
+  R_SGN = 1;
+  R_IND = X_IND + X_IND;
+
+  /* Set to 0 intermediate register     */
+  for(i=0; i<=SCS_NB_WORDS; i++)
+    RES[i] = 0;
+
+  /* Compute all the double partial products: 2 x_i * x_j, i!=j */
+  tmp = (uint64_t)X_HW[0];
+  for(j=1; j<SCS_NB_WORDS; j++)
+    RES[j] += tmp * X_HW[j];
+  for(i=1 ; i<(SCS_NB_WORDS+1)/2; i++){
+    tmp = (uint64_t)X_HW[i];
+    for(j=i+1; j<(SCS_NB_WORDS-i); j++)
+      RES[i+j] += tmp * X_HW[j];
+    RES[SCS_NB_WORDS] += tmp * X_HW[SCS_NB_WORDS-i];
+  }
+
+  /* All these partial products are double */
+  for(i=0; i<=SCS_NB_WORDS; i++)
+    RES[i] *=2;
+
+  /* Add partial product of the form x_i^2 */
+  for(i=0, j=0; i<=SCS_NB_WORDS; i+=2, j++){
+    RES[i]  += (uint64_t)X_HW[j] * X_HW[j];
+  }  
+
+  val = 0;
+  /* Carry propagate */
+  for(i=SCS_NB_WORDS; i>0; i--)
+      SCS_CARRY_PROPAGATE(RES[i],RES[i-1],tmp)
+ 
+  SCS_CARRY_PROPAGATE(RES[0],val,tmp)
+
+
+  /* Store the result */
+  if(val != 0){
+    /* shift all the digits ! */     
+    R_HW[0] = val;
+    for(i=1; i<SCS_NB_WORDS; i++)
+      R_HW[i] = RES[i-1];
+  
+    R_IND += 1;
+  }else {
+    for(i=0; i<SCS_NB_WORDS; i++)
+      R_HW[i] = RES[i];
+   }
+
+}
+
+
+/* 
+ * #endif corresponding to the test #if (SCS_NB_WORDS==8)
+ */
+#endif
+
+
+/*
+ Multiply x by an integer val; result is returned in x.
+ */
+ void scs_mul_ui(scs_ptr x, unsigned int val_int){
+  uint64_t val, tmp, vald, rr;
+  int i;
+
+  if (val_int == 0)
+    X_EXP = 0;
+  
+  vald = val_int;
+
+  val = 0; 
+  rr  = 0;
+  for(i=(SCS_NB_WORDS-1); i>=0; i--){
+    val    += vald * X_HW[i];
+    SCS_CARRY_PROPAGATE(val, rr, tmp)
+    X_HW[i] = val;
+    val     = rr;
+    rr      = 0; 
+  }
+
+  if(val != 0){
+    /* shift all the digits ! */ 
+    for(i=(SCS_NB_WORDS-1); i>0; i--)
+      X_HW[i] = X_HW[i-1];
+
+    X_HW[0] = (unsigned int)val;
+    X_IND  += 1;
+  }
+  
+  return;
+}
+

data/ext/crlibm-1.0beta5/scs_lib/poly_fct.c

@@ -0,0 +1,112 @@
+/*
+ * Author  : Defour David
+ * Contact : David.Defour@ens-lyon.fr
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or 
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  
+ */
+#include "scs.h"
+#include "scs_private.h"
+
+
+/*
+ * result = z + (x * y)
+ */
+/* z->sign = X_SGN . Y_SGN */
+void scs_fma(scs_ptr result,  scs_ptr x,  scs_ptr y,  scs_ptr z){
+  uint64_t RES[2*SCS_NB_WORDS];
+  uint64_t val, tmp;
+  int i, j, ind, Diff;    
+
+  ind = X_IND + Y_IND; 
+
+  for(i=0; i<=SCS_NB_WORDS+1; i++)
+    RES[i]=0;
+  
+  for(i=0 ; i<SCS_NB_WORDS; i++){
+    for(j=0; j<(SCS_NB_WORDS-i); j++){
+      RES[i+j] += (uint64_t)X_HW[i] * Y_HW[j];
+    }}
+
+  /* if we can perform an add */
+  if (z->sign == (X_SGN * Y_SGN)){
+    Diff = z->index - ind;
+    if (Diff >= 0){
+      for(i=(SCS_NB_WORDS-1), j=(SCS_NB_WORDS-Diff); j>=0; i--, j--)
+	RES[i] = z->h_word[i] + RES[j];     
+      for(  ; i>=0; i--)
+	RES[i] = z->h_word[i]; 
+    }else {    
+      for(i=(SCS_NB_WORDS+Diff), j=(SCS_NB_WORDS-1); i>=0; i--, j--)
+	RES[j] = z->h_word[i] + RES[j];     
+    }
+
+    /* Carry propagate */
+    RES[SCS_NB_WORDS-1] += (RES[SCS_NB_WORDS]>>SCS_NB_BITS);
+    for(i=(SCS_NB_WORDS-1); i>0; i--)
+      {tmp = RES[i]>>SCS_NB_BITS;  RES[i-1] += tmp;  RES[i] -= (tmp<<SCS_NB_BITS);}
+    
+    val = RES[0] >> SCS_NB_BITS;
+    R_IND = X_IND + Y_IND;
+    
+    /* Store the result */
+    if(val != 0){
+      /* shift all the digits ! */     
+      R_HW[0] = (unsigned int)val;
+      R_HW[1] = (unsigned int)(RES[0] - (val<<SCS_NB_BITS));
+      for(i=2; i<SCS_NB_WORDS; i++)
+	R_HW[i] = (unsigned int)RES[i-1];
+      
+      R_IND += 1;
+    }
+    else {
+      for(i=0; i<SCS_NB_WORDS; i++)
+	R_HW[i] = (unsigned int)RES[i];
+    }
+    
+    R_EXP = (z->exception.d + (X_EXP * Y_EXP)) - 1;
+    R_SGN = X_SGN * Y_SGN;
+  
+  }else {
+    /* we have to do a sub */
+
+    /* Carry propagate */
+    RES[SCS_NB_WORDS-1] += (RES[SCS_NB_WORDS]>>SCS_NB_BITS);
+    for(i=(SCS_NB_WORDS-1); i>0; i--)
+      {tmp = RES[i]>>SCS_NB_BITS;  RES[i-1] += tmp;  RES[i] -= (tmp<<SCS_NB_BITS);}
+    
+    val = RES[0] >> SCS_NB_BITS;
+    R_IND = X_IND + Y_IND;
+    
+    /* Store the result */
+    if(val != 0){
+      /* shift all the digits ! */     
+      R_HW[0] = (unsigned int)val;
+      R_HW[1] = (unsigned int)(RES[0] - (val<<SCS_NB_BITS));
+      for(i=2; i<SCS_NB_WORDS; i++)
+	R_HW[i] = (unsigned int)RES[i-1];
+      
+      R_IND += 1;
+    }
+    else {
+      for(i=0; i<SCS_NB_WORDS; i++)
+	R_HW[i] = (unsigned int)RES[i];
+    }
+    
+    R_EXP = (X_EXP * Y_EXP);
+    R_SGN = X_SGN * Y_SGN;
+
+    scs_add(result, result, z);
+  }
+}

data/ext/crlibm-1.0beta5/scs_lib/print_scs.c

@@ -0,0 +1,73 @@
+/*
+ * Author  : Defour David
+ * Contact : David.Defour@ens-lyon.fr
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or 
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  
+ */
+#include <stdio.h>
+#include "scs.h"
+#include "scs_private.h"
+
+
+/*
+ * used by the next function to write
+ * bit of the integer in the right order ....
+ */
+static void print_order(unsigned int x, int nb, int b){
+  if (nb<=0)
+    return;
+  print_order(x/b, nb-1, b);
+  printf("%u",x%b);
+  return;
+}
+/*
+ * print nb digits of the chain x in base "b"
+ * b must be between 1 and 10
+ */ 
+static void print_integer(unsigned int x, int b, int nb){
+   
+  if ((b < 2)||(b>16)){
+    fprintf(stderr," ERROR: You musn't print number with a base larger than 10 or less than 2 \n");
+    return;
+  }
+  print_order(x, nb, b);
+  return;
+}
+
+
+/*
+ * Convert a double precision number in it scs multiprecision
+ * representation
+ *
+ * Rem. : We haven't tested all special cases yet.
+ */
+
+/*
+ */
+void scs_get_std( scs_ptr x){
+  int i; 
+  db_number d;
+
+  scs_get_d(&d.d, x);
+  printf("Exception : %e \n", X_EXP);
+  printf("Index= %d   \n Sign=  %d \n Double value= %.30e   \n Hex mantissa= %x %x\n", 
+	 X_IND, X_SGN, d.d, d.i[HI], d.i[LO]);
+  for(i=0;i<SCS_NB_WORDS;i++){
+    printf("  D %d :  %8x %20u \n",i, X_HW[i], X_HW[i]);
+  }
+}
+
+
+

data/ext/crlibm-1.0beta5/scs_lib/rand_scs.c

@@ -0,0 +1,63 @@
+/*
+ * Author  : Defour David
+ * Contact : David.Defour@ens-lyon.fr
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or 
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  
+ */
+#include <stdlib.h>
+#include "scs.h"
+#include "scs_private.h"
+
+/*
+ * Return 'sizeof(int)' random bits   
+ */
+
+
+int rand_val(void){
+  int val;
+  int i;
+
+  val = (rand() & 0x000000ff);
+  for(i=0; i<(sizeof(int)); i++){
+    val = val << 8;
+    val += (rand() & 0x000000ff ); /* we keep only 8 bits */
+  }
+  return val;
+}
+
+
+/*
+ * Put into 'result' a scs random number with the index field set
+ * with a value between -expo_max and +expo_max.
+ *
+ * Rem. :
+ * 1) If you want an scs number belonging to double precision floating
+ * point number you must call scs_rand with an expo_max less than 39.
+ * 2) expo_max must be less than RAND_MAX that is usually set a
+ * value greater than 32767
+ */
+void scs_rand(scs_ptr result, int expo_max){
+  int i;
+
+  R_EXP = 1;
+  R_IND = (rand() % (2*expo_max)) - expo_max;
+  R_SGN = ((2*rand()- RAND_MAX) > 0) ?  (-1) : (1);
+
+  
+  for(i=0; i<SCS_NB_WORDS; i++){
+    /* We keep the first SCS_NB_BITS bits of a random value */
+    R_HW[i] = rand_val() & SCS_MASK_RADIX; 
+  }
+}