[src] Replaced some "return 0" by "MPFR_RET (0)" (the generated code

is the same as shown by gcc, thanks to an obvious optimization; this
is semantically better, which could help provers, and would allow
code instrumentation in the future, if need be).

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11928 280ebfd0-de03-0410-8827-d642c229c3f4

5 files changed, 22 insertions, 25 deletions

diff --git a/src/div.c b/src/div.c
index 890d8984d..86bbdd51c 100644
--- a/src/div.c
+++ b/src/div.c
@@ -208,7 +208,7 @@ mpfr_div_1 (mpfr_ptr q, mpfr_srcptr u, mpfr_srcptr v, mpfr_rnd_t rnd_mode)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(qx >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -351,7 +351,7 @@ mpfr_div_1n (mpfr_ptr q, mpfr_srcptr u, mpfr_srcptr v, mpfr_rnd_t rnd_mode)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(qx >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -614,7 +614,7 @@ mpfr_div_2 (mpfr_ptr q, mpfr_srcptr u, mpfr_srcptr v, mpfr_rnd_t rnd_mode)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(qx >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
diff --git a/src/mul.c b/src/mul.c
index c5a072001..dbacaf1b7 100644
--- a/src/mul.c
+++ b/src/mul.c
@@ -280,7 +280,7 @@ mpfr_mul_1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -375,7 +375,7 @@ mpfr_mul_1n (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -501,7 +501,7 @@ mpfr_mul_2 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -638,7 +638,7 @@ mpfr_mul_3 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
diff --git a/src/sqr.c b/src/sqr.c
index 416f14e5b..cacb369de 100644
--- a/src/sqr.c
+++ b/src/sqr.c
@@ -95,7 +95,7 @@ mpfr_sqr_1 (mpfr_ptr a, mpfr_srcptr b, mpfr_rnd_t rnd_mode, mpfr_prec_t p)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -187,7 +187,7 @@ mpfr_sqr_1n (mpfr_ptr a, mpfr_srcptr b, mpfr_rnd_t rnd_mode)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -316,7 +316,7 @@ mpfr_sqr_2 (mpfr_ptr a, mpfr_srcptr b, mpfr_rnd_t rnd_mode, mpfr_prec_t p)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -455,7 +455,7 @@ mpfr_sqr_3 (mpfr_ptr a, mpfr_srcptr b, mpfr_rnd_t rnd_mode, mpfr_prec_t p)
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
     {
       MPFR_ASSERTD(ax >= __gmpfr_emin);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
diff --git a/src/sqrt.c b/src/sqrt.c
index 9b487af65..7acb5f06c 100644
--- a/src/sqrt.c
+++ b/src/sqrt.c
@@ -160,7 +160,7 @@ mpfr_sqrt1 (mpfr_ptr r, mpfr_srcptr u, mpfr_rnd_t rnd_mode)
       MPFR_ASSERTD (rb == 0 || rnd_mode == MPFR_RNDF);
       MPFR_ASSERTD(exp_r >= __gmpfr_emin);
       MPFR_ASSERTD(exp_r <= __gmpfr_emax);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -288,7 +288,7 @@ mpfr_sqrt1n (mpfr_ptr r, mpfr_srcptr u, mpfr_rnd_t rnd_mode)
     {
       MPFR_ASSERTD(exp_r >= __gmpfr_emin);
       MPFR_ASSERTD(exp_r <= __gmpfr_emax);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
@@ -437,7 +437,7 @@ mpfr_sqrt2 (mpfr_ptr r, mpfr_srcptr u, mpfr_rnd_t rnd_mode)
     {
       MPFR_ASSERTD(exp_r >= __gmpfr_emin);
       MPFR_ASSERTD(exp_r <= __gmpfr_emax);
-      return 0; /* idem than MPFR_RET(0) but faster */
+      MPFR_RET (0);
     }
   else if (rnd_mode == MPFR_RNDN)
     {
diff --git a/src/sub1sp.c b/src/sub1sp.c
index 38ca86b37..decb12244 100644
--- a/src/sub1sp.c
+++ b/src/sub1sp.c
@@ -123,7 +123,7 @@ mpfr_sub1sp1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
           else
             MPFR_SET_POS(a);
           MPFR_SET_ZERO(a);
-          return 0; /* same as MPFR_RET(0) but faster */
+          MPFR_RET (0);
         }
       else if (a0 > bp[0]) /* borrow: |c| > |b| */
         {
@@ -245,8 +245,7 @@ mpfr_sub1sp1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
 
   MPFR_SET_EXP (a, bx);
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
-    return 0; /* idem than MPFR_RET(0) but faster, for RNDF the ternary value and
-                 inexact flag are unspecified */
+    MPFR_RET (0);
   else if (rnd_mode == MPFR_RNDN)
     {
       if (rb == 0 || (sb == 0 && (ap[0] & (MPFR_LIMB_ONE << sh)) == 0))
@@ -304,7 +303,7 @@ mpfr_sub1sp1n (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
           else
             MPFR_SET_POS(a);
           MPFR_SET_ZERO(a);
-          return 0; /* same as MPFR_RET(0) but faster */
+          MPFR_RET (0);
         }
       else if (a0 > bp[0]) /* borrow: |c| > |b| */
         {
@@ -430,7 +429,7 @@ mpfr_sub1sp1n (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
 
   MPFR_SET_EXP (a, bx);
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
-    return 0; /* idem than MPFR_RET(0) but faster */
+    MPFR_RET (0);
   else if (rnd_mode == MPFR_RNDN)
     {
       if (rb == 0 || (sb == 0 && (ap[0] & MPFR_LIMB_ONE) == 0))
@@ -490,7 +489,7 @@ mpfr_sub1sp2 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
           else
             MPFR_SET_POS(a);
           MPFR_SET_ZERO(a);
-          return 0; /* same as MPFR_RET(0) but faster */
+          MPFR_RET (0);
         }
       else if (a1 >= bp[1]) /* borrow: |c| > |b| */
         {
@@ -688,8 +687,7 @@ mpfr_sub1sp2 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
 
   MPFR_SET_EXP (a, bx);
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
-    return 0; /* idem than MPFR_RET(0) but faster, for RNDF the ternary value and
-                 inexact flag are unspecified */
+    MPFR_RET (0);
   else if (rnd_mode == MPFR_RNDN)
     {
       if (rb == 0 || (sb == 0 && (ap[0] & (MPFR_LIMB_ONE << sh)) == 0))
@@ -752,7 +750,7 @@ mpfr_sub1sp3 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
           else
             MPFR_SET_POS(a);
           MPFR_SET_ZERO(a);
-          return 0; /* same as MPFR_RET(0) but faster */
+          MPFR_RET (0);
         }
       else if (a2 >= bp[2]) /* borrow: |c| > |b| */
         {
@@ -1013,8 +1011,7 @@ mpfr_sub1sp3 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
 
   MPFR_SET_EXP (a, bx);
   if ((rb == 0 && sb == 0) || rnd_mode == MPFR_RNDF)
-    return 0; /* idem than MPFR_RET(0) but faster, for RNDF the ternary value and
-                 inexact flag are unspecified */
+    MPFR_RET (0);
   else if (rnd_mode == MPFR_RNDN)
     {
       if (rb == 0 || (sb == 0 && (ap[0] & (MPFR_LIMB_ONE << sh)) == 0))