diff options
| author | Richard Biener <rguenther@suse.de> | 2022-12-16 13:48:58 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-04-19 11:52:07 +0200 |
| commit | 2c800ed8d59cffce678ef08a6d172465c17f015d (patch) | |
| tree | 180b8b7e56b3e3dc2829b4a78a59ec7b52b6bee8 /gcc | |
| parent | 9bc407c787771baad6c69cee3e392f15a5b9163d (diff) | |
| download | gcc-2c800ed8d59cffce678ef08a6d172465c17f015d.zip gcc-2c800ed8d59cffce678ef08a6d172465c17f015d.tar.gz gcc-2c800ed8d59cffce678ef08a6d172465c17f015d.tar.bz2 | |
Simplify gimple_assign_load
The following simplifies and outlines gimple_assign_load. In
particular it is not necessary to get at the base of the possibly
loaded expression but just handle the case of a single handled
component wrapping a non-memory operand.
* gimple.h (gimple_assign_load): Outline...
* gimple.cc (gimple_assign_load): ... here. Avoid
get_base_address and instead just strip the outermost
handled component, treating a remaining handled component
as load.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/gimple.cc | 20 | ||||
| -rw-r--r-- | gcc/gimple.h | 18 |
2 files changed, 21 insertions, 17 deletions
diff --git a/gcc/gimple.cc b/gcc/gimple.cc index 5e4eda4..e0ba42a 100644 --- a/gcc/gimple.cc +++ b/gcc/gimple.cc @@ -1788,6 +1788,26 @@ gimple_assign_unary_nop_p (gimple *gs) == TYPE_MODE (TREE_TYPE (gimple_assign_rhs1 (gs))))); } +/* Return true if GS is an assignment that loads from its rhs1. */ + +bool +gimple_assign_load_p (const gimple *gs) +{ + tree rhs; + if (!gimple_assign_single_p (gs)) + return false; + rhs = gimple_assign_rhs1 (gs); + if (TREE_CODE (rhs) == WITH_SIZE_EXPR) + return true; + if (handled_component_p (rhs)) + rhs = TREE_OPERAND (rhs, 0); + return (handled_component_p (rhs) + || DECL_P (rhs) + || TREE_CODE (rhs) == MEM_REF + || TREE_CODE (rhs) == TARGET_MEM_REF); +} + + /* Set BB to be the basic block holding G. */ void diff --git a/gcc/gimple.h b/gcc/gimple.h index 081d18e..daf5524 100644 --- a/gcc/gimple.h +++ b/gcc/gimple.h @@ -1629,6 +1629,7 @@ tree gimple_call_nonnull_arg (gcall *); bool gimple_assign_copy_p (gimple *); bool gimple_assign_ssa_name_copy_p (gimple *); bool gimple_assign_unary_nop_p (gimple *); +bool gimple_assign_load_p (const gimple *); void gimple_set_bb (gimple *, basic_block); void gimple_assign_set_rhs_from_tree (gimple_stmt_iterator *, tree); void gimple_assign_set_rhs_with_ops (gimple_stmt_iterator *, enum tree_code, @@ -2952,23 +2953,6 @@ gimple_store_p (const gimple *gs) return lhs && !is_gimple_reg (lhs); } -/* Return true if GS is an assignment that loads from its rhs1. */ - -inline bool -gimple_assign_load_p (const gimple *gs) -{ - tree rhs; - if (!gimple_assign_single_p (gs)) - return false; - rhs = gimple_assign_rhs1 (gs); - if (TREE_CODE (rhs) == WITH_SIZE_EXPR) - return true; - rhs = get_base_address (rhs); - return (DECL_P (rhs) - || TREE_CODE (rhs) == MEM_REF || TREE_CODE (rhs) == TARGET_MEM_REF); -} - - /* Return true if S is a type-cast assignment. */ inline bool |