by andreybokhanko@[EMAIL PROTECTED]
Apr 13, 2008 at 11:14 AM
In Elbrus2000 compiler (Elbrus2000 is a VLIW processor that was
developed by Elbrus company, now bought by Intel) we did this
optimization with:
1. Value Numbering (which we treated as analysis, not optimization)
that does constant folding on the fly and sets constant class of
congruency for "x + y" operation
2. Any kind of optimization that uses help of cl***** of congruences
(constant substitution, peephole... you name it).
Andrey