Re: [Dwarf-discuss] Dwarf language code for P4 langauge

[Cary Coutant via Dwarf-discuss]

Added as Issue 240725.1.

I've assigned the following language codes for P4:

DW_LANG_P4 = 0x003c (for DWARF 5 and earlier)
DW_LNAME_P4 = 0x002b (for DWARF 6)

-cary


On Mon, Jul 29, 2024 at 7:14 AM Robinson, Paul via Dwarf-discuss <
dwarf-discuss@lists.dwarfstd.org> wrote:

> Thanks. CC’ing the list as that’s what we use for the record of requests.
>
> --paulr
>
>
>
> *From:* Chris Dodd 
> *Sent:* Sunday, July 28, 2024 1:38 AM
> *To:* Robinson, Paul 
> *Subject:* Re: [Dwarf-discuss] Dwarf language code for P4 langauge
>
>
>
> For P4, the lower bound for arrays is 0, and the versioning scheme is
> VVMMPP (current latest version is 010204 - 1.2.4 published last year though
> there will likely soon be a 1.2.5 version)
>
>
>
> On Sat, Jul 27, 2024 at 1:46 AM Robinson, Paul 
> wrote:
>
> It’s not written down anywhere (probably should be) but in order to assign
> a new language code, we need some additional information. Specifically, we
> need a default lower bound for arrays (as seen at
> https://dwarfstd.org/languages.html
> 
> ) and for the upcoming DWARF v6, a versioning scheme (as seen at
> https://dwarfstd.org/languages-v6.html
> 
> ).
>
> --paulr
>
>
>
> *From:* Dwarf-discuss  sony@lists.dwarfstd.org> *On Behalf Of *Chris Dodd via Dwarf-discuss
> *Sent:* Thursday, July 25, 2024 8:52 PM
> *To:* dwarf-discuss@lists.dwarfstd.org
> *Subject:* [Dwarf-discuss] Dwarf language code for P4 langauge
>
>
>
>
>
> I'd like to request the allocation of a new language code for the P4
> language (https://p4.org/
> ).
> Is there a standard process for this, or a different place it should be
> requested?
>
>
>
> Chris Dodd
>
> cd...@nvidia.com
>
> --
> Dwarf-discuss mailing list
> Dwarf-discuss@lists.dwarfstd.org
> https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss
>
-- 
Dwarf-discuss mailing list
Dwarf-discuss@lists.dwarfstd.org
https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss

Re: [Dwarf-discuss] Proposal/clarification: "inherited" subrange bounds

[Cary Coutant via Dwarf-discuss]

Alexandre,

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.

-cary


On Tue, Jul 30, 2024 at 6:22 PM Alexandre Oliva via Dwarf-discuss <
dwarf-discuss@lists.dwarfstd.org> wrote:

> On Jul 29, 2024, David Blaikie  wrote:
>
> >> The situation is not very different, but in Ada one can specify the
> >> target size (in bits) for the type (which may require biased
> >> representations, but that's besides the point).  Despite the specified
> >> size, standalone variables and members of unpacked types use full
> >> storage units, unless packing is requested.  See
> >> e.g.
> >>
> https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/testsuite/gnat.dg/bias1.adb
>
> > I see, so do I understand correctly that you'd prefer not to use the
> > bitfield style representation, because it'd be repetitious?
>
> There's that (Dwarf aims for compactness), but there's also the fact
> that the type size is explicitly specified as the smaller bit size, so a
> proper representation of that type would carry that piece of
> information.  ISTM that ideally the larger, full-unit-sized variant
> would be the one using explicit sizes or a separate type variant
> inheriting the same bounds.
>
> But the problem I see, and try to raise in this thread, is that there's
> no way for a subrange type to inherit bounds from another subrange type,
> which once again plays against compactness.
>
> --
> Alexandre Oliva, happy hacker
> https://FSFLA.org/blogs/lxo/
>Free Software Activist   GNU Toolchain Engineer
> Disinformation flourishes because many people care deeply about injustice
> but
> very few check the facts.  Think Assange & Stallman.  The empires strike
> back
> --
> Dwarf-discuss mailing list
> Dwarf-discuss@lists.dwarfstd.org
> https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss
>
-- 
Dwarf-discuss mailing list
Dwarf-discuss@lists.dwarfstd.org
https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss