o Xi%@sddlmZddlmZmZmZmZmZddlZ ddl Z ddl m Z m Z ddlmZer2ddlmZee jje jje jje jje jje jje jjhZ d.d/ddZd0ddZddZd.ddZd1d!d"Z d2d$d%Z!d3d,d-Z"dS)4) annotations) TYPE_CHECKINGAnyCallableOptionalSequenceN)irtensor)_schemas) converterkeystrvaluername_generatorCallable[[], str] attr_typeir.AttributeType | Nonereturnir.AttrcCst|tr|s|durtd|tvrtdtj||gdS|tjjkr8t|tj s8tj |tj ||ddStj j |||dS)ajHelper function to create an ONNX AttributeProto. * Empty lists can be attribute values, provided the attribute type is specified and is a list type. * Scalar-values like 1.0 as well as lists like [1, -1] to be specified when the attribute type is TensorProto by automatically converting the value into a 0-D or 1-D tensor respectively. Nz6Attribute type must be specified for empty list value.z>Empty list value is only allowed for repeated attribute types.)nametyper)r)rr)r) isinstancelist ValueError_REPEATED_ATTRIBUTE_TYPESrAttr AttributeTypeTENSORonnx TensorProto AttrTensorr convenienceconvert_attribute)r rrrr#Q/home/ubuntu/.local/lib/python3.10/site-packages/onnxscript/_internal/autocast.pypyvalue_to_onnx_attribute#sr%boolcCs2t|tttfr dSt|tr|rt|dSdS)zChecks if a runtime parameter value needs to be promoted into an onnxscript value. This is the runtime-equivalent of the promotion of literal constants into ONNX values in the static converter. TrF)rr&intfloatr _promotablexr#r#r$r)Bs  r)cCsdt|trtjSt|trtjSt|trtjSt|tr)|r%t |dSt dt dt |)zReturn np.dtype to use when converting a python value to an onnxscript tensor. Note that int constants are treated as int64, as that is the common type in ONNX for shape/index values. rz+Cannot determine target type for empty listzValue of unexpected type ) rr&npbool_r'int64r(float32r _get_dtyper TypeErrorr)pyvaluer#r#r$r0Ps     r0cCs0t|r|dur t|}ttj||dS|S)zPromotes python values into onnxscript tensors. The optional argument dtype specifies the desired np.dtype of the tensor, used only when a non-standard onnxscript-value is promoted into one. N)dtype)r)r0r Tensorr,array)r2r3r#r#r$cast_pyvalue_to_os_tensords r6 get_type_infoCallable[[Any], Any]castCallable[[Any, Any], Any] op_signature_schemas.OpSignature | Nonetuple[Any, ...]c s|durtfdd|DS|j}ig}t|D]N\}}|t|kr)||}n$|djr>|d}|js=||dfqntdt|dt|d|jj } d| vra||} | dura| | <||| fqfd d |D} t| S) aUses schema specification to support a limited form of auto-casting. * Scalars are promoted to tensors. * Further. they are cast to the required type when used in ops with other tensor inputs that are required to be of same type. Thus, in "A+1" or "Add(A, 1)", the value 1 will be converted to the same type as A. This is used by the converter in a static-mode, as well as by the eager-mode execution in a dynamic-mode. Nc3s|]}|dVqdSNr#).0r+)r9r#r$ szcast_inputs..zNumber of actual parameters z% exceeds number of formal parameters .(cs g|] \}}||qSr#)get)r?r+typevarr9 type_bindingsr#r$ s zcast_inputs..) tupleinputs enumeratelenvariadic homogeneousappendrtype_constraintr) r7r9r;argsexpected_inputs args_typevarsir+expectedrEtypeinfo cast_argsr#rFr$ cast_inputsps6    rX_schemas.OpSignaturecCsdd}t|t||S)z.Used for autocast during eager-mode execution.cSst|tjr |jSdSr>)rr r4r3r*r#r#r$r7sz*dynamic_cast_inputs..get_type_info)rXr6)r;rQr7r#r#r$dynamic_cast_inputssrZ converter_converter.ConverterOptional[_schemas.OpSignature]rQSequence[Optional[ir.Value]]tuple[str, ...]cs*d fdd }d fdd }t||||S) zUsed for autocast during script-translation. This is meant to transform expressions like "Add(X, 1)" to "Add(X, CastLike(1, X))" Polymorphic constants (like 0 and 1) are cast to the type of other operands as needed. r+Optional[ir.Value]rcs|dus |jr dS|S)zReturns x back if x can serve as the target-type for a cast (as the second argument of CastLike) and None otherwise. In the expression "Add(X, 1), 1 is castable, while X can serve as the target-type. N) is_castablerr*r[r#r$r7sz)static_cast_inputs..get_type_infoy Optional[str]csJ|durdS|jr#|dur#|jd}|gd||gS|S)N_castCastLike)rargenerate_unique_nameemit1)r+rcx_castrbr#r$ cast_likes z%static_cast_inputs..cast_likeN)r+r`rr`)r+r`rcr`rrd)rX)r[r;rQr7rjr#rbr$static_cast_inputss  rkr>) r r rrrrrrrr)rr&)r7r8r9r:r;r<rr=)r;rY)r[r\r;r]rQr^rr_)# __future__rtypingrrrrrnumpyr,r onnxscriptrr onnxscript.irr onnxscript._internalr frozensetrFLOATSINTSSTRINGSTENSORSGRAPHSSPARSE_TENSORS TYPE_PROTOSrr%r)r0r6rXrZrkr#r#r#r$s4      7