On Mon, Jul 16, 2012 at 10:24 PM, Catalin Patulea <catal...@google.com> wrote: > I don't think FPREM > can ever lose precision with respect to its operands. Sorry, this should be, "FPREM can't _gain_ precision" with respect to its operands.
Think of the binary representation with infinite precision, where the exponent determines the position of the binary point, the binary points are aligned between the two inputs, and the stored mantissa is padded to the right with 0s. I don't see how FPREM could inject bits to the right of the least significant LSB between the two inputs.