[committed] fix comment for SSA_PROP_NOT_INTERESTING
diff mbox

Message ID 56F4D3B9.2070004@redhat.com
State New
Headers show

Commit Message

Aldy Hernandez March 25, 2016, 5:59 a.m. UTC
It's not obvious in the comment at the top of the file that 
PROP_NOT_INTERESTING may be simulated again.  Interestingly enough, 
Diego's GCC summit presentation on the propagator has much better docs 
than our internal docs/comments.  We should probably merge a lot from 
there.  Anyways...

Committed as obvious.  I hope nobody cares that I'm improving docs and 
comments :).

Aldy
commit a76f8d620455a7edba07e66d37651f4e17cdeff1
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Fri Mar 25 00:50:46 2016 -0500

    	* tree-ssa-propagate.c: Enhance docs for
    	SSA_PROP_NOT_INTERESTING.

Patch
diff mbox

diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.c
index 3277e49..c4535a4 100644
--- a/gcc/tree-ssa-propagate.c
+++ b/gcc/tree-ssa-propagate.c
@@ -55,6 +55,8 @@ 
 
       	SSA_PROP_NOT_INTERESTING: Statement S produces nothing of
 	    interest and does not affect any of the work lists.
+	    The statement may be simulated again if any of its input
+	    operands change in future iterations of the simulator.
 
 	SSA_PROP_VARYING: The value produced by S cannot be determined
 	    at compile time.  Further simulation of S is not required.