diff options
author | Martin Jambor <mjambor@suse.cz> | 2010-03-19 17:09:16 +0100 |
---|---|---|
committer | Martin Jambor <jamborm@gcc.gnu.org> | 2010-03-19 17:09:16 +0100 |
commit | 3795eae6647e2bcac4b998b194150cafee27906f (patch) | |
tree | 9a2a3e64a78055ecebd4365c0db58f223e9ce9bf /gcc/doc | |
parent | ae0bef88fde4a7e705c9b1fce2477b9867207ce4 (diff) | |
download | gcc-3795eae6647e2bcac4b998b194150cafee27906f.zip gcc-3795eae6647e2bcac4b998b194150cafee27906f.tar.gz gcc-3795eae6647e2bcac4b998b194150cafee27906f.tar.bz2 |
gimple.texi (Logical Operators): Describe is_gimple_ip_invariant and is_gimple_ip_invariant_address.
2010-03-19 Martin Jambor <mjambor@suse.cz>
* doc/gimple.texi (Logical Operators): Describe is_gimple_ip_invariant
and is_gimple_ip_invariant_address.
From-SVN: r157576
Diffstat (limited to 'gcc/doc')
-rw-r--r-- | gcc/doc/gimple.texi | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/doc/gimple.texi b/gcc/doc/gimple.texi index 76cc269..4f2c09f 100644 --- a/gcc/doc/gimple.texi +++ b/gcc/doc/gimple.texi @@ -679,8 +679,19 @@ the address of a function local variable). @end deftypefn @deftypefn {GIMPLE function} is_gimple_min_invariant_address (tree t) +Return true if t is an @code{ADDR_EXPR} that does not change once a +function is running. +@end deftypefn + +@deftypefn {GIMPLE function} is_gimple_ip_invariant (tree t) +Return true if t is an interprocedural invariant. This means that t +is a valid invariant in all functions (e.g. it can be an address of a +global variable but not of a local one). +@end deftypefn + +@deftypefn {GIMPLE function} is_gimple_ip_invariant_address (tree t) Return true if t is an @code{ADDR_EXPR} that does not change once the -program is running. +program is running (and which is valid in all functions). @end deftypefn |