Re: [committed] match.pd: Relax rule to include POLY_INT_CSTs

2021-07-08 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > On Thu, Jul 8, 2021 at 1:52 PM Richard Sandiford via Gcc-patches > wrote: >> >> match.pd has a rule to simplify an extension, operation and truncation >> back to the original type: >> >> (simplify >>(convert (op:s@0 (convert1?@3 @1) (convert2?@4 @2)))

Re: [committed] match.pd: Relax rule to include POLY_INT_CSTs

2021-07-08 Thread Richard Biener via Gcc-patches
On Thu, Jul 8, 2021 at 1:52 PM Richard Sandiford via Gcc-patches wrote: > > match.pd has a rule to simplify an extension, operation and truncation > back to the original type: > > (simplify >(convert (op:s@0 (convert1?@3 @1) (convert2?@4 @2))) > > Currently it handles cases in which @2 is an

[committed] match.pd: Relax rule to include POLY_INT_CSTs

2021-07-08 Thread Richard Sandiford via Gcc-patches
match.pd has a rule to simplify an extension, operation and truncation back to the original type: (simplify (convert (op:s@0 (convert1?@3 @1) (convert2?@4 @2))) Currently it handles cases in which @2 is an INTEGER_CST, but it also works for POLY_INT_CSTs.[*] For INTEGER_CST it doesn't matter