On Mon, Oct 12, 2020 at 1:31 PM Martin Liška <mli...@suse.cz> wrote: > > On 10/12/20 1:27 PM, Richard Biener wrote: > > Btw, POLY_INT_CST can likely be handled the same as INTEGER_CST - I suppose > > you tried that? (it might need further adjustments downstream). > > Yes, it can. But it seemed to me like an incorrect match: > > /home/marxin/Programming/testcases/pr97079-2.c:10:12: note: extra pattern > stmt: patt_2 = (unsigned int) ivtmp_31; > /home/marxin/Programming/testcases/pr97079-2.c:10:12: note: extra pattern > stmt: patt_1 = (unsigned int) POLY_INT_CST [4, 4]; > /home/marxin/Programming/testcases/pr97079-2.c:10:12: note: extra pattern > stmt: patt_6 = patt_2 + patt_1; > > dunno if we can make such a casting?
We should be able to constant-fold it at least. Richard. > Martin >
