| 1592 | |
| 1593 | namespace deadness_analysis_internal { |
| 1594 | Status ComputePredicates(const Graph& graph, PredicateMapTy* out_predicate_map, |
| 1595 | bool enable_optimistic) { |
| 1596 | DeadnessAnalysisImpl impl(&graph); |
| 1597 | TF_RETURN_IF_ERROR(impl.Populate(enable_optimistic)); |
| 1598 | *out_predicate_map = impl.PredicateMapAsString(); |
| 1599 | return Status::OK(); |
| 1600 | } |
| 1601 | |
| 1602 | } // namespace deadness_analysis_internal |
| 1603 |