Revision 0eb4fc81 fpu/softfloat.c

b/fpu/softfloat.c
2219 2219
            }
2220 2220
        }
2221 2221
        /* Zero plus something non-zero : just return the something */
2222
        return c ^ (signflip << 31);
2222
        return make_float32(float32_val(c) ^ (signflip << 31));
2223 2223
    }
2224 2224

  
2225 2225
    if (aExp == 0) {
......
3772 3772
            }
3773 3773
        }
3774 3774
        /* Zero plus something non-zero : just return the something */
3775
        return c ^ ((uint64_t)signflip << 63);
3775
        return make_float64(float64_val(c) ^ ((uint64_t)signflip << 63));
3776 3776
    }
3777 3777

  
3778 3778
    if (aExp == 0) {

Also available in: Unified diff