[PPL-devel] [GIT] ppl/ppl(master): Fixed fpu rounding set/restore.

[Abramo Bagnara]

Module: ppl/ppl
Branch: master
Commit: e7616abe63c69c53b9c921ce52424495020c111c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7616abe63c69c53b9c921ce52424495020c111c

Author: Abramo Bagnara <abramo.bagnara at bugseng.com>
Date:   Tue Jun 26 22:26:58 2012 +0200

Fixed fpu rounding set/restore.

---

 tests/Polyhedron/randphull1.cc |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)

diff --git a/tests/Polyhedron/randphull1.cc b/tests/Polyhedron/randphull1.cc
index 44103a5..eb43cdd 100644
--- a/tests/Polyhedron/randphull1.cc
+++ b/tests/Polyhedron/randphull1.cc
@@ -99,10 +99,6 @@ point_on_the_unit_n_sphere(unsigned n,
 			   std::vector<float>& coordinate) {
   assert(n >= 2);
 
-  // Many libm implementations only work with round-to-nearest.
-  // See, e.g, http://sources.redhat.com/bugzilla/show_bug.cgi?id=3976
-  restore_pre_PPL_rounding();
-
   if (n == 2) {
     coordinate[0] *= sin(theta[0]);
     coordinate[1] *= cos(theta[0]);
@@ -114,8 +110,6 @@ point_on_the_unit_n_sphere(unsigned n,
       coordinate[i] *= sin_theta_n_2;
     coordinate[n-1] *= cos(theta[n-2]);
   }
-
-  set_rounding_for_PPL();
 }
 
 void