pub/rsa-recover.c: Gather cleanup to the end of the function.

We get to delete a whole lot of leave-in-the-middle cleanup, and
concentrate it all at the end.  This also lets us recycle temporaries
slightly better.

There's a little light reformatting thrown in, but nothing too aggressive.

diff --git a/pub/rsa-recover.c b/pub/rsa-recover.c
index 1e632313f89cee2bf0164c373e459b1c9f0bb22e..f852f695aece129489b2e9b7dab045c4de9202c2 100644 (file)
--- a/pub/rsa-recover.c
+++ b/pub/rsa-recover.c
@@ -49,19 +49,21 @@
 
 int rsa_recover(rsa_priv *rp)
 {
 
 int rsa_recover(rsa_priv *rp)
 {

+  int rc = -1;

   int i;
   size_t s;
   mpmont mm;
   mp a; mpw aw;
   int i;
   size_t s;
   mpmont mm;
   mp a; mpw aw;

-  mp *g = MP_NEW, *r = MP_NEW, *t = MP_NEW;
+  mp *g = MP_NEW, *r = MP_NEW, *t = MP_NEW, *zt;

   mp *m1 = MP_NEW, *z = MP_NEW, *zz = MP_NEW;
   mp *phi = MP_NEW, *p1 = MP_NEW, *q1 = MP_NEW;
 
   mp *m1 = MP_NEW, *z = MP_NEW, *zz = MP_NEW;
   mp *phi = MP_NEW, *p1 = MP_NEW, *q1 = MP_NEW;
 

+  mm.r = 0;
+

   /* --- If there is no modulus, calculate it --- */
 
   if (!rp->n) {
   /* --- If there is no modulus, calculate it --- */
 
   if (!rp->n) {

-    if (!rp->p || !rp->q)
-      return (-1);
+    if (!rp->p || !rp->q) goto out;

     rp->n = mp_mul(MP_NEW, rp->p, rp->q);
   }
 
     rp->n = mp_mul(MP_NEW, rp->p, rp->q);
   }
 


@@ -72,21 +74,15 @@ int rsa_recover(rsa_priv *rp)
     /* --- If one is missing, use simple division to recover the other --- */
 
     if (rp->p || rp->q) {
     /* --- If one is missing, use simple division to recover the other --- */
 
     if (rp->p || rp->q) {

-      if (rp->p)
-       mp_div(&rp->q, &r, rp->n, rp->p);
-      else
-       mp_div(&rp->p, &r, rp->n, rp->q);
-      if (!MP_EQ(r, MP_ZERO)) {
-       mp_drop(r);
-       return (-1);
-      }
-      mp_drop(r);
+      if (rp->p) mp_div(&rp->q, &r, rp->n, rp->p);
+      else mp_div(&rp->p, &r, rp->n, rp->q);
+      if (!MP_EQ(r, MP_ZERO)) goto out;

     }
 
     /* --- Otherwise use the public and private moduli --- */
 
     else if (!rp->e || !rp->d)
     }
 
     /* --- Otherwise use the public and private moduli --- */
 
     else if (!rp->e || !rp->d)

-      return (-1);
+      goto out;

     else {
 
       /* --- Work out the appropriate exponent --- *
     else {
 
       /* --- Work out the appropriate exponent --- *


@@ -123,8 +119,7 @@ int rsa_recover(rsa_priv *rp)
       aw = primetab[i++];
       z = mpmont_mul(&mm, z, &a, mm.r2);
       z = mpmont_expr(&mm, z, z, t);
       aw = primetab[i++];
       z = mpmont_mul(&mm, z, &a, mm.r2);
       z = mpmont_expr(&mm, z, z, t);

-      if (MP_EQ(z, mm.r) || MP_EQ(z, m1))
-       goto again;
+      if (MP_EQ(z, mm.r) || MP_EQ(z, m1)) goto again;

 
       /* --- Now square until something interesting happens --- *
        *
 
       /* --- Now square until something interesting happens --- *
        *


@@ -137,16 +132,9 @@ int rsa_recover(rsa_priv *rp)
       for (;;) {
        zz = mp_sqr(zz, z);
        zz = mpmont_reduce(&mm, zz, zz);
       for (;;) {
        zz = mp_sqr(zz, z);
        zz = mpmont_reduce(&mm, zz, zz);

-       if (MP_EQ(zz, mm.r)) {
-         mp_drop(zz);
-         goto done;
-       } else if (MP_EQ(zz, m1)) {
-         mp_drop(zz);
-         goto again;
-       }
-       mp_drop(z);
-       z = zz;
-       zz = MP_NEW;
+       if (MP_EQ(zz, mm.r)) goto done;
+       else if (MP_EQ(zz, m1)) goto again;
+       zt = z; z = zz; zz = zt;

       }
 
       /* --- Do the factoring --- *
       }
 
       /* --- Do the factoring --- *


@@ -163,19 +151,10 @@ int rsa_recover(rsa_priv *rp)
     done:
       z = mpmont_reduce(&mm, z, z);
       z = mp_sub(z, z, MP_ONE);
     done:
       z = mpmont_reduce(&mm, z, z);
       z = mp_sub(z, z, MP_ONE);

-      rp->p = MP_NEW;

       mp_gcd(&rp->p, 0, 0, rp->n, z);
       mp_gcd(&rp->p, 0, 0, rp->n, z);

-      rp->q = MP_NEW;

       mp_div(&rp->q, 0, rp->n, rp->p);
       mp_div(&rp->q, 0, rp->n, rp->p);

-      mp_drop(z);
-      mp_drop(t);
-      mp_drop(m1);
-      if (MP_CMP(rp->p, <, rp->q)) {
-       z = rp->p;
-       rp->p = rp->q;
-       rp->q = z;
-      }
-      mpmont_destroy(&mm);
+      if (MP_CMP(rp->p, <, rp->q))
+       { zt = rp->p; rp->p = rp->q; rp->q = zt; }

     }
   }
 
     }
   }
 


@@ -192,50 +171,42 @@ int rsa_recover(rsa_priv *rp)
     q1 = mp_sub(q1, rp->q, MP_ONE);
     mp_gcd(&g, 0, 0, p1, q1);
     mp_div(&phi, 0, phi, g);
     q1 = mp_sub(q1, rp->q, MP_ONE);
     mp_gcd(&g, 0, 0, p1, q1);
     mp_div(&phi, 0, phi, g);

-    mp_drop(p1); p1 = MP_NEW;
-    mp_drop(q1); q1 = MP_NEW;

 
     /* --- Recover the other exponent --- */
 
 
     /* --- Recover the other exponent --- */
 

-    if (rp->e)
-      mp_gcd(&g, 0, &rp->d, phi, rp->e);
-    else if (rp->d)
-      mp_gcd(&g, 0, &rp->e, phi, rp->d);
-    else {
-      mp_drop(phi);
-      mp_drop(g);
-      return (-1);
-    }
-
-    mp_drop(phi);
-    if (!MP_EQ(g, MP_ONE)) {
-      mp_drop(g);
-      return (-1);
-    }
-    mp_drop(g);
+    if (rp->e) mp_gcd(&g, 0, &rp->d, phi, rp->e);
+    else if (rp->d) mp_gcd(&g, 0, &rp->e, phi, rp->d);
+    else goto out;
+    if (!MP_EQ(g, MP_ONE)) goto out;

   }
 
   /* --- Compute %$q^{-1} \bmod p$% --- */
 
   }
 
   /* --- Compute %$q^{-1} \bmod p$% --- */
 

-  if (!rp->q_inv)
-    mp_gcd(0, 0, &rp->q_inv, rp->p, rp->q);
+  if (!rp->q_inv) {
+    mp_gcd(&g, 0, &rp->q_inv, rp->p, rp->q);
+    if (!MP_EQ(g, MP_ONE)) goto out;
+  }

 
   /* --- Compute %$d \bmod (p - 1)$% and %$d \bmod (q - 1)$% --- */
 
   if (!rp->dp) {
     p1 = mp_sub(p1, rp->p, MP_ONE);
     mp_div(0, &rp->dp, rp->d, p1);
 
   /* --- Compute %$d \bmod (p - 1)$% and %$d \bmod (q - 1)$% --- */
 
   if (!rp->dp) {
     p1 = mp_sub(p1, rp->p, MP_ONE);
     mp_div(0, &rp->dp, rp->d, p1);

-    mp_drop(p1);

   }
   if (!rp->dq) {
     q1 = mp_sub(q1, rp->q, MP_ONE);
     mp_div(0, &rp->dq, rp->d, q1);
   }
   if (!rp->dq) {
     q1 = mp_sub(q1, rp->q, MP_ONE);
     mp_div(0, &rp->dq, rp->d, q1);

-    mp_drop(q1);

   }
 
   /* --- Done --- */
 
   }
 
   /* --- Done --- */
 

-  return (0);
+  rc = 0;
+out:
+  mp_drop(g); mp_drop(r); mp_drop(t);
+  mp_drop(m1); mp_drop(z); mp_drop(zz);
+  mp_drop(phi); mp_drop(p1); mp_drop(q1);
+  if (mm.r) mpmont_destroy(&mm);
+  return (rc);

 }
 
 /*----- That's all, folks -------------------------------------------------*/
 }
 
 /*----- That's all, folks -------------------------------------------------*/