DL anti-strength reduction causes opt failure in AWLF unit test relaxAKD.sac
Extended Description
Created an attachment (id=944)
source code to reproduce fault
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
product rev 18058 linux-gnu_x86_64
(Thu Feb 21 14:45:15 EST 2013 by sac)
sac2c bugdl.sac -doawlf -nowlf -v1 -bopt >crud
Ditto the other attachments...
The problem is that DL takes an expression such as:
X = id( 2);
Z = ( X + X) - X;
and turns it into:
Z = ( 2 * X) - X;
at which point, it is unable to simplify the expression
tree any more. Which is dull.
This causes AWLF intersect calculation to fail, which means that
sum(cat(A,B)) fails to WL fold.
Clemens: Please let me know your schedule for repairing this. If
it going to take you months, as opposed to a day or two, to fix it,
I'll just go and (probably) disable the add->mul strength anti-reduction code
until such time as you can find time to fix it to your liking.
