With2 full partitions but they are broken into bits
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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information