prfunr failure in SAACYC inhibits AWLF
|
|
Bugzilla Link |
649 |
Created on |
Jan 03, 2010 14:48 |
Resolution |
FIXED |
Resolved on |
Apr 26, 2010 11:41 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
FngeV.sac |
Extended Description
Created an attachment (id=640)
Source code to reproduce fault
The attached code, from sac/testsuite/optimizations/prfunr/FngeV.sac,
when compiled with:
sac2c -doprfunr -nowlf -doawlf -extrema FngeV.sac -b11
fails to remove two _sub_SxV_() calls that are apparently introduced
during SAACYC by AL:
_isaa_183__flat_8 = _saabind_( _isaa_181__flat_8, _isaa_182__flat_8, _flat_8);
_pinl_104__flat_5 = [ _isaa_183__flat_8 ];
...
_al_1000 = _sub_SxV_( _isaa_183__flat_8, _pinl_104__flat_5);
This failure, in turn, inhibits AWLF from folding two WLs.