mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Removed hwf.rem test code.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-05-26 15:05:55 +01:00
parent 4b00ea69db
commit e28929c72c
1 changed files with 0 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
src/util/hwf.cpp
View file

@ -390,25 +390,6 @@ void hwf_manager::rem(hwf const & x, hwf const & y, hwf & o) {
#else #else
o.value = remainder(x.value, y.value); o.value = remainder(x.value, y.value);
#endif #endif
#if 0
// Here is an x87 alternative if the above makes problems; this may also be faster.
double xv = x.value;
double yv = y.value;
double & ov = o.value;
// This is from: http://webster.cs.ucr.edu/AoA/DOS/ch14/CH14-4.html#HEADING4-173
__asm {
fld yv
fld xv
L: fprem1
fstsw ax // Get condition bits in AX.
test ah, 100b // See if C2 is set.
jnz L // Repeat if not done yet.
fstp ov // Store remainder away.
fstp st(0) // Pop old y value.
}
#endif
} }
void hwf_manager::maximum(hwf const & x, hwf const & y, hwf & o) { void hwf_manager::maximum(hwf const & x, hwf const & y, hwf & o) {