|
| 1 | +from __future__ import annotations |
| 2 | + |
| 3 | +from dataclasses import dataclass, field |
| 4 | +from datetime import timedelta |
| 5 | + |
| 6 | +from . import bindings |
| 7 | +from .declarations import BiRewriteDecl, Declarations, RewriteDecl, RuleDecl |
| 8 | +from .egraph_state import EGraphState |
| 9 | +from .pretty import pretty_decl |
| 10 | + |
| 11 | +RewriteOrRuleDecl = RuleDecl | BiRewriteDecl | RewriteDecl |
| 12 | + |
| 13 | + |
| 14 | +@dataclass |
| 15 | +class RuleReport: |
| 16 | + plan: bindings.Plan | None |
| 17 | + search_and_apply_time: timedelta |
| 18 | + num_matches: int |
| 19 | + |
| 20 | + @classmethod |
| 21 | + def _from_bindings(cls, report: bindings.RuleReport) -> RuleReport: |
| 22 | + return cls( |
| 23 | + plan=report.plan, |
| 24 | + search_and_apply_time=report.search_and_apply_time, |
| 25 | + num_matches=report.num_matches, |
| 26 | + ) |
| 27 | + |
| 28 | + |
| 29 | +@dataclass |
| 30 | +class RuleSetReport: |
| 31 | + _decls: Declarations = field(repr=False) |
| 32 | + changed: bool = False |
| 33 | + rule_reports: dict[RewriteOrRuleDecl, list[RuleReport]] = field(default_factory=dict) |
| 34 | + search_and_apply_time: timedelta = field(default_factory=timedelta) |
| 35 | + merge_time: timedelta = field(default_factory=timedelta) |
| 36 | + |
| 37 | + @classmethod |
| 38 | + def _from_bindings( |
| 39 | + cls, report: bindings.RuleSetReport, rule_map: dict[str, RewriteOrRuleDecl], decls: Declarations |
| 40 | + ) -> RuleSetReport: |
| 41 | + rule_reports: dict[RewriteOrRuleDecl, list[RuleReport]] = {} |
| 42 | + for k, v in report.rule_reports.items(): |
| 43 | + translated = rule_map[k] |
| 44 | + reports = [RuleReport._from_bindings(rr) for rr in v] |
| 45 | + if translated in rule_reports: |
| 46 | + rule_reports[translated].extend(reports) |
| 47 | + else: |
| 48 | + rule_reports[translated] = reports |
| 49 | + return cls( |
| 50 | + _decls=decls, |
| 51 | + changed=report.changed, |
| 52 | + rule_reports=rule_reports, |
| 53 | + search_and_apply_time=report.search_and_apply_time, |
| 54 | + merge_time=report.merge_time, |
| 55 | + ) |
| 56 | + |
| 57 | + def __repr__(self) -> str: |
| 58 | + rule_reports_str = {pretty_decl(self._decls, k): v for k, v in self.rule_reports.items()} |
| 59 | + return ( |
| 60 | + f"RuleSetReport(changed={self.changed}, " |
| 61 | + f"rule_reports={rule_reports_str}, " |
| 62 | + f"search_and_apply_time={self.search_and_apply_time}, " |
| 63 | + f"merge_time={self.merge_time})" |
| 64 | + ) |
| 65 | + |
| 66 | + |
| 67 | +@dataclass |
| 68 | +class IterationReport: |
| 69 | + rule_set_report: RuleSetReport |
| 70 | + rebuild_time: timedelta |
| 71 | + |
| 72 | + @classmethod |
| 73 | + def _from_bindings( |
| 74 | + cls, report: bindings.IterationReport, rule_map: dict[str, RewriteOrRuleDecl], decls: Declarations |
| 75 | + ) -> IterationReport: |
| 76 | + return cls( |
| 77 | + rule_set_report=RuleSetReport._from_bindings(report.rule_set_report, rule_map, decls), |
| 78 | + rebuild_time=report.rebuild_time, |
| 79 | + ) |
| 80 | + |
| 81 | + |
| 82 | +@dataclass |
| 83 | +class RunReport: |
| 84 | + """Python-friendly wrapper around bindings.RunReport.""" |
| 85 | + |
| 86 | + _decls: Declarations = field(repr=False) |
| 87 | + iterations: list[IterationReport] = field(default_factory=list) |
| 88 | + updated: bool = False |
| 89 | + search_and_apply_time_per_rule: dict[RewriteOrRuleDecl, timedelta] = field(default_factory=dict) |
| 90 | + num_matches_per_rule: dict[RewriteOrRuleDecl, int] = field(default_factory=dict) |
| 91 | + search_and_apply_time_per_ruleset: dict[str, timedelta] = field(default_factory=dict) |
| 92 | + merge_time_per_ruleset: dict[str, timedelta] = field(default_factory=dict) |
| 93 | + rebuild_time_per_ruleset: dict[str, timedelta] = field(default_factory=dict) |
| 94 | + |
| 95 | + def __repr__(self) -> str: |
| 96 | + time_per_rule = {pretty_decl(self._decls, k): v for k, v in self.search_and_apply_time_per_rule.items()} |
| 97 | + matches_per_rule = {pretty_decl(self._decls, k): v for k, v in self.num_matches_per_rule.items()} |
| 98 | + return ( |
| 99 | + f"RunReport(iterations={self.iterations}, " |
| 100 | + f"updated={self.updated}, " |
| 101 | + f"search_and_apply_time_per_rule={time_per_rule}, " |
| 102 | + f"num_matches_per_rule={matches_per_rule}, " |
| 103 | + f"search_and_apply_time_per_ruleset={self.search_and_apply_time_per_ruleset}, " |
| 104 | + f"merge_time_per_ruleset={self.merge_time_per_ruleset}, " |
| 105 | + f"rebuild_time_per_ruleset={self.rebuild_time_per_ruleset})" |
| 106 | + ) |
| 107 | + |
| 108 | + @classmethod |
| 109 | + def _from_bindings(cls, report: bindings.RunReport, state: EGraphState) -> RunReport: |
| 110 | + rule_map = state.rule_name_to_command_decl |
| 111 | + decls = state.__egg_decls__ |
| 112 | + |
| 113 | + search_and_apply_time_per_rule: dict[RewriteOrRuleDecl, timedelta] = {} |
| 114 | + for k, v in report.search_and_apply_time_per_rule.items(): |
| 115 | + translated = rule_map[k] |
| 116 | + if translated in search_and_apply_time_per_rule: |
| 117 | + search_and_apply_time_per_rule[translated] += v |
| 118 | + else: |
| 119 | + search_and_apply_time_per_rule[translated] = v |
| 120 | + |
| 121 | + num_matches_per_rule: dict[RewriteOrRuleDecl, int] = {} |
| 122 | + for k, v in report.num_matches_per_rule.items(): |
| 123 | + translated = rule_map[k] |
| 124 | + if translated in num_matches_per_rule: |
| 125 | + num_matches_per_rule[translated] += v |
| 126 | + else: |
| 127 | + num_matches_per_rule[translated] = v |
| 128 | + |
| 129 | + return cls( |
| 130 | + _decls=decls, |
| 131 | + iterations=[IterationReport._from_bindings(it, rule_map, decls) for it in report.iterations], |
| 132 | + updated=report.updated, |
| 133 | + search_and_apply_time_per_rule=search_and_apply_time_per_rule, |
| 134 | + num_matches_per_rule=num_matches_per_rule, |
| 135 | + search_and_apply_time_per_ruleset=report.search_and_apply_time_per_ruleset, |
| 136 | + merge_time_per_ruleset=report.merge_time_per_ruleset, |
| 137 | + rebuild_time_per_ruleset=report.rebuild_time_per_ruleset, |
| 138 | + ) |
0 commit comments