| lh | 9ed821d | 2023-04-07 01:36:19 -0700 | [diff] [blame^] | 1 | /* Copyright (C) 2000 Free Software Foundation, Inc. |
| 2 | This file is part of the GNU C Library. |
| 3 | Contributed by Andreas Jaeger <aj@suse.de>, 2000. |
| 4 | |
| 5 | The GNU C Library is free software; you can redistribute it and/or |
| 6 | modify it under the terms of the GNU Lesser General Public |
| 7 | License as published by the Free Software Foundation; either |
| 8 | version 2.1 of the License, or (at your option) any later version. |
| 9 | |
| 10 | The GNU C Library is distributed in the hope that it will be useful, |
| 11 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 13 | Lesser General Public License for more details. |
| 14 | |
| 15 | You should have received a copy of the GNU Lesser General Public |
| 16 | License along with the GNU C Library; if not, write to the Free |
| 17 | Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 18 | 02111-1307 USA. */ |
| 19 | |
| 20 | #include <fpu_control.h> |
| 21 | #include <stdio.h> |
| 22 | |
| 23 | int |
| 24 | main (void) |
| 25 | { |
| 26 | #ifdef _FPU_GETCW |
| 27 | /* Some architectures don't have _FPU_GETCW (e.g. Linux/Alpha). */ |
| 28 | fpu_control_t cw; |
| 29 | |
| 30 | _FPU_GETCW (cw); |
| 31 | |
| 32 | cw &= ~_FPU_RESERVED; |
| 33 | |
| 34 | if (cw != (_FPU_DEFAULT & ~_FPU_RESERVED)) |
| 35 | printf ("control word is 0x%lx but should be 0x%lx.\n", |
| 36 | (long int) cw, (long int) (_FPU_DEFAULT & ~_FPU_RESERVED)); |
| 37 | |
| 38 | return cw != (_FPU_DEFAULT & ~_FPU_RESERVED); |
| 39 | |
| 40 | #else |
| 41 | return 0; |
| 42 | #endif |
| 43 | } |