1 /* PR optimization/9325  */
2 
3 #include <limits.h>
4 
5 extern void abort (void);
6 
f1()7 int f1()
8 {
9   return (int)2147483648.0f;
10 }
11 
f2()12 int f2()
13 {
14   return (int)(float)(2147483647);
15 }
16 
main()17 int 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