diff options
author | Andrew MacLeod <amacleod@redhat.com> | 2021-01-29 09:23:48 -0500 |
---|---|---|
committer | Andrew MacLeod <amacleod@redhat.com> | 2021-01-29 11:47:18 -0500 |
commit | 2dd1f944547eb6560c3e15a4b705ae1ac236df75 (patch) | |
tree | 852fd940fa1a98600560ca77e528c5c500d8bce8 /libgo/go/net/server_test.go | |
parent | a7f52181a6a16bb6d216ff41d9c6a9da95c19b5c (diff) | |
download | gcc-2dd1f944547eb6560c3e15a4b705ae1ac236df75.zip gcc-2dd1f944547eb6560c3e15a4b705ae1ac236df75.tar.gz gcc-2dd1f944547eb6560c3e15a4b705ae1ac236df75.tar.bz2 |
tree-optimization/98866 - Compile time hog in VRP
Don't track [1, +INF] for pointer types, treat them as invariant for caching
purposes as they cannot be further refined without evaluating to UNDEFINED.
PR tree-optimization/98866
* gimple-range-gori.h (gori_compute:set_range_invariant): New.
* gimple-range-gori.cc (gori_map::set_range_invariant): New.
(gori_map::m_maybe_invariant): Rename from all_outgoing.
(gori_map::gori_map): Rename all_outgoing to m_maybe_invariant.
(gori_map::is_export_p): Ditto.
(gori_map::calculate_gori): Ditto.
(gori_compute::set_range_invariant): New.
* gimple-range.cc (gimple_ranger::range_of_stmt): Set range
invariant for pointers evaluating to [1, +INF].
Diffstat (limited to 'libgo/go/net/server_test.go')
0 files changed, 0 insertions, 0 deletions