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 <al...@redhat.com>
Date: Fri Mar 25 00:50:46 2016 -0500
* tree-ssa-propagate.c: Enhance docs for
SSA_PROP_NOT_INTERESTING.
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.
