U dQ@sddlmZddlmZddlmZmZeedddZdeeedd d Z eeege feed d d Z eedddZ eedddZ GdddZdS)wrapsunwrap)CallableList)fnreturncstfdd}|S)z Convenience wrapper for passes which modify an object inplace. This wrapper makes them return the modified object instead. Args: fn (Callable[Object, Any]) Returns: wrapped_fn (Callable[Object, Object]) cs ||SN)Zgmrr @/tmp/pip-unpacked-wheel-ua33x9lu/torch/fx/passes/pass_manager.py wrapped_fnsz#inplace_wrapper..wrapped_fnr)rrr r r inplace_wrappers rN base_passn_iter predicatecs4dk dk Astdtfdd}|S)aW Convenience wrapper for passes which need to be applied multiple times. Exactly one of `n_iter`or `predicate` must be specified. Args: base_pass (Callable[Object, Object]): pass to be applied in loop n_iter (int, optional): number of times to loop pass predicate (Callable[Object, bool], optional): Nz8Exactly one of `n_iter`or `predicate` must be specified.csb|}dk r,dkr,tD] }|}qn2dk rH|r^|}q4ntddd|S)Nrz3loop_pass must be given positive int n_iter (given z) xor predicate (given ))range RuntimeError)sourceoutput_rr r new_pass,s   zloop_pass..new_pass)AssertionErrorr)rrrrr rr loop_passs r) constraintpassescCsnt|D]`\}}t||ddD]B\}}|||r8q$td|d|d|d|d|d|d q$qdS) Nz,pass schedule constraint violated. Expected z before z but found z at index z and z at indexz in pass list.) enumerater)rriajbr r r "_validate_pass_schedule_constraintCs (r%)thisthatcsttdfdd }|S)zd Defines a partial order ('depends on' function) where `this` must occur before `that`. r"r$cs|kr|krdSdSNFTr r(r'r&r r depends_onWsz4this_before_that_pass_constraint..depends_onr)r&r'r+r r*r this_before_that_pass_constraintQsr-thesethosecsttdfdd }|S)a_ Defines a partial order ('depends on' function) where `these` must occur before `those`. Where the inputs are 'unwrapped' before comparison. For example, the following pass list and constraint list would be invalid. ``` passes = [ loop_pass(pass_b, 3), loop_pass(pass_a, 5), ] constraints = [ these_before_those_pass_constraint(pass_a, pass_b) ] ``` Args: these (Callable): pass which should occur first those (Callable): pass which should occur later Returns: depends_on (Callable[[Object, Object], bool] r(cs t|krt|krdSdSr)rr(r.r r r+xsz6these_before_those_pass_constraint..depends_onr,)r/r0r+r r.r "these_before_those_pass_constraint_sr1c@szeZdZUdZgZeeed<gZeeed<dZ e ed<dddZ e d d Z ed d d ZddZddZddZdS) PassManageraT Construct a PassManager. Collects passes and constraints. This defines the pass schedule, manages pass constraints and pass execution. Args: passes (Optional[List[Callable]]): list of passes. A pass is a callable which modifies an object and returns modified object constraint (Optional[List[Callable]]): list of constraints. A constraint is a callable which takes two passes (A, B) and returns True if A depends on B and False otherwise. See implementation of `this_before_that_pass_constraint` for example. r constraintsF _validatedNcCs|r ||_|r||_dSr )rr3)selfrr3r r r __init__szPassManager.__init__cCs t|}|Sr )r2)clsrZpmr r r build_from_passlistszPassManager.build_from_passlist)_passcCs|j|d|_dSNF)rappendr4)r5r9r r r add_passs zPassManager.add_passcCs|j|d|_dSr:)r3r;r4r5rr r r add_constraints zPassManager.add_constraintcCs,|jr dS|jD]}t||jqd|_dS)z Validates that current pass schedule defined by `self.passes` is valid according to all constraints in `self.constraints` NT)r4r3r%rr=r r r validates  zPassManager.validatecCs$||}|jD] }||}q|Sr )r?r)r5routr9r r r __call__s   zPassManager.__call__)NN)__name__ __module__ __qualname____doc__rrr__annotations__r3r4boolr6 classmethodr8r<r>r?rAr r r r r2s     r2)NN) functoolsrinspectrtypingrrrintrrGr%r-r1r2r r r r s  ( !