Convert noalias parameter attributes into noalias metadata during inlining
authorHal Finkel <hfinkel@anl.gov>
Fri, 25 Jul 2014 15:50:08 +0000 (15:50 +0000)
committerHal Finkel <hfinkel@anl.gov>
Fri, 25 Jul 2014 15:50:08 +0000 (15:50 +0000)
commitff0bcb60c9839c81608b5279909ec330a392c9fd
tree61405cf6e56f0ea1b7c7313f7c4ef444aa7f718b
parent029cde639c9b773791ea8d10a4490aed9852f6a6
Convert noalias parameter attributes into noalias metadata during inlining

This functionality is currently turned off by default.

Part of the motivation for introducing scoped-noalias metadata is to enable the
preservation of noalias parameter attribute information after inlining.
Sometimes this can be inferred from the code in the caller after inlining, but
often we simply lose valuable information.

The overall process if fairly simple:
 1. Create a new unqiue scope domain.
 2. For each (used) noalias parameter, create a new alias scope.
 3. For each pointer, collect the underlying objects. Add a noalias scope for
    each noalias parameter from which we're not derived (and has not been
    captured prior to that point).
 4. Add an alias.scope for each noalias parameter from which we might be
    derived (or has been captured before that point).

Note that the capture checks apply only if one of the underlying objects is not
an identified function-local object.

llvm-svn: 213949
llvm/lib/Transforms/Utils/InlineFunction.cpp
llvm/test/Analysis/ScopedNoAliasAA/basic-hierarchy.ll [deleted file]
llvm/test/Transforms/Inline/noalias.ll [new file with mode: 0644]
llvm/test/Transforms/Inline/noalias2.ll [new file with mode: 0644]