[abc] type assigner complexity in Soot

Hi John,

We have been beavering away at the abc compiler, and you can find
it's website at abc.comlab.ox.ac.uk. Thanks to all your help
wrt to Soot (we put you on the Credits page, I hope you don't mind).

We have been having great success in getting it to run on lots of
examples, and have recently got it to compile itself. The problem
is that it spends a huge proportion of its time (while compiling itself)
and the type assignment in one class which has a big monster method
implementing a parser.

If you go to abc.comlab.ox.ac.uk/dists/0.9.1/package and you download
abc-complete.jar, you can see the problem using the following,

java -Xmx512M soot.Main
  -cp lib/abc-complete.jar:/usr/lib/j2sdk1.4/jre/lib/rt.jar
   abc.aspectj.parse.CUP\$Grm\$actions

I remember that you did have some solutions for speeding up the type
assigner, but I don't remember if we ever integrated them or not.
What is your memory on this? Any chance you could take a look?

Cheers, Laurie

+-------------------------------------------------------------+
| Laurie Hendren, Professor, School of Computer Science |
| McGill University |
| 318 McConnell Engineering Building tel: (514) 398-7391 |
| 3480 University Street fax: (514) 398-3883 |
| Montreal, Quebec H3A 2A7 hendren@cs.mcgill.ca |
| CANADA http://www.sable.mcgill.ca/~hendren |
+-------------------------------------------------------------+
Received on Thu Sep 16 21:30:02 2004