uki BdZddlmZddlmZddlmZddlmZddlmZddlm Z ddl m Z dd lmZdd lmZdd lmZdd lmZdd lmZmZmZeecZZeecZZddddej<dedeej@gefdej<fdZ!defdZ"defdZ#defdZ$y)z)Utilities for tracing stateful functions.)partial)Callable)api)core)dtypes) linear_util) partial_eval)lax)ref_get AbstractRef) DTypeLike)safe_mapsafe_zip split_listct|S)Nr )avals O/home/cdr/jupyterlab/.venv/lib/python3.12/site-packages/jax/_src/state/utils.pyr&s R]^bRc)indexmake_abstract_refjaxprrrreturnc< jsSjDcgc]}t|jtc} t jDcgc]%\}}|r |jn||j'c}} j Dcgc]}|j}} |  fd}t jtj|jj|\}}} | rJd|Scc}wcc}}wcc}w)aHoists the constants in the given jaxpr into invars. Args: jaxpr: The jaxpr. index: The index where the invars for the constants should be inserted. By default, the new invars are inserted *before* any existing invars. make_abstract_ref: a callable to construct an AbstractRef, or subtype thereof, from a constant AbstractValue. Returns: A new jaxpr where the constants were hoisted into invars as ``Ref``s. ct|tg\}}}t|Dcgc]\}}|r|n t|d}}}t j |g||Scc}}w)N)rlenzipr r eval_jaxpr) consts_argsargs0 all_constsargs1is_refc const_avalsr is_const_refrs r_hoistz$hoist_consts_to_refs.._hoistAs|)eS-. E:u \:6 FAB'J ??5* =u =u == sA") debug_infoz-All consts should have been converted to refs) constvars isinstancerr rinvarspetrace_to_jaxpr_dynamiclu wrap_initr*with_unknown_names) rrrvarr%in_avalsr) hoisted_jaxpr_constsr'r(s `` @@rhoist_consts_to_refsr8"s$  L49??,/j;', \5??; &#chh/99+#(,, /3chh /( /%(5 > 66ll6e&6&6&I&I&KL-FDDD 30s!D*DDctj|}t|tjurt d|t |S)Nzcan't make ref from )rget_avaltype ShapedArray TypeErrorr )xrs rval_to_ref_avalr?Ss@ q $ $Zt''' *1#. // T rdtypec8tj|j}tj|}t|j}||k7r2t |dkr t d|d|z|zdk7r td|d|z|z|d<||krJ||z}|jg|jdd|jd|z|djdd}tj||}||kDr!|jddj|}|S)Nz5Bitcast 1D ref with bitwidth change is not supported.rzlExpected input and output shapes are the same after multiplying the second-minor dimension by the bitwidths.) r itemsize_bitsr@listshaperNotImplementedError ValueErrorreshapeswapaxesr bitcast_convert_type)r>r@ x_bitwidth y_bitwidthrGratioys rbitcastrQZs0##AGG,*##E** qww-%: 5zA~  A  Ry: *a/  : Bi*$ 2%)* * $E A1773B<A!5AuAbAJJ B A q%(!* 2r""5)A (rctt|}tj|tj|j |j j S)N)r@)rrQr eval_shapeShapeDtypeStructrGr@)r>r@fs reval_bitcast_shaperVus: gU#! 3//A B H HHrN)%__doc__ functoolsrcollections.abcrjax._srcrrrrr0jax._src.interpretersr r. jax._src.laxr jax._src.state.primitivesr jax._src.state.typesr jax._src.typingr jax._src.utilrrrmap unsafe_mapr unsafe_zipJaxprint AbstractValuer8r?rQrVrrrrgs0$&4-,%88CZCZ Ec . ::. . !3!3 4k AB .  ZZ .b+ i 6IIr