gdb/testsuite/gdb.arch/ppc-dfp.c

   1 /* Copyright 2008, 2009 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 }