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.