> > > >It then later decides to undo this and so generates a different order. > >Question is, is this unexpected or should optimizations in expand be > >checking for associativity? > > It's expected. Once fully in SSA the canonical operand order is lower SSA > name versions first. Ah, fair enough, thanks! > > Richard. > > >Thanks, > >Tamar