ipbb.sac: POGO fails to remove guard due to no extrema on induction variable
| Bugzilla Link | 1129 |
| Created on | Sep 04, 2014 22:05 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | ipbb.sac |
Extended Description
Created an attachment (id=1012) Source code to reproduce fault sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 18604 (Thu Sep 4 16:26:21 EDT 2014 by sac) The ipbb.sac test case in the polylib unit tests fails, because PETL does not compute extrema for the induction variable, colx. The polylib UnitTestRunGreps otherwise runs clean. UnitTestRunWorks fails due to linker problems, still unresolved.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information