mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 05:18:44 +00:00
Code Activity

Bugfix for hwf

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-05-23 12:02:53 +01:00
parent c577ab361b
commit d5c39798ea
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/util/hwf.cpp
View file

@ -17,16 +17,15 @@ Revision History:
--*/
#include<float.h>
#include<sstream>
#ifdef _WINDOWS
#pragma float_control( except, on ) // exception semantics; this does _not_ mean that exceptions are enabled (we want them off!)
#pragma float_control( precise, on ) // precise semantics (no guessing!)
#pragma fp_contract(off) // contractions off (`contraction' means x*y+z is turned into a fused-mul-add).
#pragma fenv_access(on) // fpu environment sensitivity (needed to be allowed to make FPU mode changes).
#include<amp_math.h>
#else
#ifdef _WINDOWS
#pragma STDC FENV_ACCESS ON
#endif
#include <math.h>
#include <fenv.h>
#endif
@ -35,8 +34,6 @@ Revision History:
#define USE_INTRINSICS
#endif
#include<sstream>
#include"hwf.h"
// Note: