UHjb1,dZddlmZddlZddlZddlZddlmZddlm Z m Z m Z m Z m Z mZeej!j"dZedz ZdZd Zd Zedz Zd Zdd Zdd ZddZddZddZddZddZddZ ddZ!ddZ"e#dk(re"yy) zHScan broad block write candidates that could cover secondaryBranchState.) annotationsN)Path)call_or_rep_rows classify_reffind_dword_refshex32small_immediates text_sectionouti`YilYiY@c:t|dt|dz S)Nz..r )r)start end_exclusives K/home/exedev/hwanse/tools/summarize_save_selector_secondary_block_writes.py range_hexrs"El^2eMA$567 88c4t||t||kS)N)maxmin)start_aend_astart_bend_bs roverlapr!s w 3ue#4 44rcT|tkrt|z dzt|z fSdt|z fS)Nr )SECONDARY_START SECONDARY_END)addresss rrequired_sizesr %s4/!(1,mg.EEE mg% %%rc t|\}}g}tttdzD]}t ||D]}t ||}t d||jdxsdz }|dz}t|\} } |ddk(xr=t|jdtxrt|||dztt} |ddk(xr |tk} t d|tz } tt!||tz}| r't#|| ||d Dcgc] }|d | k\r|c}ng}|Dcgc] }|d | k\r|}}| rt%|| ||d ng}| xrt'|xr t'|}| xrt'|xr t'|}|j)id t+|d t+|d |zd t+|d |zd|dd|dd|dd|dd| dt+| d| dt+| d| d| d|d|d|d|d|i|j-d|Scc}wcc}w)Nr rinstructionPrefixBytes accessKindwritewidthrvavalue addressHexrefVaHexinstructionVaHexinstructionKind instructionrequiredSizeToTouchSecondaryrequiredSizeToTouchSecondaryHexrequiredSizeToCoverSecondaryrequiredSizeToCoverSecondaryHexdirectOverlapWriteaddressLikeTouchingBasenearbySizeCandidatesnearbyFullCoverSizeCandidatesnearbyTransferCandidatestouchBlockWriteCandidatefullCoverBlockWriteCandidatec|d|dfS)Nr)r*)rows rzbuild_rows..[ss<0#j/Br)key)r range SCAN_STARTSCAN_ENDrrrgetr isinstanceintrrr WINDOW_BYTESrlenr rboolappendrsort)exetextdatarowsrposrefinstruction_indexinstruction_endrequired_touchrequired_full_coverdirect_overlap_write address_like window_start window_endr; size_rowsfull_cover_size_rows transfer_rowstouch_block_candidatefull_cover_block_candidates r build_rowsr\+s)c"JD$ DX\2,"41+ CtS)C #Ascgg6N.O.TST'U V !AgO2@2I /N/L!W,]swww/5]GWs7|%;_m\ ! |, 9Ug >ULq"3l"BCLSY,(FGJ 0lJPTUYPZ[w<>1$&  )$w<#66$ $]i,T<TRVZXnpM$0$\T)_$\mI\ !)5)l$?S:T)lY]^kYl & KKeGnE$t*s"23#E$t*7H*H$Ic,/  W  "3'8#9 s=1/253H/0C259L3M%&:*<' 01E +M!"+,A#$/0J% 1+ ,Z IIBIC KA$s H=5Ic<t|}|Dcgc] }|ds | }}|Dcgc] }|ds | }}|Dcgc] }|ds | }}|Dcgc] }|ds | }}|s|s|rdt|dnd}d|d }nd }id d d tttdtt t dzdtdt|dt|dt|dt|dt|d|d|d|d|d|ddd|Scc}wcc}wcc}wcc}w)Nr3r2r7r8z It found z address-like base ref(s) that could point at or before the table, but none has a nearby size immediate large enough to touch the table, so they are not block-write candidates.zL It found no address-like base refs that could point at or before the table.a0No broad block write candidate was found for secondaryBranchState 0x0059e360..0x0059e36b. The scan covers dword immediates in 0x0059e300..0x0059e36b and checks address-like uses with nearby size immediates plus call/rep/stos transfer instructions, as well as direct stores that overlap the 12-byte table.z This removes the obvious static memset/memcpy-style reset shape, but it still does not prove selector runtime order or a strict map1_01a source hotspot.zAt least one secondaryBranchState broad block write candidate was found; inspect candidate rows before treating the secondary reset scope as statically narrowed.scopezZdword references to 0x0059e300..0x0059e36b with nearby size/call/rep/stos block-write scansecondaryRangeHex scanRangeHexr windowBytesrowCountaddressLikeTouchingBaseCountdirectOverlapWriteCounttouchBlockWriteCandidateCount!fullCoverBlockWriteCandidateCountaddressLikeTouchingBasesdirectOverlapWritestouchBlockWriteCandidatesfullCoverBlockWriteCandidatesrLpromotionStatusblocked conclusion)r\rErrrr?r@rD) rIrLr;rTdirect_overlaptouch_candidatesfull_cover_candidates address_noterms r build_summaryrr_s c?D#'JC3/H+ICJLJ%)GcS1E-FcGNG'+Os3M/NOO,0XSC8V4WSXX "2\*+,| |`  )nT  T  P  m Y F   *hl;  |   CI   'L(9   "3~#6  (-=)>  ,S1F-G  #L  ~  $%5  ()>    9  j! 1KGOXs+ D D  DD DD DDcZ|dDcgc]}|ds|ds |ds|dr|c}Scc}w)NrLr3r2r7r8r:)summaryr;s rcandidate_rowsrusJv  ) *'(-.12   s(c&ddd|dddd|ddd |d dd |d d |dd|dd|dd|dd|dd|ddd|ddddddg}t|}|s|jd|D]}djd|d Dxsd!}djd"|d#Dxsd!}|jd$|d%d&|d'd(|d)d*|d+d,|d-d&|d.d(|d*|d*|d/d*|d0d,|d1d2|jgd3|d4D]K}|jd$|d%d&|d'd(|d)d*|d+d*|d5|d5nd!d,|d-d&|d.d&|d1d2M|jdd6j|S)7Nz&# Save Selector Secondary Block WriteszScope: r^.z- secondaryBranchState: `r_`z- scan range: `r`z- scan window bytes: raz- rows: rbz- address-like touching bases: rcz- direct overlap writes: rdz - touch block write candidates: rez%- full-cover block write candidates: rfz- promotion status: `rkrmz## Candidate Rowsz|| address | ref | kind | access | touch size | cover size | sizes | transfers | touch candidate | full cover | instruction |zE| --- | --- | --- | --- | ---: | ---: | --- | --- | --- | --- | --- |z-| - | - | - | - | - | - | - | - | - | - | - |, c36K|]}|dd|dywvalueHex@vaHexNr:.0items r zmarkdown..s* 6:tJ $w- 1 r4-c36K|]}|dd|dywkindr~rNr:rs rrzmarkdown..s( 26tF|nAd7m_ - rr6z| `r)z` | `r+z` | r,z | r$z | `r/r1r7r8r-z` |)rwz## All ReferencesrwzQ| address | ref | kind | access | width | touch size | cover size | instruction |z4| --- | --- | --- | --- | ---: | ---: | ---: | --- |rLr& )rurGjoinextend)rtlinesrLr;sizes transferss rmarkdownrs0 ''"#1% #G,?$@#AC '.12!4  678 7:&'( )'2P*Q)RS #G,E$F#GH *73R+S*TU /8[0\/]^ (9 :;1=     GO) E, ' "D  DE    >ABX>Y    II :=>X:Y      #l#$E#.@*A)B$sK\G]F^^a< !c*K&L%MN567tE7#i[PS-./s37U3V2WXM"#3  (    LLv  #l#$E#.@*A)B$sK\G]F^^a< !S\5MS\SV$WX567uSAb=cr)zr+zr,z r$zr/r1rzc38K|]}|ddz|dzywr|r:rs rrz&html_page...s$$tPTT*%5%;d7m%K$tr4rc38K|]}|ddz|dzywrr:rs rrz&html_page...s"$tDT&\C%7$w-%G$trr6r7r8r-zN)htmlescaper)rr;s rrzhtml_page..sX  [[\!2345[[%7!89:;{{301234{{3|,-./[[%F!GHIJ[[%F!GHIJ{{499$tX[\rXs$tt{x{|}~{{499$tTWXrTs$tt{x{|}~-./01234[[]!3456 sD0D2z0No candidate rowszXSave Selector Secondary Block Writeszz-

