Re: [RFC PATCH] gdb/py: Add pretty printer for __mfp8 for aarch64

[Tom Tromey <tom@tromey.com>]

>>>>> "Ezra" == Ezra Sitorus <ezra.sitorus@arm.com> writes:

>> Can the compiler be fixed to emit correct DWARF instead?  That seems
>> like it would be a lot better, and in keeping with the purpose of DWARF.

Ezra> GCC encodes __mfp8 as a uint, while Clang encodes it as unsigned char. 
Ezra> Even if we were to focus on just GCC, __mfp8 is typedef'd as uint8_t so
Ezra> I don't think we can emit a float type. Or is there something else I'm
Ezra> overlooking?

I don't really know anything about this type.  Could you say what it
really is?

If it's just a float of some kind, then I don't see why it couldn't be
emitted that way (i.e., base type with DW_ATE_Float and the appropriate
size), and then if gdb needs special support, that could be added using
the usual approach (floatformat or whatever).

Tom