CWLE still failing to remove copy WL when RHS is function parameter
|
|
Bugzilla Link |
661 |
Created on |
Jan 11, 2010 23:38 |
Resolution |
FIXED |
Resolved on |
Jan 13, 2010 15:33 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
lltopAKD.sac, bug661.sac
|
Extended Description
Created an attachment (id=651)
Source code to reproduce fault
I'm still seeing a failure of CWLE to remove a WL when it's a copy of
a function parameter. It happens to be in a LACFUN, but I think that's not
relevant. This one only hits NON-AWLF code, with Build #16725:MODIFIED.
sac2c lltopAKD.sac
will do the trick, and give you this:
_pinl_1609__wlbsc_1092_sc_e = _idx_shape_sel_( 0, r_2);
_pinl_1610__wlbsc_1093_sc_bound = [ _pinl_1609__wlbsc_1092_sc_e ];
_pinl_1603_res = with {
(_wlbsc_2791_sc_bound <= _pinl_1600_iv=[_pinl_1604__eat_139] (IDXS:_wlidx_3114__pinl_1603_res) < _pinl_1610__wlbsc_1093_sc_bound)
{
_ivesplit_3129 = _idxs2offset_( _isaa_2455_r_2, _pinl_1604__eat_139);
_pinl_1601__flat_359 = _idx_sel_( _ivesplit_3129, r_2);
} : _pinl_1601__flat_359 ;
} :
genarray( _pinl_1610__wlbsc_1093_sc_bound, _pinl_1540__flat_94, IDX(_wlidx_3114__pinl_1603_res));
with this function header:
int[.] _MAIN::_dup_2006_lltopermIII__Loop_0( int[1]{0} _wlbsc_2791_sc_bound { } , int{1} _flat_24 { } , int{0} _pinl_1540__flat_94 { } , int[.] A_37 { } , int A_CTR38_ { } , int A_CTR38z_ { } , int[1] _isaa_2455_r_2 { } , int[.] r_2 { } , int hd_1 { } , int[.] links { } )