WLS does illegal transformation on non-scalar fold-WLs
|
|
| Bugzilla Link |
7 |
| Created on |
Mar 13, 2003 00:09 |
| Resolution |
FIXED |
| Resolved on |
Mar 13, 2003 08:24 |
| Version |
1.00beta |
| OS |
All |
| Architecture |
All |
| Attachments |
wls.sac |
Extended Description
WLS scalarizes fold-WLs which is not intended. Example:
A = [1,1];
B = with ([0] <= idx < [20]) => B = [20,20];
fold( +, [0,0], A);
is transformed into
B = with ([0,1] <= ... < [20,2]): 1
([0,0] <= ... < [20,1]): 1 => B = [0,0] + 40;
fold( +, [0,0]);
!!!!
A complete SAC program for reproducing the error will be given as attachment.