Vh0ddlZddlZddlZddlmZddlmZmZddlZddlmZm Z m Z mZddl m Z ejZ e ddddejd eed efd Zd eeej$fd edededef dZdZe dej,e dee dedededej4diZdZeZdej<d efdZdee d eefdZ!y)N) GenericAlias)OptionalUnion)devicedtypeTensortypes) exposed_inz torch.library)op_nameprototype_functionr returnc h d}|jdtj|fddtffd dtt t ttfdfdtttjdftfffd d t t ttfdttjtfffd g}t}d }tjjD]3\}\}} t| sd | j tj"j$k(r|s|j'dd}| j(tj"j*ur d|d| j(\} } | t,vr| j.tur[t1| } d} | t,j3vrd| d} d|d| j(d| dt,j3d n.d|d| j(dt,j3dt,| }t |tk(r6||k7r t5d|j7drJd|d|t9dd}n5||vr1|j7ds d|dd|d|t9dd}|j;|| j<tj"j*ur|j'|d|d}| j<%t?| j<t@tBtfrt| j<}nt?| j<ttDjFfrd | j<d }nt?| j<tDjHr9t| j<}d!}|j7|sJ|t9|d}n"d|d"t | j<d#|j'|d|d$|6||k7r't||z }t9|d%kDr |d&jJ\}} tM|}||d'd(jO|d)|Sd'd(jO|d)|S)*aJParses the schema of a given function with type hints. The schema is inferred from the function's type hints, and can be used to define a new operator. We make the following assumptions: * None of the outputs alias any of the inputs or each other. * | String type annotations "device, dtype, Tensor, types" without library specification are | assumed to be torch.*. Similarly, string type annotations "Optional, List, Sequence, Union" | without library specification are assumed to be typing.*. * | Only the args listed in ``mutates_args`` are being mutated. If ``mutates_args`` is "unknown", | it assumes that all inputs to the operator are being mutates. Callers (e.g. the custom ops API) are responsible for checking these assumptions. Args: prototype_function: The function from which to infer a schema for from its type annotations. op_name (Optional[str]): The name of the operator in the schema. If ``name`` is None, then the name is not included in the inferred schema. Note that the input schema to ``torch.library.Library.define`` requires a operator name. mutates_args ("unknown" | Iterable[str]): The arguments that are mutated in the function. Returns: The inferred schema. Example: >>> def foo_impl(x: torch.Tensor) -> torch.Tensor: >>> return x.sin() >>> >>> infer_schema(foo_impl, op_name="foo", mutates_args={}) foo(Tensor x) -> Tensor >>> >>> infer_schema(foo_impl, mutates_args={}) (Tensor x) -> Tensor unknownNc(td|dd)Nzinfer_schema(func): z Got func with signature )) ValueError)whatsigs K/home/dcms/DCMS/lib/python3.12/site-packages/torch/_library/infer_schema.pyerror_fnzinfer_schema..error_fnDs /v5NseSTUVVannotation_typecV t|S#t$rd|dYywxYw)NzUnsupported type annotation z. It is not a type.)eval Exception)rr pf_globals pf_localss rconvert_type_stringz)infer_schema..convert_type_stringGs< Y? ?  ..??RS  s ((tys.r cg}d}|D]#}|\}}|j|||z}%|r t|dfS|dfS)NFT)appendtuple)rreschangedty ty_changedunstringify_types runstringify_typesz'infer_schema..unstringify_typesOs_ "B-b1NB JJrN z !G " :t# #: rr%ct|tr |dfStj|x}r.tj|\}}|rt ||dfS|dfS)NTF) isinstancestrtyping get_originget_argsr)r%originargs args_changedrr(s rr'z&infer_schema..unstringify_type]sl b# &r*D0 0((, ,V ,!26??23F!G D,#FD14775yrFz>We do not support positional-only args, varargs, or varkwargs.*Tz Parameter z must have a type annotation.z z For example, z. z has unsupported type z]. We do not support Tuple inputs in schema. As a workaround, please try to use List instead. zThe valid types are: .. The valid types are: zomutates_args must either be a sequence of the names of the arguments that are mutated or the string 'unknown'. rzTensor(az!)zM is in mutable_args but only Tensors or collections of Tensors can be mutated "ztorch.z' has an unsupported default value type z;. Please file an issue on GitHub so we can prioritize this.=rz in mutates_args were not found in the custom op's signature. mutates_args should contain the names of all args that the custom op mutates, or just the string 'unknown' if you don't know.(, z) -> )( __globals__inspect signaturer+r"rtypeobjectr,Anyboolset enumerate parametersitemssupported_paramkind Parameter KEYWORD_ONLYr! annotationemptySUPPORTED_PARAM_TYPES __origin__ tuple_to_listkeysr startswithlenadddefaultr*intfloattorchrrreturn_annotation parse_returnjoin)r mutates_argsr UNKNOWN_MUTATESparams seen_argssaw_kwarg_only_argidxnameparamr_ list_typeexample_type_str schema_type default_repr dtype_repr torch_dotmutates_args_not_seenrVretrrrrrr'r(s @@@@@@@r infer_schemarjsT O#//JI   . /CWS  5fs*+S0 1  uVZZ_%t+ ,  U4<#45 % D@P:Q FI'(<(<(>?FB]dEu% U V ::**77 7% c"%)"   w0066 6 z$'DE F.e.>.>? "7 7))U2)/: #)  5 : : <<)6yk'G$ &?!"5==/3 EMM5;;7 / $ !,,Y777)#i.*:;  &MdSXS`S`NaMbcPQ MM[M4&,@ AMFBN& #L 1I = $ % ) ()*UV  ,C,A,ABq (( 3C!DIIf-.eC599 tyy !se ,,r base_typecpp_type list_baseoptional_base_listoptional_list_basecp|ftj|dfg}dtttjffd}|r |j fd||D|r1|j fd|tj|D|r |j fd||D|S)N?typctj|tj|ttj j|ftt |ffSN)r,SequenceListr collectionsabclist)rrs rderived_seq_typesz(derived_types..derived_seq_typessF OOC KK  11C6 : v &   rc3,K|] }|df yw)z[]N.0seq_typrls r z derived_types..s! +2W "o & c3,K|] }|df yw)z?[]Nr|r}s rrz derived_types..s%  #& ' rc3NK|]}tj|dfyw)z[]?N)r,rr}s rrz derived_types..s. __W %(3'7 8 s"%)r,rrr= _SpecialFormextend)rkrlrmrnroresultrzs ` r derived_typesrs H  #z^4PF  uT6+>+>%>?   6G 6R    ,V__Y-GH    ,Y7   Mrc tddddftddddftddddftddddftddddft j ddddftd dddftd dddfg}g}|D]}|jt|t|S) NrTFSymIntrTr@r+Scalar ScalarTypeDevice) rrSrTr@r+r Numberrrrrdict)datarlines rget_supported_param_typesrs 4u- heT* ud+ vtUD) eUE5) xue4  eUE2 5%/ RDF, mT*+, <rrzTensor[]rrTr@rc|y|tjjur|dtj|}|t ur2|t jvr|d|dt dt |Stj|}|D]}|t vs |d|dt d ddj|Dcgc] }t | c}zdzScc}w) Nz()z7No return type annotation was provided. Please add one.zReturn has unsupported type r4r3r8r9r) r;rGrJr,r-r"SUPPORTED_RETURN_TYPESrNr.rX)rIrr/r0args rrWrWsW&&,,,JK   z *F U 388: : .zl;((>'?qB &j11 ??: &D , , .zl;((>'?qB  4HC237HI IC OOHs?C r`c|jtjjtjjfvSrt)rFr;rGPOSITIONAL_OR_KEYWORDrH)r`s rrErE$s6 :://&& r tuple_typec.t|dd}|tjus|tus|dk(s|tSt |dk(r t|dSt |dk(r|dt ur t|dSttjt|S)z} Convert `tuple_type` into a list type with the same type arguments. Assumes that `tuple_type` is typing.Tuple type. __args__Nr|r)getattrr,Tupler"ryrPEllipsisr)r type_argss rrMrM+s J5I fll"   ?   Y1 IaL!! Y1 1!9IaL!!FLLy!1233r)"rwr;r,r rrrrUrrrtorch.utils._exposed_inr _TestTensorCallabler+rjr=rr@rrrvryrSrTrrrWrKrGrEr"rMr|rrrs? " ... ll  O " n-n- c] n-  n-n-b"T6.../""" "  "J& H KKL* 7& LL(P6237,,4d5k4d4j4r