Converts a DDValue back to a single f64 value by adding the high and low parts.
(&mut self, dd: DDValue)
| 846 | |
| 847 | /// Converts a DDValue back to a single f64 value by adding the high and low parts. |
| 848 | fn dd_to_f64(&mut self, dd: DDValue) -> Value { |
| 849 | self.builder.ins().fadd(dd.hi, dd.lo) |
| 850 | } |
| 851 | |
| 852 | /// Computes the negation of a DDValue. |
| 853 | /// It subtracts both the high and low parts from zero. |
no test coverage detected