diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2025-01-10 13:33:01 -0500 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2025-01-10 19:43:22 -0500 |
| commit | b0eeb540497c7b9dee01f8724f9a4978b53a12ae (patch) | |
| tree | de51d6c664e955c8d26c84689271ba00c0164939 /libphobos/src/std/regex | |
| parent | 4951a90e534010ec954468a7335a264518a50c6a (diff) | |
| download | gcc-b0eeb540497c7b9dee01f8724f9a4978b53a12ae.zip gcc-b0eeb540497c7b9dee01f8724f9a4978b53a12ae.tar.gz gcc-b0eeb540497c7b9dee01f8724f9a4978b53a12ae.tar.bz2 | |
Use relations when simplifying MIN and MAX.
Query for known relations between the operands, and pass that to
fold_range to help simplify MIN and MAX relations.
Make it type agnostic as well.
Adapt testcases from DOM to EVRP (e suffix) and test floats (f suffix).
PR tree-optimization/88575
gcc/
* vr-values.cc (simplify_using_ranges::fold_cond_with_ops): Query
relation between op0 and op1 and utilize it.
(simplify_using_ranges::simplify): Do not eliminate float checks.
gcc/testsuite/
* gcc.dg/tree-ssa/minmax-27.c: Disable VRP.
* gcc.dg/tree-ssa/minmax-27e.c: New.
* gcc.dg/tree-ssa/minmax-27f.c: New.
* gcc.dg/tree-ssa/minmax-28.c: Disable VRP.
* gcc.dg/tree-ssa/minmax-28e.c: New.
* gcc.dg/tree-ssa/minmax-28f.c: New.
Diffstat (limited to 'libphobos/src/std/regex')
0 files changed, 0 insertions, 0 deletions