comment

apache · Jun 8, 2019 · f2f6eb0 · f2f6eb0
1 parent 1fb43be
commit f2f6eb0
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/relay/pass/partial_eval.cc b/src/relay/pass/partial_eval.cc
@@ -648,8 +648,11 @@ class PartialEvaluator : public ExprFunctor<PStatic(const Expr& e, LetList* ll)>
           if (time_map_.count(fid) == 0) {
             return recurse();
           } else {
-            // We check to see that at least one argument decrease
-            // with respect to all previous invocation.
+            /* We check to see that at least one argument decrease
+             * with respect to all previous invocation.
+             * The depth of the recursion is bounded by
+             * the sum of the time of all argument at the first call.
+             */
             bool can_recurse = false;
             std::vector<Time>& min_time = time_map_.at(fid);
             CHECK_EQ(args_time.size(), min_time.size());