U ʹj@sddlmZddlmZddlmZmZmZddlZe e Z ddddd d gZ eed d dZ ejfeed d dZdeeeeedddZeeegefeedddZeeddd Zeeddd ZGdddZdS)wrapsunwrap)CallableListOptionalN PassManagerinplace_wrapperlog_hook loop_pass this_before_that_pass_constraint"these_before_those_pass_constraint)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 |}|SNZgmvalrr[/var/www/html/bwave/python/venv/lib/python3.8/site-packages/torch/fx/passes/pass_manager.py wrapped_fnsz#inplace_wrapper..wrapped_fnr)rrrrrr s cstfdd}|S)a Logs callable output. This is useful for logging output of passes. Note inplace_wrapper replaces the pass output with the modified object. If we want to log the original output, apply this wrapper before inplace_wrapper. ``` def my_pass(d: Dict) -> bool: changed = False if 'foo' in d: d['foo'] = 'bar' changed = True return changed pm = PassManager( passes=[ inplace_wrapper(log_hook(my_pass)) ] ) ``` Args: fn (Callable[Type1, Type2]) level: logging level (e.g. logging.INFO) Returns: wrapped_fn (Callable[Type1, Type2]) cs|}td||S)NzRan pass %s Return value: %s)loggerlogrrlevelrrrEszlog_hook..wrapped_fnr)rrrrrrr &s 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_rrrnew_pass_s   zloop_pass..new_pass)AssertionErrorr)rrrr&rrrr Os ) 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")r(r)iajbrrr"_validate_pass_schedule_constraintvs (r0)thisthatcsttdfdd }|S)zd Defines a partial order ('depends on' function) where `this` must occur before `that`. r-r/cs|kr|krdSdSNFTrr3r2r1rr depends_onsz4this_before_that_pass_constraint..depends_onr)r1r2r6rr5rr sthesethosecsttdfdd }|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] r3cs t|krt|krdSdSr4rr3r8rrr6sz6these_before_those_pass_constraint..depends_onr7)r9r:r6rr8rrsc@seZdZUdZeeed<eeed<dZeed<dddZ e d d Z ed d d Z ddZ eedddZddZddZdS)r aT 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|pg|_|pg|_dSr)r)r;)selfr)r;rrr__init__s zPassManager.__init__cCs t|}|Sr)r )clsr)pmrrrbuild_from_passlistszPassManager.build_from_passlist)_passcCs|j|d|_dSNF)r)appendr<)r=rBrrradd_passs zPassManager.add_passcCs|j|d|_dSrC)r;rDr<r=r(rrradd_constraints zPassManager.add_constraint)_passescCs@|dkr dSg}|jD]}|j|kr||q||_d|_dSrC)r)__name__rDr<)r=rHZ passes_leftZpsrrr remove_passs   zPassManager.remove_passcCs,|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)r<r;r0r)rFrrrvalidates  zPassManager.validatecCs$||}|jD] }||}q|Sr)rKr))r=r#outrBrrr__call__s   zPassManager.__call__)NN)rI __module__ __qualname____doc__rr__annotations__r<boolr> classmethodrArErGrJrKrMrrrrr s        )NN) functoolsrinspectrtypingrrrlogging getLoggerrIr__all__r INFOr intr rRr0r rr rrrrs(    )( !