UHjg#dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zdd Z dd Zdd Zdd ZefddZddZedk(reyy)zLSummarize whether opcode 0x24 context+0x58 state promotes the current route.) annotationsN)Path)Anyoutmap1_01amap2_02dcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks H/home/exedev/hwanse/tools/summarize_save_selector_context58_consumers.py load_jsonrs* ;;= ::dnngn6 77c|jdxsijdxsi}|jdxsijdxsg}|jdxsgDcgc]}|jddk(r|}}|jdxsi}|jdxsi}|jdxsgDcgc]}d |jd xsd vr|} }t|jd xsd } td |D} d} idtdtddd|jdd|jdd|jdd|jdd|jdd|jd d|jd d| d t |d!|d"|d#t | d$| d%| d&k(r| sd'nd(d)gd*| d+Scc}wcc}w),N offsetSummary0x58fieldRefsByOffsetrouteRelevantRefs offsetHexcurrentBoundary currentModegeneralHandlerRowsz context+0x58meaningstreamPlus1Hexc3fK|])}d|jdxsdjv+yw)mode1 routeNoter!N)getlower.0rows r z build_summary..*s4)  CGGK(.B5577)s/1aThe current map1_01a->map2_02d opcode 0x24 boundary is mode 1, which writes object+0x61 from 0x0059e348 and advances by +4. The static object-field scan finds context/object+0x58 references, but the route-relevant opcode 0x24 context+0x58 reference is mode 0 only. The known nested opcode 0x20 handler that stores context+0x58 is a generic saved-pointer-table helper, not a direct leaf-table, frontier-reader, or map transition selector. This closes context+0x58 as standalone promotion evidence for the current route.sourcetarget objectivezIclassify opcode 0x24 context+0x58 consumers for the current route blockercontext58RefCounttotalcontext58ReadCountreadscontext58WriteCountwritescurrentOpcode24VaHex opcodeVaHexcurrentOpcode24ValueHexopcodeValueHexcurrentOpcode24ModeHexcurrentOpcode24ModeMeaning#currentOpcode24ModeTouchesContext58opcode24Mode0Context58RefCountopcode24Mode0Context58Refs context58Refsopcode20Context58HandlerCountopcode20Context58Handlerscontext58PromotionStatus0x01z!blocked-not-current-opcode24-pathinspectblocked)zDruntime producer proof for 0x0059e348 or selected pointer 0x0059de30z,strict map1_01a source coordinate or hotspotz;selector merge/control-flow proof that reaches selector 2:0)promotionStatusnextEvidenceNeeded conclusion)r&strany ROUTE_SOURCE ROUTE_TARGETlen) object_field_refsopcode24_handleropcode20_nested_base_modesoffset_summarycontext58_refsr*route_relevantcurrent_boundary current_modecontext58_handlerscurrent_mode_textcurrent_mode_touches_context58rGs r build_summaryrXs (++O<BGGOUSUN'++,?@FBKKFSYWYN(,,-@AGR 77; 6 ) N(++,=>D"#'' 6<"L1556JKQr cggi06B 7 ,001ABHbI%()!)&"  O , ,  `  ^//8   n009   ~11(;    0 4 4] C  "#3#7#78H#I  !"2"6"67G"H  %l&6&6y&A  ./M  )#n*=  %n    (-?)@  $%7! " #  &/M%H ' (% !5 / s (G% G*c`ddd|dd|ddd|jd d |jd d |jd dd|jdd|jddd|jddd|jdd|jdd|jddd|jdxsddddddg}|jdxsgD]`}|jd |jd!d"|jd#d$|jd%d"|jd&xsd'd( b|jds|jd)|jgd*|jd+xsgD]N}|jd |jd,d-|jd.d"|jd/xsd'd(P|jd+s|jd0|jdd1j|S)2Nz&# Save Selector Context+0x58 Consumersr!z - route: `r,z -> r-`z- context+0x58 refs: r/ (reads=r1 , writes=r3)z- current opcode 0x24: `r5z ` value `r7z- current opcode 0x24 mode: `r9z%- current mode touches context+0x58: r;z'- opcode20 context+0x58 handler count: r?z- promotion status: `rErGz### Route-Relevant Context+0x58 Refsz| va | access | raw | note |z| --- | --- | --- | --- |r=z| `vaHexz` | accessz | `rawHexr%-z |z| - | - | - | - |)r!z!## Opcode20 Context+0x58 Handlersr!z| opcode | handler | meaning |z| --- | --- | --- |r@ opcodeHexz` | ` handlerVaHexr z | - | - | - | )r&appendextendjoin)summarylinesr*s rmarkdownrjTsa0 WX&'tGH,=+>a@  ,? @AB++234IgkkJ_>`=aab d "7;;/E#F"GyQXQ\Q\]vQwPxxyz ' 4L(M'NaP / ]2^1_`  ,= >?qA  L!'R - &## E&{{78>B  #'''"#4(9':$swwx?P>QQUVYV]V]^iVjVqnqUrrt u   ;;3 4 () LL{{67=2  #''+&'uSWW^-D,ET#''R[J\Jc`cIddf g   ;;2 3 _% LL 99U rcdjd|jdxsgD}djd|jdxsgD}djdddd tj|d d tj|d d dd|jdd|jdd|jdddtjt |jddtjt |jdddtjt |jddd|jddd |jd!dd"tjt |jd#dd$d%tjt |jd&xsd'd(d)d*|xsd+d,d-d.|xsd/d,gS)0Nrdc3K|]}dtjt|jddtjt|jddtjt|jddtjt|jdxsdd y w) r^r_zr`r%ra NhtmlescaperHr&r(s rr+zhtml_page..s   [[SWWW%5!6789{{3swwx01234[[SWWX%6!789:{{3sww{3:s;<=>  sC C r=c 3>K|]}dtjt|jddtjt|jddtjt|jdxsddyw) rmrbzrcrnr raroNrpr(s rr+zhtml_page..s   [[SWW[%9!:;<=[[SWW^%?@{{3swwy18S9:;< sBBr@zXSave Selector Context+0x58 Consumerszz-

