This change makes it compile and return the same value than the #undef one.
Signed-off-by: Juan Quintela <quintela@redhat.com>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Acked-by: Andreas Färber <afaerber@suse.de>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
}
}
/* Zero plus something non-zero : just return the something */
- return c ^ (signflip << 31);
+ return make_float32(float32_val(c) ^ (signflip << 31));
}
if (aExp == 0) {
}
}
/* Zero plus something non-zero : just return the something */
- return c ^ ((uint64_t)signflip << 63);
+ return make_float64(float64_val(c) ^ ((uint64_t)signflip << 63));
}
if (aExp == 0) {