From db08e73ebaf34ae1339ee6f855a508f22ee4e221 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Thu, 15 Apr 1999 11:29:51 +0000
Subject: [PATCH] - Added a few (non-called) function, to test the optimization
 by egcs for   constants (1*x, 0+x,...). - In case the rounding mode is buggy,
 prints the detected rounding mode.

---
 .../test/Interval_arithmetic/tst0.C           | 32 +++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/Packages/Interval_arithmetic/test/Interval_arithmetic/tst0.C b/Packages/Interval_arithmetic/test/Interval_arithmetic/tst0.C
index 0c9dc66f090..ff79e8c45b3 100644
--- a/Packages/Interval_arithmetic/test/Interval_arithmetic/tst0.C
+++ b/Packages/Interval_arithmetic/test/Interval_arithmetic/tst0.C
@@ -4,6 +4,22 @@
 
 using namespace CGAL;
 
+// 5 temporary functions to test the inlining of the compiler.
+bool triv_test_1 ()
+{ return Interval_nt_advanced(1.0) < Interval_nt_advanced(2.0); }
+
+bool triv_test_2 ()
+{ return true; }
+
+Interval_nt_advanced triv_mul_1 (Interval_nt_advanced x)
+{ return x * Interval_nt_advanced(1.0); }
+
+Interval_nt_advanced triv_1_mul (Interval_nt_advanced x)
+{ return Interval_nt_advanced(1.0) * x; }
+
+Interval_nt_advanced triv (Interval_nt_advanced x)
+{ return x; }
+
 // Rounding mode empiric testing.
 
 // The results of 1-epsilon and -1+epsilon are enough
@@ -31,6 +47,17 @@ FPU_CW_t FPU_empiric_test ()
     return FPU_cw_zero;
 }
 
+void print_rounding_name (FPU_CW_t r)
+{
+  switch (r) {
+  case FPU_cw_near: cout << "FPU_cw_near\n"; break;
+  case FPU_cw_down: cout << "FPU_cw_down\n"; break;
+  case FPU_cw_up:   cout << "FPU_cw_up\n"; break;
+  case FPU_cw_zero: cout << "FPU_cw_zero\n"; break;
+  default:          cout << "unknown !\n";
+  }
+}
+
 int main()
 {
    bool flag = true;
@@ -42,26 +69,31 @@ int main()
    FPU_set_cw(FPU_get_cw());
    flag = flag && (FPU_empiric_test() == FPU_cw_near);
    cout << "get/set: " << (int) flag << endl;
+   if (!flag) print_rounding_name(FPU_empiric_test());
 
    // Rounding to zero.
    FPU_set_cw(FPU_cw_zero);
    flag = flag && (FPU_empiric_test() == FPU_cw_zero);
    cout << "zero   : " << (int) flag << endl;
+   if (!flag) print_rounding_name(FPU_empiric_test());
 
    // Rounding to infinity.
    FPU_set_cw(FPU_cw_up);
    flag = flag && (FPU_empiric_test() == FPU_cw_up);
    cout << "+inf   : " << (int) flag << endl;
+   if (!flag) print_rounding_name(FPU_empiric_test());
 
    // Rounding to minus infinity.
    FPU_set_cw(FPU_cw_down);
    flag = flag && (FPU_empiric_test() == FPU_cw_down);
    cout << "-inf   : " << (int) flag << endl;
+   if (!flag) print_rounding_name(FPU_empiric_test());
 
    // Rounding to nearest.
    FPU_set_cw(FPU_cw_near);
    flag = flag && (FPU_empiric_test() == FPU_cw_near);
    cout << "near   : " << (int) flag << endl;
+   if (!flag) print_rounding_name(FPU_empiric_test());
 
    return (int) !flag;
 }