Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-06-04 Thread Richard Biener
On Thu, May 29, 2025 at 7:42 AM Andrew Pinski wrote: > > On Mon, May 26, 2025 at 1:40 PM Andrew Pinski wrote: > > > Note this is redundant store removal - I'm not sure operand_equal_p > > > is good enough to catch all cases of effective type changes done? > > > Esp. as infering the old effective

Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-05-28 Thread Andrew Pinski
On Mon, May 26, 2025 at 1:40 PM Andrew Pinski wrote: > > Note this is redundant store removal - I'm not sure operand_equal_p > > is good enough to catch all cases of effective type changes done? > > Esp. as infering the old effective type from the read side (src2) > > is impossible in principle.

Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-05-28 Thread Andrew Pinski
On Mon, May 26, 2025 at 1:40 PM Andrew Pinski wrote: > > On Mon, May 26, 2025 at 5:36 AM Richard Biener > wrote: > > > > On Sun, May 18, 2025 at 10:58 PM Andrew Pinski > > wrote: > > > > > > This implements a simple copy propagation for aggregates in the similar > > > fashion as we already do f

Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-05-26 Thread Andrew Pinski
On Mon, May 26, 2025 at 1:40 PM Andrew Pinski wrote: > > On Mon, May 26, 2025 at 5:36 AM Richard Biener > wrote: > > > > On Sun, May 18, 2025 at 10:58 PM Andrew Pinski > > wrote: > > > > > > This implements a simple copy propagation for aggregates in the similar > > > fashion as we already do f

Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-05-26 Thread Andrew Pinski
On Mon, May 26, 2025 at 5:36 AM Richard Biener wrote: > > On Sun, May 18, 2025 at 10:58 PM Andrew Pinski > wrote: > > > > This implements a simple copy propagation for aggregates in the similar > > fashion as we already do for copy prop of zeroing. > > > > Right now this only looks at the previo

Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-05-26 Thread Richard Biener
On Sun, May 18, 2025 at 10:58 PM Andrew Pinski wrote: > > This implements a simple copy propagation for aggregates in the similar > fashion as we already do for copy prop of zeroing. > > Right now this only looks at the previous vdef statement but this allows us > to catch a lot of cases that show

[PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-05-18 Thread Andrew Pinski
This implements a simple copy propagation for aggregates in the similar fashion as we already do for copy prop of zeroing. Right now this only looks at the previous vdef statement but this allows us to catch a lot of cases that show up in C++ code. Also deletes aggregate copies that are to the sa

Re: [PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-04-21 Thread Andrew Pinski
On Mon, Apr 21, 2025 at 9:52 AM Andrew Pinski wrote: > > This implements a simple copy propagation for aggregates in the similar > fashion as we already do for copy prop of zeroing. > > Right now this only looks at the previous vdef statement but this allows us > to catch a lot of cases that show

[PATCH] gimple-fold: Implement simple copy propagation for aggregates [PR14295]

2025-04-21 Thread Andrew Pinski
This implements a simple copy propagation for aggregates in the similar fashion as we already do for copy prop of zeroing. Right now this only looks at the previous vdef statement but this allows us to catch a lot of cases that show up in C++ code. Also adds a variant of pr22237.c which was found