o Xi,@s"dZddlmZddlZddlZddlmZddlmZm Z gdZ ddl Z ddl Z eeZGdddeZGd d d eZGd d d eZGd ddeZejGdddZGddde jZGdddeZGdddeZGdddeZGdddeZGdddeZd!dd Z dS)"z!Passes infrastructure for the IR.) annotationsN)Sequence)Literalfinal) PassBase Sequential InPlacePassFunctionalPass PassManager PassResult functionalizeInvariantErrorPreconditionErrorPostconditionError PassErrorc@eZdZdZdS)r z%Raised when an invariant is violated.N__name__ __module__ __qualname____doc__rrN/home/ubuntu/.local/lib/python3.10/site-packages/onnx_ir/passes/_pass_infra.pyr ,r c@r)rz'Raised when a precondition is violated.Nrrrrrr0rrc@r)rz(Raised when a postcondition is violated.Nrrrrrr4rrc@r)rz*Raised when an error occurs during a pass.Nrrrrrr8rrc@s"eZdZUdZded<ded<dS)r zResult of a pass. Attributes: model: The transformed model. modified: Whether the resulting model is different from the input model. ir.ModelmodelboolmodifiedN)rrrr__annotations__rrrrr <s  r c@steZdZdZeejdddZeejdddZeddd Z dd dZ ejdddZ dddZ dddZ dS)raBase class for all passes. ``in_place`` and ``changes_input`` properties and what they mean: +------------+------------------+----------------------------+ | | changes_inputs | not changes_inputs | +------------+------------------+----------------------------+ | in_place | in place | Side-effect-only pass | +------------+------------------+----------------------------+ | not | destructive | functional | | in_place | | | +------------+------------------+----------------------------+ returnrcCt)zWhether the pass modifies the model in place and returns it. If True, the pass will return the same model object that was passed in. If False, the pass will return a new model object. NotImplementedErrorselfrrrin_placeXszPassBase.in_placecCr )z&Whether the pass modifies input model.r!r#rrr changes_inputbzPassBase.changes_inputcCs|j o|jS)zWhether the pass will destroy the input model when ``in_place=False``. A pass is destructive if it is not in place and it modifies the input model. )r%r&r#rrr destructivehszPassBase.destructivemodel_or_resultir.Model | PassResultr c Cs$t|tr |j}n|}z||Wntyty0}z td|jjd|d}~ww||}z| |jWnt yFty\}z t d|jjd|d}~wwt|tslt d|jjd|j r~|j|ur~t d|jjd|j s|j|urt d|jjd|S) NzPre-condition for pass 'z' failedzPost-condition for pass 'zThe result of the pass 'zK' should be type PassResult. Please create one with ir.passes.PassResult().z The pass 'z' is declared in-place, but the model returned is *not* the same object as the input model. Pass developer: Pass should return the same model object or the in_place property should return False.z' is declared not in-place, but the model returned *is* the same object as the input model. Pass developer: Pass should return a new model object or the in_place property should return True.) isinstancer rrequiresr Exception __class__rcallensuresr TypeErrorr%r)r$r)reresultrrr__call__psR     zPassBase.__call__rrcCdS)z"The main entry point for the pass.Nrr$rrrrr/sz PassBase.callNonecC~dS)zPre-conditions for the pass. This is optional to implement, will be called before call() if run by a pass manager. Nrr6rrrr,zPassBase.requirescCr8)zPost-conditions for the pass. This is optional to implement, will be called after call() if run by a pass manager. Nrr6rrrr0r9zPassBase.ensuresNrr)r)r*rr rrrr )rrrr7)rrrrpropertyabcabstractmethodr%r&r(r4r/r,r0rrrrrIs  0  rc@4eZdZdZeed ddZeed ddZdS) rz=A pass that modifies the input model in place and returns it.r Literal[True]cCr5)zAn in-place pass is in place.Trr#rrrr%r'zInPlacePass.in_placecCr5)z)An in-place pass changes the input model.Trr#rrrr&r'zInPlacePass.changes_inputN)rr@rrrrr<rr%r&rrrrrrc@r?) r zDA pass that returns a new model but does not modify the input model.rLiteral[False]cCr5)z"A functional pass is not in place.Frr#rrrr%r'zFunctionalPass.in_placecCr5)z2A functional pass does not change the input model.Frr#rrrr&r'zFunctionalPass.changes_inputN)rrCrArrrrr rBr c@s@eZdZdZdddZeddd Zedd d ZdddZdS)raRun a sequence of passes in order. Example:: import onnx_ir as ir import onnx_ir.passes.common as common_passes passes = ir.passes.Sequential( common_passes.DeduplicateHashedInitializersPass(size_limit=1024 * 1024), common_passes.CommonSubexpressionEliminationPass(), common_passes.ClearMetadataAndDocStringPass(), ) result = passes(model) passesrcGsD|std||_tdd|D|_|jdjp|jdj|_dS)Nz&Sequential must take at least one passcss|]}|jVqdSN)r%).0pass_rrr sz&Sequential.__init__..r) ValueErrorrDall _in_placer&r%_changes_input)r$rDrrr__init__s zSequential.__init__rrcC|jSrE)rKr#rrrr%zSequential.in_placecCrNrE)rLr#rrrr&rOzSequential.changes_inputrrr c Csd}t|jD]=\}}td||z||}Wn#ty;}zdd|jd|D}td|d||d}~ww|j}|pC|j}qt||S)NFzRunning the %s-th pass '%s'cSsg|]}t|qSr)str)rFprrr sz#Sequential.call..z$An error occurred when running the 'z#' pass after the following passes: ) enumeraterDloggerdebugr-rrrr )r$rrirG pass_resultr2prev_pass_namesrrrr/s&   zSequential.callN)rDrr:r;) rrrrrMr<r%r&r/rrrrrs   rcs6eZdZdZ  ddfd d Zdfdd ZZS)r a;Pass manager for the IR. The PassManager is a Pass that runs a sequence of passes on a model. Example:: import onnx_ir as ir import onnx_ir.passes.common as common_passes model = ir.load("model.onnx") passes = ir.passes.PassManager( [ # Pass managers can be nested ir.passes.PassManager( [ common_passes.DeduplicateHashedInitializersPass(size_limit=1024 * 1024), common_passes.CommonSubexpressionEliminationPass(), ], steps=2, early_stop=True, ), common_passes.ClearMetadataAndDocStringPass(), ], steps=2, early_stop=False, ) # Apply the passes to the model result = passes(model) Attributes: passes: The passes to run. steps: The number of times to run the passes. early_stop: Whether to stop running the passes if the graph stops changing. TrDSequence[PassBase]stepsint early_stoprcstj|||_||_dSrE)superrMr[r])r$rDr[r]r.rrrM,s  zPassManager.__init__rrrr c sd}t|jD]6}zt|}Wnty%}ztd||d}~ww|j}|j}|p/|}|s=|jr=t d|nqt ||S)zPRun the set of passes `steps` number of times or until the graph stops changing.FzAn error occurred at step Nz9PassManager: No more graph changes detected after step %s) ranger[r^r/r-rrrr]rTinfor )r$roverall_modifiedstep step_resultr2rr_rrr/7s    zPassManager.call)rYT)rDrZr[r\r]rr;)rrrrrMr/ __classcell__rrr_rr s & r c@s eZdZd ddZdd d Zd S)_FunctionalPassWrapper inner_passrrr7cCs ||_dSrE) _inner_pass)r$rgrrrrMKs z_FunctionalPassWrapper.__init__rrr cCs||SrE)rhcloner6rrrr/Nsz_FunctionalPassWrapper.callN)rgrrr7r;)rrrrMr/rrrrrfJs rf pass_instancercCst|S)a Produce a functional pass from a given pass. A new functional pass is created that clones the input model before running the pass. .. versionadded:: 0.1.14 Args: pass_instance: The pass to convert. Returns: A functional pass. )rf)rjrrrr Rs r )rjrrr )!r __future__r dataclassesloggingcollections.abcrtypingrr__all__r=onnx_irir getLoggerrrTr-r rr RuntimeErrorr dataclassr ABCrrr rr rfr rrrrs.    k4B