28     let mut ix = x.to_bits();  in logf()  localVariable
31     if (ix < 0x00800000) || ((ix >> 31) != 0) {  in logf()
33         if ix << 1 == 0 {  in logf()
36         if (ix >> 31) != 0 {  in logf()
42         ix = x.to_bits();  in logf()
43     } else if ix >= 0x7f800000 {  in logf()
45     } else if ix == 0x3f800000 {  in logf()
50     ix += 0x3f800000 - 0x3f3504f3;  in logf()
51     k += ((ix >> 23) as i32) - 0x7f;  in logf()
52     ix = (ix & 0x007fffff) + 0x3f3504f3;  in logf()
53     x = f32::from_bits(ix);  in logf()