a
    d~6                  	   @   s   d dl Z d dlmZmZmZmZmZ d dlZd dlm	Z	 d dl
mZ ddgZe	ddG d	d dZe	dddeejjeejjjgef eeeef  ee dddZdS )    N)AnyCallableDictListOptional)compatibility)GraphModule	Partitionsplit_moduleT)Zis_backward_compatiblec                   @   s(   e Zd ZedddZedddZdS )r	   namec                 C   sN   || _ d| | _g | _i | _i | _i | _i | _tjj	
 | _	i | _i | _d S )NZsubmod_)r   submod_name
node_namesinputsoutputspartitions_dependent_onpartition_dependentstorchfxgraphGraphenvironmenttargets)selfr    r   e/var/www/html/stable-diffusion-webui/venv/lib/python3.9/site-packages/torch/fx/passes/split_module.py__init__   s    zPartition.__init__)returnc                 C   s4   d| j  d| j d| j d| j d| j d| j S )Nzname: z
,
 nodes: z,
 inputs: z,
 outputs: z,
 partitions dependent on: z,
 partition dependents: )r   r   r   r   r   r   )r   r   r   r   __repr__   s    
zPartition.__repr__N)__name__
__module____qualname__strr   r   r   r   r   r   r	      s   F)mroot_msplit_callbackqualname_mapkeep_original_orderc              	      sv  i i t jjjtt jjj dfdd| jjD ]j< jdv rNq4jdkrxt jj	j
d fdd q4t|}|d	u rt| |< jj |_t jj	j
fd
d t jj	jfdd q4t }g } D ] \}tjs|| qg }|r| }	||	 |	 jD ],}
|
 j|	 |
 jsT||
 qTq2t|tkrtd|D ]P}| jD ]:}jj|| jd}| j |_|j| < qq| jjD ]6t drj jt jj	j
fdd}t jj	jfdd}jdvrhj!}n|j!"d}| }|D ].}t ||stdj! dt#||}q|d$|}|j%|< |d	urj& d| }j!||< t'|t(sJ t'|t)sJ jj*j|||jd}j |_|j< qi  t jj+ }i }| jjD ]܉jdkrtj
dkr~j
d nt,j-j.}|jj!j|d j< j  j _nzjdkrT|/j! j< j  j _| }j!"dD ].}t ||stdj! dt#||}q||j!< qT|s<|n|}|D ]}| t(fddj0D }t|dkr|d n|}j1| t jj23j%j|j&< |4j&t( fddjD }tj0dkrt jj56|}t7j0D ]\}}|| j |< qn| tj0d < qD| jjD ]6jdkr.|1t jj	j
d  fdd q.t jj23||S ) a  
    Creates subgraphs out of main graph

    Args:
        m (GraphModule): Graph module to split
        root_m (torch.nn.Module): root nn module. Not currently used. Included
            because the root nn module is usually transformed via
            torch.fx._symbolic_trace.symbolic_trace (see example below)
        split_callback (Callable[[torch.fx.node.Node], int]): Callable function
            that maps a given Node instance to a numeric partition identifier.
            split_module will use this function as the policy for which operations
            appear in which partitions in the output Module.
        qualname_map: Optional[Dict[str, str]]: optional output parameter that returns a
            mapping from new target names in the module after split to old target
            names in the original module.
        keep_original_order: Optional[bool]: keep the original order of the GraphModule
            or use the Topological order of the new constructed GraphModule


    Returns:
        GraphModule: the module after split.

    Example:

        This is a sample setup:

            import torch
            from torch.fx.symbolic_trace import symbolic_trace
            from torch.fx.graph_module import GraphModule
            from torch.fx.node import Node
            from torch.fx.passes.split_module import split_module

            class MyModule(torch.nn.Module):
                def __init__(self):
                    super().__init__()
                    self.param = torch.nn.Parameter(torch.rand(3, 4))
                    self.linear = torch.nn.Linear(4, 5)

                def forward(self, x, y):
                    z = self.linear(x + self.param).clamp(min=0.0, max=1.0)
                    w = self.linear(y).clamp(min=0.0, max=1.0)
                    return z + w

            # symbolically trace model
            my_module = MyModule()
            my_module_traced = symbolic_trace(my_module)

            # random mod partitioning
            partition_counter = 0
            NPARTITIONS = 3

            def mod_partition(node: Node):
                global partition_counter
                partition = partition_counter % NPARTITIONS
                partition_counter = (partition_counter + 1) % NPARTITIONS
                return partition

            # split module in module with submodules
            module_with_submodules = split_module(
                my_module_traced, my_module, mod_partition
            )

        Output looks like this. Original graph is broken into partitions

            > print(module_with_submodules)
            GraphModule(
                (submod_0): GraphModule(
                    (linear): Linear(in_features=4, out_features=5, bias=True)
                )
                (submod_1): GraphModule(
                    (linear): Linear(in_features=4, out_features=5, bias=True)
                )
                (submod_2): GraphModule()
            )

            def forward(self, x, y):
                param = self.param
                submod_0 = self.submod_0(x, param, y);  x = param = y = None
                getitem = submod_0[0]
                getitem_1 = submod_0[1];  submod_0 = None
                submod_1 = self.submod_1(getitem, getitem_1);  getitem = getitem_1 = None
                getitem_2 = submod_1[0]
                getitem_3 = submod_1[1];  submod_1 = None
                submod_2 = self.submod_2(getitem_2, getitem_3);  getitem_2 = getitem_3 = None
                return submod_2

        Output of split module is the same as output of input traced module.
        This is an example within a test setting:

            > orig_out = my_module_traced(x, y)
            > submodules_out = module_with_submodules(x, y)
            > self.assertEqual(orig_out, submodules_out)
            True
    )def_nodeuse_nodec                    s   t | dd }t |dd }||kr|d urR | }|j| j |d urR|j| |d ur | }|j| j |d ur|j| d S )N_fx_partition)getattrr   
