o s::j@sddlmZddlmZmZmZmZmZddlZ ddl Z ddl m Z m Z er,ddlmZee jje jje jje jje jje jje jjhZ d-d.ddZd/ddZddZd-ddZd0d d!Zd1d#d$Zd2d+d,Z dS)3) annotations) TYPE_CHECKINGAnyCallableOptionalSequenceN)irtensor) 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 r rrr"d/home/nk/hobo-godmode/plappi-mvp/.venv/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(As  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#r/Os     r/cCs0t|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(r/r Tensorr+array)r1r2r"r"r#cast_pyvalue_to_os_tensorcs r5 get_type_infoCallable[[Any], Any]castCallable[[Any, Any], Any] op_signatureir.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*)r8r"r# szcast_inputs..zNumber of actual parameters z% exceeds number of formal parameters .(cs g|] \}}||qSr")get)r>r*typevarr8 type_bindingsr"r# s zcast_inputs..) tupleinputs enumeratelenvariadic homogeneousappendrtype_constraintr) r6r8r:argsexpected_inputs args_typevarsir*expectedrDtypeinfo cast_argsr"rEr# cast_inputsos6    rWir.schemas.OpSignaturecCsdd}t|t||S)z.Used for autocast during eager-mode execution.cSst|tjr |jSdSr=)rr r3r2r)r"r"r#r6sz*dynamic_cast_inputs..get_type_info)rWr5)r:rPr6r"r"r#dynamic_cast_inputssrY converter_converter.Converter Optional[ir.schemas.OpSignature]rPSequence[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)rZr"r#r6sz)static_cast_inputs..get_type_infoy Optional[str]csJ|durdS|jr#|dur#|jd}|gd||gS|S)N_castCastLike)r`r_generate_unique_name_emit1)r*rbx_castrar"r# cast_likes z%static_cast_inputs..cast_likeN)r*r_rr_)r*r_rbr_rrc)rW)rZr:rPr6rir"rar#static_cast_inputss  rjr=) r r r rrrrrrr)rr%)r6r7r8r9r:r;rr<)r:rX)rZr[r:r\rPr]rr^)! __future__rtypingrrrrrnumpyr+r onnxscriptrr onnxscript._internalr frozensetrFLOATSINTSSTRINGSTENSORSGRAPHSSPARSE_TENSORS TYPE_PROTOSrr$r(r/r5rWrYrjr"r"r"r#s2     7