[LLVMdev] Losing Attribute information during inlining

Duncan Sands baldrick at free.fr
Wed Oct 3 00:50:51 PDT 2012

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

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

More information about the llvm-dev mailing list