llvm dev - Feb 2019 - Why does Alias Analysis says that all function may alias

I am try to build Call graph as a practice following the assignment at [1]
The objective it to take in IR and give back Call graph featuring which
functions calls which Functions.
The problem is dealing with function pointers as they usually are indirect
CallSite.
I tried to overcome the problem by using Alias Analysis (with the new pass
manager).
I set up the pipeline like this
int main (int argc, char **argv, const char **env) {
       // Before this point I would setup the module object, cl and friends
       //
       PassBuilder PB;
       ModulePassManager MPM(true);
       LoopAnalysisManager LAM(false);
       FunctionAnalysisManager FAM(true);
       CGSCCAnalysisManager CAM(false);
       ModuleAnalysisManager MAM(true);
       AAManager AA ;//= PB.buildDefaultAAPipeline();
       if (auto Err = PB.parseAAPipeline(AA, "basicaa"))
               report_fatal_error("Error parsing basicaa AA
pipeline");
       FAM.registerPass([&] {return std::move(AA);});
       MAM.registerPass([&] {return callgraphs::WeightedCallGraph();});
       PB.registerModuleAnalyses(MAM);
       PB.registerCGSCCAnalyses(CAM);
       PB.registerFunctionAnalyses(FAM);
       PB.registerLoopAnalyses(LAM);
       PB.crossRegisterProxies(LAM, FAM, CAM, MAM);

       MPM.addPass(callgraphs::WeightedCallGraphPrinter(outs()));
       MPM.run(*module, MAM);
       return 0;
}
callgraphs hold the Analysis and transformation pass they do the following:-
A- generate the graph
B- Print it.

Deep inside that Namespace this is how I would analyse an CallSite once it
is proven to hold an indirect function call

void WeightedCallGraphInfo::AnalyseIndirectCallSite(CallSite &cs,
ModuleAnalysisManager &MAM) {
       Value *v = cs.getCalledValue();
       Function &caller = *cs.getCaller();
       Module &M = *caller.getParent();
       FunctionAnalysisManager &FAM =  MAM.
              
getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();

       AliasAnalysis &AA = FAM.getResult<AAManager>(caller);
       for (Function &f: M) {
               if (f.isIntrinsic())
                       continue;
               AliasResult R = AA.alias(v, &f);
               if (R == AliasResult::MustAlias){
                        //What goes here doesn't matter to my question
               }
       }

}


The problem is that R is always AliasResult::MayAlias regardlles of the
analysis pipeline I have tried basicaa and the BP.buildDefaultAAPipeline() via
the pipeline setup shown above and bunch of other ones (through opt).

My concert is that I could be doing something wrong and not being the
limitation of the alias analysis.

For example

I tested the analysis on simple .c module that looks like this
void foo(int x);

void bar() {
 foo();
 bar();
}

void baz() {
 foo();
 bar();
}

int main(int argc, char **argv) {
 foo(argc);
 bar();
 baz();
 void (*bam)() = 0;
 switch (argc%3) {
  case 1: bam = bar; break;
  case 2: bam = baz; break;
 }
 bam();
 return 0;
}

I placed the llvm IR on pastebin at [2] because it is too big.

The problem is that bam() and foo() and main() may alias while I was
expecting to not alias relation, and bar() and baz() had may alias relation
as well however I was expecting a MustAlias. So if anyone had clue about
whether I am doing something wrong or this is the expected behavior, it
will be great.

I have the source code for the whole pass (just in case anyone would have a
doubt in how I did things) at [3].

[1] http://www.cs.sfu.ca/~wsumner/teaching/886/15/project1.html
[2] https://pastebin.com/BGt787tb
[3] https://github.com/oddcoder/LLVM_Playground/tree/master/01_callgrapher



Thanks,
Ahmed
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190206/fa987b6a/attachment.html>