Re: Implementing data flow analysis in single pass parser

johnhull2008 <johnhull2008@gmail.com>
Mon, 28 Jul 2008 01:23:49 -0700 (PDT)

          From comp.compilers
Related articles
Implementing data flow analysis in single pass parser madhusudhanank@gmail.com (Madhu-K7) (2008-07-18)
Re: Implementing data flow analysis in single pass parser johnhull2008@gmail.com (johnhull2008) (2008-07-28)
Re: Implementing data flow analysis in single pass parser madhusudhanank@gmail.com (Madhu-K7) (2008-07-30)
| List of all articles for this month |
From: johnhull2008 <johnhull2008@gmail.com>
Newsgroups: comp.compilers
Date: Mon, 28 Jul 2008 01:23:49 -0700 (PDT)
Organization: Compilers Central
References: 08-07-034
Keywords: analysis
Posted-Date: 28 Jul 2008 09:48:20 EDT

There are several papers on synthesizing C pointers to hardware
including the following one:
http://citeseer.ist.psu.edu/237630.html


I have only read the introduction and abstract but it seems to be
suggesting a way of analyzing which variables a pointer might be
pointing to in order to synthesize it into hardware.


Most compilers, including gcc, already have an alias analysis pass, so
it might save you time if you can find a way to use the existing code.
I think tree-ssa-alias.c of gcc-4.3.1 is the pass you might be
interested in.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.