Mercurial > hg > truffle
diff agent/make/jstackproc.sh @ 5621:b0f511b40eee
Add BinaryNode.reassociate to do generic +, -, *, &, |, ^ reassociation, use it for canoncialization. Will be used to reassociate loop invariants.
Better canonical form for +/-
Stop canonicalizing a-Cst to a+(-Cst)
Canonicalize a-(-Cst) to a+Cst
Canonicalize a+(-Cst) to a-Cst
Canonicalize -a+b to b-a
Add jtt and white box tests for that
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Fri, 15 Jun 2012 15:35:10 +0200 |
parents | c18cbe5936b8 |
children |