1/* Copyright 2008, 2009, 2010, 2011 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
18int
19main (int argc, char *argv[])
20{
21  double result;
22
23  asm ("fdiv %0, %1, %1\n"	/* Invalid operation.  */
24       : "=f" (result)
25       : "f" (0.0));
26
27  asm ("mtfsf 0xff, %0\n"  /* Reset FPSCR.  */
28       :
29       : "f" (0.0));
30
31  asm ("fdiv %0, %1, %2\n"	/* Division by zero.  */
32       : "=f" (result)
33       : "f" (1.25), "f" (0.0));
34
35  return 0;
36}
37