]> git.ipfire.org Git - thirdparty/gcc.git/commit
MATCH: Extend min_value/max_value to pointer types
authorAndrew Pinski <apinski@marvell.com>
Sat, 5 Aug 2023 16:23:26 +0000 (09:23 -0700)
committerAndrew Pinski <apinski@marvell.com>
Mon, 7 Aug 2023 07:29:43 +0000 (00:29 -0700)
commit58f1e185ff6d108171b9c8ea043796c85a65fcec
tree29c7e8ce110a2fdcb111adf9181e8a18c863f9ec
parent2a0b19f52596d75b349d0eecfce036b2c8f9270f
MATCH: Extend min_value/max_value to pointer types

Since we already had the infrastructure to optimize
`(x == 0) && (x > y)` to false for integer types,
this extends the same to pointer types as indirectly
requested by PR 96695.

OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.

gcc/ChangeLog:

PR tree-optimization/96695
* match.pd (min_value, max_value): Extend to
pointer types too.

gcc/testsuite/ChangeLog:

PR tree-optimization/96695
* gcc.dg/pr96695-1.c: New test.
* gcc.dg/pr96695-10.c: New test.
* gcc.dg/pr96695-11.c: New test.
* gcc.dg/pr96695-12.c: New test.
* gcc.dg/pr96695-2.c: New test.
* gcc.dg/pr96695-3.c: New test.
* gcc.dg/pr96695-4.c: New test.
* gcc.dg/pr96695-5.c: New test.
* gcc.dg/pr96695-6.c: New test.
* gcc.dg/pr96695-7.c: New test.
* gcc.dg/pr96695-8.c: New test.
* gcc.dg/pr96695-9.c: New test.
13 files changed:
gcc/match.pd
gcc/testsuite/gcc.dg/pr96695-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-10.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-11.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-12.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-3.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-4.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-5.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-6.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-7.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-8.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr96695-9.c [new file with mode: 0644]