<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br><div><br><blockquote type="cite"><div>On Mar 3, 2023, at 8:17 AM, Vincent Lefevre <vincent@vinc17.net> wrote:</div><br class="Apple-interchange-newline"><div><div>On 2023-03-02 10:11:00 -0800, Jim Thomas wrote:<br><blockquote type="cite">Evaluation methods don’t affect function calls, including library<br>functions. (TS 18661-5 provides a way of having them do so.) So,<br>fma() must produce a double format result, with any evaluation<br>method.<br></blockquote><br>The issue is that 5.2.4.2.2p19 says<br><br> 2 evaluate all operations and constants to the range and precision<br> of the long double type.<br><br>and various function calls are also operations. </div></div></blockquote><div><br></div>The same paragraph begins with:</div><div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><div>The values of floating type yielded by operators subject to the usual arithmetic conversions, including</div></div><div><div>the values yielded by the implicit conversion of operands, and the values of floating constants are</div></div><div><div>evaluated to a format whose range and precision may be greater than required by the type. Such a</div></div><div><div>format is called an evaluation format. In all cases, assignment and cast operators yield values in the</div></div><div><div>format of the type. The extent to which evaluation formats are used is characterized by the value of</div></div><div><div>FLT_EVAL_METHOD:</div></div></blockquote><div><div><br></div></div><div>This is intended to give the universe of operations to which “all operations” refers.</div><div><br></div><div>- JIm Thomas</div><div><br></div><div><br><blockquote type="cite"><div><div>See for instance the<br>table in 5.2.4.2.3p10. So instead of "all operations", it should say<br>which operations are concerned.<br><br>-- <br>Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/><br>100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/><br>Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)<br>_______________________________________________<br>Cfp-interest mailing list<br>Cfp-interest@oakapple.net<br>http://mailman.oakapple.net/mailman/listinfo/cfp-interest<br></div></div></blockquote></div><br></body></html>