xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.arch/ppc-dfp.c (revision 8b657b0747480f8989760d71343d6dd33f8d4cf9)
1 /* Copyright 2008-2023 Free Software Foundation, Inc.
2 
3    This file is part of GDB.
4 
5    This program is free software; you can redistribute it and/or modify
6    it under the terms of the GNU General Public License as published by
7    the Free Software Foundation; either version 3 of the License, or
8    (at your option) any later version.
9 
10    This program 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
13    GNU General Public License for more details.
14 
15    You should have received a copy of the GNU General Public License
16    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
17 
18 #include <elf.h>
19 
20 #ifdef __powerpc64__
21 typedef Elf64_auxv_t auxv_t;
22 #else
23 typedef Elf32_auxv_t auxv_t;
24 #endif
25 
26 #ifndef PPC_FEATURE_HAS_DFP
27 #define PPC_FEATURE_HAS_DFP	0x00000400
28 #endif
29 
30 int
31 main (int argc, char *argv[], char *envp[], auxv_t auxv[])
32 {
33   int i;
34 
35   for (i = 0; auxv[i].a_type != AT_NULL; i++)
36     if (auxv[i].a_type == AT_HWCAP) {
37       if (!(auxv[i].a_un.a_val & PPC_FEATURE_HAS_DFP))
38 	return 1;
39 
40       break;
41     }
42 
43   asm ("mtfsfi 7, 5, 1\n");  /* Set DFP rounding mode.  */
44 
45   return 0;
46 }
47