U T?hu@sddlZddlZddlZddlmZejeZej ej edr^ej ej ednej ej edddl m Z mZmZeeZGddde ZdS) N)Dictz ../tools/symbolic_shape_infer.pyz../toolsz..)SymbolicShapeInferenceget_shape_from_type_protosympycsPeZdZdfdd Zdeeefedd d Zd d Zd dZ ddZ Z S)SymbolicShapeInferenceHelperrTFcs.t||||||_d|_d|_i|_dS)NF)super__init__model_all_shapes_inferred_ is_inferred_dynamic_axis_mapping_)selfmodelverboseZint_maxZ auto_mergeZguess_output_rank __class__]/var/www/html/venv/lib/python3.8/site-packages/onnxruntime/transformers/shape_infer_helper.pyr s z%SymbolicShapeInferenceHelper.__init__)dynamic_axis_mappingmax_runscCs|dk s t|jr"|j|kr"|jS||_||jd}|jrttd|| |_|d7}|dkr8||kr8qtq8d|_|jS)aRun shape inference, and try replace dynamic axis from string to integer when mapping is provided. Args: dynamic_axis_mapping (_type_): a dictionary with name of dynamic axis as key, like {"batch_size" : 4} max_runs (int, optional): limit maximum number of runs to avoid infinite loop. Defaults to 200. Returns: bool: whether all shapes has been inferred or not. Nrzshape infer run T) AssertionErrorr r r Z _preprocessr Zrun_loggerdebugZ _infer_impl)rrrcountrrrinfers   z"SymbolicShapeInferenceHelper.infercCsg}|||}|r|D]r}t|trt||jkrB||j|q||jkr^||j|q|tj|ddq|dk st||q|S)zQOverride it to ensure shape inference by giving the actual value of dynamic axis.T)integerN) Z _get_shape isinstancestrr appendZsymbolic_dims_rSymbolr)rnodeidxZ sympy_shapeshapedimrrr_get_sympy_shape=s      z-SymbolicShapeInferenceHelper._get_sympy_shapecCs||js t||jkr(tdt|dS|j|j}t|}|dk rxt|D]*\}}t|trL||j krL|j |||<qL|S)zGet shape of an edge. Args: edge (str): name of edge Returns: Optional[List[int]]: the shape, or None if shape is unknown zCannot retrieve the shape of N) r rZ known_vi_printr typer enumeraterr )redgeZ type_protor%ir&rrrget_edge_shapePs   z+SymbolicShapeInferenceHelper.get_edge_shapecCs>|js t||}||}|dks.|dkr6td||kS)a*Compare shape of two edges. Args: edge (str): name of edge edge_other (str): name of another edge Raises: Exception: At least one shape is missed for edges to compare Returns: bool: whether the shape is same or not Nz1At least one shape is missed for edges to compare)r rr- Exception)rr+Z edge_otherr%Z shape_otherrrr compare_shapehs   z*SymbolicShapeInferenceHelper.compare_shape)rrTF)r) __name__ __module__ __qualname__r rr intrr'r-r/ __classcell__rrrrrs r)loggingossystypingrpathdirname__file__ file_pathexistsjoinr!Zsymbolic_shape_inferrrr getLoggerr0rrrrrrs