<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="">On Jul 5, 2021, at 6:48 PM, Jim Thomas <<a href="mailto:jaswthomas@sbcglobal.net" class="">jaswthomas@sbcglobal.net</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="Singleton"><blockquote type="cite" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><blockquote type="cite" class=""><br class="Apple-interchange-newline">"Flush to zero" is not defined and is used only once in C, in a footnote. A related problem is that the operations that flush<br class="">results to zero would need to be identified (or characterized). For example, would negate (-), fabs, and copysign be<br class="">expected to flush to zero? How about conversion to same or wider format?<br class=""></blockquote><br class="">I would expect all FP operations to be consistent on flushing; either all or none.<br class=""></blockquote><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">The ARM documentation says VABS and VNEG signal no exceptions. This suggests that they might not handle subnormals like other floating-point instructions.</span></div></div></blockquote></div><br class=""><div class="">Right. FABS and FNEG (the more modern ARM names for these) bind the 5.5.1 operations negate() and abs(), and therefore signal no exceptions and only affect the sign bit (and hence cannot flush subnormal inputs or results).</div><div class=""><br class=""></div><div class="">– Steve</div></body></html>