xIj}.dZddlmZddlZddlZddlZddlZddlZddlm Z ejjde e e jjddlmZmZe e jj&dZedz ZdZd Zd Zd Zdd Zdd ZddZddZddZddZdddZ d dZ!d!dZ"d!dZ#dd"dZ$d#dZ%e&dk(re%yy)$zLSummarize secondaryBranchState fill candidates in the current selector root.) annotationsN)Path) read_sections va_to_offsetoutiTix5Ti +Ti`Ycd|dS)N0x08xvalues L/home/exedev/hwanse/tools/summarize_save_selector_secondary_state_sources.pyhex32r c{ cd|dS)Nr 02xr r s rhex8rrrcvt||}||dzt|kDrytjd||dS)Nzprevious opcode 0x11 reads this dword as branch target operand)kind ownerVaHexmeaning>"/Y\ streamOperandzprevious opcode 0xrz% can consume this dword as an operand)rr)rrrpreviousopcodes r operand_roler/(sXrAv.H _F ~)Q-W  //#Q-+F3<7\]  rc|dzdk7ry|dz dz}|dz dz}t|t|t||dk(rdnd|dkdS) Nr!rprimaryBranchStatesecondaryBranchState )valueHexstreamPlus1HexhelperArgumentHex stateTablehelperDispatchValid)rr)r stream_plus_1 helper_args r decode_op10r=<sd  aZ4'M2+%J%L}-!*-.;q.@*F\)T1  rc `|sdiigdS|jdxsgDcic]}|jd|}}|jdxsi}|jdxsg}|Dcgc]}|jddk(r|}}i}|D]/}|jdxsd }|j|d d z||<1t|||jd xsi|Dcgc]5}|jd |jd|jdd7c}dScc}wcc}wcc}w)N)directWriterCountdirectWriteValueCounts refKindCountsrefstablesnamer4rBr$indexedWriteImmediate writeValueHex-rrrArefVaHex)rHr$rF)getr) branch_statetablerC secondaryrBrefdirect_writers write_countsrs rsecondary_direct_write_summaryrPJsa !%&(   5A4D4DX4N4TRT U5eii& UF U 128bI == &BD 776?5 5 N$&L=(/C*..ua81< U=!0"."7=2    GGJ/!$!9   V sD!*D&":D+ c>t|}g}tttdD]{}t |||}|t |}|s!|ddk7r*t |||}|tk}dt|i||||r|dsdn|s|drdn|rdnd d } |j| }|D cgc] } | d s |  } } | D cgc] } | ds |  } } | D cgc]} | jd r| } } |D cgc]} | d r | ds| } } t|}d }ttdttttttddt|t| t| t| t| ||| |dScc} wcc} wcc} wcc} w)Nrr9r4vaHexr:z>candidate before frontier but helper arg is outside 0x00..0x0bzGvalid helper fill after frontier; cannot initialize the earlier blockerz!valid helper fill before frontierz,secondary opcode10-like dword after frontier)beforeFrontierReader operandRolerouteRelevancerSrTaDNo valid secondaryBranchState opcode 0x10 fill is present before the 0x00542b0c frontier reader in the current selector root. The only valid secondary fill-like candidate in this root appears after the frontier, so it cannot initialize the blocker. The secondaryBranchState table also has no direct indexedWriteImmediate refs in .text; its direct refs are handler reads/base loads rather than route-specific producers. The map1_01a->map2_02d branch therefore still depends on inherited runtime secondaryBranchState contents from an earlier helper/root or a still-untraced VM path.z.. 0x00410c90z 0x00..0x0b) rootRangeHexfrontierReaderHexsecondaryBranchStateHex helperVaHexhelperValidCaseRangeHexcandidateCountbeforeFrontierCountvalidBeforeFrontierCount"validBeforeFrontierNonOperandCountvalidAfterFrontierCountsecondaryDirectWrites candidatesvalidAfterFrontier conclusion)rrange ROOT_STARTROOT_ENDrr=r/FRONTIER_READERrappendrIrPSECONDARY_TABLEr)rrJrrbrrdecodedrolebefore_frontierrowbefore valid_beforevalid_before_non_operand valid_after direct_writesrds r build_summaryrtlsS!HJJ!,h+ = e$  < $: : C2.. U2Y  %4#73H+IQ'73H+I_#9C  #56( Gc3/E+Fc GF G#)HCS1F-GCHLH/;Z377=CYZZ",o3C8N4OTWXmTn3oKo2<@M a!,-Rh/@A"?3#(#9##/j/"6{$' $5.12J.K#&{#3!. )  HHZos6% F 0F : FFF&F0 F;FFchdjdt|jDxsdS)Nz, c30K|]\}}|d|yw):Nr ).0keyrs r z format_counts..sO*#uuAeW%OsrG)joinsorteditems)countss r format_countsrs( 99Ov||~8NO O VSVVrcxddd|ddd|ddd|d dd |d d |d dd|dd|dd|dd|dd|dd|ddd|dddddt|dddt|dd dd!dd"d#g}|d$D]}|jd%xsi}|jd&|d'd(|d)d(|d*d(|d+d,|d-rd.nd/d0|d1rd.nd/d0|jd2xsd3d4|jd5xsdd0|d6d7|jdd8j|S)9Nz.# Save Selector Secondary Branch-State Sourcesz- root range: `rW`z- frontier reader: `rXz- secondaryBranchState: `rYz - helper: `rZz` valid cases `r[z&- secondary opcode10-like candidates: r\z- before frontier: r]z- valid before frontier: r^z)- valid before frontier and not operand: r_z- valid after frontier: r`z'- direct secondaryBranchState writers: rar?rdz## Direct Secondary Table Refsz - ref kinds: rAz- direct write values: r@z&## Current Root Opcode 0x10 Candidatesza| va | value | stream+1 | helper arg | valid | before frontier | operand role | route relevance |z1| --- | --- | --- | --- | --- | --- | --- | --- |rbrTz| `rRz` | `r6r7r8z` | r:yesnoz | rSr$rG r%rUz | )rrIrir{)summarylinesrnrls rmarkdownrs8 '.12!4 w':; #G,E$F#GqI gm,-_WE^=_<``ab 09I1J0KL g&;<=> #G,F$G#HI 3G<`4a3bc "7+D#E"FG 1':Q2RSf2g1hi   (  g.E&F&WXYZ !-8O0PQi0j"k!lm 0 k;1 E4|$ ww}%+ #g,uS_$5U3?O;P:QQVWZ[nWoVppt12u=S#NdJeko@ppsxx&3'q,)?)E2(Fc#N^J_I``b d   LL 99U rc6|d}djd|dD}djddddtj|d d d tj|d d tj|ddtj|dd d|dd|dd|dd|dd dtjt|ddtjt|dddtj|ddd |d!g S)"Nrarc3K|]}dtj|ddtj|ddtj|ddtj|dd|drdnd d |d rdnd d tjt|jd xsijd xsdd tj|ddyw)zrRzr6r7r8zr:rrz rSrTr$rGrUz N)htmlescapestrrI)rxrns rrzzhtml_page..s   [[W./0[[Z123[[%5!6789[[%8!9:;<12u=>23u>?{{3 6 <"AA&IPSQRST{{3/0123  sC#C%rbz`Save Selector Secondary Branch-State Sourceszz5