Save Selector Secondary Block Writes

z

secondaryBranchState r_z; scan r`z ; promotion status rkz .

z

rows: rbz; address-like touching bases: rcz; direct overlap writes: rdz ; touch block write candidates: rez%; full-cover block write candidates: rfz.

z

rmz

zz
addressrefkindaccesstouch sizecover sizesizestransferstouch candidatefull coverinstruction
)rrurr)rtrLs r html_pagers 99"'* D C 99d G7 (W=P5Q)R(SSghlhshst{}KuLiMhNNnosozoz{BCT{UoVnWWc d GJ'((GPnHoGpqJKRSlKmJnnNOVWvOwNxx]^efI^J]KKP Q dkk',/0 16 n    rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz)save_selector_secondary_block_writes.jsonF) ensure_asciiindentrzutf-8)encoding)save_selector_secondary_block_writes.html)mkdir write_textjsondumpsr)rtout_dirs r write_outputsrsf MM$M. ::FF 7q9D@G ::FFyQXGYdkFlrcvtjt}|jdtt dz |jdtt |j}t|jj}t||jtd|jdz y)N) descriptionz--exez Hwanse2.exe)typedefaultz --out-dirz wrote secondary block writes -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrrrI read_bytesrrprint)parserargsrts rmainrs  $ $ 9F dD=4HI  $<    DDHH//12G'4<<( ,T\\rsN"  H~''* Ul  1  95& 1h+\ 7t@mk zFr