http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53974
--- Comment #6 from dave.anglin at bell dot net 2012-07-20 13:28:47 UTC --- On 7/20/2012 8:26 AM, ebotcazou at gcc dot gnu.org wrote: > SPARC has essentially the same pattern (it's a splitter though) and there was > a > missing early clobber because there is no guarantee that DImode registers all > start on an even register in 32-bit mode: it's false for DImode arguments. I believe that the definition of HARD_REGNO_MODE_OK on PA prevents partially overlapping DImode registers. See comment comment for HARD_REGNO_MODE_OK . So, clobbering %R0 can't affect %1.