buildv.sac AWLF blocked by failure to simplify guard on catenate
| Bugzilla Link | 911 |
| Created on | Feb 15, 2012 21:52 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
Extended Description
The APEX buildv.sac benchmark constructs the vector:
(iota(0)),(iota(1)),(iota(2))...(iota(n))
by means of a fold WL. The result is generated
within the WL body by ++. The indexing operations
use this sort of guard when AWLF and/or -ecc/-check c are invoked:
_dup_2716__uprf_1576, _dup_2717__uprf_1577 =
_val_le_val_SxS_( _dup_2712__uprf_1581, _dup_2715__pinl_1144__flat_880);
currentshape[0] currentshape[0] + i
The right way to handle this is to perform comparison against zero,
as is done in min/max:
tmp = PRF_ARG - PRF_ARG1
val_le_val_SxS_( 0, tmp);
I hope this can be done by ICC, directly.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information