DL anti-strength reduction causes opt failure in AWLF unit test relaxAKD.sac
|Created on||Feb 24, 2013 16:00|
|Attachments||StdlibCatenateAxis1AKD.sac, bugdl.sac, bugdl2.sac, crud.sac, xStdlibCatenateAxis1AKD.sac, bug1046D.sac|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information