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 d5f0aaf4387bb403a588b4c7834019c1d52d57a3..faed150ce01685326df16c8e8f6e6154b289316c 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 76cc269aefeba329ad5a9c2f87a6d66a6a2554ed..4f2c09f8ee8fe4dfd8526534aff33280239e1d9f 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