Save Selector Secondary Branch-State Sources

z

Root range: rWz

z

Frontier reader: rXz%; secondaryBranchState: rYz; helper: rZz

Valid before frontier: r^z); valid before frontier and not operand: r_z; valid after frontier: r`z'; direct secondaryBranchState writers: r?z

z%

Direct secondary table ref kinds: rAz; direct write values: r@z

rdzz
vavaluestream+1helper argvalidbefore frontieroperand roleroute relevance
)r{rrr)rdirectrowss r html_pagers , -F 99 <(  D 99l L?  GN,C DE[Q $T[[9L1M%N$OOtuyvAvABIJcBdveuff}~B~I~IJQR_J`~a}bbm n $W-G%H$IIrsz|`tasbbz{BC\{]z^^EFLM`FaEbbf g / M&Q`Ja r)argparseArgumentParser add_argumentrROOTOUT parse_argsrJexistsrloads read_textrtr read_bytesrrrprint)parserargsrJrs rmainrs   $ $ &F dD=4HI (tSCd=de  $<  4Dgh    D    # # % 4$$...@A  DHH//1<@G'4<<7 4T\\Dp5p4q rsr__main__)rintreturnr)rbytesr list[dict]rrrz int | None)rrrrrrr dict | None)rrrr)rJrrdict)N)rrrJrrr)r~rrr)rrrr)rrrrrz Path | NonerNone)rr)'__doc__ __future__rrrrrsyspathlibrpathinsertr__file__resolverprobe_exe_scene_tablesrrrrrrfrgrhrjrrrr/r=rPrtrrrrr__name__r rrrsR" 3tH~--/6678> H~''* Ul  4( D9xW#L<Bt" zFr