diff options
author | David Malcolm <dmalcolm@redhat.com> | 2014-04-21 22:04:01 +0000 |
---|---|---|
committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2014-04-21 22:04:01 +0000 |
commit | 7455080c700153b6fefdcff760526ba089e1413e (patch) | |
tree | d344317199c5673d7565818351dc649a09da22ff | |
parent | aeb9579a5a1ac412a180585dec2d7575d0760457 (diff) | |
download | gcc-7455080c700153b6fefdcff760526ba089e1413e.zip gcc-7455080c700153b6fefdcff760526ba089e1413e.tar.gz gcc-7455080c700153b6fefdcff760526ba089e1413e.tar.bz2 |
Const-correctness fixes for some gimple accessors
gcc/
* gimple.h (gimple_assign_single_p): Accept a const_gimple rather
than a gimple.
(gimple_store_p): Likewise.
(gimple_assign_load_p): Likewise.
(gimple_assign_cast_p): Likewise.
(gimple_clobber_p): Likewise.
* doc/gimple.texi (gimple_assign_cast_p): Accept a const_gimple
rather than a gimple.
(gimple_assign_cast_p): Likewise.
From-SVN: r209548
-rw-r--r-- | gcc/ChangeLog | 13 | ||||
-rw-r--r-- | gcc/doc/gimple.texi | 4 | ||||
-rw-r--r-- | gcc/gimple.h | 10 |
3 files changed, 20 insertions, 7 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8caee04..b40f008 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,16 @@ +2014-04-21 David Malcolm <dmalcolm@redhat.com> + + * gimple.h (gimple_assign_single_p): Accept a const_gimple rather + than a gimple. + (gimple_store_p): Likewise. + (gimple_assign_load_p): Likewise. + (gimple_assign_cast_p): Likewise. + (gimple_clobber_p): Likewise. + + * doc/gimple.texi (gimple_assign_cast_p): Accept a const_gimple + rather than a gimple. + (gimple_assign_cast_p): Likewise. + 2014-04-21 Michael Meissner <meissner@linux.vnet.ibm.com> PR target/60735 diff --git a/gcc/doc/gimple.texi b/gcc/doc/gimple.texi index 54cbb92..9bb16e8 100644 --- a/gcc/doc/gimple.texi +++ b/gcc/doc/gimple.texi @@ -701,7 +701,7 @@ Return true if the code of g is @code{GIMPLE_CALL}. Return true if the code of g is @code{GIMPLE_DEBUG}. @end deftypefn -@deftypefn {GIMPLE function} bool gimple_assign_cast_p (gimple g) +@deftypefn {GIMPLE function} bool gimple_assign_cast_p (const_gimple g) Return true if g is a @code{GIMPLE_ASSIGN} that performs a type cast operation. @end deftypefn @@ -1102,7 +1102,7 @@ Set @code{RHS} to be the third operand on the @code{RHS} of assignment statement @code{G}. @end deftypefn -@deftypefn {GIMPLE function} bool gimple_assign_cast_p (gimple s) +@deftypefn {GIMPLE function} bool gimple_assign_cast_p (const_gimple s) Return true if @code{S} is a type-cast assignment. @end deftypefn diff --git a/gcc/gimple.h b/gcc/gimple.h index 11959a8..26e8627 100644 --- a/gcc/gimple.h +++ b/gcc/gimple.h @@ -2330,7 +2330,7 @@ gimple_assign_rhs_class (const_gimple gs) and do not have the semantics of a copy, such as COND_EXPR. */ static inline bool -gimple_assign_single_p (gimple gs) +gimple_assign_single_p (const_gimple gs) { return (is_gimple_assign (gs) && gimple_assign_rhs_class (gs) == GIMPLE_SINGLE_RHS); @@ -2339,7 +2339,7 @@ gimple_assign_single_p (gimple gs) /* Return true if GS performs a store to its lhs. */ static inline bool -gimple_store_p (gimple gs) +gimple_store_p (const_gimple gs) { tree lhs = gimple_get_lhs (gs); return lhs && !is_gimple_reg (lhs); @@ -2348,7 +2348,7 @@ gimple_store_p (gimple gs) /* Return true if GS is an assignment that loads from its rhs1. */ static inline bool -gimple_assign_load_p (gimple gs) +gimple_assign_load_p (const_gimple gs) { tree rhs; if (!gimple_assign_single_p (gs)) @@ -2365,7 +2365,7 @@ gimple_assign_load_p (gimple gs) /* Return true if S is a type-cast assignment. */ static inline bool -gimple_assign_cast_p (gimple s) +gimple_assign_cast_p (const_gimple s) { if (is_gimple_assign (s)) { @@ -2381,7 +2381,7 @@ gimple_assign_cast_p (gimple s) /* Return true if S is a clobber statement. */ static inline bool -gimple_clobber_p (gimple s) +gimple_clobber_p (const_gimple s) { return gimple_assign_single_p (s) && TREE_CLOBBER_P (gimple_assign_rhs1 (s)); |