Searched refs:negative_result (Results 1 – 1 of 1) sorted by relevance
601 FPBits negative_result; variable603 negative_result = FPBits((-float_mantissa) *607 if (result.get_val() != -negative_result.get_val()) {611 if (result.get_val() < -negative_result.get_val()) {613 higher_result = negative_result;615 lower_result = negative_result;