[LLVMdev] Losing Attribute information during inlining

[Duncan Sands]

Hi Ohad,

> Since Attributes are related to arguments and return values, inlining of a
> function causes in some cases to lose information such as NoAlias.
>
> Consequently, this hurts in some cases the precision of alias analysis.
>
> Is there a special reason why this information is not maintained?

it's not obvious where to put it.  Also, if a function returns a "noalias"
result there should be a reason for that, eg it calls malloc and returns
the result.  After inlining the call to malloc will be directly visible,
so alias analysis should still be able to deduce everything that it could
before.

Do you have a specific example that is causing you trouble?

>
> Is there a motivation to extend LLVM to maintain this information?

I don't think so.

Ciao, Duncan.

>
> Thanks,
>
> Ohad
>
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>