buildv.sac AWLF blocked by failure to simplify guard on catenate
|Created on||Feb 15, 2012 21:52|
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 currentshape + 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