Re: Is NEGATE_EXPR gimple valid for pointer (and offset) types

2021-06-06 Thread Richard Biener via Gcc
On June 6, 2021 12:54:03 AM GMT+02:00, Andrew Pinski via Gcc wrote: >While debugging PR 100925, I found that after my match.pd (for >A?CST0:CST1) and phiopt patch to use match-and-simplify, gcc will >produce an negate assignment gimple which has a pointer type (and >offset type). Before we would

Is NEGATE_EXPR gimple valid for pointer (and offset) types

2021-06-05 Thread Andrew Pinski via Gcc
While debugging PR 100925, I found that after my match.pd (for A?CST0:CST1) and phiopt patch to use match-and-simplify, gcc will produce an negate assignment gimple which has a pointer type (and offset type). Before we would produce "cond ? -1B : 0B" in this case but now we produce: _4 = a_2(D)