No optimization exists to weld together adjacent, identical WL partitions
|
|
Bugzilla Link |
648 |
Created on |
Jan 02, 2010 14:14 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
empty2d.sac |
Extended Description
Created an attachment (id=639)
Source code to reproduce fault
(This was discussed recently in sacdev email.) If I compile
the attached, I end up with this WL:
z = with {
(_pinl_77_min_upper <= iv=[_eat_9] < _flat_2 genwidth [ _wlsimp_82 ])
{
/* empty */
} : _flat_3 ; ,
(_wlpg_45_zeros <= iv=[_eat_9] < _pinl_77_min_upper genwidth [ _isaa_102__flat_0 ])
{
/* empty */
} : _flat_3 ;
} :
There are two partitions, which have identical bodies that could be
merged into a single partition. In the more general case, the bodies
would not be identical, due to SSA and friends, but could be shown
to be functionally identical, through suitable renaming, at which time
they could be merged.