Save Selector Context+0x58 Consumers

z

route: r,z -> r-z

z
    z
  • context+0x58 refs: r/r[r1r\r3z)
    • z
  • current opcode 0x24: r5z value r7z
    • z$
  • current opcode 0x24 mode: r9z'
  • current mode touches context+0x58: r;z
    • z)
  • opcode20 context+0x58 handler count: r?z
  • promotion status: rEz
z

rGr!z

z)

Route-Relevant Context+0x58 Refs

zYz1z
vaaccessrawnote
----
z'

Opcode20 Context+0x58 Handlers

zUz')rgr&rqrrrH)rh route_rows handler_rowss r html_pagervsZ;;;<BJ99 ;;:;Ar L 99d n7 4;;wx'89:'$++gV^N_B`Aaalm !'++.A"B!C8GKKXlLmKnnwxyDyDEZy[x\\b c )$++c'++F\:]6^*_)``tuyvAvABEFMFQFQRkFlBmvnuoo{ | .t{{3w{{Kc?d;e/f.ggst 1'++>c2d1eejk 3GKK@_4`3aafg &t{{3w{{CT7U3V'W&XXde dkk#gkk,7=2>? @E3cII1_AA+ rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok&save_selector_context58_consumers.jsonF) ensure_asciiindentrdr r )mkdir write_textrdumps)rhout_dirs r write_outputsrsD MM$M. 77CC 7q9D@DrcJtjt}|jdtt |j }|j}tt|dz it|dz it|dz i}t||td|dz y) N) descriptionz --out-dir)typedefaultz$save_selector_object_field_refs.jsonz#save_selector_opcode24_handler.jsonz-save_selector_opcode20_nested_base_modes.jsonz wrote context+0x58 consumers -> rz) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrXrrprint)parserargsrrhs rmainrs  $ $ 9F  $<    DllG'BBBG'AA2F'KKRPG '7# ,W7_-_,` abr__main__)rrrrreturnr)rMdictrNrrOrrr)rhrrrH)rhrrrrNone)rr)r __future__rrrqrpathlibrtypingr__file__resolverxROOTrrJrKrrXrjrvrr__name__rrrsR"  H~''* Ul  8 999!%9 9x(V(V25 c zFr
opcodehandlermeaning
---