/src/php-src/Zend/zend_float.c
Line | Count | Source (jump to first uncovered line) |
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 | | |
23 | | ZEND_API void zend_init_fpu(void) /* {{{ */ |
24 | 300k | { |
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 | 300k | EG(saved_fpu_cw_ptr) = NULL; |
35 | 300k | #endif |
36 | 300k | } |
37 | | /* }}} */ |
38 | | |
39 | | ZEND_API void zend_shutdown_fpu(void) /* {{{ */ |
40 | 300k | { |
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 | 300k | EG(saved_fpu_cw_ptr) = NULL; |
47 | 300k | } |
48 | | /* }}} */ |
49 | | |
50 | | ZEND_API void zend_ensure_fpu_mode(void) /* {{{ */ |
51 | 0 | { |
52 | 0 | XPFPA_DECLARE |
53 | |
|
54 | 0 | XPFPA_SWITCH_DOUBLE(); |
55 | 0 | } |
56 | | /* }}} */ |