setdefaultr   r   r   r   )r(   r)   Zdef_partition_nameZuse_partition_nameZdef_partitionZuse_partition)
partitionsr   r   record_cross_partition_use   s    z0split_module.<locals>.record_cross_partition_use)placeholderget_attroutputr   c                    s
    | d S Nr   n)r.   r   r   <lambda>       zsplit_module.<locals>.<lambda>Nc                    s
   |  S r2   r   r(   noder.   r   r   r5      r6   c                    s
   |  S r2   r   r7   r8   r   r   r5      r6   z cycle exists between partitions!)	type_exprr*   c                    s    |  S r2   r   r3   r   r   r   r5      r6   c                    s    |  S r2   r   r3   r;   r   r   r5      r6   )call_moduler0   .zOperator target z not found!_)optargetargskwargsr:   r/   )r:   default_valuer0   zNode target c                 3   s   | ]}j  |  V  qd S r2   r;   .0r   )
orig_nodes	partitionr   r   	<genexpr>,  s   zsplit_module.<locals>.<genexpr>   c                 3   s   | ]} | V  qd S r2   r   rD   base_mod_envr   r   rH   :  r6   c                    s
    | j  S r2   r   r3   rJ   r   r   r5   G  r6   )8r   r   r9   Noder   r   nodesr   r?   Zmap_argrA   r"   getr	   r   appendr*   rB   listkeysitemslenr   popr   RuntimeErrorr   r/   typemetacopyr   hasattrr@   splitr+   joinr   r   
isinstancetupledictZcreate_noder   inspect	Signatureemptyr0   r   r1   Zgraph_moduler   r<   proxyZProxy	enumerate)r#   r$   r%   r&   r'   Zpartition_nameZoriginal_partition_orderZroot_partitionsZsorted_partitionsZroot_partitionZ	dependentinputr/   Zgathered_argsZgathered_kwargsr@   Ztarget_atomsZtarget_attrZatomqualnamenew_nodeZbase_mod_graphZbase_mod_attrsrC   Zattr_valZconstruct_order_partitionsZoutput_valsZ
output_valZoutput_val_proxyiZoutput_namer   )rK   r   r9   rF   rG   r-   r.   r   r
   %   s    f










 
	
)NF)r_   typingr   r   r   r   r   r   Ztorch.fx._compatibilityr   Ztorch.fx.graph_moduler   __all__r	   nnModuler   r9   rL   intr"   boolr
   r   r   r   r   <module>   s"     