diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-09-23 21:53:09 -0700 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gmail.com> | 2023-09-25 00:07:49 -0700 |
| commit | 2bbac12ea7bd8a3eef5382e1b13f6019df4ec03f (patch) | |
| tree | 665c32f705286e9898c7e7d63210aa8c952ae11e /gcc/tree-ssa-phiopt.cc | |
| parent | 9d5f20fc4a6b3254d2d379309193da4be2747987 (diff) | |
| download | gcc-2bbac12ea7bd8a3eef5382e1b13f6019df4ec03f.zip gcc-2bbac12ea7bd8a3eef5382e1b13f6019df4ec03f.tar.gz gcc-2bbac12ea7bd8a3eef5382e1b13f6019df4ec03f.tar.bz2 | |
Fix PR 110386: backprop vs ABSU_EXPR
The issue here is that when backprop tries to go
and strip sign ops, it skips over ABSU_EXPR but
ABSU_EXPR not only does an ABS, it also changes the
type to unsigned.
Since strip_sign_op_1 is only supposed to strip off
sign changing operands and not ones that change types,
removing ABSU_EXPR here is correct. We don't handle
nop conversions so this does cause any missed optimizations either.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
PR tree-optimization/110386
gcc/ChangeLog:
* gimple-ssa-backprop.cc (strip_sign_op_1): Remove ABSU_EXPR.
gcc/testsuite/ChangeLog:
* gcc.c-torture/compile/pr110386-1.c: New test.
* gcc.c-torture/compile/pr110386-2.c: New test.
Diffstat (limited to 'gcc/tree-ssa-phiopt.cc')
0 files changed, 0 insertions, 0 deletions