Re: std::start_lifetime_as vs. aliasing

2025-08-28 Thread Richard Biener
On Thu, 28 Aug 2025, Iain Sandoe wrote: > > > > On 28 Aug 2025, at 16:38, Jakub Jelinek wrote: > > > > On Thu, Aug 28, 2025 at 04:50:15PM +0200, Jakub Jelinek wrote: > >> On Thu, Aug 28, 2025 at 04:24:46PM +0200, Richard Biener wrote: > >>> That said, if we ever want to improve on this (and so

Re: std::start_lifetime_as vs. aliasing

2025-08-28 Thread Iain Sandoe
> On 28 Aug 2025, at 16:38, Jakub Jelinek wrote: > > On Thu, Aug 28, 2025 at 04:50:15PM +0200, Jakub Jelinek wrote: >> On Thu, Aug 28, 2025 at 04:24:46PM +0200, Richard Biener wrote: >>> That said, if we ever want to improve on this (and solve the redundant >>> store elimination issue), we nee

Re: std::start_lifetime_as vs. aliasing

2025-08-28 Thread Jakub Jelinek
On Thu, Aug 28, 2025 at 04:50:15PM +0200, Jakub Jelinek wrote: > On Thu, Aug 28, 2025 at 04:24:46PM +0200, Richard Biener wrote: > > That said, if we ever want to improve on this (and solve the redundant > > store elimination issue), we need an actual GIMPLE/RTL statement > > doing what std::start_

Re: std::start_lifetime_as vs. aliasing

2025-08-28 Thread Jakub Jelinek
On Thu, Aug 28, 2025 at 04:24:46PM +0200, Richard Biener wrote: > That said, if we ever want to improve on this (and solve the redundant > store elimination issue), we need an actual GIMPLE/RTL statement > doing what std::start_lifetime_as does (but not generate code). > > Meaning, I'd vote for a

Re: std::start_lifetime_as vs. aliasing

2025-08-28 Thread Richard Biener
On Thu, 28 Aug 2025, Jason Merrill wrote: > On 8/28/25 9:52 AM, Jakub Jelinek wrote: > > On Thu, Aug 28, 2025 at 02:08:12PM +0200, Jason Merrill wrote: > >>> So, do you think for P2590R2 we want a purely library implementation which > >>> does nothing (well, define the needed templates)? > >>> Or

Re: std::start_lifetime_as vs. aliasing

2025-08-28 Thread Jason Merrill
On 8/28/25 9:52 AM, Jakub Jelinek wrote: On Thu, Aug 28, 2025 at 02:08:12PM +0200, Jason Merrill wrote: So, do you think for P2590R2 we want a purely library implementation which does nothing (well, define the needed templates)? Or do you prefer some builtin which will do nothing initially but m

std::start_lifetime_as vs. aliasing

2025-08-28 Thread Jakub Jelinek
On Thu, Aug 28, 2025 at 02:08:12PM +0200, Jason Merrill wrote: > > So, do you think for P2590R2 we want a purely library implementation which > > does nothing (well, define the needed templates)? > > Or do you prefer some builtin which will do nothing initially but might be > > changed to do someth