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? Martin
