> We actually have most of the stuff to implement this now. We just need > to set the alias set for such MEMs so that they have a different set > than all the MEMs created before reload. It's not quite that simple. You also have to know that different stack slots don't alias each other.