UHjHdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZe ej!j*dZedz Zd Zd Zdd Zdd Zdd ZddZddZd dZd!dZ d"dZ!d#dZ"d$dZ# d%dZ$d&dZ%d&dZ&efd'dZ' d%dZ(d(dZ)e*dk(re)yy))zYCheck whether the current frontier branch reuses the slot selected by the nearest writer.) annotationsN)Path)Any) read_sections va_to_offsetoutmap1_01amap2_02dcd|dS)N0x08xvalues L/home/exedev/hwanse/tools/summarize_save_selector_branch_gate_consistency.pyhex32r c{ cd|dS)Nr 02xrrs rhex8rrrc"|r t|dSdS)N)intrs r parse_hexr s"3ub>,,rcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks r load_jsonr'$s* ;;= ::dnngn6 77rcvt||}||dzt|kDrytjd||dS)NzrrHrJrL)ranger1rRappend)r-r.start_vaend_varowsr/rrQs rscan_selection_wordsrYVsa DHfa(h+ = #E2. x=4 4 KK   KrcDt|Dchc]}|d c}Scc}w)Nr@)sortedrXrQs r offset_hexesr]bs! dCs312C DDCs c~|D]7}|jdtk(s|jdtk(s5|cSiS)Nsourcetarget)get ROUTE_SOURCE ROUTE_TARGETr\s r first_routerdfs> 778  ,1Bl1RJ Irc Jt|}t|}t|}|jdxsi}t|jd}t|jd} || t dt |||} t ||| } | | t dt | |} t | | } t|||| }|Dcgc] }|d|kDs |}}|Dcgc]}|ddvr |d | d k(r|}}|Dcgc]}|dd k(r |d | d k(r|}}|Dcgc]}|ddvr |d | d k7r|}}|Dcgc]%}|dd k(r|d d k(r|jdr|'}}|Dcgc]%}|dd k(r|d d k(r|jds|'}}| ddk(xr"| dd k(xr| d | d k(xr | d | d k(}|jd xsi}|jdxsi}|jddu}|jddu}|xr| xr | xr|xr|}|rdnd}d}idtdtd| dd| dd| d| d|d|r| d ndd|r| d ndd!| dd"| dd#t|d$t|d%t|d&t|d't|d(t|d)t|id*t|d+|d,|d-|d.|d/|d0|d1|jd2|||jd3d4d5|jd6|jd7|jd8|jd9|jd:d;d<|d=|d>dd?dd@ddAdBdC|Scc}wcc}wcc}wcc}wcc}wcc}w)DNnearestLinearWriter writerVaHexfrontierReaderVaHexz(missing current writer/reader route rowsz#could not read writer/reader dwordsr/r<>rJrLr?rHrrAr4rGrJhelpernoDirectGlobalSecondaryWriterT#onlyDirectCallInsideOpcode10Handlerz+same-selection-slot-preserved-known-opcodesz%same-selection-slot-preservation-openaRThe nearest writer and frontier reader use the same secondaryBranchState table and selectionBuffer[0x20]. Between 0x005428bc and 0x00542b0c, the scan finds no later selectionBuffer[0x20] writer/read and no valid secondaryBranchState opcode 0x10 fill. The later selection writes use other offsets and the intervening secondary fills use out-of-range helper arguments, so the known-opcode model preserves the selected slot. This still does not prove the selected state value is 1, does not prove the control path reaches the frontier reader, and does not provide a strict map1_01a source hotspot.r_r`nearestWriterVaHexr:writerreadersameTableAndOffset sameTableNamesameSelectionBufferOffsetHexr@ scanRangeHexz..selectionOpcodeRowsBetweenCountpostWriterSameOffsetWriteCountpostWriterSameOffsetReadCountpostWriterOtherOffsetWriteCount$postWriterOtherOffsetWriteOffsetsHexvalidSecondaryFillBetweenCount invalidSecondaryFillBetweenCountinvalidSecondaryFillOffsetsHexsameOffsetWritesAfterWritersameOffsetReadsAfterWriterotherOffsetWritesAfterWritervalidSecondaryFillsBetweeninvalidSecondaryFillsBetweenselectionOpcodeRowsBetweensecondaryResetScoperangeHexglobalResetRuledOut)secondaryRangeHexrj%helperOnlyCalledInsideOpcode10Handlerr gateBoundarydispatchStopVaHexdispatchStopOpcodeHexdispatchStopHandlerVaHexdispatchStopHandlerSectiondispatchStopIsCodeHandler)rrrrr"knownOpcodeStatePreservationStatusstatePreservedByKnownOpcodes%branchStateValueStillRuntimeDependentcontrolPathStillUnprovenstrictHotspotStillMissingpromotionStatusblocked conclusion) rrdrar ValueErrorr1rRrYrbrcr*r])r-writer_chain_rowsgate_path_rowssecondary_reset_scoper.chaingatenearest writer_va reader_va writer_value reader_valuermrn between_rowsrQafter_writer_rowssame_offset_writes_aftersame_offset_reads_afterother_offset_writes_aftervalid_secondary_fills_betweeninvalid_secondary_fills_betweensame_table_and_offsetsecondary_tableri!no_direct_global_secondary_writerhelper_only_opcode10state_preservedpreservation_statusrs rsummarize_betweenrms S!H ) *E ~ &Dii-.4"G'++m45I%))$9:;II-CDDC95LC95L|3>?? "< ;F "< ;F'Xy)LL(4ND I8MNN(  x=L ( ' (F3J,K K    ) x=D ' (F3J,K K  )! x=L ( ' (F3J,K K !! )% x=D  !7 7 GG) * %!%)' x=D  !7 7-. '#' xD  O 8  $ O < F<$8 8 O * +v6M/N N  ,//0FGM2O " & &x 0 6BF(=(A(ABa(bfj(j%!::&KLPTT !( ( !- - ! . ! !   6 4  ^- ,- ,-  fWo-  vg -  & -  & -  3-  1F -D-  'Nc/I(Jim-  6'?+2fWo->?-  *3|+<-  )#.F*G-  (-D)E-  *3/H+I-  / =V0W-  )#.K*L!- " +C0O,P#- $ ),7V*W%- & &'?'- ( %&=)- * '(A+- , %&C-- . '(G/- 0 %l1- 2 !0!4!4Z!@-N5I#8#<#<=R#S  3- > !%*=!>%)XX.E%F(,1K(L*.((3O*P)-2M)N  ?- L -.AM- N 'O- P 0Q- R #DS- T $TU- V 9W- X jY- -wO   ! % 's* NN%N N(N *N9*N cn|d}|d}|d}|d}gddd|dd |d d |d d |dd|dd|dd |dd|dd|dd|dd|ddd|dd|dd|dd d!j|d"xsd#dd$|d%d&|d'd d!j|d(xsd#dd)|d*d+|d,d-|d.d/d0|d1d2|d3d4|d5d6|d7d8|d9d|d:dd;dd<|d=d/d>|d?d@|dAdB|dCdD|dEddFddGdH}|dID]P}|jdJ}|jdK|dLdM|ddM|dNdO|ddP|dQdR|dSdO||nd#dTR|jddUj|S)VNrmrnrrz'# Save Selector Branch Gate Consistencyz - route: r_z -> r`z - writer: `rlz` `r;z` rCz - reader: `rhz- same table and offset: ro (rpz `rqz`)z- later same-offset writes: rtz2- later same-offset reads before frontier reader: ruz- later other-offset writes: rvz (`, rw-z!- valid secondary fills between: rxz#- invalid secondary fills between: ryrzz%- no direct global secondary writer: rjz1- helper only called inside opcode 0x10 handler: rz%- known-opcode preservation status: `r`z$- state preserved by known opcodes: rz.- branch state value still runtime-dependent: rz- control path still unproven: rz - strict hotspot still missing: rz- promotion status: rrz ## Boundaryz- secondary table: `rz- dispatch stop: `rz ` opcode `rz ` handler `rz` in rz2## Selection Opcode Rows Between Writer And Readerz@| va | value | op | operation | table | offset | helper valid? |z+| --- | --- | --- | --- | --- | --- | --- |rrGz| `r:z` | `r=z` | z | rAz | `r@z | )joinrarU)summaryrmrnresetrlinesrQ helper_valids rmarkdownrsk X F X F ) *E > "D 1    GH%&d78+<*=>  g234Cz8J7K2fU`NaMbc  g345S 9K8LBvVaObNcd  $G,@$A#B"W_E]D^^`ahjHbIaJJL M  'w/O'P&QR  =WEd=e 6? EB34 ww45  #g,uS_$5U3{;K:LD; C $5#6d3?Y;Z:[[_+7|SA E   LL 99U rc|d}|d}|d}|d}g}|dD]}|jd}|jdtj|dd tj|d d tj|d d tj|d dtj|ddtj|dd tjt ||ndddj gdddddddddddd d!d"d#d$d%d&d'd(d)tj|d*d+tj|d,d-tj|d.d/tj|d d0tj|d1d/tj|d d2 d3j gd4|d5d6tjt |d7d8tjt |d9d:|d;d<|d=d>|d?d6tjd@j |dAxsddB|dCdD|dEd6tjd@j |dFxsddGtj|dHdI|dJdK|dLdM|dNdOtj|dPdQdRtj|dSdTdUdVtjt |dWdX|dYdZ|d[d\tjt |d]d^tjt |d_d`tjt |dadbtjt |dcdQddde|dfdgdhd3S)iNrmrnrrrrGzr:zr;r=zrCz rAzr@rz rzzzz zF z6 Save Selector Branch Gate Consistencyz zzz0

