[PATCH] D15785: [attrs] Split the late-revisit pattern for deducing norecurse in a top-down manner into a true top-down or RPO pass over the call graph.

[James Molloy via llvm-commits]

jmolloy accepted this revision.
jmolloy added a comment.
This revision is now accepted and ready to land.

One typo, but otherwise LGTM.

Thanks for doing this!


================
Comment at: lib/Transforms/IPO/FunctionAttrs.cpp:1019
@@ +1018,3 @@
+/// This pass provides a general RPO or "top down" propagation of
+/// function attributes. For a few (rare) cases, we can deduce significatly
+/// more about function attributes by working in RPO, so this pass
----------------
significantly


http://reviews.llvm.org/D15785