search for: cflandersaliasanalysis

Hello all, I'm having trouble getting this analysis to print out it's graph of aliases. I am processing an example C file into llvm ir, like this: int main(void) { int x=1, y=2, z=3; int *p; int **p1, **p2; if (x==z) { //0x100000f40 p=&x; p1=&p; x*=2; *p1+=z; } } clang -S -emit-llvm example.c -o example.ll Then, I am trying to run the Andersen alias

...com> > Content-Type: text/plain; charset="utf-8" > > Hello all, > > > I'm looking for something simple - does anybody know if there is an > implementation of Andresen's algorithm anywhere in LLVM? > Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp, we also implemented a primitive Shapiro-Horowitz alias analysis here: https://github.com/sohamm17/ShapiroHorwitz/ . We didn't have much documentation. The report is here: http://cs-people.bu.edu/soham1/docs/680_Final_Report.pdf -------------- next part -------------- An HTML attachment was...

...> >>> Hello all, >>> >>> >>> I'm looking for something simple - does anybody know if there is an >>> implementation of Andresen's algorithm anywhere in LLVM? >>> >> >> Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp, >> we also implemented a primitive Shapiro-Horowitz alias analysis here: >> https://github.com/sohamm17/ShapiroHorwitz/ . We didn't have much >> documentation. The report is here: http://cs-people.bu.edu/ >> soham1/docs/680_Final_Report.pdf >> >> _______...

...; charset="utf-8" >> >> Hello all, >> >> >> I'm looking for something simple - does anybody know if there is an >> implementation of Andresen's algorithm anywhere in LLVM? >> > > Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp, > we also implemented a primitive Shapiro-Horowitz alias analysis here: > https://github.com/sohamm17/ShapiroHorwitz/ . We didn't have much > documentation. The report is here: http://cs-people.bu.edu/ > soham1/docs/680_Final_Report.pdf > > _______________________________...

...>>>> >>>> >>>> I'm looking for something simple - does anybody know if there is an >>>> implementation of Andresen's algorithm anywhere in LLVM? >>>> >>> >>> Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp, >>> we also implemented a primitive Shapiro-Horowitz alias analysis here: >>> https://github.com/sohamm17/ShapiroHorwitz/ . We didn't have much >>> documentation. The report is here: http://cs-people.bu.edu/ >>> soham1/docs/680_Final_Report.pdf >>&...

...t;>>> >>>>> I'm looking for something simple - does anybody know if there is an >>>>> implementation of Andresen's algorithm anywhere in LLVM? >>>>> >>>> >>>> Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp, >>>> we also implemented a primitive Shapiro-Horowitz alias analysis here: >>>> https://github.com/sohamm17/ShapiroHorwitz/ . We didn't have much >>>> documentation. The report is here: http://cs-people.bu.edu/ >>>> soham1/docs/680_Final_Repo...

Hello all, I'm looking for something simple - does anybody know if there is an implementation of Andresen's algorithm anywhere in LLVM? Thanks in advance. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180514/444e071b/attachment.html>