Save Selector Branch Gate Consistency

z

route r_z -> r`z; writer rlz z; reader rhz .

rz

same table and offset: rorrpz rqz$); later same-offset writes: rtz2; later same-offset reads before frontier reader: ruz; later other-offset writes: rvrrwz"); valid secondary fills between: rxz#; invalid secondary fills between: ryrzz+); known-opcode preservation status: rz+; state preserved by known opcodes: rz.; branch state value still runtime-dependent: rz ; strict hotspot still missing: rz; promotion status: rz.

z

rz

z

Boundary

z

secondary table rz,; no direct global secondary writer: rjz1; helper only called inside opcode 0x10 handler: rz; dispatch stop rz opcode rz handler rz in rz:

Selection Opcode Rows Between Writer And Reader

z z
vavalueopoperationtableoffsethelper valid?
zz)rarUhtmlescapestrr)rrmrnrrrXrQrs r html_pagersB X F X F ) *E > "D D34  ww45   S\234S_567S%5678;;s;/012;;s<0123S)C%DEFG;;s<3KRVR]R]^deo^pRqQrs G,A$BCDNSWS^S^_efp_qSrRss A+/0 L L & Lw/C'D&E LR L TWX_`oXpTqHrGs Lsz L{|G|GHKLSTrLsHt|u{v Lv% L%,-M%N$O LP; L;BCb;c:d Le& L'..O&P%Q LRT LUYT_T_`d`i`ijqsYkZa[ab_bUcTd Ld* L+22R*S)T LU, L -44V,W+X L Y[ L \`[f[fgkgpgpqxzZr[h\hc`c\d[e L e3 L 48;;wGk?l3m2n L o- L.55S-T,U LV7 L8??f7g6h Li) L*11L)M(N LO L"[[1B)CDE LFK L1/F  GL12348G/H I/J &dkk#e r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr- read_bytesr' writer_chain gate_pathsrrrprint)parserargsrs rmainrus  $ $ 9F dD=4HI (tSCd=de T3A`;`a 1cLvFvw  $<    D $##R($//2&$,,b1 G '4<<( ;DLLKwrsY_" 3tH~--/6678> H~''* Ul  -8 4RB E} }!}} }  }@.bBJ25n\ \!\\ \  \{$ zFr