| Message ID | 56F4D3B9.2070004@redhat.com |
|---|---|
| State | New |
| Headers | show |
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.
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.