Code analysis, Common subexpression elimination

phax / jcodemodel

A heavily extended fork of the com.sun.codemodel (from 2013/09)

Other

93 stars 34 forks source link

Code analysis, Common subexpression elimination #18

Closed leventov closed 8 years ago

leventov commented 9 years ago

Does the CodeModel project or particularly this fork contain any functionality like code analysis and performing simple optimizations, for exampe common subexpression elimination? If not, how do you think how difficult it could be to implement this and how friendly for such analysis/transformations the current API/library design/impl is?

phax commented 9 years ago

Unfortunately it does not support such advanced features. Compare to the original implementation it offers a more open API that lets you access most fields and modify or retrieve them, so that you have better control when creating code. I think in general the API is suitable, but this is surely not an easy task to achieve. Any contributions are welcome :)

leventov commented 9 years ago

I will try to investigate this.

phax commented 9 years ago

:+1:

leventov commented 9 years ago

In addition to field reads, array element reads and method calls, casts and divisions should be eliminated, bacause Java compilers are probably also not allowed to optimize them in certain cases, to throw ClassCastException, NullPointerException (on casts of null to primitive type) or ArithmeticException (on division by zero) at the "right" moment.

phax commented 9 years ago

Great work so far. Unfortunately I cannot help you much with this, because this is absolutely not my expertise and I'm busy with tons of other things. But keep up the good work, and I'm happy to merge new updates!

leventov commented 9 years ago

@phax I haven't abandoned this because I will actually use this, but also very busy. Probably I will finish this at some moment within next couple of months.

phax commented 8 years ago

Any update on this one???

leventov commented 8 years ago

@phax unfortunately no, for two reasons:

In Java, I've found IMO better Java source model project: https://github.com/INRIA/spoon I'm using it now. Another interesting is https://github.com/square/javapoet
The project, I was originally implementing CSE for, has moved from Java to Haskell :)

phax commented 8 years ago

Thanks for the update. That means I could potentially revert your changes :)

All the best for your projects!