|
|
Bugzilla Link |
672 |
Created on |
Jan 14, 2010 16:06 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
bug672.sac |
Extended Description
The attached code produces the following with2:
/********** (var.) segment 0: **********
* index domain: [ iv, 0 ] -> [ _uprf_914, 1 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(0 -> 1), step0[1] 1
(0 --> 1): op_0
/********** (var.) segment 1: **********
* index domain: [ iv, 1 ] -> [ _uprf_914, 2 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(1 -> 2), step0[1] 1
(0 --> 1): op_1
/********** (var.) segment 2: **********
* index domain: [ iv, 2 ] -> [ _uprf_914, 3 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(2 -> 3), step0[1] 1
(0 --> 1): op_2
/********** (var.) segment 3: **********
* index domain: [ iv, 3 ] -> [ _uprf_914, 4 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(3 -> 4), step0[1] 1
(0 --> 1): op_3
/********** (var.) segment 4: **********
* index domain: [ 0, 0 ] -> [ iv, 4 ]
*/
(0 => iv), step0[0] 1
(0 --> 1):
(0 -> 4), step0[1] 1
(0 --> 1): op_4
/********** (var.) segment 5: **********
* index domain: [ _pinl_860_ub_i, 0 ] -> [ 60, 4 ]
*/
(_pinl_860_ub_i => 60), step0[0] 1
(0 --> 1):
(0 -> 4), step0[1] 1
(0 --> 1): op_4
/********** conexpr: **********/
modarray( keySpace ,RC(keySpace) ,IDX(_wlidx_1765_keySpace__SSA0_1));
However there are 4 partitions that go over iv => _uprf_914. Upon closer inspection one can see that these do not over lap as they cover different parts of the sub array 0->1, 1->2, 2->3, 3->4
These should however be done so that there is just one outer partitions and 4 inner partitions.
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(0 -> 1), step0[1] 1
(0 --> 1): op_0
(1 -> 2), step0[1] 1
(0 --> 1): op_1
(2 -> 3), step0[1] 1
(0 --> 1): op_2
(3 -> 4), step0[1] 1
(0 --> 1): op_3