UHjdZddlmZddlZddlZddlZddlmZeejjdZ e dz Z dZ dZdd Zdd Zdd Zdd Zdd ZddZddZedk(reyy)zNRank inherited secondaryBranchState producer candidates for the current route.) annotationsN)Pathoutz2:0 0x00540714cL|jdd|jdS)Ngroup:slot)get)rows O/home/exedev/hwanse/tools/summarize_save_selector_inherited_state_candidates.py selector_keyrs&ggg q 1 22c 8|Dcgc]}|jds|}}i}|D]k}t|}t|jdxsg}g}|D]}t|}||k(r|jd|jdf|jd|jdfk\rZt|jdxsg} t|| z} t|| z } t| |z } | r| s|j ||jd| | | t | dzt | zt | z d|j d||jd|jdxsg||r|d ndd ||<n|Scc}w) N fieldMapsr r selectedPointerHex )selectorrootHex sharedMapsintroducedMaps droppedMapsscorec|d |dfS)Nrr)items rz&build_progress_edges..0sgZ8H'Ir)keyr)rrrprevious bestPrevious)r rsetsortedappendlensort) selectorsr field_rowsedgesrmapsr prevprev_key prev_mapsshared introduceddroppeds rbuild_progress_edgesr1s!*C#cggk.B#CJC E 3377;'-2. D#D)H3!488F#349I377SY?8[[DHH[17R8ID9,-Fy 01JY-.G OO$88$89$",&Vr)C O;c'lJ   (  I Jww34-3 +3HQK  c 3 @ LEDs FFc ^t|}|jdxsgDcic]}|jd|}}|jtxsi}g}|jdxsgD]}|j|jd}|ji|t ||xsijdd|xsijdgdd||jdk(r|rd n|rd nd d d } tt |jdxsg|r|dnd|| dScc}w)Nrootsrr fillCountrfillsr!z$best previous and has secondary fillz)alternate previous and has secondary fillz+progress predecessor without secondary fill)hasSecondaryFillsecondaryFillCount firstFills candidateRoleaThe selector-progress predecessor for current root 2:0 is 1:0, and that predecessor has opcode-shaped secondaryBranchState fills. This makes 1:0/root 0x00478364 the strongest inherited-state producer candidate for the map1_01a->map2_02d blocker. It still does not promote the transition: the remaining proof is to decode which slot/value 1:0 leaves in secondaryBranchState and to find a strict map1_01a source hotspot.r)currentSelectorcurrentRootHexcurrentFieldMapsr! candidates conclusion)r1r CURRENT_SELECTORr$bool CURRENT_ROOT) r' fill_rootsr)r fill_by_rootcurrentr>rfillr?s r build_summaryrG;sN  +E7A~~g7N7TRTUCGGI&+ULUii()/RGJ J'-2  34    $T #':2"2"2;"B:2**7B7;7;;~6647AB    l,&#KK 4:)3 1    1VsD*cddd|ddd|ddd|d dd d g}|d D]}d jd|jdxsgDxsd}|jd|dd|dd|ddd j|jdxsgxsddd j|jdxsgxsdd|dd|d|jddj|S)Nz*# Save Selector Inherited State Candidatesz- current selector: `r;`z- current root: `r<z- conclusion: r?z]| predecessor | root | secondary fills | shared maps | introduced maps | role | first fills |z,| --- | --- | ---: | --- | --- | --- | --- |r>, c3:K|]}d|dd|ddyw)rJvaHex=valueHexNr.0rs r zmarkdown..ks)jdAd7m_Ad:.>-?qAjsr9-z| `rz` | `rz` | r8z | rrr:z | )joinr r$)summarylinesr r5s rmarkdownrX_sA4 (9 :;1= G$456a8 ./0 g6 E|$  jcggVbNcNigijjqnq #j/"%I'7tC@Trzrzr8z rKrrSrr:c3K|]>}dtj|dzdztj|dzdz@yw)zrMrNrOzN)htmlescaperPs rrRz&html_page...~sIZuyDKKW $>>Dt{{SWXbScGddgppZsAAr9z N)r\r]strrUr )rQr s rrRzhtml_page..vsD   [[Z123[[S^!4567'()*{{499SWW\%:%@bAHSIJK{{499SWW-=%>%D"ELMNO{{3/012yyZ~A~E~EFR~S~YWYZZa^abb  sDDr>z\Save Selector Inherited State Candidateszz1

Save Selector Inherited State Candidates

z

Current selector: r;z; current root: r<z

z

r?z

zz
predecessorrootsecondary fillsshared mapsintroduced mapsrolefirst fills
)rUr\r])rVrowss r html_pager`us 99 <(  D 99h L; %g.?&@%AA^_fgw_x^yzE F dkk',/0 16 w    rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok-save_selector_inherited_state_candidates.jsonF) ensure_asciiindentrTutf-8encoding)mkdir write_textjsondumps)rVout_dirs r write_outputsrpsD MM$M. >>JJ 7q9D@Krc.tj}|jdttdz |jdttdz |jdtt|j }t tj|jjdtj|jjd}t||jtd |jd z y) Nz --selectorszsave_scene_selectors.json)typedefaultz --fill-rootsz'save_selector_secondary_fill_roots.jsonz --out-dirrhriz$wrote inherited state candidates -> rd)argparseArgumentParser add_argumentrOUT parse_argsrGrmloadsr' read_textrCrproprint)parserargsrVs rmainr~s  $ $ &F  D#@[:[\ T3Aj;jk  $<    D 4>>++W+=> 4??,,g,>?G'4<<( 0@o1o0p qrr__main__)r dictreturnr^)r' list[dict]rzdict[str, dict])r'rrCrrr)rVrrr^)rVrrorrNone)rr)__doc__ __future__rrtr\rmpathlibr__file__resolverbROOTrwr@rBrr1rGrXr`rpr~__name__rrrrsT"  H~''* Ul 3#L!H,2 s zFr