UHjdZddlmZddlZddlZddlZddlmZeejjdZ e dz Z ddZ ddZdd Zdd Zdd Zdd Zed k(reyy)zUApply the strongest predecessor secondary-state fill to the current blocker equation.) annotationsN)Pathoutc|dz}tdD]}|r|dz nd}||sntdD]}|dzdk\rdn|dz}||s|S|S)N r r)range)tablestartslot_s M/home/exedev/hwanse/tools/summarize_save_selector_predecessor_state_effect.pysimulate_opcode12_selected_slotrsv 4map2_02d: execution order/state persistence from 1:0 to 2:0 and a strict map1_01a source hotspot remain unproven.z1:0 0x00478364 0x004844d0 0x004844d8 0x00000210zopcode 0x10 uses secondaryBranchState and helper case 0; helper 0x00410de5 writes first 2 slots to 1 and remaining 10 slots to 0.z2:0 0x005428bc 0x00542b0cc3&K|] }|d yw)rN.0rows r z build_summary..9s"Y3'C#D"Yblocked)zPprove predecessor 1:0 actually executes before current selector 2:0 in the routezJprove secondaryBranchState is not overwritten before 0x005428bc/0x00542b0cz1find strict map1_01a source coordinate or hotspot)predecessorSelectorpredecessorRootHexpredecessorFillVas fillValueHex fillMeaningcurrentSelectorcurrentWriterVaHexcurrentReaderVaHexsecondaryBranchStateAfterFilloutcomesallStartsPassReaderpromotionStatusremainingBlockers conclusion)r rappendall)r r0r selectedr4s r build_summaryr8s FaS2X EHr 25%@$"8_*//Q*>     @ %*+\:$[ **).""YPX"YY$ !% rcddd|dd|dddd jd |d Dd |d dd|dd|dd|ddd|dd|dd|ddddddg}|dD]0}|jd|dd|d d|d!d|d"rd#nd$d% 2|jgd&|jd'|d(D|jdd)j|S)*Nz(# Save Selector Predecessor State Effectz- predecessor: `r'z` root `r(`z- fill sites: , c3(K|] }d|d yw)r;Nr r"vas rr$zmarkdown..Is"UQrd!9"Usr)z- fill value: `r*z- fill meaning: r+z- current writer/reader: `r-z` / `r.z- all starts pass reader: r1z- promotion status: r2r4z ## OutcomeszF| start slot | selected slot | selected value | reader falls through |z| ---: | ---: | ---: | --- |r0z| rz | rrryesnoz |)r:z## Remaining Blockersr:c3&K|] }d| yw)z- Nr r"items rr$zmarkdown..]sF2dVFr%r3 )joinr5extend)summarylinesr#s rmarkdownrJDss2 7#89:(7K_C`Baabc "Uw?S7T"UUVW '.12!4 7=123 $W-A%B$C5QeIfHgghi $W-B%C$DE w'89:;    P&! E$z"  [!"#c.&9%:#c/>R=SSV89utDB H   LL23 LLF1D)EFF LL 99U rcdjd|dD}djd|dD}djddd d |d d |d d|ddddjd|dDdd|ddtj|dddtj|dddtj|ddd|ddd |d!g S)"NrEc 3ZK|]#}d|dd|dd|dd|drdndd %y w) zrz rrrr@rAz Nr r!s rr$zhtml_page..cse   ; !>"#$?#$%89utDE  s)+r0r:c3NK|]}dtj|dyw)z
  • z
    • NhtmlescaperCs rr$zhtml_page..ls#`4dkk$/06`s#%r3zZSave Selector Predecessor State Effectzz/

    Save Selector Predecessor State Effect

    z

    Predecessor r'z root r(z, fill value r*z .

    z

    Fill sites: r<c3RK|]}dtj|zdz!yw)zzNrNr>s rr$zhtml_page..rs"#srHt{{2$>$J#ss%'r)z

    z

    all starts pass reader: r1z; promotion status: r2z

    r+r4zz
    start slotselected slotselected valuereader falls through
    z

    Remaining Blockers

    z
      z
    )rFrOrP)rHrowsblockerss r html_pagerTbsf 99:& Dww`7K^C_``H 99f [9 (= >??RSZ[oSpRqrLMTUcMdLeeq r $))#sU\]qUr#ssttxy %g.C&D%EEYZ^ZeZefmngA[BZCCG H dkk'-01 2$7 dkk',/0 16 N % xj rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok+save_selector_predecessor_state_effect.jsonF) ensure_asciiindentrEzutf-8)encoding)mkdir write_textjsondumps)rHout_dirs r write_outputsrb~sD MM$M. <<HH 7q9D@Irctj}|jdtt|j }t }t||jtd|jdz y)Nz --out-dir)typedefaultz"wrote predecessor state effect -> rX) argparseArgumentParser add_argumentrOUT parse_argsr8rbraprint)parserargsrHs rmainrnsc  $ $ &F  $<    DoG'4<<( .t||>k/k.l mnr__main__)r z list[int]r intreturnrp)rqdict)rHrrrqstr)rHrrrarrqNone)rqrt)__doc__ __future__rrfrOr_pathlibr__file__resolverVROOTrirr8rJrTrbrn__name__r rrr|ss["  H~''* Ul %P<8o zFr