xref: /php-src/Zend/zend_float.c (revision 2f4973fd)
1 /*
2    +----------------------------------------------------------------------+
3    | Zend Engine                                                          |
4    +----------------------------------------------------------------------+
5    | Copyright (c) Zend Technologies Ltd. (http://www.zend.com)           |
6    +----------------------------------------------------------------------+
7    | This source file is subject to version 2.00 of the Zend license,     |
8    | that is bundled with this package in the file LICENSE, and is        |
9    | available through the world-wide-web at the following url:           |
10    | http://www.zend.com/license/2_00.txt.                                |
11    | If you did not receive a copy of the Zend license and are unable to  |
12    | obtain it through the world-wide-web, please send a note to          |
13    | license@zend.com so we can mail you a copy immediately.              |
14    +----------------------------------------------------------------------+
15    | Authors: Christian Seiler <chris_se@gmx.net>                         |
16    +----------------------------------------------------------------------+
17 */
18 
19 #include "zend.h"
20 #include "zend_compile.h"
21 #include "zend_float.h"
22 
zend_init_fpu(void)23 ZEND_API void zend_init_fpu(void) /* {{{ */
24 {
25 #if XPFPA_HAVE_CW
26 	XPFPA_DECLARE
27 
28 	if (!EG(saved_fpu_cw_ptr)) {
29 		EG(saved_fpu_cw_ptr) = (void*)&EG(saved_fpu_cw);
30 	}
31 	XPFPA_STORE_CW(EG(saved_fpu_cw_ptr));
32 	XPFPA_SWITCH_DOUBLE();
33 #else
34 	EG(saved_fpu_cw_ptr) = NULL;
35 #endif
36 }
37 /* }}} */
38 
zend_shutdown_fpu(void)39 ZEND_API void zend_shutdown_fpu(void) /* {{{ */
40 {
41 #if XPFPA_HAVE_CW
42 	if (EG(saved_fpu_cw_ptr)) {
43 		XPFPA_RESTORE_CW(EG(saved_fpu_cw_ptr));
44 	}
45 #endif
46 	EG(saved_fpu_cw_ptr) = NULL;
47 }
48 /* }}} */
49 
zend_ensure_fpu_mode(void)50 ZEND_API void zend_ensure_fpu_mode(void) /* {{{ */
51 {
52 	XPFPA_DECLARE
53 
54 	XPFPA_SWITCH_DOUBLE();
55 }
56 /* }}} */
57