[LLVMdev] Can simplifycfg kill llvm.lifetime intrinsics?

[Krzysztof Parzyszek]

On 12/28/2012 1:51 AM, Alexey Samsonov wrote:
> On Fri, Dec 28, 2012 at 12:35 AM, Rafael Espíndola
> <rafael.espindola at gmail.com <mailto:rafael.espindola at gmail.com>> wrote:
>
>     What about calling
>     llvm.lifetime.start in one function and llvm.lifetime.end in another?
>
>
> I don't see how this can happen, assuming that arguments of llvm.lifetime
> can only come from allocas.

It could happen after a cold section of a function was outlined, for 
example.  Informational intrinsics should not prohibit optimizations, 
and barring provably wrong cases, we need to assume that an optimization 
(possibly a future one) can transform code in a way that is not 
predictable up front.

-Krzysztof


-- 
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, 
hosted by The Linux Foundation