gimple.texi (Logical Operators): Describe is_gimple_ip_invariant and is_gimple_ip_inv...

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d5f0aaf..faed150 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-03-19  Martin Jambor  <mjambor@suse.cz>
+
+       * doc/gimple.texi (Logical Operators): Describe is_gimple_ip_invariant
+       and is_gimple_ip_invariant_address.
+
 2010-03-19  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
 
        Revert

diff --git a/gcc/doc/gimple.texi b/gcc/doc/gimple.texi
index 76cc269..4f2c09f 100644 (file)
--- 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