diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2020-05-20 13:23:17 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-05-22 15:46:13 +0200 |
| commit | 88dfc475c5937822399843e8aed9b98a36a01813 (patch) | |
| tree | 5e5a8938085d21002956571d7edb778bd1941856 /ext/json/php_json.h | |
| parent | da801ba5e3553f4c217d2528b36a5977ee9a90ed (diff) | |
| download | php-git-88dfc475c5937822399843e8aed9b98a36a01813.tar.gz | |
Fix #79595: zend_init_fpu() alters FPU precision
On startup, PHP deliberately changes the floating point control word to
enforce binary64 format for the calculations for best consistency
across platforms. However, this is unnessary when compiling under
`__SSE__`, because in this case the x87 instructions are not used.
Therefore, we can skip the modification, which has the benefit that
system libraries are free to work in the mode of their liking.
Diffstat (limited to 'ext/json/php_json.h')
0 files changed, 0 insertions, 0 deletions