https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103226
Hans-Peter Nilsson <hp at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hp at gcc dot gnu.org
--- Comment #24 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
(In reply to Jeffrey A. Law from comment #20)
> Your c#19 was a bit hard to follow. But you hit the key issue. Namely that
> the doloop pattern will set/clobber the condition codes if it gets split.
> Failure to show that clobber means that IRA/LRA have incorrect dataflow and
> make incorrect decisions.
>
> I'm testing the obvious fix of adding the clobber. It may be possible to
> improve on my patch, but I'll leave that to someone who really cares about
> the port.
I'm chalking one up for the CC representation ("decc0ration method") where CC
clobbers are *always* present, not added midway "when splitting patterns after
reload". (The SomeoneCaringForBfin would then also find that that the .md file
shrinks.)