<div dir="ltr">Alexandre,<div><br></div><div>It sounds like you still would like to propose a change to DWARF. Can I ask you to come back with a formal proposal? It's OK if you're not sure of one alternative over another, but I'd like to see something more specific in terms of what changes you'd like to make.</div><div><br></div><div>-cary<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jul 30, 2024 at 6:22 PM Alexandre Oliva via Dwarf-discuss <<a href="mailto:dwarf-discuss@lists.dwarfstd.org">dwarf-discuss@lists.dwarfstd.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Jul 29, 2024, David Blaikie <<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>> wrote:<br>
<br>
>> The situation is not very different, but in Ada one can specify the<br>
>> target size (in bits) for the type (which may require biased<br>
>> representations, but that's besides the point).  Despite the specified<br>
>> size, standalone variables and members of unpacked types use full<br>
>> storage units, unless packing is requested.  See<br>
>> e.g.<br>
>> <a href="https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/testsuite/gnat.dg/bias1.adb" rel="noreferrer" target="_blank">https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/testsuite/gnat.dg/bias1.adb</a><br>
<br>
> I see, so do I understand correctly that you'd prefer not to use the<br>
> bitfield style representation, because it'd be repetitious?<br>
<br>
There's that (Dwarf aims for compactness), but there's also the fact<br>
that the type size is explicitly specified as the smaller bit size, so a<br>
proper representation of that type would carry that piece of<br>
information.  ISTM that ideally the larger, full-unit-sized variant<br>
would be the one using explicit sizes or a separate type variant<br>
inheriting the same bounds.<br>
<br>
But the problem I see, and try to raise in this thread, is that there's<br>
no way for a subrange type to inherit bounds from another subrange type,<br>
which once again plays against compactness.<br>
<br>
-- <br>
Alexandre Oliva, happy hacker                    <a href="https://FSFLA.org/blogs/lxo/" rel="noreferrer" target="_blank">https://FSFLA.org/blogs/lxo/</a><br>
   Free Software Activist                           GNU Toolchain Engineer<br>
Disinformation flourishes because many people care deeply about injustice but<br>
very few check the facts.  Think Assange & Stallman.  The empires strike back<br>
-- <br>
Dwarf-discuss mailing list<br>
<a href="mailto:Dwarf-discuss@lists.dwarfstd.org" target="_blank">Dwarf-discuss@lists.dwarfstd.org</a><br>
<a href="https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss" rel="noreferrer" target="_blank">https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss</a><br>
</blockquote></div>