AL/AS/DL can't handle guarded expressions, crippling AWLF, etc.
|
|
Bugzilla Link |
853 |
Created on |
Jul 04, 2011 16:30 |
Resolution |
FIXED |
Resolved on |
Jun 03, 2012 11:57 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
crud.sac, cubeslice1dbeta.sac
|
Extended Description
Created an attachment (id=804)
source code to reproduce failure
Consider an expression such as:
bad2 = guard(siz - 40) + ( 30 - siz);
If we remove (guard), then AL/AS/DL happily simplify this
expression. However, with the guard, no simplification
happens.
Attached is a short example which shows this problem.
Failure to simplify expressions such as the above cause
failure of AWLF and other optimizations, which is why I have
marked this problem as "major".
Perhaps this can be discussed at the devcamp this month?