Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-26 Thread Robinson, Paul via Dwarf-discuss
> > If it ever became necessary, you can always add a 2nd attribute for it. > > As an example, in our Ada compiler decades ago, we did this for > > DW_AT_artificial.  It's just a flag, so either present or not-present. > > We added a 2nd DW_AT_artificial_kind with a whole bunch of different > >

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-25 Thread Ben Woodard via Dwarf-discuss
On 4/24/23 13:17, Todd Allen via Dwarf-discuss wrote: On 4/24/23 13:27, Ben Woodard via Dwarf-discuss wrote: As for NEON vs. SVE, is there a need to differentiate them?  And can it not be done by shape of the type? That one continues to be hard. ARM processors that support SVE also have NEON

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-24 Thread Todd Allen via Dwarf-discuss
On 4/24/23 13:27, Ben Woodard via Dwarf-discuss wrote: > >> As for NEON vs. SVE, is there a need to differentiate them?  And can it >> not be done by shape of the type? > > That one continues to be hard. ARM processors that support SVE also have > NEON registers which like the Intel SSE MMX AVX

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-24 Thread Ben Woodard via Dwarf-discuss
On 4/24/23 09:50, Todd Allen via Dwarf-discuss wrote: On 4/21/23 16:31, Ben Woodard via Dwarf-discuss wrote:     Insert the following paragraph between the first paragraph of     normative text describing DW_TAG_array_type and the second paragraph     dealing with multidimensional ordering.

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-24 Thread Todd Allen via Dwarf-discuss
On 4/21/23 16:31, Ben Woodard via Dwarf-discuss wrote: >> >>>     Insert the following paragraph between the first paragraph of >>>     normative text describing DW_TAG_array_type and the second >>> paragraph >>>     dealing with multidimensional ordering. >>> >>>

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-23 Thread Metzger, Markus T via Dwarf-discuss
Hello Ben, An array type that refers to a vector or matrix type, shall be denoted with DW_AT_tensor whose integer constant, will specify the kind of tensor it is. The default type of tensor shall be the kind used by the vector registers in the target architecture. Table

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-21 Thread Ben Woodard via Dwarf-discuss
On 4/21/23 12:56, Todd Allen via Dwarf-discuss wrote: I've been playing catch-up on this discussion today. I was convinced of the value early on just based on the need of this information to follow the ABI parameter passing rules on certain architectures. Really -- that is what I care about

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-18 Thread Cary Coutant via Dwarf-discuss
Added as Issue 230413.1: https://dwarfstd.org/issues/230413.1.html -cary On Thu, Apr 13, 2023 at 11:57 AM Ben Woodard via Dwarf-discuss < dwarf-discuss@lists.dwarfstd.org> wrote: > Here is V3 of what was my vector types proposal. > > Changes since V2: > > We discussed this extensively in the

Re: [Dwarf-discuss] ISSUE: tensor types. V3

2023-04-13 Thread Ben Woodard via Dwarf-discuss
Here is V3 of what was my vector types proposal. Changes since V2: We discussed this extensively in the DWARF for GPUs meeting. Cary originally wanted it to be a TAG rather than an attribute on an array and quite frankly, I don't care and so my default position is "What Cary wants, Cary