^jA XddlZddlmZddlmZddlmZddlmZm Z m Z m Z e dZ e dZ e dZejeZgd Zd ee ee fefd ee ee feffd Zej(fd ee e fd ed ee e ffdZ ddeegefdedzdeegefdzd eegeffdZdeedefedefgefdeedefd dfdZdedefdedefd eedefedefgeffdZdedefdedefd eedefedefgeffdZGddZy) N)Callable)wrapsunwrap)Any Concatenate ParamSpecTypeVar_P_R_T) PassManagerinplace_wrapperlog_hook loop_pass this_before_that_pass_constraint"these_before_those_pass_constraintfnreturnc tdtdtjdtjdtffd }|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]) gmargskwargsrc |g|i||SN)rrrrs g/var/www/ramen.bs-engineer-server.com/venv/lib/python3.12/site-packages/torch/fx/passes/pass_manager.py wrapped_fnz#inplace_wrapper..wrapped_fn)s 2 )rr r rr)rrs` rrrsG 2Yr"''RYY2 rlevelctdtjdtjdtffd }|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``. Example:: 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]) rrrcH|i|}tjd||S)NzRan pass %s Return value: %s)loggerlog)rrvalrr s rrzlog_hook..wrapped_fnMs*$!&! 5:BD r)rr rrr )rr rs`` rrr1s@8 2Y"''RYY2 r base_passn_iter predicatecxduduz s tdtdtdtffd }|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.sourcerc|}dkDrtD] }|} |S|r|}|r|Stddd)Nrz3loop_pass must be given positive int n_iter (given z) xor predicate (given ))range RuntimeError)r*output_r&r'r(s rnew_passzloop_pass..new_passis  &1*6] +"6* +  "F#"6*F# E(1)A? r)AssertionErrorrr )r&r'r(r1s``` rrrVsO 4 IT$9 :WXX 9     Or constraint.passesct|D]E\}}t||dzdD],\}}|||rtd|d|d|d|d|d|d Gy) Nz,pass schedule constraint violated. Expected z before z but found z at index z and z at indexz in pass list.) enumerater.)r3r4iajbs r"_validate_pass_schedule_constraintr<s&!1fQUWo. DAq!Q>qc!aS 1#U1#YqcB  rthisthatc`dtdtfdtdtfdtffd }|S)zd Defines a partial order ('depends on' function) where `this` must occur before `that`. r9.r;rc|k7xs|k7Srr)r9r;r>r=s r depends_onz4this_before_that_pass_constraint..depends_onsDy%AI%rrrbool)r=r>rAs`` rrrs7&hsCx(&Xc3h-?&D& rthesethosec`dtdtfdtdtfdtffd }|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]) r9.r;rc@t|k7xst|k7Srr)r9r;rDrEs rrAz6these_before_those_pass_constraint..depends_ons ayE!7VAY%%77rrB)rDrErAs`` rrrs708hsCx(8Xc3h-?8D8 rcNeZdZUdZeedefed<eedefed<dZe ed< ddeedefdzdeedefdzddfd Z e deedefddfd Z d edefddfd Z d edefddfdZdeeddfdZdedefdedefddfdZddZdedefdZy)raT 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. .r4 constraintsF _validatedNrc0|xsg|_|xsg|_yr)r4rI)selfr4rIs r__init__zPassManager.__init__s l &,"rct|}|Sr)r)clsr4pms rbuild_from_passlistzPassManager.build_from_passlists   r_passcH|jj|d|_yNF)r4appendrJ)rLrRs radd_passzPassManager.add_passs 5!rr3cH|jj|d|_yrT)rIrUrJrLr3s radd_constraintzPassManager.add_constraints  +r_passesc|y|jDcgc]}|j|vs|}}||_d|_ycc}wrT)r4__name__rJ)rLrZps passes_lefts r remove_passzPassManager.remove_passs@ ? $(KKNb2;;g3MrN N! Os;;_target _replacementcg}|jD]>}|j|jk(r|j|.|j|@||_d|_yrT)r4r\rUrJ)rLr`rar^r]s r replace_passzPassManager.replace_passsZ ++ 'B{{g...""<0""2&  ' " rcz|jry|jD]}t||jd|_y)z Validates that current pass schedule defined by `self.passes` is valid according to all constraints in `self.constraints` NT)rJrIr<r4rXs rvalidatezPassManager.validates: ?? ** HJ .z4;; G Hrr*c\|j|}|jD] }||} |Sr)rer4)rLr*outrRs r__call__zPassManager.__call__s1 [[ E*C  rNN)rN)r\ __module__ __qualname____doc__listrr__annotations__rJrCrM classmethodrQrVrYstrr_rcrerhrrrrrsP  #s(# $$hsCx())J377;-Xc3h'(4/-(38,-4-  -hsCx.@)Am  hsCx0 T  #s();   49    S)  9A#s(9K     ssrrri)loggingcollections.abcr functoolsrinspectrtypingrrr r r r r getLoggerr\r#__all__rINFOintrrCrrmr<rrrrrrrzs$77t_ T] T]   8 $ RV$c)* k"b&!2%&,18 ""b&!"#""b&AQ"N-1#b!# $J#d #d*#rdBh #T (38,hsCx.@A4GH  #s(# $     38  $,S#X$6  xS!8CH#56<=  CH &.sCx&8 xS!8CH#56<=