source: cpp/common/nonstd_math.cpp @ 1258

Last change on this file since 1258 was 1251, checked in by Maciej Komosinski, 17 months ago
  • unified Visual C++ and Borland setting of floating point exception flags
  • more flags for *nixes to really catch division by zero (FE_DIVBYZERO was not sufficient) and overflow
  • Property svn:eol-style set to native
File size: 6.5 KB
Line 
1// This file is a part of Framsticks SDK.  http://www.framsticks.com/
2// Copyright (C) 1999-2023  Maciej Komosinski and Szymon Ulatowski.
3// See LICENSE.txt for details.
4
5#include "nonstd_math.h"
6#include <PrintFloat/PrintFloat.h>
7#include <string.h> // strncpy()
8#include <sstream>
9#include <algorithm> // std::min()
10
11RandomGenerator &rndGetInstance()
12{
13        static RandomGenerator rnd(0);
14        return rnd;
15}
16
17
18std::string doubleToString(double x, int precision) //waiting for a proper, native C++ solution
19{
20        std::stringstream ss; //or for pre-allocated buffer, sprintf(s, "%.*f", precision, x);
21        std::string str;
22        if (fabs(x) < 1e8) //limiting the precision of huge fp values makes little sense - better use scientific notation, unless we want a looong number
23        {
24                ss << std::fixed;
25                ss.precision(precision); //set the number of places after decimal
26                ss << x;
27                str = ss.str();
28                char *s =
29#ifdef __BORLANDC__ //embarcadero 10.3u3 compiler does not support char* str.data() even in C++17 mode?
30                (char*)
31#endif
32                        str.data(); //now we will be operating directly on the internal std::string buffer
33                for (int i = int(str.length()) - 1, end = int(str.length()); i >= 0; i--) //remove trailing zeros, and maybe also '.'
34                {
35                        if (s[i] == '0')
36                        {
37                                if (end == i + 1)
38                                        end = i;
39                        }
40                        else if (s[i] == '.')
41                        {
42                                if (end == i + 1)
43                                        end = i;
44                                s[end] = '\0';
45                                break;
46                        }
47                }
48        }
49        else
50        {
51                ss << x;
52                str = ss.str();
53        }
54        //printf("%.17g and %d decimals: %s\n", x, precision, str.c_str());
55        return str;
56}
57
58int doubleToString(double x, int precision, char *buffer, int bufferlen)
59{
60        // C++ in 2020 and the impossible challenge https://stackoverflow.com/questions/277772/avoid-trailing-zeroes-in-printf
61        if (precision < 0)
62        {
63                // The "g" format does not allow to use the number of decimal places after the decimal point. Dragon4 on the other hand fills in unnecessary trailinig zeros... so both are good only for "full precision".
64#ifdef USE_PRINTFLOAT_DRAGON4
65                return PrintFloat64(buffer, bufferlen, x,
66                        ((x < -1e17) || (x > 1e17) || ((x < 1e-4) && (x > -1e-4) && (x != 0.0)))
67                        ? PrintFloatFormat_Scientific : PrintFloatFormat_Positional,
68                        precision); //http://www.ryanjuckett.com/programming/printing-floating-point-numbers/
69#else
70                return sprintf(buffer, "%.17g", x);
71#endif
72        }
73        else
74        {
75                std::string s = doubleToString(x, precision);
76                strncpy(buffer, s.c_str(), std::min(bufferlen, (int)s.length() + 1));
77                buffer[bufferlen - 1] = 0; //ensure the string is truncated
78                return int(s.length());
79        }
80}
81
82
83double round(const double x, const int precision)
84{
85        double rounded = std::stod(doubleToString(x, precision));
86        //printf("%d  %20g \t %20g\n", precision, x, rounded); //for debugging
87        return rounded;
88}
89
90
91
92
93// Idea: enable selected floating point exceptions when the app starts and disable them temporarily when dividing values in ExtValue, so that we can directly handle problematic cases there.
94// This allows to catch problematic situations when the program performs calculations using NaN, INF etc.
95
96#ifdef IPHONE
97//TODO! -> ? http://stackoverflow.com/questions/12762418/how-to-enable-sigfpe-signal-on-division-by-zero-in-ios-app
98void fpExceptInit()
99{}
100
101void fpExceptEnable()
102{}
103
104void fpExceptDisable()
105{}
106#endif
107
108#ifdef MACOS
109//TODO...?
110
111void fpExceptInit()
112{}
113
114void fpExceptEnable()
115{}
116
117void fpExceptDisable()
118{}
119#endif
120
121
122#if defined LINUX || defined TIZEN || defined __ANDROID__
123
124#include <fenv.h>
125
126static constexpr int WANTED_FP_EXCEPTIONS = FE_DIVBYZERO | FE_INVALID | FE_OVERFLOW;
127
128void fpExceptInit()
129{}
130
131void fpExceptEnable()
132{
133        feclearexcept(WANTED_FP_EXCEPTIONS);
134        feenableexcept(WANTED_FP_EXCEPTIONS);
135}
136
137void fpExceptDisable()
138{
139        fedisableexcept(WANTED_FP_EXCEPTIONS);
140}
141
142#endif
143
144
145
146#if defined(__BORLANDC__) || defined(_MSC_VER)
147
148// in Borland, there was once a problem like this:
149// http://qc.embarcadero.com/wc/qcmain.aspx?d=5128
150// http://www.delorie.com/djgpp/doc/libc/libc_112.html
151// ? http://www.c-jump.com/CIS77/reference/Intel/CIS77_24319002/pg_0211.htm
152// ? http://www.jaist.ac.jp/iscenter-new/mpc/altix/altixdata/opt/intel/vtune/doc/users_guide/mergedProjects/analyzer_ec/mergedProjects/reference_olh/mergedProjects/instructions/instruct32_hh/vc100.htm
153// ? http://www.plantation-productions.com/Webster/www.artofasm.com/Linux/HTML/RealArithmetica2.html
154// http://blogs.msdn.com/b/oldnewthing/archive/2008/07/03/8682463.aspx
155// where each cast of a double into an int would cause an exception.
156// But it was resolved by restarting windows and cleaning all intermediate compilation files :o (restarting windows was the key element! restarting BC++Builder and deleting files would not help)
157
158
159#if defined(__BORLANDC__) // adding a missing constant and a function
160#define _MCW_EM         0x0008001f              // Interrupt Exception Masks - from Visual C++'s float.h
161
162void _controlfp_s(unsigned int* _CurrentState, unsigned int  _NewValue, unsigned int  _Mask) //pretends to be the real _controlfp_s() function
163{
164        *_CurrentState = _control87(_NewValue, _Mask);
165}
166#endif
167
168#if defined(_MSC_VER)
169#pragma fenv_access (on)
170#endif
171
172// http://stackoverflow.com/questions/2769814/how-do-i-use-try-catch-to-catch-floating-point-errors
173
174//#include "log.h"
175
176unsigned int fp_control_word_std;
177unsigned int fp_control_word_muted;
178
179
180void fpExceptInit()
181{
182        _controlfp_s(&fp_control_word_std, 0, 0); //in Visual C++, the default value is exactly the masks listed below, and we have to turn them off to enable exceptions
183        // Make the new fp env same as the old one, except for the changes we're going to make
184        fp_control_word_muted = fp_control_word_std & ~(EM_INVALID | /*EM_DENORMAL |*/ EM_ZERODIVIDE | EM_OVERFLOW /* | EM_UNDERFLOW | EM_INEXACT */); //commented out exceptions that occur during proper operation
185}
186
187void fpExceptEnable()
188{
189        //_fpreset(); //not needed since we just _clearfp()... mentioned in https://stackoverflow.com/questions/4282217/visual-c-weird-behavior-after-enabling-floating-point-exceptions-compiler-b
190        unsigned int was = _clearfp(); //need to clean so that there is no exception...
191        //logPrintf("","fpExceptEnable",LOG_INFO,"control87 status before clear was %08x", was);
192        _controlfp_s(&was, fp_control_word_muted, _MCW_EM);
193}
194
195void fpExceptDisable()
196{
197        //_fpreset(); //not needed since we just _clearfp()... mentioned in https://stackoverflow.com/questions/4282217/visual-c-weird-behavior-after-enabling-floating-point-exceptions-compiler-b
198        unsigned int was = _clearfp(); //need to clean so that there is no exception...
199        //logPrintf("","fpExceptDisable",LOG_INFO,"control87 status before clear was %08x", was);
200        _controlfp_s(&was, fp_control_word_std, _MCW_EM);
201}
202#endif
Note: See TracBrowser for help on using the repository browser.