Bvh]ddlZddlZddlZejj eZejjejjedr6ejjejjedn5ejjejjedddl m Z m Z m Z ejeZGdde Zy)Nz ../tools/symbolic_shape_infer.pyz../toolsz..)SymbolicShapeInferenceget_shape_from_type_protosympycNeZdZdfd Zd deeefdefdZdZdZ dZ xZ S) SymbolicShapeInferenceHelpercbt|||||||_d|_d|_i|_y)NF)super__init__model_all_shapes_inferred_ is_inferred_dynamic_axis_mapping_)selfmodelverboseint_max auto_mergeguess_output_rank __class__s U/RAG/venv/lib/python3.12/site-packages/onnxruntime/transformers/shape_infer_helper.pyr z%SymbolicShapeInferenceHelper.__init__s6 *.?I */!"'57"dynamic_axis_mappingmax_runscr|J|jr|j|k(r |jS||_|j|jd}|j rJt jd||j|_|dz }|dkDr||k\rn |j rJd|_|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. rzshape infer run T) r rr _preprocessr run_loggerdebug _infer_impl)rrrcounts rinferz"SymbolicShapeInferenceHelper.infers$///   !;!;?S!S,, ,%9" %ii LL+E73 4(,(8(8(:D % QJE!| 1 ii!(((rcg}|j||}|r|D]}t|tr||jvr|j |j|@||j vr|j |j |m|j t j|d|J|j ||S)zQOverride it to ensure shape inference by giving the actual value of dynamic axis.T)integer) _get_shape isinstancestrrappendsymbolic_dims_rSymbol)rnodeidx sympy_shapeshapedims r_get_sympy_shapez-SymbolicShapeInferenceHelper._get_sympy_shape<s c* c3'd888#**4+E+Ec+JK 3 33#**4+>+>s+CD#**5<<T+JK?*?&&s+rcD|jsJ||jvrtdt|zy|j|j}t |}|Et |D]7\}}t|ts||jvs&|j|||<9|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 known_vi_printr'typer enumerater&r)redge type_protor.ir/s rget_edge_shapez+SymbolicShapeInferenceHelper.get_edge_shapeOs(((( t~~ % 1CI= >^^D).. )*5  #E*3c3'C43M3M,M#99#>E!H+ rc|jsJ|j|}|j|}|| td||k(S)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 z1At least one shape is missed for edges to compare)r r9 Exception)rr6 edge_otherr. shape_others r compare_shapez*SymbolicShapeInferenceHelper.compare_shapegsT((((##D)))*5 =K/OP P ##r)riTF)) __name__ __module__ __qualname__r dictr'intr"r0r9r> __classcell__)rs@rrrs28)$sCx.)C)<&0$rr)loggingossyspathdirname__file__ file_pathexistsjoinr(symbolic_shape_inferrrr getLoggerr@rrrrrRs   GGOOH % 77>>"'',,y*LMNHHOOBGGLLJ78HHOOBGGLLD12YY   8 $c$#9c$r