> > If you add the assignments as global statements in the argument to > > Ssa.shrinkFucntion, won't they just not appear in the output > > (i.e. "blocks")? > > No, you misunderstand what I was proposing. Instead of: ... > That is, if we see that the shrinker determined that a variable was equal > to another variable, simply rebind the eliminated variable. Got it. Thanks.