copyright issues for cgen-generated tools

[Joern Rennecke <joernr at arc dot com>]

We (ARC International) are currently evaluating the feasibility of using
cgen to generate simulators and binutils for the ARCompact family of cores.
The desired outcome is that the gdb sim simulator and binutils will be
integrated into the FSF mainline tree.
I understand that the FSF will requires copyright assignments for the
contributed code before such a contribution is considered for integration.
Obviously, we have the right to assign the code that we have written
ourselves. However, the cgen framework and cpu files that are recommended as
templates to writing your own cpu file (m32r is directly recommended,
and I've also found relevant bits for features not covered in m32r.cpu in
arc*.cpu, sh*.cpu sparc*.cpu and xstormy.cpu) are copyright Red Hat.
I'm not sure to what extend the generated files are then copyright Red Hat.
The Cgen license gives permission to use cgen output beyond the permissions
of  the GPL, but copyright assignment to the FSF certainly does go beyond
that.
Also, I'm not sure if the FSF requires the cgen source code to be
assigned to them.  It is the preferred source code to modify, but OTOH
the requirements of the GPL are fulfilled by the cgen source code being
available under a matching GPL license.

Have the necessary assignments already been made when previous cgen-generated
ports have been contributed to gdb / binutils?  There are copies of some old
cgen cpu files in the sourceware.org main tree which purport to be copyright
FSF, but at the same time the master copies in the cgen repository don't
carry any FSF copyright notices - I don't think any one is a clean-room
reimplementation, so one of the Copyright lists must be wrong (either the
FSF copyright notices in the main tree are plain wrong, or the copyright
notices in the cgen tree are incomplete at best).

Assuming the necessary copyright assignments have been made for previous
ports, will I need to use a vintage cgen version - presumably the one used
for the latest contributed port - in order to take advantage of these
assignments so that the ARC port can be contributed to the FSF?

Or can the necessary assignments for the newer code be made by Red Hat?