constraints are optimised wrongly by symbolic CF
Bugzilla Link | 525 |
Created on | Jul 14, 2009 21:20 |
Resolution | FIXED |
Resolved on | Jul 15, 2009 12:25 |
Version | 1.00beta |
OS | Linux |
Architecture | PC |
Attachments | bug.sac |
Extended Description
Created an attachment (id=552) source code sac2c rev 16177 compile with -noprelude -check c running the binary will produce a constraint error. running -b10 shows: _flat_0 = 1; shp = _MAIN::aud( _flat_0); _idc_27, _icc_16_pred = _non_neg_val_V_( shp); _idc_28, _idc_29, _icc_19_pred = _same_shape_AxA_( _idc_27, _idc_27); _idc_30, _icc_20_pred = _val_le_val_VxV_( _idc_29, _idc_29); _flat_3 = 0; _flat_2 = _mul_SxV_( _flat_3, _idc_30); _idc_31, _icc_15_pred = _non_neg_val_V_( _flat_2); _idc_32, _idc_33, _icc_17_pred = _same_shape_AxA_( _idc_31, _idc_30); _idc_34, _icc_18_pred = _val_le_val_VxV_( _idc_32, _idc_33); _flat_1 = 2; which looks ok to me running -b11 yields: _flat_0 = 1; shp = _MAIN::aud( _flat_0); _idc_27, _icc_16_pred = _non_neg_val_V_( shp); _idc_30, _icc_20_pred = _val_le_val_VxV_( _idc_27, _idc_27); _flat_2 = _mul_SxV_( 0, _idc_30); _idc_31, _icc_15_pred = _non_neg_val_V_( _flat_2); _idc_34, _icc_18_pred = _val_le_val_VxV_( _idc_30, _idc_31); _flat_1 = 2; the last _val_le_val_VxV_ has been muddled up!! compilation -noCF makes this bug go away.....
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information