[LLVMdev] Seeking advice on Structural Analysis pass

James Stanier j.stanier at sussex.ac.uk
Mon Mar 15 09:51:58 PDT 2010


Hi Tobias,

Thanks for getting back to me. I have just had a peek at the documentation
for your region pass, and it looks really cool, and thanks also for the
pointers to the literature.

If you want an overview of how structural analysis works, some of the pages
from Muchnick's textbook are available through Google Books. Diagrams of the
regions you can recognise are here:

http://books.google.co.uk/books?id=Pq7pHwG1_OkC&lpg=PP1&dq=advanced%20compiler%20design%20and%20implementation&pg=PA203#v=onepage&q=&f=true

With the reduction process of the CFG here:

http://books.google.co.uk/books?id=Pq7pHwG1_OkC&lpg=PP1&dq=advanced%20compiler%20design%20and%20implementation&pg=PA211#v=onepage&q=&f=true

Unfortunately the page that shows a diagram of the control tree for an
example CFG is not included online. I could always forward you a copy of a
work-in-progress paper where it's included in the background section if you
were interested in reading further.

With regards to a repository -- I've only been working on it locally, so
it's just on my personal svn repository. However, if you're interested in
having a glance at the code (it's a bit of a mess) then I've uploaded it for
you, but I'm not responsible for any vomiting:

http://www.informatics.sussex.ac.uk/users/js231/files/StructuralAnalysis.cpp

I haven't tested it on the two testsuites you mention, however I haven't had
time to do so yet. I wrote it towards the end of last summer, got it
working, used it to get results for a paper, and then haven't really touched
it since. It only dawned on me recently that seeing as I spent all that time
doing it, I might as well look into including it into LLVM somehow!

Ideally I'd like to know whether it would be worth my time to tidy the
structural analysis pass up, or whether you'd be interesting in discussing
this further some time to see how we could integrate our approaches, or
whether I should work towards getting it included separately!

Anyone's opinions are welcome on this matter and are appreciated. :)

Best,
James


-- 
View this message in context: http://old.nabble.com/Seeking-advice-on-Structural-Analysis-pass-tp27890316p27907070.html
Sent from the LLVM - Dev mailing list archive at Nabble.com.




More information about the llvm-dev mailing list