PowerPC Floating Point compare bug?

[David Edelsohn]

>>>>> Geoff Keating writes:

Geoff> Yes.  Specifically, it's the code sequence fsel/fneg/fsel that gets
Geoff> emitted for a comparison; GCC is emitting it wrongly.

	If it was right, there wouldn't be a bug :^).

	The fsel code should be selecting between operands of the same
mode, though the test can be of a different mode.  The code is from the
PowerPC Processor Book appendix.  The bug most likely is some requirement
about the operands that is not being met.  I'll trace down the
transitions.

David