> The following teaches phiprop to handle the case of aggregate copies > where the aggregate has non-BLKmode which means it is very likely > expanded as reg-reg moves (any better test for that apart from > checking for non-BLKmode?).
!aggregate_value_p comes to mind, but non-BLKmode is the definitive test to distinguish the register from the non-register case at the RTL level. -- Eric Botcazou