<div dir="ltr">Oh, and I forgot a third "_doserrno" for which no amount of documentation lends itself to a consistent description of its behavior.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Nov 23, 2013 at 12:28 PM, David Majnemer <span dir="ltr"><<a href="mailto:david.majnemer@gmail.com" target="_blank">david.majnemer@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div class="h5">On Sat, Nov 23, 2013 at 9:59 AM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</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">
<div>----- Original Message -----<br>
> From: "Renato Golin" <<a href="mailto:renato.golin@linaro.org" target="_blank">renato.golin@linaro.org</a>><br>
> To: "Hal Finkel" <<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>><br>
> Cc: "LLVM" <<a href="mailto:llvmdev@cs.uiuc.edu" target="_blank">llvmdev@cs.uiuc.edu</a>><br>
> Sent: Saturday, November 23, 2013 10:53:09 AM<br>
> Subject: Re: [LLVMdev] [RFC] Identifying access to errno<br>
><br>
><br>
><br>
><br>
> On 23 November 2013 14:14, Hal Finkel < <a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a> > wrote:<br>
><br>
><br>
> On some systems (Linux/glibc, for example), some libm math functions<br>
> (like cos(double)) might set errno. It is important that we model<br>
> this, in general, to prevent miscompilation (we would not, for<br>
> example, want to reorder a call to cos in between a call to open and<br>
> a call to perror). However, almost no code in the wild checks errno<br>
> after calls to libm math functions, and this errno-setting behavior<br>
> prevents vectorization and other useful loop optimizations, CSE,<br>
> etc. Also, currently, the scalar llvm.<libm function> intrinsics are<br>
> subtly broken on systems where the underlying libm functions may set<br>
> errno, because the intrinsics are readonly, and may be implemented<br>
> by calls to the libm function (which might set errno), exposing us<br>
> to reordering problems (as in the example above).<br>
><br>
><br>
><br>
> Hi Hal,<br>
><br>
><br>
> I'm confused. On one hand you're proposing us to stop reordering libm<br>
> calls because they might set errno (I agree with this), but on the<br>
> other hand you're saying that nobody cares and that prevents<br>
> optimizations (not sure I agree with this).<br>
><br>
<br>
</div>What I'm saying is that very few people actually check errno after libm calls, and so we're often preventing vectorization for no good reason. However, obviously we still need to prove that no errno access is occurring if we want to vectorize (unfortunately, our ability to do this may be limited outside of an LTO context -- but under fast-math or with some pragma, etc. we may be able to change the default assumptions). In short, I'm proposing that we both:<br>
<br>
1. Be more strict to prevent unwanted reorderings (by actually modeling that these functions may *write* to errno).<br>
<br>
2. Improve our modeling of errno so that we can ignore said writes (safely) when we know that value of errno is unused. A setting like -fno-math-errno should not "remove" the modeling of these writes, just declare our disinterest in the resulting value.<br>
<br>
But, what I'm trying to establish here is: how can we recognize possible errno access so that explicitly modeling the writes to errno does not unduly pessimize the surrounding code.<br>
<div><br>
><br>
><br>
><br>
><br>
> 1. Assume that all unknown external functions might read/write errno<br>
><br>
> 2. Assume that all i32 pointers might point to errno (although we<br>
> might be able to do better by somehow leveraging TBAA for "int"?)<br>
><br>
><br>
><br>
> Something like "MayBeErr", "IsErr", "IsntErr".<br>
<br>
</div>On what?<br>
<div><br>
><br>
><br>
><br>
><br>
><br>
> Does anyone see any problems with making stronger (type-based)<br>
> assumptions re: errno (and, thus, on what things may alias with<br>
> calls to errno-setting-libm functions)?<br>
><br>
><br>
> I don't, but I'm trying to think of a way to disable it if we know<br>
> it's "ok". Maybe -unsafe-math or something similar could disable<br>
> this pass, because it is expensive and will impact generated code.<br>
><br>
<br>
</div>We already run IPO/FunctionAttrs, and if we're conservative about escape, it would not add any additional expense. (Ff we do top-down propagation for static functions (or more-generally for LTO), then that could add overhead).<br>
<div><br>
><br>
><br>
><br>
><br>
> What if, for globals, we insisted that the global be named "errno"?<br>
><br>
><br>
><br>
> I wouldn't be surprised if there was a system where the golbal error<br>
> is not errno. Windows maybe?<br>
<br>
</div>Okay. We should check.<br></blockquote><div><br></div></div></div><div>A Windows program can have two different global error numbers: Win32 and C-Runtime flavor.</div><div><br></div><div>The Win32 flavor is exposed via GetLastError/SetLastError[Ex]</div>
<div>The CRT flavor (errno) is, currently, exposed via a macro that expands to (*_errno())</div><div class="im"><div> </div><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">
<br>
Thanks again,<br>
Hal<br>
<br>
><br>
><br>
> --renato<br>
<div><div><br>
--<br>
Hal Finkel<br>
Assistant Computational Scientist<br>
Leadership Computing Facility<br>
Argonne National Laboratory<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></div></blockquote></div></div><br></div></div>
</blockquote></div><br></div>