<div dir="ltr"><div>2025/01/08: 8:00 AM PST</div><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div>[Please submit proposed changes to these minutes to Jerome or to the group. Changes in this revision are listed at the bottom.]</div><div><br></div><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><p class="MsoNormal"><b>Attendees</b></p><p class="MsoNormal"> Jim Thomas, Rajan Bhakta, Jerome Coonen, Fred Tydeman, Joshua Cranmer, Damian McGuckin, Hans Boehm, David Hough</p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><b>New agenda items</b></p><p class="MsoNormal"> <u style="color:rgb(0,104,218)"><a href="https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20250108-update.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20250108-update.pdf</a></u></p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Previous meeting notes</b></p><p class="MsoNormal"><b><u></u><u></u></b> <a href="https://wiki.edg.com/pub/CFP/WebHome/n3445.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/n3445.pdf</a></p><p class="MsoNormal"> <br></p><p class="MsoNormal"><b>Next Meeting(s)</b></p><p class="MsoNormal"> 12 February 2025, 8:00 AM PST</p><p class="MsoNormal"> ISO Zoom teleconference</p><p class="MsoNormal"> Please notify the group if these time slots do not work.</p></div><div><p class="MsoNormal"> <u></u></p><p class="MsoNormal"><b>C documents</b></p><p class="MsoNormal"> There is a new C2Y draft 3435 Jan 2025. <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3435.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3435.pdf</a></p><p class="MsoNormal"> C23 has been published ISO/IEC 9899, available for purchase.</p><p class="MsoNormal"> </p><p class="MsoNormal"><b>IEEE 754 liaison</b></p><p class="MsoNormal"> None.</p><p class="MsoNormal"><u></u> </p><p class="MsoNormal"><b>C++ liaison</b></p><p class="MsoNormal"> Hans will present below.</p><p class="MsoNormal"> </p><p class="MsoNormal"><b>WG14</b></p><p class="MsoNormal"> Next meeting is Feb 24-28.</p><p class="MsoNormal"> Robert Secord has asked if CFP would like to give a 754 revision update.</p><p class="MsoNormal"> Jim: Might be a good idea because the TS-4 and TS-5 revisions are in ballot. This is a huge milestone.</p><p class="MsoNormal"> Rajan, et al.: The request really seems to be about the revision work that has started in the last months. Given the target of 2029, it may be too early than to give more than a cursory statement about the size and activity level of the group, and some potential projects.</p></div><div><p class="MsoNormal"> <br></p><p class="MsoNormal"><b>C23 integration</b></p><p class="MsoNormal"> C23 has been published. Has an October 2024 date, but referred to as C23.</p><p class="MsoNormal"> <a href="https://www.iso.org/standard/82075.html" target="_blank">https://www.iso.org/standard/82075.html</a></p><p class="MsoNormal"><br></p><p class="MsoNormal"><u></u></p><p class="MsoNormal"><b>Carry-over action items from last meeting </b></p><p class="MsoNormal"><b> </b>David: Draft reply to WG14 re midpoint and interpolation.</p><p class="MsoNormal"> Deferred to next meeting.</p><p class="MsoNormal"> __________</p><p class="MsoNormal"><br></p> Damian: Split doc into 3 documents: complex.h intro, cproj, and editorial suggestions.<br>[Cfp-interest 3346] Re: The 'cproj' routine - 7.3.9.5 Damian McGuckin</div><div> The cproj document is done and is a subject below.<br><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Action items from last meeting </b></p><p class="MsoNormal"> Fred: Submit SIGFPE suggestions to WG14 for comment.</p>N3401 2024/11/24 <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3401.htm" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3401.htm</a> Tydeman, SIGFPE and I/O, version 2</div><div> Done.</div><div><br> Jerome: Submit fadd, fsub, etc. domain errors proposal to WG14. (Will require help from another member actually certified to submit to WG14.)<br>N3404 2024/12/01 <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3404.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3404.pdf</a> Thomas, Proposal for C2Y - Improved treatment of error conditions for functions that round result to narrow type<br> Done.</div><div><br></div><div> Jerome: Submit exception "occurs" proposal to WG14 (again, with support).<br>N3405 2024/12/01 <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3405.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3405.pdf</a> Thomas, Proposal for C2Y - Improved wording for treatment of error conditions in <math.h></div><div> Done.</div><div><br> Jim: Submit revised complex operators proposal to WG14.<br>N3406 2024/12/01 <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3406.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3406.pdf</a> Thomas, Proposal for C2Y - complex operators, updates N3384</div><div> Done.</div><div><br> All: Continue study of the imaginary I macro and i suffix issues, noting that the I macro may be removed from C.</div><div> Deferred, see below.</div><div><br> Jim: Write a proposal for use of CMPLX to generate desired values with signed 0 and inf when using the i suffix in a context with no imaginary values, just real and complex.<br>[Cfp-interest 3337] <a href="https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003352.html" target="_blank">https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003352.html</a> Proposal for complex literals warning Jim Thomas<p class="MsoNormal"> Done, see below.</p><p class="MsoNormal"> </p></div><div><p class="MsoNormal"><b>TS-4 and TS-5 revisions<u></u><u></u></b></p><p class="MsoNormal"> Part of WG14 discussion above.</p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><b>Discussion of issues</b></p><p class="MsoNormal"> Fenv rounding modes</p><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2746r6.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2746r6.pdf</a></div><div><div> Hans: C++ group view is that it's better to pass a rounding mode to a specific operation than to pass a mode to block (as suggested in 754). Looked at a few examples of the struct, A major theme is that the C++ suggestion is not very C friendly.</div><div> Jim: Noted a simpler way to evaluate the expression in the first example.</div><div> Hans: Not presented yet to 754 committee. Suggested it be kept in the language domain.</div><div> Jim: Have many comments, probably better to write them up.</div><div> Rajan: Will come down to the compatibility study group.</div><div> Hans: Reproducible arithmetic part of the conversation.</div><div> Joshua: C++ doesn't want pragmas, but wants templates instead. Have tried to propose, but have found resistance.</div><div> Damian: If the templates do indeed have eleven arguments governing their behavior, then we need to look at the overhead.</div><div> Jim: The FENV_ROUND pragma is very new, so it's too early to ask about implementation status.</div><div> Hans: Rounding control will be via assembly snippets that change the modes, all invisible to the compiler</div><div> Joshua: C++ implementations allow something like FENV_ACCESS on a per-function basis. (This is done via compiler extensions in all cases; the standard itself says nothing here, and only a few implementations support the FENV_ACCESS pragma itself.)</div><div></div></div><div><br> Cproj cleanup<br>[Cfp-interest 3346] <a href="https://mailman.oakapple.net/pipermail/cfp-interest/2025-January/003361.html" target="_blank">https://mailman.oakapple.net/pipermail/cfp-interest/2025-January/003361.html</a> Re: The 'cproj' routine - 7.3.9.5 Damian McGuckin</div><div> Damian: Have cleaned up the language and added some historical rationale.</div><div> Rajan: Suggest saving rationale for future reference.</div><div> Jerome: One implementation years ago actually mapped to the Riemann sphere in real 3-space. That implementation was changed to align with the current specification, which is deemed more useful, so the discussion probably need not be carried forward with the standard.</div><div><br> Reply to WG14 re midpoint and interpolation</div><div> David: Deferred but still in consideration. </div><div><br> Use of CMPLX vs complex literals for special values<br>[Cfp-interest 3337] <a href="https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003352.html" target="_blank">https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003352.html</a> Proposal for complex literals warning Jim Thomas</div><div> Rajan: Proposed removing reference to "execution time", but after discussion withdrew.</div><div> All: Discussion of other instances of execution time.</div><div><br> Imaginary I</div><div> Jim: Will keep on the agenda.<br><p class="MsoNormal"><br></p></div><div><p class="MsoNormal"><b>Other issues:<u></u><u></u></b></p><p class="MsoNormal"><b> </b>Special cases for cpow</p>[Cfp-interest 3332] <a href="https://mailman.oakapple.net/pipermail/cfp-interest/2024-November/003347.html" target="_blank">https://mailman.oakapple.net/pipermail/cfp-interest/2024-November/003347.html</a> special cases of cpow Paul Zimmermann<br>[Cfp-interest 3336] <a href="https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003351.html" target="_blank">https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003351.html</a> Re: special cases of cpow Jim Thomas</div><div> Jim: No reply yet to response to Paul Z. so deferred for now.</div><div><br> glibc math functions<br>[Cfp-interest 3339] <a href="https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003354.html" target="_blank">https://mailman.oakapple.net/pipermail/cfp-interest/2024-December/003354.html</a> Fwd: More C23 math functions in glibc Jim Thomas</div><div> Jim: Good news that GNU glibc is now supporting cospi, sinpi, and tanpi.<br><div><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Adjournment</b></p><p class="MsoNormal"> 9:25 AM PST</p><p class="MsoNormal">-----------------------------------------------</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Action items to be carried over:</b></p><p class="MsoNormal"> David: Reply to WG14 re midpoint and interpolation<br></p><p class="MsoNormal"><br></p><p class="MsoNormal"> Damian: Split doc into 3 documents: complex.h intro, cproj, and editorial suggestions.</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>New action items:<u></u><u></u></b></p><p class="MsoNormal"> Damian: Prepare cproj proposal for WG14.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Jim: Submit n3352 related to complex literals to WG14.</p><p class="MsoNormal"> Rajan: OK to base on n3301 for now. Later, will move to the new draft.</p></div><div><p class="MsoNormal"></p></div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><br></div><div><b>Discussion issues to be carried over:</b></div><div><p class="MsoNormal"> Imaginary I<br></p><br></div><div>Respectfully submitted.</div><div><br></div><div>Changes for Rev. 1:</div><div> • Add Rajan to attendees. Use full names.</div><div> • Drop "Do not distribute." from C2Y draft.</div><div> • Edit Joshua's statement on FENV_ACCESS.</div><div> • Refine Jerome's comment about an historical cproj mapping the the true Riemann sphere.</div><div> • Add Damian's comment about overhead in templates to handle rounding control.</div><div> • Fix several minor typos.</div><div><br></div><div>Changes to Rev. 2:</div><div> • Add Damian's action to the carry-over list.</div><div> • Typo in C23 purchase note.</div><div><br></div><div dir="ltr">-Jerome Coonen<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></div>
</div></div>
</div></div>
</div></div>
</div>
</div></div>
</div></div>
</div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>