PPC 7450 & dcba

[Nathan Sidwell]

Alan,
the 7450 cores support the dcba instruction, but gas does not recognize that. 
the ppc opcode table marks dcba as:

{ "dcba",    X(31,758),	XRT_MASK,	PPC405 | BOOKE,	{ RA, RB } },

and gas's cpu parsing has:

   else if (strcmp (arg, "7400") == 0
	   || strcmp (arg, "7410") == 0
	   || strcmp (arg, "7450") == 0
	   || strcmp (arg, "7455") == 0)
     ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
	       | PPC_OPCODE_ALTIVEC | PPC_OPCODE_32);

AFAICT dcba is an oddity here.  Should there be another PPC_OPCODE flag to 
indicate 7450?  Or is there a better solution?

nathan
-- 
Nathan Sidwell    ::   http://www.codesourcery.com   ::         CodeSourcery
nathan@codesourcery.com    ::     http://www.planetfall.pwp.blueyonder.co.uk