[llvm-dev] CallSiteBase::getCalledFunction and non-trivial calls

via llvm-dev llvm-dev at lists.llvm.org
Wed Sep 12 12:47:23 PDT 2018


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.getCalledValue()->stripPointerCasts())` 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.

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.

Scott

On 2018-09-12 15:21, Friedman, Eli wrote:
> On 9/12/2018 11:51 AM, via llvm-dev wrote:
>> How does LLVM define "indirect call"? The documentation of 
>> CallSiteBase::getCalledFunction 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:
>> 
>> %0 = call void bitcast (void (%struct.foo *)* @func to void 
>> (%struct.bar *)*)(%struct.bar *qux)
>> 
>> By some definition "direct" could mean "trivial", but here it seems 
>> ambiguous at best.
> 
> An indirect call is a call to anything that isn't a Function.
> 
> It might be possible to argue for a special case for a bitcast of a
> Function, because the code generator will eventually look through the
> bitcast. But in practice transforms prefer to treat them as opaque
> anyway because they can't reason about the arguments.  And instcombine
> will transform code like your example into a direct ("trivial") call.
> 
>> 
>> I was able to find some discussion of this previously at 
>> http://lists.llvm.org/pipermail/llvm-dev/2015-November/092396.html 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.
>> 
>> 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.
> 
> Documentation updates would be fine.  Not sure what you're proposing
> to change in terms of code...
> 
> -Eli


More information about the llvm-dev mailing list