Hi Matthew,
Did you add your alias analysis pass initializeEverythingMustAliasPass() into
llvm::initializeAnalysis(PassRegistry &Registry) {} ?
This will initialize it linked into the Analysis library.
thanks,
chen
On Apr 28, 2014, at 8:43 PM, Jingyue Wu <jingyue at google.com> wrote:
>
>
>
> On Thu, Apr 24, 2014 at 4:38 PM, Matthew O'Connor <thegreendragon at
gmail.com> wrote:
> Hi,
>
> I'm attempting to do some alias analysis & other memory inspection.
I've written a pointless AliasAnalysis pass (that says everything must
alias) to attempt to verify that my pass is getting picked up & run by opt.
>
> I run opt with: opt -load ~/Applications/llvm/lib/MustAA.so -must-aa
-aa-eval -debug < trace0.ll
>
> I see my pass being initialized, but never being called (I see only may
alias results).
>
> Any ideas as to what to do to debug this? Or what I'm missing? I've
read through http://llvm.org/docs/AliasAnalysis.html and don't see anything
that I'm missing.
>
> Thanks,
> Matthew
>
> P.S. Here's the full source code of my pass:
>
> #define DEBUG_TYPE "must-aa"
> #include "llvm/Pass.h"
> #include "llvm/Analysis/AliasAnalysis.h"
> #include "llvm/Support/raw_ostream.h"
> #include "llvm/Support/Debug.h"
> using namespace llvm;
>
> namespace {
> struct EverythingMustAlias : public ImmutablePass, public AliasAnalysis {
> static char ID;
> EverythingMustAlias() : ImmutablePass(ID) {}
>
> virtual void initializePass() {
> DEBUG(dbgs() << "Initializing
everything-must-alias\n");
> InitializeAliasAnalysis(this);
> }
>
> virtual void getAnalysisUsage(AnalysisUsage &AU) const {
> AliasAnalysis::getAnalysisUsage(AU);
> AU.setPreservesAll();
> }
>
> virtual AliasResult alias(const Location &LocA, const Location
&LocB) {
> DEBUG(dbgs() << "Everything must alias!\n");
> return AliasAnalysis::MustAlias;
> }
> };
> }
>
> namespace llvm {
> void initializeEverythingMustAliasPass(PassRegistry &Registry);
> }
>
> char EverythingMustAlias::ID = 0;
> static RegisterPass<EverythingMustAlias> A("must-aa",
"Everything must alias");
>
> static RegisterPass<EverythingMustAlias> A("must-aa",
"Everything must alias", false, true);
>
> Can you try this?
>
> INITIALIZE_AG_PASS(EverythingMustAlias, AliasAnalysis, "must-aa",
> "Everything must alias", false, true, false)
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20140428/afa22b80/attachment.html>
On Mon, Apr 28, 2014 at 10:46 PM, Chen Li <meloli87 at gmail.com> wrote:> Hi Matthew, > > Did you add your alias analysis pass initializeEverythingMustAliasPass() > into llvm::initializeAnalysis(PassRegistry &Registry) {} ? > This will initialize it linked into the Analysis library. > > thanks, > chen >I want to be able to load my pass from an external library & not have it compiled into opt.> On Apr 28, 2014, at 8:43 PM, Jingyue Wu <jingyue at google.com> wrote: > > > > > On Thu, Apr 24, 2014 at 4:38 PM, Matthew O'Connor < > thegreendragon at gmail.com> wrote: > >> Hi, >> >> I'm attempting to do some alias analysis & other memory inspection. I've >> written a pointless AliasAnalysis pass (that says everything must alias) to >> attempt to verify that my pass is getting picked up & run by opt. >> >> I run opt with: opt -load ~/Applications/llvm/lib/MustAA.so -must-aa >> -aa-eval -debug < trace0.ll >> >> I see my pass being initialized, but never being called (I see only may >> alias results). >> >> Any ideas as to what to do to debug this? Or what I'm missing? I've read >> through http://llvm.org/docs/AliasAnalysis.html and don't see anything >> that I'm missing. >> >> Thanks, >> Matthew >> >> P.S. Here's the full source code of my pass: >> >> #define DEBUG_TYPE "must-aa" >> #include "llvm/Pass.h" >> #include "llvm/Analysis/AliasAnalysis.h" >> #include "llvm/Support/raw_ostream.h" >> #include "llvm/Support/Debug.h" >> using namespace llvm; >> >> namespace { >> struct EverythingMustAlias : public ImmutablePass, public AliasAnalysis { >> static char ID; >> EverythingMustAlias() : ImmutablePass(ID) {} >> >> virtual void initializePass() { >> DEBUG(dbgs() << "Initializing everything-must-alias\n"); >> InitializeAliasAnalysis(this); >> } >> >> virtual void getAnalysisUsage(AnalysisUsage &AU) const { >> AliasAnalysis::getAnalysisUsage(AU); >> AU.setPreservesAll(); >> } >> >> virtual AliasResult alias(const Location &LocA, const Location &LocB) { >> DEBUG(dbgs() << "Everything must alias!\n"); >> return AliasAnalysis::MustAlias; >> } >> }; >> } >> >> namespace llvm { >> void initializeEverythingMustAliasPass(PassRegistry &Registry); >> } >> >> char EverythingMustAlias::ID = 0; >> static RegisterPass<EverythingMustAlias> A("must-aa", "Everything must >> alias"); >> > > static RegisterPass<EverythingMustAlias> A("must-aa", "Everything must > alias", false, true); > > Can you try this? > >I changed "static RegisterPass<EverythingMustAlias> A("must-aa", "Everything must alias");" to "static RegisterPass< EverythingMustAlias> A("must-aa", "Everything must alias", false, true);" and am seeing the same behavior. INITIALIZE_AG_PASS(EverythingMustAlias, AliasAnalysis, "must-aa",>> "Everything must alias", false, true, false) >> >> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> >> > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > > >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140429/ac0525eb/attachment.html>
Am 29.04.2014 19:18, schrieb Matthew O'Connor:> I want to be able to load my pass from an external library & not have it > compiled into opt.INITIALIZE_AG_PASS defines initialization functions, but it does not actually call them. Try this instead: static RegisterPass<EverythingMustAlias> X("must-aa", "Everything must alias", false, true); static RegisterAnalysisGroup<AliasAnalysis> Y(X); I suppose INITIALIZE_AG_PASS is only required if the pass is directly linked into LLVM so it won't be initialized too early (before the rest of LLVM has been initialized). This isn't an issue for plugins, so static initialization works just fine there. But that's just my guess. ;) Regards, Tobias
Hi Matthew I'm stuck on the exact same spot. Did you ever find any solution to this issue? Best, Cyrill