UHj"dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZddZdd Zdd Zdd Zdd Zdd ZddZddZddZddZedk(reyy)zPSummarize overwrite order for selectionBuffer[0x20] before the current frontier.) annotationsN)Path)Anyoutcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks A/home/exedev/hwanse/tools/summarize_save_selector_writer_chain.py load_jsonrs* ;;= ::dnngn6 77c"t|xsddS)N0int)values rva_intrs u|R  rc(t|xsdddzS)Nrrr) value_hexs ropcoders yC $t ++rc4t|xsdd|dzz dzS)Nrrrr)rindexs r stream_plusr#s"   S" %%!) 4 <zbuild_rows..0sfSWWW=M6Nr)keyr%+currentFrontierRootWritersBeforeFirstReader writerVaHexc6t|jdSr2r3r4s rr6zbuild_rows..6s&9I2Jrtracer(r)r&zselect active branch-state slotzmatch party/runtime slot)unknownrrprimaryBranchStatesecondaryBranchState0x02xr<zruntime/party matchergater*>multiple-advancesbranch-or-fallthrough) r9writerValueHexstreamPlus1Hex tableChoice operationdistanceToReaderBytes overwrittenByisNearestLinearWriterfollowingGatesBeforeReaderc3DK|]}|jds|yw)rLNr+).0r5s r zbuild_rows..[sWCcgg>U6VCWs  map1_01amap2_02d0x20frontierBranches conditionaqOn the current selector root's linear address order, 0x005428bc is the nearest writer to selectionBuffer[0x20] before the 0x00542b0c frontier reader. Earlier 0x00542474, 0x0054247c, and 0x00542484 writes are overwritten if execution reaches 0x005428bc. Promotion still needs control-flow proof that the path from 0x005428bc reaches 0x00542b0c and a strict tile hotspot.) sourcetargetselectionBufferOffsetHexfrontierReaderVaHexfrontierReaderValueHexfrontierCondition writerChainnearestLinearWriter conclusion) r,minrsortedr.rr#appendnextreversed)selection_writers writer_paths frontier_rows first_reader reader_vawritersr5path_by_writerchainwriter writer_varr;r- followinglateroverwritten_byrrIstream1tableitemnearests r build_rowsru,s%))*?@FBM  }*NOL|''01I##$QRXVXG=IJccggm,c1JNJ E&JK# 6::g./ !!&**W"56<"!'R dhhw'(94@Q9RU^9^)$(>    ! eii()I5 IIg   JJz* 3,  #fY + i+(/1 $:P !::g.' "73-0$*9$5$=5CZ"%.%:+)7%7!*+TXXi448NSA9A+  -# JW8E?WY]^G$*+//8"."2"2:">*../ABJrdANRRS^_& m  SK  *+sJ7!A.J<5K0KcVgd}|D]}|jd|dd|ddd|jdd |jd d d |jd d d|jddddg|jdxsgD]}djd|jdxsgDxsd}|jd|jdd|jdd|jdd|jdd|jddd j|jd!xsgxsdd|d"|jd#xsi}|jdd$|jdd%dgd&j|S)'N)z# Save Selector Writer Chainr*zfOverwrite order for `selectionBuffer[0x20]` before the current `map1_01a -> map2_02d` frontier reader.r*z## rVz -> rWr*z- frontier reader: `rYz` `rZ`z- frontier condition: `r[z- conclusion: r^z_| writer | value | operation | table/source | distance | overwritten by | gates before reader |z,| --- | --- | --- | --- | ---: | --- | --- |r\
c3K|];}|jdd|jdd|jd=ywr% r'r(Nr+rOrCs rrPzmarkdown..sG 88G$%Qtxx '<&=Qtxx ?R>ST sAArM-z| `r9z` | `rFz` | rIz | rHrJ, rKz |r]zNearest linear writer: `z`. )extendr,joinra)rowslinesr5rlgatesrts rmarkdownrns E   #h-S]O 4 "377+@#A"B#cggNfFgEhhi j%cgg.A&B%C1 ESWW\23 4  m :  ggm,2 FKK "JJ'CDJ   LLfjj/0fjjAQ6R5SSW::k*+3vzz-/H.I::567s99VZZ8>B?F3Gs5'QSU  ''/06B &w{{='A&B" E   / 8 99U rcgd}|D]}|jdtj|ddtj|dddtjt|j dd tjt|j d d d tjt|j d d dtjt|j dddg|j dxsgD]M}dj d|j dxsgDxsd}|j dtjt|j ddtjt|j ddtjt|j ddtjt|j dd|j ddtjd j |j d!xsgxsdd|d"P|j d#xsi}|j d$|j d%tjt|j dd&d'j |S)(N)zNSave Selector Writer Chainzz#

Save Selector Writer Chain

za

Overwrite order for selectionBuffer[0x20] before the current frontier reader.

z

rVz -> rWz

z

frontier reader: rYz rZz

z

frontier condition: r[z

r^z

zr\rxc 3K|]N}tj|jdd|jdd|jdPywrz)htmlescaper,r|s rrPzhtml_page..sQ  txx01488K3H2I488T]K^J_`a sAArMr}zr]z
writervalueoperationtable/sourcedistanceoverwritten bygates before reader
r9zrFzrIz rHrJr~rKz
z

Nearest linear writer: z .

r)rrrstrr,rra)rpartsr5rlrrts r html_pagers E t 4;;s8}-.gdkk#h-6P5QQV W(SAV9W5X)Y(Z[[[SWW-E%F!GHI V+DKKCGGDW#?@AB{{3vzz-'@#ABCDzz"9:;<{{499VZZ-H-NB#O#VSVWXYg    ''/06B '( 7 C TaHbDc8d7eeqrs7t8 99U rc|jdd|dz jtj|dddzd y) NT)parentsexist_oksave_selector_writer_chain.jsonF) ensure_asciiindentrr r )mkdir write_textr dumps)rout_dirs r write_outputsrsC MM$M. 00<< 4eA6==rcrtj}|jdtt|j }t t|jdz it|jdz g}t||jtdt|d|jdz y)Nz --out-dir)typedefaultz$save_selector_selection_writers.jsonz'save_selector_current_writer_paths.jsonzwrote z$ save selector writer chain rows -> r) argparseArgumentParser add_argumentrOUT parse_argsrurrrprintlen)parserargsrs rmainrs  $ $ &F  $<    D $,,!GGL$,,!JJBO D$ % F3t9+A$,,QrBrAs tur__main__)rrrrreturnr)r str | Nonerr)rrrr)rrr"rrr)r-dictrr)rdrre list[dict]rr)rrrr)rrrrrNone)rr)__doc__ __future__rrrr pathlibrtypingr__file__resolverROOTrrrrr#r.rurrrr__name__rrrsV"  H~''* Ul8 !,=?D#L#L v zFr