<div dir="ltr"><div>It would be nice to have the new function that Scott suggests ... this little detail has bitten us before, too. The current getCalledFunction() creates an impression that we will always see the callee for a direct call, but in reality it doesn't actually look through constant expressions. A new function will make this more obvious to someone expecting to always find a direct callee. Any use of this function will also make it apparent that the analysis or pass is prepared to handle the arguments.<br></div><div><br></div><div>Sameer.<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 18, 2018 at 1:54 AM, Friedman, Eli via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The current CallGraphSCC passes aren't prepared to deal with edges like that, I think, but that could be fixed; it's only a few passes.  Maybe simpler for your purposes to pull the call transform code out of instcombine so you can call it at -O0, though.<br>
<br>
-Eli<span class="im HOEnZb"><br>
<br>
On 9/12/2018 12:47 PM, <a href="mailto:scott@scottlinder.com" target="_blank">scott@scottlinder.com</a> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The immediate change I have in mind is in CallGraph; our implementation of LowerCall in AMDGPU currently relies on the the callee arguments being lowered before the call is lowered, and we simply do not support indirect calls. However, we should be able to support these bitcast calls, as they are effectively direct for our purposes, but the CallGraph does not seem to consider them (it uses .getCalledFunction()). Maybe a new function for `dyn_cast<Function>(CS.getCall<wbr>edValue()->stripPointerCasts()<wbr>)` would make sense? I am not sure if this is valid to use in CallGraph, but it does not care about arguments as far as I can tell.<br>
<br>
At the very least I can try to clarify the docs, because until you explained it I had a different definition of "indirect call" in mind.<br>
<br>
Scott<br>
<br>
On 2018-09-12 15:21, Friedman, Eli wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 9/12/2018 11:51 AM, via llvm-dev wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
How does LLVM define "indirect call"? The documentation of CallSiteBase::getCalledFunctio<wbr>n claims it returns null for indirect calls, but in practice it seems to return null for "non-trivial" calls. For example, it returns null for a direct call to a bitcast'ed function:<br>
<br>
%0 = call void bitcast (void (%struct.foo *)* @func to void (%struct.bar *)*)(%struct.bar *qux)<br>
<br>
By some definition "direct" could mean "trivial", but here it seems ambiguous at best.<br>
</blockquote>
<br>
An indirect call is a call to anything that isn't a Function.<br>
<br>
It might be possible to argue for a special case for a bitcast of a<br>
Function, because the code generator will eventually look through the<br>
bitcast. But in practice transforms prefer to treat them as opaque<br>
anyway because they can't reason about the arguments.  And instcombine<br>
will transform code like your example into a direct ("trivial") call.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
I was able to find some discussion of this previously at <a href="http://lists.llvm.org/pipermail/llvm-dev/2015-November/092396.html" rel="noreferrer" target="_blank">http://lists.llvm.org/pipermai<wbr>l/llvm-dev/2015-November/<wbr>092396.html</a> but it feels like the docs/implementation of some of the functions in CallSiteBase (isIndirectCall also does not seem quite correct, and is not used in a couple places it could be) should just be updated to reflect this.<br>
<br>
Is my assessment reasonable? I can update these functions, but it will require updating uses throughout the codebase so I wanted to ask if this makes any sense before starting the work.<br>
</blockquote>
<br>
Documentation updates would be fine.  Not sure what you're proposing<br>
to change in terms of code...<br>
<br>
-Eli<br>
</blockquote></blockquote>
<br>
<br></span><span class="im HOEnZb">
-- <br>
Employee of Qualcomm Innovation Center, Inc.<br>
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project<br>
<br></span><div class="HOEnZb"><div class="h5">
______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
</div></div></blockquote></div><br></div>