UHj dZddlmZddlZddlZddlZddlmZeejjdZ e dz Z ddZ ddZdd Zdd Zdd Ze fdd Zdd Zedk(reyy)zFSummarize selection-buffer use around save-selector frontier branches.) annotationsN)Pathoutc0t|d}||dzz dzS)N)int) value_hexindexvalues L/home/exedev/hwanse/tools/summarize_save_selector_frontier_selection_flow.py byte_at_wordrs"  2 E eai D ((c |jdxsd}|jd|t|ddt|ddt|ddt|dddS) NvalueHex 0x00000000 opcodeHexr0x02x)rr streamPlus1streamPlus1Hex streamPlus2streamPlus2Hex)getr)stepr s r stream_fieldsrsj$4 IXXk*#Iq1|Iq9#>?#Iq1|Iq9#>?  rcx|Dcic]}|jd|}}g}|D]}|jdxsgD]k|jjdxs$|jjdxsi}|jdxsg}tfd|Dd}|std|Di}t|} g} |D]} | jd|jdk(rn| jdd vrzbuild_rows..(s*Z$488G+< =@Y+YZs(33c3JK|]}|jddk(s|yw)r0x11Nr'r(rs rr*zbuild_rows..,s!#^Tdhh{>SW]>]D#^s##r&r>0x100x12 handlerVaHexrrrr.rrprimaryBranchStatesecondaryBranchStatez5fill branch-state table from helper argument stream+2z=select/store active state slot into selectionBuffer[stream+2])r&rr0rselectionBufferOffsetHexselectionBufferOffset stateTablemeaningr4r/sourcetarget conditionr3r5zThe branch reads selectionBuffer[0x20], but this frontier stream does not write that offset before the branch. The value is inherited from wider runtime state; the next reverse-engineering step is tracing writers to context+0xa8+0x20.z8The branch offset is written earlier in the same stream.) r7r8r# branchVaHexr9branchSelectionBufferOffsetbranchSelectionBufferOffsetHexbranchStateTable setupStepslocalWriterCounthasLocalWriterForBranchOffset conclusion)rnextrappendlenbool)frontier_branches stream_tracesrowtraces_by_streamrowsedger$steps branch_step branch_fields setup_stepsrfields branch_offset local_writesr)s @r build_rowsrS s?LM .3MM D!>hh}-3= F$((4D)EFJZJ^J^_e_i_ijw_xJy}EIIg&,"EZ%ZK"#^U#^`bc )+6MK 88G$ (@@88K(0@@&t,""!XXg.!%+!6$(HH^$< $ 4067G0H-3M-B 88K0F:vm?TXY?Y- 88K0F:4! 88K0F:P\#$  4#JJ'>?M!,88K(F2txx@W7X\i7iL KK((8,((8,"(**-=">%zz-8#ZZ 4/<28**=W2X$*JJ|$<)$' $515l1C (aT# U= >~ KCNRs J21J7cgd}|D]}djd|jdxsgDxsd}|jd|jdd|jd d|jd d |jd d |d|jdrdndd|jdd|s|jd|jddj|S)N)z'# Save Selector Frontier Selection FlowzESelection-buffer offsets used before save-selector frontier branches.rUzI| source | target | branch | setup offsets | local writer? | conclusion |z%| --- | --- | --- | --- | --- | --- |z, c3BK|]}|dd|dd|dyw)r& rz->r3Nr-s rr*zmarkdown..os: G}oQtK01D9S4T3U V sr>-z| r7z | r8r:z `r9z` | r@yesnorAz |z| - | - | - | - | - | - |rU )joinrrC)rJlinesrHsetups rmarkdownr`es E     -3     "#3swwx'8&9ww}%&b)=(>d5' ?@udK3swwWcOdNeeg i    01 LL 99U rcg}|D]*}djd|jdxsgDxsd}|jdtj|jdxsddtj|jdxsdd tj|jd xsdd tj|jd xsdd |d|jdrdnddtj|jdxsdd-djdddddddddddd d!d"d#d$d%d&d'dj|xsd(d)d*d+dgS),Nz
c 3K|]<}tj|dd|dd|dd|jd>yw)r&rWrz selectionBuffer[r3z] r6N)htmlescaperr-s rr*zhtml_page..s]  KK=/4 #4"55FtLfGgFhhj88I&')  sAAr>rYzr7z r8zr:z
r9zr@rZr[rArUz r\zzzz zF z6 Save Selector Frontier Selection Flowz zzz0

Save Selector Frontier Selection Flow

zN

Selection-buffer offsets used before save-selector frontier branches.

z z z&z
sourcetargetbranchsetup offsetslocal writer?conclusion
No rows.
zz)r]rrCrcrd)rJbodyrHr_s r html_pagerf~s D    -3       ;;swwx07C89:;;swwx07C89:SWW]%;%BsCDDUVZVaVabebibijubvb}z}V~U@'GG$CD5$OP;;sww|4:;<=    $ 99"P@h?WC&:X X BGGDMO%OPP`a - rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok*save_selector_frontier_selection_flow.jsonFr) ensure_asciiindentr\utf-8encoding)mkdir write_textjsondumps)rJout_dirs r write_outputsrusD MM$M. ;;GG 4eA6=HrcRtjt}|jdtt dz |jdtt dz |jdtt |j }ttj|jjd tj|jjd }t||jtd t!|d |jd z y) N) descriptionz--frontier-branchesz$save_selector_frontier_branches.json)typedefaultz--stream-tracesz save_selector_stream_traces.jsonz --out-dirrmrnzwrote z selection-flow rows -> rj)argparseArgumentParser__doc__ add_argumentrOUT parse_argsrSrrloadsrF read_textrGrurtprintrD)parserargsrJs rmainrs  $ $ 9F -D#HnBno )cDf>fg  $<    D  4))33W3EF 4%%///AB D$ % F3t9+5dllEq6q5r str__main__)r strr r returnr )rdictrr)rF list[dict]rGrrr)rJrrr)rJrrtrrNone)rr)r| __future__rrzrcrrpathlibr__file__resolverhROOTr~rrrSr`rfrur__name__rXrrrsL"  H~''* Ul) BJ2+\58 u zFr