i>SSKrSSKJrJrJr SSKJs Js Jr SSK J s J r SSK r SSKJr SSKJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJrJ r J!r! SSK"J#r#J$r$ SSK%J&r&J'r' SSK(J)r) "SS 5r*\\\ R@\\+\\,\\-4r.\\-\/\,\ R@\*S4r0\\0\.4r1\'"S S 5r2\2RgS 5 \&"\2S S5S\ R@S\ R@4Sj5r4S\S\1S\\+4Sjr5S\S\ RlRn4Sjr8S\S\\ RlRn4Sjr9"SS5r:g)N)ListOptionalUnion)exir)BoolBoolListDouble DoubleList ExecutionPlanIntIntList JumpFalseCall KernelCall KernelTypesMoveCallNullOperatorOptionalTensorListProgramStringTensor TensorList)get_scalar_typestride_from_dim_order)implLibrary)PyTreec\rSrSrSrg) Uninitialized-N)__name__ __module__ __qualname____firstlineno____static_attributes__r!g/var/www/html/ai-image-ml/venv/lib/python3.13/site-packages/executorch/exir/verification/interpreter.pyrr-sr'r executorchDEFzmove(Tensor self) -> TensormoveCPUselfreturnc.[R"U5$N)torchcloner-s r( move_implr4Ds ;;t r'val input_valc6[U[5(a[U[UR55$[U[5(a[U[UR 55$[U[ 5(a[U[UR55$[U[5(a[U[UR55$[U[5(a[U[R5$[U[5(a([U[5(dg[SU55$[U[5(a([U[5(dg[SU55$[U[ 5(a([U[5(dg[SU55$[U["[$45(a([U[5(dg[SU55$[U[&5(a [)S5eg)a@ Compares a schema type (val) with Python type (input_val) Map: Int -> int, Bool -> bool, Double -> float, String -> str, Tensor -> torch.Tensor, XList -> list[x] Args: `val`: value from value list with type from `schema.py` `input_val`: value with Python type, normally from the result of executing an operation Fc3B# UHn[U[5v M g7fr0) isinstanceint.0xs r( comp_types..as9y!:a%%yc3B# UHn[U[5v M g7fr0)r9boolr;s r(r>r?es: 1:a&& r@c3B# UHn[U[5v M g7fr0)r9floatr;s r(r>r?is;A:a''r@c3V# UHn[U[R5v M! g7fr0)r9r1rr;s r(r>r?msB 1:a.. s')z,Setting a value where there should be a NullN)r9r typeint_valrbool_valr double_valr string_valrr1r listallrr rrr TypeError)r5r6s r( comp_typesrNIs#s)T#++%677 C  )T#,,%788 C )T#..%9:: C )T#..%9:: C )U\\22 C ! !)T**9y999 C " ")T**: ::: C $ $)T**;;;; C*&89 : :)T**B BBB C  FGG r'operatorcURRS5up[[[[RU5U5UR 5nU$)Nz::)namesplitgetattrr1opsoverload)rO namespaceop_nameops r( resolve_oprYrsB!,,T2I I6@(BSBS TB Ir'execution_plancZURVs/sHn[U5PM nnU$s snfr0) operatorsrY)rZrO operator_lists r(make_operators_listr^ys2;I:R:RS:RhZ):RMS Ts(c\rSrSrS\SS4SjrS\\4SjrS\\ RR4Sjr S\\ 4SjrS \SS4S jrS \SS4S jrS \S \SS4S jrS\SS4SjrS\ RS\4SjrSrg) Interpreterprogramr.Nc [UR5S:XdeURSUlURSRUlURVs/sH7n[ R "UR[UR55PM9 snUlURRVs/sH n[5PM snUl [UR5Ul gs snfs snf)Nr)lenrZcontainer_meta_typecontainer_metatypeconstant_bufferbindings DataBufferstorage data_buffersvaluesr _value_listr^_operators_list)r-rbbr5s r(__init__Interpreter.__init__s7))*a///9@9O9OPQ9RAHAWAW B   ,,8 -    3qyy> :,8 (,':':'A'A- 'AMO'A- =P   = 8 - s >C1:C6cB[R"UR5$r0)copydeepcopyrnr3s r(get_value_listInterpreter.get_value_lists}}T--..r'cUR$r0)ror3s r(get_operators_listInterpreter.get_operators_lists###r'c /nURRHnURn[U[5(dM&UR S:wdM8[ R"URUR URUR[URUR55nURU5 M U$)zo No side effects on Interpreter's value list. List of constant tensors returned without having to run program. r)rZrmr5r9rdata_buffer_idxriconvert_to_tensorrl scalar_typesizesr dim_orderappend)r-tensorselemr5tensors r(get_constant_tensors Interpreter.get_constant_tensorss ''..D((C#v&&3+>+>!+C"33%%c&9&9:OOII)#))S]]C  v&/r'idxc[URRUR[[ 45(d"[UR U[5(aURU5 gg)a+ Given an index in the value list, if value is `Uninitialized` or is a mutable object, like a Tensor List, calls `load` to load and initialize value into Interpreter's value_list. Args: `idx` : index in value lists that we want to load Returns: No returned values - value list is updated in place N) r9rZrmr5rrrnrload_from_value_list)r-rs r( load_valueInterpreter.load_values^     & &s + / /*>P1Q  ((-} = =  % %c *>r'c US:deURRURn[U[5(aUR UR U'GO[U[5(aURUR U'GO[U[5(aURUR U'GO[U[5(aURUR U'GOn[U[[[45(a/nUR Hn[U["5(de[URRUR[5(deUR%URRURR 5 M X0R U'GO[U[&[(45(am/nUR HKnUS:XaUR%S5 MUR+U5 UR%UR U5 MM XPR U'GO[U[,5(aUR.S:Xa@[0R2"UR4[7UR85S9UR U'O[:R<"UR>UR.UR8UR4[AUR4URB55nXpR U'O@[U[D5(aSUR U'OS[IU5SUS35e[UR U[J5(aeg)a Accesses Execution Plan's value list at same index (see schema.py) to load and initialize value into Interpreter's value list. Extracts the necessary values depending on the type of the value. E.g. Tensor Lists have indices into the value list, so they are recursively loaded. If an Evalue is a Constant Tensor (denoted by allocation_info=None), it converts the python obj to a torch tensor object. Args: `idx` : index in value lists that we want to load Returns: No returned values - value list is updated in place rN)dtypeUnexpected type, , with value, , in Execution Plan values.)&rZrmr5r9r rGrnrrHr rIrrJr rr itemsr:rrrrrr|r1emptyrrr~rir}rlrrrrMrFr)r-rr5 unboxed_listitem tensor_listirs r(r Interpreter.load_from_value_listsaxx!!((-11 c3  $'KKD  S ! T " "$'LLD  S ! V $ $$'NND  S ! V $ $$'NND  S ! gx< = =L !$,,,,!$"5"5"<"$>t$D$H$H$P$PQ " %1  S ! j*<= > >KYY7&&t,"""4#3#3A#67  %0  S ! V $ $""a'(- II_S__%E)  % "33%%c&9&9:OOII)#))S]]C  )/  % T " "$(D  S !#DI;nSEA\] d..s3]CCCCCr'r6c URRUnURn[XB5(d'[ SUS[ U5S[ U5S35e[ U[[[[[[[[[4 5(aX R U'g[ U["[$45(a[ U[&5(de[)UR*5[)U5:Xde/n[-[)UR*55H6nUR*UnX&UR U'UR/X&5 M8 XPR U'g[ S[ U5SUS35e) a Given an index in the value list, and a value, updates Interpreter's value in value list at given index in place If value is meant to be a TensorList at given index, iterate through all the indices in the TensorList and update each placeholder with the given Tensor from `input_val`. Args: `idx` : index in value lists that we want to set `input_val` : value we want to put at `self._value_list[idx]` Returns: No returned values - value list is updated in place z!Program trying to set a value of z : z in memory location where z is expected.rrrN)rZrmr5rNrMrFr9r rr rr rr rrrnrrrrerranger)r-rr6evaluer5rrval_idxs r( set_valueInterpreter.set_value s`$$++C0jj#))3I;c$y/ARRlmqrumvlwxEF    $:vt T  %.  S ! j*<= > >i.. ..syy>S^3 33K3syy>*))A,,5L  )""9<0+%0  S !#DI;nSEA\] r'kernelc|URURn[URRVs/sHo3R (aMUPM sn5nURRVs/sHoUR (dMUPM nn[U5n/nUR SUH2n URU 5 URURU 5 M4 0n [U5HDn UR XK-n XkRn URU 5 URU X'MF U"U0U D6n UR XG-Sn[U5S:XdS5e[U [5(aURUS[U 55 gURUSU 5 gs snfs snf)a Calls operator from kernel: 1. Determines kernel's operation through kernel.op_index, which indexes into operator list from Program's execution plan. 2. After identifying operation, determines number of arguments and keyword arguments through operator schema. 3. Extracts arguments from value list and calls operator. 4. Sets the given output indices in value list with the values returned from operation. Args: `kernel` : stores information about operator and which indices in the value list contain the necessary arguments Returns: No returned values - value list is updated with outputs from operator in place Nrdz>emitter is expected to pack multiple outputs into a TensorListr)roop_indexre_schema arguments kwarg_onlyargsrrrnrrQr9tuplerrK)r-rrOargnum_argskwarg kwarg_list num_kwargsrrkwargsjkeywordres output_idxss r( call_kernelInterpreter.call_kernel5s&''8$,,66 M6SnnS6 M *2)9)9)C)CX)CGWGWe)C X_ Yh'A OOA  KK((+ ,(z"A HL)A m((G OOA "..q1FO #''kk("7"9:    ! L K L ! c5 ! ! NN;q>49 5 NN;q>3 /9 NXsF4F44F9 F9raw_argsc"[R"U045up#UR5URR:wa3[ SURRSUR535e[ URR5[ U5:wa7[S[ URR5S[ U535e[[ URR55H-nURRUnX$URU'M/ [ URR5S:XdeURRSnSnU[ UR5:GaURUn[UR[ 5(aUR#UR5 GO"[UR[$5(ajUR'URR(5 URURR*(aUS-OURR,nM[UR[.5(akURR0n URR2n UR'U 5 UR'U 5 URU URU 'O[SUS35eUS- nU[ UR5:aGMURR4Vs/sHo@RUPM n n[R6"URR85n [R:"X5$s snf) z Loops through instructions given some inputs Args: `args` : list of inputs required for interpretation Returns: Outputs after completing all computations z:Arguments provided do not match required type. Required: z Provided: z1Incorrect number of arguments provided. Expected z values, but received rdrz+Received unknown instruction from program: .) ex_pytree tree_flattento_strrgencoded_inp_strrMrerZinputs RuntimeErrorrrnchains instructionsr9 instr_argsrrrrcond_value_indexcond_val_indexdestination_instructionrmove_to move_fromoutputsfrom_strencoded_out_strtree_unflatten) r-rrpytreerrchainip instructionrrrettreespecs r(runInterpreter.runhs+!--xn=  ==?d55EE EMdNeNeNuNuMvwDEKERERETDUV  t"")) *c$i 7CCH[H[HbHbDcCddz{~@D|E{FG s4..5567A%%,,Q/C$(GD  S !84&&--.!333##**1-3u))**,,R0K+00*==  !7!78K22MBB 6 6 G GH'' (>(>(M(MNF%//GG K22H==%0088'22<<  *(,0,<,)>$?$d6l(+c+d+ CDCDCDJ)S)Y)4)V10*1010fA7U\\A7fA7r'r`);rttypingrrr%executorch.exir.verification.bindingsr verificationriexecutorch.extension.pytree extensionrrr1r)executorch.exir.schemarrr r r r r rrrrrrrrrrrexecutorch.exir.tensorrr torch.libraryrrtorch.utils._pytreerrrBrDr: ValueListTypestrValueScalarTyperexecutorch_libdefiner4rNrrrYr^r`r!r'r(rsw ((98// (J'&  JKI S%}dJK   u-34nfe$ELLU\\%&HK&HI&H(4.&HRejj&;&;! %**   i7i7r'