o Xi"R@sddlmZddlZddlZddlZddlZddlZddlZddlm Z m Z m Z m Z m Z mZmZddlZddlZddlmZeeZGdddZeZeejjeejjeejjeejjej ejj!ej"ejj!ej#ejj$ej%ejj$iZ&eejj'eejj(eejj)eejj(ej ejj*ej"ejj*ej#ejj+ej%ejj+iZ,ddej-Dd dej-DBd dej-DBZ.e Z/ej0d d Gd ddZ1ej0d d GdddZ2ej0d d GdddZ3d0ddZ4d1ddZ5d2d"d#Z6d3d%d&Z7d4d)d*Z8d5d,d-Z9ej0Gd.d/d/Z:dS)6) annotationsN)AnyIteratorMappingOptionalSequenceTypeVarUnion)irc@seZdZddZdS)_EmptycCsdS)N_EMPTY_DEFAULTselfr r J/home/ubuntu/.local/lib/python3.10/site-packages/onnxscript/ir/_schemas.py__repr__sz_Empty.__repr__N)__name__ __module__ __qualname__rr r r rr s r cCh|]}t|qSr r TensorType.0dtyper r r 7rcCh|] }tt|qSr )r SequenceTyperrr r rr8cCrr )r OptionalTyperrr r rr9rT)frozenc@sbeZdZUdZded<ded<dZded<dd d Zdd d ZeddddZ eddddZ dS)TypeConstraintParamzType constraint for a parameter. Attributes: name: Name of the parameter. E.g. "TFloat" allowed_types: Allowed types for the parameter. strnameset[ir.TypeProtocol] allowed_types descriptionreturnintcCst|jt|jfSN)hashr$tupler&rr r r__hash__UszTypeConstraintParam.__hash__cCs&ddd|jD}|jd|S)Nz | cs|]}t|VqdSr+r#rtr r r Yz.TypeConstraintParam.__str__..=)joinr&r$)rallowed_types_strr r r__str__XszTypeConstraintParam.__str__cCs||ddtjD|S)NcSrr rrr r rr^rz1TypeConstraintParam.any_tensor..)r DataTypeclsr$r(r r r any_tensor\szTypeConstraintParam.any_tensorcCs ||t|Sr+)_ALL_VALUE_TYPESr:r r r any_value`s zTypeConstraintParam.any_valueN)r)r*r)r#)r')r$r#r(r#r)r") rrr__doc____annotations__r(r.r8 classmethodr<r>r r r rr"Hs    r"c@sjeZdZUdZded<ded<ded<ded<d Zded <d Zd ed <eZded<dddZ dddZ dS) Parameterz"A formal parameter of an operator.r#r$r"type_constraintboolrequiredvariadicT homogeneousr* min_arityrdefaultr)cC8|jj}|r|jd|d|jS|jd|SNz: z = )rDr$ has_defaultrKrtype_strr r rr8rzParameter.__str__cCs |jtuSr+)rKr rr r rrNx zParameter.has_defaultNr?r)rE) rrrr@rArHrJr rKr8rNr r r rrCes     rCc@sJeZdZUdZded<ded<ded<dZd ed <dd d ZdddZdS)AttributeParameterzHA parameter in the function signature that represents an ONNX attribute.r#r$ir.AttributeTypetyperErFNzir.Attr | NonerKr)cCrLrM)rVr$rNrKrOr r rr8rQzAttributeParameter.__str__cCs |jduSr+)rKrr r rrNrRzAttributeParameter.has_defaultr?rS)rrrr@rArKr8rNr r r rrT|s   rTrPr#r)1ir.TensorType | ir.SequenceType | ir.OptionalTypecCs|d}|d}tj|d}ttjj}t|ddD]*}|dkr.t|}q"|dkr8t|}q"|dkrBt |}q"t d|d |d |S) zConverter a type_str from ONNX OpSchema to ir.TypeProtocol. A type str has the form of "tensor(float)" or composite type like "seq(tensor(float))". )(NtensorseqoptionalzUnknown type part: 'z ' in type '') rstripsplitr r9upperr UNDEFINEDreversedrr ValueError)rPstriped type_partsrtype_ type_partr r r_get_type_from_strs    riparam"onnx.defs.OpSchema.FormalParametertype_constraints!Mapping[str, TypeConstraintParam]cCsb|j|vr ||j}n t|jt|jhd}t|j||jtjjj j k|jtjjj j k|j |j dS)z;Convert a formal parameter from ONNX OpSchema to Parameter.r$r&)r$rDrFrGrHrJ)rPr"r$rirCoptiononnxdefsOpSchemaFormalParameterOptionrVariadicis_homogeneousrJ)rjrlrDr r r_convert_formal_parameters   rvrgrVrEcCsbt|}|turtdt|vrdS|turdSttdr/|tjur/tdt|vr/dSdS)z'Returns whether a type_ is an Optional.NT UnionTypeF) typing get_originr rVget_argsrhasattrtypesrw)rg origin_typer r r _is_optionals  r~rUcCsz?|tvr t|WSt|}|durtjjWS|tjjttj t tj t fvr6t |d}|tvr;t|WSWtjjSWtjjStyStjd|ddYtjjSw)z5Obtain the type of the attribute from a Python class.NrzTypeError when checking %s.T)exc_info)_PY_TYPE_TO_ATTR_TYPErxryr AttributeTyperb collectionsabcrListlistTupler-rz_LIST_TYPE_TO_ATTR_TYPE TypeErrorloggerwarning)rgr} inner_typer r r get_attr_types2      rTypeAnnotationValue str | NonecCst|tr|jSt|r*t|}|D]}|tdurqt|}|r&|SdSt|}t|trMt |t rMt|}t|d}|rKd|SdSdS)aReturns the name of the type constraint for a given type annotation. Args: type_: A Python type. Returns: The name of the type constraint if it is a TypeVar. - Prefixes the name with "Sequence_" if the type annotation is a Sequence[]. Nr Sequence_) isinstancerrr~rxrzrV_get_type_constraint_namery issubclassr)rgsubtypessubtypetype_param_namer}r r rrs      rr%cCsd|tjjurddtjDSt|tr=t}|j}r)|D] }| t |q|S|j }|dur4t }|S| t ||St |drLtt|jhSt|rmt}t|}|D]}|tdurcqZ| t |qZ|St|}|turt}t|}|D]}|tdusJd| t |q|St|trt|trt|}ddt |dDSt S)z0Obtain the allowed types from a type annotation.cSrr rrr r rrrz:_get_allowed_types_from_type_annotation..NrzIUnion should not contain None type because it is handled by _is_optional.cSrr )r rr1r r rr< r) onnxscript onnx_typesrr r9rrset__constraints__update'_get_allowed_types_from_type_annotation __bound__r=r{rr~rxrzrVryr rr)rgr& constraints constraintboundrrr}r r rr sP          rc@seZdZUdZded<ded<ded<ded<ded <ejd d d Zd ed <dZded<ddZ d-ddZ d.ddZ d/ddZ d0ddZ ed1dd Zed2d"d#Zed3d&d'Ze ( ) d4d5d+d,Zd(S)6 OpSignatureaSchema for an operator. Attributes: domain: Domain of the operator. E.g. "". name: Name of the operator. E.g. "Add". overload: Overload name of the operator. params: Input parameters. When the op is an ONNX function definition, the order is according to the function signature. This mean we can interleave ONNX inputs and ONNX attributes in the list. outputs: Output parameters. r#domainr$overloadz(Sequence[Parameter | AttributeParameter]paramsSequence[Parameter]outputsF)initreprz,Mapping[str, Parameter | AttributeParameter] params_maprIr* since_versioncCsdd|jD|_dS)NcSsi|]}|j|qSr )r$rrjr r r ]sz-OpSignature.__post_init__..)rrrr r r __post_init__\szOpSignature.__post_init__r)Parameter | AttributeParametercCs |j|Sr+rrr$r r rget_rRzOpSignature.getrEcCs ||jvSr+rrr r r __contains__brRzOpSignature.__contains__(Iterator[Parameter | AttributeParameter]cCs t|jSr+)iterrrr r r__iter__erRzOpSignature.__iter__c Cs|jpd}|jrd|jnd}ddd|jD}ddd|jD}i}|jD]}t|tr9|j||jj<q+|jD] }|j||jj<q=ddd| D}|d|j|d |d |d | S) Nz''z::r'z, csr/r+r0rr r rr3lr4z&OpSignature.__str__..css|] }t|jjVqdSr+)r#rDr$rr r rr3mscsr/r+r0)rrDr r rr3ts rYz) -> (z) where ) rrr6rrrrCrDr$values)rrrrrrlrjtype_constraints_strr r rr8hs     &zOpSignature.__str__cCdd|jDS)zReturns the input parameters.cSg|] }t|tr|qSr )rrCrr r r |z&OpSignature.inputs..rrr r rinputsyzOpSignature.inputsSequence[AttributeParameter]cCr)z!Returns the attribute parameters.cSrr )rrTrr r rrrz*OpSignature.attributes..rrr r r attributes~rzOpSignature.attributes op_schemaonnx.defs.OpSchemac sdd|jDfdd|jD}|jD])}|jdur%tj|jnd}|dur/|j|_| t |jt |j |j |dqfdd|jD}||j|jd|||jd S) z-Produce an OpSignature from an ONNX OpSchema.cSs.i|]}|jt|jdd|jD|jdqS)cSsh|]}t|qSr )ri)rrPr r rrsz8OpSignature.from_op_schema...)r$r&r()type_param_strr"allowed_type_strsr()rrr r rrsz.OpSignature.from_op_schema..cg|]}t|qSr rvrrlr rrrz.OpSignature.from_op_schema..Nr$rVrFrKcrr rrrr rrrr'rr$rrrr)rlrrr default_valuer serdedeserialize_attributer$appendrTrrVrFrrr)r;rrrj default_attrrr rrfrom_op_schemas@    zOpSignature.from_op_schemaNr'rc CsBt|}t|}g}i} |jD]} | j|vrNtd| j|t d| j} | | | j<| t | j| | j tj judd| j tj jurH| j ntdq|| j} t| } tjjkr| j tj jurnt| j| | j }nd}| t| j| | j tj ju|dqt| }|durd| j}|| vr| |} n t |t| d} | | |<| t | j| | j tj judd| j tj jur| j ntdq|d }g}|durnDt|turt|}n|g}t|D]/\}}t|}| vr| |} nd |}t |t|d} | | |<| t || dddtdq|||p|j||||d S) z=Produce an OpSignature from a function using type annotation.zDMissing annotation for parameter '%s' from %s. Treating as an Input.T_FT)r$rDrFrGrHrKNrrnr)TReturnr)inspect signaturerxget_type_hints parametersrr$rdebugr"r>rrCrKemptyr rr rrbAttrrTrrrryr-rz enumerater)r;funcrr$rr py_signature type_hintsrrlrjrDrg attr_typerKtype_constraint_name return_typer return_typesi return_type_ireturn_param_namer r r from_functions                zOpSignature.from_function)r$r#r)r)r$r#r)rE)r)rr?)r)r)r)r)rrr)r)Nr'rI) rr#r$rrr#rr*r)r)rrrr@rA dataclassesfieldrrrrrrr8propertyrrrBrrr r r rrDs6          0r)rPr#r)rW)rjrkrlrmr)rC)rgrVr)rE)rgrVr)rU)rgrr)r)rgrr)r%); __future__rcollections.abcrrrloggingr|rxrrrrrrr rprr getLoggerrrr r floatrFLOATr*INTr#STRINGrETensorTENSORTensorProtocolGraphGRAPH GraphProtocolrFLOATSINTSSTRINGSTENSORSGRAPHSrr9r=r dataclassr"rCrTrirvr~rrrrr r r rsj $                   8