Re: [Dwarf-Discuss] modeling different address spaces

2020-08-07 Thread David Blaikie via Dwarf-Discuss
On Fri, Aug 7, 2020 at 9:43 AM Pedro Alves via Dwarf-Discuss wrote: > > Hi there! > > On 7/31/20 1:17 AM, Tye, Tony via Dwarf-Discuss wrote: > > For optimized code involving multiple address spaces it is possible to run > > into cases where the location of a source language variable requires >

Re: [Dwarf-Discuss] modeling different address spaces

2020-08-07 Thread Pedro Alves via Dwarf-Discuss
Hi there! On 7/31/20 1:17 AM, Tye, Tony via Dwarf-Discuss wrote: > For optimized code involving multiple address spaces it is possible to run > into cases where the location of a source language variable requires multiple > address spaces. For example, a source variable may be optimized and

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-31 Thread Tye, Tony via Dwarf-Discuss
A compiler may promote part of a variable to a scratch pad memory address space. Thanks, -Tony Tye -Original Message- From: Michael Eager On 7/30/20 5:17 PM, Tye, Tony via Dwarf-Discuss wrote: > For optimized code involving multiple address spaces it is possible to > run into cases

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-31 Thread Metzger, Markus T via Dwarf-Discuss
Hello Michael, Sorry for the late reply. I found the email in the spam folder today. > >>> We'd also want an unbounded piece operator to describe partially > registerized > >>> unbounded arrays, but I have not worked that out in detail, yet, and > >>> we're a > bit > >>> farther away from an

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-31 Thread Frank Ch. Eigler via Dwarf-Discuss
Hi - > Can you explain this more? > > DWARF handles the situation where part of a variable is in memory and part > in a register or in multiple registers. When would you have a variable > which was in multiple address spaces? Remember the "how can a debugger WRITE safely to variables"

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-30 Thread Tye, Tony via Dwarf-Discuss
For optimized code involving multiple address spaces it is possible to run into cases where the location of a source language variable requires multiple address spaces. For example, a source variable may be optimized and different pieces may be in different places including memory of multiple

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-20 Thread Michael Eager via Dwarf-Discuss
On 7/20/20 8:24 AM, Metzger, Markus T wrote: Hello Michael, We'd also want an unbounded piece operator to describe partially registerized unbounded arrays, but I have not worked that out in detail, yet, and we're a bit farther away from an implementation. Can you describe this more?

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-20 Thread Metzger, Markus T via Dwarf-Discuss
Hello Michael, > > I have a write-up ready but wanted to wait until we have a public > implementation. > > Is that the right order? Or would you rather want to review proposals right > away. > > I'm not sure what a SIMD lane is. There are a number of architectures > which support SIMD, such as

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-20 Thread Michael Eager via Dwarf-Discuss
On 7/20/20 1:43 AM, Metzger, Markus T via Dwarf-Discuss wrote: I also have a small proposal for describing locations as function of the SIMD lane by adding a DW_OP_push_simd_lane operator and introducing stack variants for piece operators. I have a write-up ready but wanted to wait until we

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-20 Thread Metzger, Markus T via Dwarf-Discuss
Hello Michael, > https://llvm.org/docs/AMDGPUDwarfProposalForHeterogeneousDebugging.html > > > > AFAIK, these changes will be made to LLVM and there is interest in adding to > the DWARF standard eventually. > > As mentioned in the past, I would be pleased to see proposals submitted > for these

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread David Blaikie via Dwarf-Discuss
On Thu, Jul 16, 2020 at 12:55 PM Michael Eager wrote: > On 7/16/20 11:51 AM, David Blaikie wrote: > > > > > > On Thu, Jul 16, 2020 at 11:41 AM Robinson, Paul via Dwarf-Discuss > > The example that most often comes up is Harvard architectures. As it > > happens, I think it's nearly

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Michael Eager via Dwarf-Discuss
On 7/16/20 11:51 AM, David Blaikie wrote: On Thu, Jul 16, 2020 at 11:41 AM Robinson, Paul via Dwarf-Discuss The example that most often comes up is Harvard architectures.  As it happens, I think it's nearly always obvious from context whether a given address is data-segment or

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread David Blaikie via Dwarf-Discuss
ichael Eager via Dwarf-Discuss > > Sent: Thursday, July 16, 2020 2:12 PM > > To: todd.al...@concurrent-rt.com; Metzger, Markus T > > > > Cc: dwarf-discuss@lists.dwarfstd.org > > Subject: Re: [Dwarf-Discuss] modeling different address spaces > > > > On 7/16/20 10

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Robinson, Paul via Dwarf-Discuss
gt; Cc: dwarf-discuss@lists.dwarfstd.org > Subject: Re: [Dwarf-Discuss] modeling different address spaces > > On 7/16/20 10:06 AM, Todd Allen via Dwarf-Discuss wrote: > > Markus, Michael, David, Xing, > > > > I always assumed that the segment support in DWARF was meant to be mor

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Robinson, Paul via Dwarf-Discuss
ject: Re: [Dwarf-Discuss] modeling different address spaces > > On 7/16/20 10:26 AM, John DelSignore via Dwarf-Discuss wrote: > > FYI, Tony Tye and his team at AMD created a DWARF Proposal for > heterogeneous debugging, which is generally useful but required to debug > opti

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Michael Eager via Dwarf-Discuss
On 7/16/20 10:26 AM, John DelSignore via Dwarf-Discuss wrote: FYI, Tony Tye and his team at AMD created a DWARF Proposal for heterogeneous debugging, which is generally useful but required to debug optimized code for GPUs. It directly addresses the issue of how to model different address

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Michael Eager via Dwarf-Discuss
On 7/16/20 10:06 AM, Todd Allen via Dwarf-Discuss wrote: Markus, Michael, David, Xing, I always assumed that the segment support in DWARF was meant to be more general, and support architectures where there was no single flat memory, and so the segments were necessary for memory accesses. I

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread John DelSignore via Dwarf-Discuss
FYI, Tony Tye and his team at AMD created a DWARF Proposal for heterogeneous debugging, which is generally useful but required to debug optimized code for GPUs. It directly addresses the issue of how to model different address spaces and makes location descriptions first-class objects that can

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Todd Allen via Dwarf-Discuss
Markus, Michael, David, Xing, I always assumed that the segment support in DWARF was meant to be more general, and support architectures where there was no single flat memory, and so the segments were necessary for memory accesses. I personally have not dealt with any architectures where

Re: [Dwarf-Discuss] modeling different address spaces

2020-07-16 Thread Michael Eager via Dwarf-Discuss
On 7/16/20 2:23 AM, Metzger, Markus T via Dwarf-Discuss wrote: Hello, What would be the recommended way to model variables that are allocated to different address spaces? Can you describe the architecture a bit? I found DW_OPT_xderef for dereferencing address-space qualified pointers but