<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>This responds to an action item from the August 2024 meeting to review the error reporting of fadd, fsub, and fma.</div><div><br></div><div><b>Suggestions:</b></div><div>        fadd – change the last sentence of  7.12.15.2#2 to</div><div><br></div><div>                A domain error may occur for both arguments infinite and with opposite sign.</div><div><br>        fsub – change the last sentence of 7.12.15.3#2 to</div><div><br></div><div>                A domain error may occur for both arguments infinite and either unsigned or with the same sign.</div><div><div><br>        fmul – change the last sentence of 7.12.15.4#2 to</div><div><br></div><div>                A domain error may occur for one infinite argument and one zero argument.</div><div><br>        fdiv – change the second to the last sentence of 7.12.15.5#2 to</div><div><br></div><div>                A domain error may occur for either both arguments infinite or both arguments zero.</div><br>        fma – change the last sentence of 7.12.15.6#2 to</div><div><br></div><div>                A domain error may occur if one of x and y is zero and the other is infinite. A domain error may occur if z is infinite and one of x and y is infinite while the other is nonzero finite or infinite, such that their product has the opposite sign of z.</div><div><div><br>        fsqrt – change the last sentence of 7.12.15.7#2 to</div><div><br></div><div>                A domain error may occur if the argument is less than zero.</div><br></div><b>Rationale:</b><div>This change makes explicit which cases may cause domain errors in fadd, fsub, and fma. The case of fsub is expanded to include unsigned (projective) infinity, should it be implemented, in the one case of magnitude subtraction of unsigned infinite values.</div><div><br></div><div>The change also brings the reporting requirements of all functions in 7.12.15 into harmony by weakening the specification for fmul, fdiv, an fsqrt from "error occurs" to "error may occur". The alternative suggestion, to strengthen all reporting to "error occurs", could break some existing implementations.</div><div><br></div><div>This proposal will not break any existing implementations.</div><div><b><br clear="all"></b><div><div dir="ltr" class="gmail_signature"></div></div><div>-Jerome Coonen<br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div> 650.996.4738</div><div> <a href="mailto:jcoonen@gmail.com" target="_blank">jcoonen@gmail.com</a></div></div></div></div></div></div>
</div></div>
</div></div>