Compiling partitionslicerFailure.simpler.sac AWLF unit with -noctz gives wrong answer
| Bugzilla Link | 1098 |
| Created on | Oct 10, 2013 16:25 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | partitionslicerFailure.simpler.sac |
Extended Description
Created an attachment (id=993) source code to reproduce fault sac2c partitionslicerFailure.simpler.sac -v1 -doawlf -nowlf warning: AWLF is enabled: -ecc enabled. warning: AWLF is enabled: -extrema enabled. warning: AWLF is enabled: -maxoptcyc=20 sac@rattler:~/sac/testsuite/optimizations/awlf$ a.out; echo $?40000 0 sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c partitionslicerFailure.simpler.sac -v1 -doawlf -nowlf -noctz warning: AWLF is enabled: -ecc enabled. warning: AWLF is enabled: -extrema enabled. warning: AWLF is enabled: -maxoptcyc=20 sac@rattler:~/sac/testsuite/optimizations/awlf$ a.out; echo $?-nan 255 sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c -V sac2c v1.00-beta (Haggis And Apple) product rev 18396 linux-gnu_x86_64 (Wed Oct 9 16:38:56 EDT 2013 by sac) I'm not sure what's going on here: I eyeballed some -bopt code last night, to no avail.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information