1/* PR optimization/9325  */
2
3#include <limits.h>
4
5extern void abort (void);
6
7int f1()
8{
9  return (int)2147483648.0f;
10}
11
12int f2()
13{
14  return (int)(float)(2147483647);
15}
16
17int main()
18{
19#if INT_MAX == 2147483647
20  if (f1() != 2147483647)
21    abort ();
22#ifdef __SPU__
23  /* SPU float rounds towards zero.  */
24  if (f2() != 0x7fffff80)
25    abort ();
26#else
27  if (f2() != 2147483647)
28    abort ();
29#endif
30#endif
31  return 0;
32}
33
34