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