Re: [PATCH 1/4] Loop-IM: Don't unconditional move conditional stmts during first LIM

2025-05-05 Thread Andrew Pinski
On Sun, May 4, 2025 at 11:51 PM Richard Biener wrote: > > On Mon, May 5, 2025 at 3:42 AM Andrew Pinski wrote: > > > > While fixing up how rewrite_to_defined_overflow works, > > gcc.dg/Wrestrict-22.c started > > to fail. This is because `d p+ 2` would moved by LIM and then be rewritten > > not u

Re: [PATCH 1/4] Loop-IM: Don't unconditional move conditional stmts during first LIM

2025-05-04 Thread Richard Biener
On Mon, May 5, 2025 at 3:42 AM Andrew Pinski wrote: > > While fixing up how rewrite_to_defined_overflow works, gcc.dg/Wrestrict-22.c > started > to fail. This is because `d p+ 2` would moved by LIM and then be rewritten > not using > pointer plus. The rewriting part is correct behavior. It only

[PATCH 1/4] Loop-IM: Don't unconditional move conditional stmts during first LIM

2025-05-04 Thread Andrew Pinski
While fixing up how rewrite_to_defined_overflow works, gcc.dg/Wrestrict-22.c started to fail. This is because `d p+ 2` would moved by LIM and then be rewritten not using pointer plus. The rewriting part is correct behavior. It only recently started to be moved out; due to r16-190-g6901d56fea2132