<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Apr 24, 2016 at 12:23 AM, Mehdi Amini <span dir="ltr"><<a href="mailto:mehdi.amini@apple.com" target="_blank">mehdi.amini@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Are these "assumptions" documented anywhere?</blockquote></div><br>AFAIK optimizations are, in general, not documented in detail within clang's documentation. The LLVM documentation [0] explicitly mentions all the assumptions that these optimizations exploit:<br><br></div><div class="gmail_extra">[0] <a href="http://llvm.org/docs/LangRef.html#fast-math-flags">http://llvm.org/docs/LangRef.html#fast-math-flags</a><br><br></div></div>