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?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information