o XiVE@sdZddlmZddlZddlZddlmZddlmZm Z m Z m Z m Z ddl mZer>ddlmmZddlmmZGdddZGd d d eeZGd d d ZGd ddZGdddejZejGdddZGdddZGdddZdS)z6Basic types for the pattern matching and rewriter API.) annotationsN) defaultdict) TYPE_CHECKINGAnyMutableSequenceSequenceUnion)irc@s&eZdZdZ d d ddZd d Zd S)MatchFailureInfoz7Encapsulates information about a pattern match failure.reasonstrfailure_sourceir.Node | ir.ValuecGs:||_||_tdd|DsJddd|DdS)Ncss"|] }t|tjtjfVqdSN) isinstancer NodeValue.0itemrO/home/ubuntu/.local/lib/python3.10/site-packages/onnxscript/rewriter/_basics.py s z,MatchFailureInfo.__init__..z=All items in failure_source must be ir.Node or ir.Value, got cSsg|]}t|qSr)typerrrr sz-MatchFailureInfo.__init__..)r failure_sourcesallselfr rrrr__init__s zMatchFailureInfo.__init__cCsd|jd|jdS)NzMatchFailureInfo(reason=z, failure_sources=))r rrrrr__str__!szMatchFailureInfo.__str__Nr r r rr)__name__ __module__ __qualname____doc__r r#rrrrr s  r c@seZdZdZ d d ddZd S) MatchFailureErrora;Exception raised when a pattern match fails. This makes it easier to handle match failures in a compositional way, for example, during the condition-checking phase of a pattern match. It allows us to define utility functions without having to check for and propagate match failures explicitly. r r r rrcGs$tj||g|Rt||dSr)r r Exceptionrrrrr .szMatchFailureError.__init__Nr$r%)r&r'r(r)r rrrrr*%s r*c@seZdZdZdGddZdHddZedId d ZdGd d ZdIddZ dGddZ dJddZ  dKdLddZ edHddZ edMdd ZdNd%d&ZdOd'd(ZdPd-d.ZdQd0d1ZedRd3d4ZedSd6d7ZedTd9d:ZedUd.)sumr0r"rrrnum_matched_nodesszMatchResult.num_matched_nodesr-r.r-r )r-r/)r-r1r N)r r rrFr-r,r-rJ)rKrLrMrNrMrNr-r.)rVrWrXrr-r1)r_r rXrr-r1r-rar-rer-rfr-rg)r-ri)rKrLr-rlr-rn)r&r'r(r)r r3propertyr5r8r=rBrDrGr r2rQrOr^r\r`r[rPrhrkrmrprrrrr,7sB                    r,c@seZdZdZd(ddZddZ  d)d*ddZed+ddZed,ddZ d-ddZ ed.ddZ ed/ddZ ed0d d!Z ed1d#d$Zd2d&d'Zd S)3r/zHThe state object used by the pattern-matching algorithm for a sub-match.r-r.cCs4d|_g|_i|_i|_i|_g|_d|_g|_dS)NTr )_success_matched_nodes _bindings_value_bindings_node_bindings_outputs_reasonrjr"rrrr s zPartialMatchResult.__init__cC|jSr)r|r"rrrrDszPartialMatchResult.__bool__r Nr r rrFcCsBd|_||_|durt|tr|j|dS|j|dSdS)NF)r|rrlistrjextendr6rrrrrGs zPartialMatchResult.failcCrr)rr"rrrr zPartialMatchResult.reasonrJcCrCr)tupler}r"rrrr2rEzPartialMatchResult.nodesrMrNcCrRrS)r}r6rTrrrrO rUzPartialMatchResult.add_noderacCrr)r~r"rrrr`rzPartialMatchResult.bindingsrecCrr)rr"rrrr[rz!PartialMatchResult.value_bindingsrgcCrr)rr"rrrrhrzPartialMatchResult.outputsrfcCrr)rr"rrrrPrz PartialMatchResult.node_bindingsothercCs>|jr|jr|j|j|j|j|jrJdStd)r>z,Merging failed matches is not yet supported.N)r|r~updater}rr2rNotImplementedError)rrrrrr? s zPartialMatchResult.mergerqrs)r r rrFr-r.rrrtrurvrwryrx)rr/r-r.)r&r'r(r)r rDrGr{r r2rOr`r[rhrPr?rrrrr/s*         r/c@s eZdZdZdZdZdZdZdS) MatchStatusz+The status of a pattern-matching operation.rrcr9N)r&r'r(r)NO_MATCHCONDITION_FAILEDREPLACEMENT_FAILEDSUCCESSrrrrr/s rc@sDeZdZUdZded<ded<ded<ded <dd d ZddZdS) MatchInfozHThe status of a pattern-matching operation. An extension of MatchResult.r, match_resultrN root_nodeir.Graph | ir.Function containerrstatusr-rncCst|jjt|jjdS)zReturn a score for the match.d)r:rr2rnrrXr"rrrscoreAszMatchInfo.scorecCsd}t|td|jj|jtjkrH|jj}|r1|jtjkr)td|n td|ntd|jj}td|rH|D]}| qAtdddl m m }| |jjt|dS) NzP--------------------------------------------------------------------------------zStatus: z7Graph matching failed due to failing check condition : zGraph matching failed: zGraph matching failed.z"Failure at or around nodes/values:zMatched nodes:r)printrrZrrrr rrkdisplayonnxscript.rewriter._ir_utilsrewriter _ir_utils display_nodesr2)r separatorr rk failure_causeir_utilsrrrrEs&    zMatchInfo.printNrz)r&r'r(r)__annotations__rrrrrrr8s   rc@speZdZdZd!d d Zed"ddZed#ddZed$ddZed%ddZ ed&ddZ ddd'ddZ d S)( MatchContextaA read-only context containing information about a pattern match. This class captures information about the context describing a match to a given pattern, providing access to the model, graph/function, root node, output values, and all nodes of the matching subgraph. modelir.Modelgraph_or_functionrrootrNrr,r-r.cCs||_||_||_||_dS)a8Initialize the pattern match context. Args: model: The model being matched. graph_or_function: The graph or function being matched. root: The root node of the matching subgraph. match_result: The match result containing matched nodes and outputs. N)_model_graph_or_function_root _match_result)rrrrrrrrr fs zMatchContext.__init__cCr)zThe model being matched.)rr"rrrrzzMatchContext.modelcCr)z$The graph or function being matched.)rr"rrrrrzMatchContext.graph_or_functioncCr)z'The root node of the matching subgraph.)rr"rrrrrzMatchContext.rootSequence[ir.Value]cCrH)z+The output values of the matching subgraph.)rrhr"rrr output_valuesrIzMatchContext.output_valuesrJcCrH)z'All the nodes of the matching subgraph.)rr2r"rrrr2rIzMatchContext.nodesT)in_graph_orderrr1cCsH|j}|sdS|r|jD] }||vr|q dS|D]}|qdS)aDisplay the nodes in the pattern match context. Args: in_graph_order: If True, display nodes in the order they appear in the graph/function. If False, display nodes in the order they appear in the match result. N)r2rr)rrr2rMrrrrs  zMatchContext.displayN) rrrrrrNrr,r-r.)r-r)r-r)r-rN)r-rrt)rr1r-r.) r&r'r(r)r r{rrrrr2rrrrrr^s      rc@s<eZdZdZdddZedddZdddZdddZdS)MatchingTracerzA debugging helper class to trace the matching of a pattern against a graph. This is used to track the best matches found for each rule, and to report the results at the end of the matching. r-r.cCstt|_dSr)rr_best_matches_mapr"rrrr s zMatchingTracer.__init__0dict[_rewrite_rule.RewriteRule, list[MatchInfo]]cCrr)rr"rrrbest_matches_maprzMatchingTracer.best_matches_maprule_rewrite_rule.RewriteRulerrrMrNrr,rrc Csjt||||}|}|dkrdS|j|}|r.||dkr"dS||dkr.|||dS)Nr)rrrclearr6) rrrrMrr this_match this_score best_matchesrrrlogs zMatchingTracer.logcCstd}|jD]\}}|sq|d|kr"|d}|d}|}q|dkr4td||dStddS)NrzRule: zNo matches found.)ritemsrr)r best_scorermatches best_match best_rulerrrreports   zMatchingTracer.reportNrq)r-r) rrrrrMrNrr,rrr-r.) r&r'r(r)r r{rrrrrrrrs   r)r) __future__r dataclassesenum collectionsrtypingrrrrr onnxscriptr onnxscript.rewriter._pattern_irr _pattern_ir!onnxscript.rewriter._rewrite_rule _rewrite_ruler r+r*r,r/IntEnumr dataclassrrrrrrrs(   (Q %L