
<html>

  <head>

    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    On 05/04/2015 08:36 PM, Levent Erkok wrote:<br>

    <blockquote

cite="mid:CACOpX0cr9EGN0U7KOe3hfw2F8VW3ZdiL_b+A7t0AVnkBYW+1ug@mail.gmail.com"

      type="cite">

      <div dir="ltr">In particular, the compiler should be free to

        substitute "a*b+c" with "mulAccum a b c".<br>

      </div>

    </blockquote>

    But isn't it unacceptable in some cases? For instance, in this case

    (taken from Wikipedia):<br>

    <blockquote type="cite">If <span class="texhtml"><i>x</i><sup>2</sup>

        − <i>y</i><sup>2</sup></span> is evaluated as <span

        class="texhtml">((<i>x</i>×<i>x</i>) − <i>y</i>×<i>y</i>)</span>

      using fused multiply–add, then the result may be negative even

      when <span class="texhtml"><i>x</i> = <i>y</i></span> due to the

      first multiplication discarding low significance bits. This could

      then lead to an error if, for instance, the square root of the

      result is then evaluated.</blockquote>

    <br>

  </body>

</html>