diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2020-11-12 11:53:52 -0500 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2020-11-13 09:36:20 -0500 |
| commit | 47923622c663ffad8b14aa93706183290d4f6791 (patch) | |
| tree | 640a99535f2c668fbee54205870cd5f00deec8c0 /gcc/gimple-range.h | |
| parent | ac91af71c93462cbc701bbd104fa21894bb15e86 (diff) | |
| download | gcc-47923622c663ffad8b14aa93706183290d4f6791.zip gcc-47923622c663ffad8b14aa93706183290d4f6791.tar.gz gcc-47923622c663ffad8b14aa93706183290d4f6791.tar.bz2 | |
Cleanup range of address calculations.
Align EVRP and ranger for how ranges of ADDR_EXPR are calculated.
gcc/
* gimple-range.cc: (gimple_ranger::range_of_range_op): Check for
ADDR_EXPR and call range_of_address.
(gimple_ranger::range_of_address): Rename from
range_of_non_trivial_assignment and match vrp_stmt_computes_nonzero.
* gimple-range.h: (range_of_address): Renamed.
* range-op.cc: (pointer_table): Add INTEGER_CST handler.
gcc/testsuite/
* gcc.dg/tree-ssa/pr78655.c: New.
Diffstat (limited to 'gcc/gimple-range.h')
| -rw-r--r-- | gcc/gimple-range.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/gimple-range.h b/gcc/gimple-range.h index 88d2ada..dde41e9 100644 --- a/gcc/gimple-range.h +++ b/gcc/gimple-range.h @@ -62,7 +62,7 @@ protected: ranger_cache m_cache; private: bool range_of_phi (irange &r, gphi *phi); - bool range_of_non_trivial_assignment (irange &r, gimple *s); + bool range_of_address (irange &r, gimple *s); bool range_of_builtin_call (irange &r, gcall *call); bool range_with_loop_info (irange &r, tree name); void range_of_ssa_name_with_loop_info (irange &, tree, class loop *, |