4 int target_isinf(double x) {
9 unsigned mantissa1 : 20;
10 unsigned exponent : 11;
16 return (u.big_endian.exponent == 2047 && u.big_endian.mantissa1 == 0 && u.big_endian.mantissa2 == 0);
20 printf("%d %d\n", target_isinf(1234.42), target_isinf(1.0/1.0e-1000));