mixedIV3part.sac needs -maxoptcyc 11 to converge w/-doawlf
|Created on||Sep 05, 2011 19:57|
Summary says it all. cd ~/sac/testsuite/optimizations/awlf sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 17603:MODIFIED linux-gnu_x86_64 This folds to a single WL: sac2c mixedIV3part.sac -doawlf -nowlf -bopt:saacyc:lof:11 -v1 -maxwlur 1 -maxoptcyc 11 This does not: sac2c mixedIV3part.sac -doawlf -nowlf -bopt:saacyc:lof:11 -v1 -maxwlur 1 -maxoptcyc 10 This shows up a design problem in AWLF. Or maybe a few of them... 1. CUBSL only cuts a cube once along any dimension, even if more cuts are clearly needed. In this case, the cwl has bounds ( ), but the pwl has bound (,), ( ,), ,). 2. Several SAACYC opts are required to satisfy AWLF after a cut has been made. I am not happy with this, but at least it's not a bug!
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information