��
���Lc@sdZddkZddkZddkZddklZddklZlZl Z l
Z
dfd��YZd�Zdfd ��YZ
d
ZdZdZd
Zdefd��YZd�Zdfd��YZd�Zd�Zdfd��YZdfd��YZe�iZdS(s/A flow graph representation for Python bytecodei����N(tmisc(tCO_OPTIMIZEDtCO_NEWLOCALSt
CO_VARARGStCO_VARKEYWORDSt FlowGraphcBs�eZd�Zd�Zdd�Zd�Zd�ZdZd�Z d�Z
d�Zd �Zd
�Z
d�Zd�Zd
�Zd�Zd�ZRS(cCs[t�|_|_td�|_ti�|_|ii|i�|ii|i�dS(Ntexit(tBlocktcurrenttentryRRtSettblockstadd(tself((s&/usr/lib/python2.6/compiler/pyassem.pyt__init__s
cCsg|ioP|io7dGt|i�GHdG|iiGHdG|ii�GHnt|�GHn||_dS(Ntends nexts (t_debugRtreprtnexttget_children(R
tblock((s&/usr/lib/python2.6/compiler/pyassem.pyt
startBlocks
cCs>|djo|i�}n|ii|�|i|�dS(N(tNonetnewBlockRtaddNextR(R
R((s&/usr/lib/python2.6/compiler/pyassem.pyt nextBlocks
cCst�}|ii|�|S(N(RRR(R
tb((s&/usr/lib/python2.6/compiler/pyassem.pyR5s cCs|i|i�dS(N(RR(R
((s&/usr/lib/python2.6/compiler/pyassem.pytstartExitBlock:sicCs
d|_dS(Ni(R(R
((s&/usr/lib/python2.6/compiler/pyassem.pyt
_enable_debug?scCs
d|_dS(Ni(R(R
((s&/usr/lib/python2.6/compiler/pyassem.pyt_disable_debugBscGs�|io
dG|GHn|ddjo|ii|i�nt|�djo,t|dt�o|ii|d�n|ii|�dS(Ns itRETURN_VALUEtYIELD_VALUEii(RR(RRt
addOutEdgeRtlent
isinstanceRtemit(R
tinst((s&/usr/lib/python2.6/compiler/pyassem.pyR#Es
'cCs�xL|ii�D];}||ijoqn|ip|i|i�qqWt|ih�}|i�|i||i�|i|jo|i |i�n|S(slReturn the blocks in reverse postorder
i.e. each node appears before all of its successors
(
RtelementsRRRt
dfs_postorderR treverset
fixupOrdertappend(R
Rtorder((s&/usr/lib/python2.6/compiler/pyassem.pytgetBlocksInOrderNs
cCs$|i||�|i||�dS(s"Fixup bad order introduced by DFS.N(tfixupOrderHonorNexttfixupOrderForward(R
Rtdefault_next((s&/usr/lib/python2.6/compiler/pyassem.pyR(cscCs�h}x(tt|��D]}||||<qWxstdt|�d�D]X}||}||d}|ip(|id|jp|id|joqKn|}g}|} xD| io9| id|jo%|i| id�| id} q�Wg}
x%|D]}|
i|||f�q W|
i�|
i�x|
D]\}}|||=qEW|g||||d+x(tt|��D]}||||<q�WqKWdS(sFix one problem with DFS.
The DFS uses child block, but doesn't know about the special
"next" block. As a result, the DFS can order blocks so that a
block isn't next to the right block for implicit control
transfers.
iiN(trangeR!RR)tsortR'(R
RR.tindextiRtntcurtchaintelttltj((s&/usr/lib/python2.6/compiler/pyassem.pyR,ls<
3
c
Cs�h}g}g}x`|D]X}t|�||<|i|�|io+|id|jo|i|�g}qqW|i|�xg}x�tt|��D]�}||} x�| D]�}x�|i�D]�}
||
|josd}xA|iD]6}|ddjo|d|
jo
d}q%q�q�W|pq�n|i||
|f�q�q�Wq�Wq�W|pPn|d\}
}||}
|i|
�|i|
|
�q�|2x,|D]$}
x|
D]}|i|�q�Wq�WdS(s(Make sure all JUMP_FORWARDs jump forwarditJUMP_FORWARDiN(R!R)RR/Rtinststremovetinsert(R
RR.R1tchainsR4RtconstraintsR2R7tct forward_pR$tgoes_beforeta_chain((s&/usr/lib/python2.6/compiler/pyassem.pyR-�sT
'
cCs
|ii�S(N(RR%(R
((s&/usr/lib/python2.6/compiler/pyassem.pyt getBlocks�scCs|iS(s/Return nodes appropriate for use with dominator(R (R
((s&/usr/lib/python2.6/compiler/pyassem.pytgetRoot�scCs4g}x'|i�D]}|i|i��qW|S(N(RCtextendtgetContainedGraphs(R
R7R((s&/usr/lib/python2.6/compiler/pyassem.pyRF�s
N(t__name__t
__module__RRRRRRRRRR#R+R(R,R-RCRDRF(((s&/usr/lib/python2.6/compiler/pyassem.pyRs ) . cCs_g}|||<x;|i�D]-}||joqn|t||�}qW|i|�|S(s;Depth-first search of tree rooted at b, return in postorder(RR&R)(RtseenR*R?((s&/usr/lib/python2.6/compiler/pyassem.pyR&�s
RcBszeZdZdd�Zd�Zd�Zd�Zd�Zd�Zd�Z d �Z
dZd�Zd�Z
d�ZRS(itcCsYg|_ti�|_ti�|_||_ti|_g|_ tidt_dS(Ni(
R:RR
tinEdgestoutEdgestlabelRt_counttbidR(R
RM((s&/usr/lib/python2.6/compiler/pyassem.pyR�s cCs.|iod|i|ifSd|iSdS(Ns<block %s id=%d>s
<block id=%d>(RMRO(R
((s&/usr/lib/python2.6/compiler/pyassem.pyt__repr__�s
cCs2tt|i�}d|i|idi|�fS(Ns<block %s %d:
%s>s
(tmaptstrR:RMROtjoin(R
R:((s&/usr/lib/python2.6/compiler/pyassem.pyt__str__�scCsG|d}|d djo|ii|d�n|ii|�dS(NiitJUMPi(RLRR:R)(R
R$top((s&/usr/lib/python2.6/compiler/pyassem.pyR#�s
cCs|iS(N(R:(R
((s&/usr/lib/python2.6/compiler/pyassem.pytgetInstructions�scCs|ii|�dS(N(RKR(R
R((s&/usr/lib/python2.6/compiler/pyassem.pyt addInEdge�scCs|ii|�dS(N(RLR(R
R((s&/usr/lib/python2.6/compiler/pyassem.pyR �scCs|ii|�dS(N(RR)(R
R((s&/usr/lib/python2.6/compiler/pyassem.pyRsRt
RAISE_VARARGSRt
JUMP_ABSOLUTER9t
CONTINUE_LOOPcCsUy|id\}}Wnttfj
odSX||ijo
g|_ndS(sLRemove bogus edge for unconditional transfers
Each block has a next edge that accounts for implicit control
transfers, e.g. from a JUMP_IF_FALSE to the block that will be
executed if the test is true.
These edges must remain for the current assembler code to
work. If they are removed, the dfs_postorder gets things in
weird orders. However, they shouldn't be there for other
purposes, e.g. conversion to SSA form. This method will
remove the next edge when it follows an unconditional control
transfer.
i����N(R:t
IndexErrort
ValueErrort_uncond_transferR(R
RVtarg((s&/usr/lib/python2.6/compiler/pyassem.pyt pruneNextscCsP|io2|id|ijo|ii|id�n|ii�|iS(Ni(RRLR;R%(R
((s&/usr/lib/python2.6/compiler/pyassem.pyRs!cCsfg}xY|iD]N}t|�djoqn|d}t|d�o|i|i�qqW|S(s�Return all graphs contained within this block.
For example, a MAKE_FUNCTION block will contain a reference to
the graph for the function body.
itgraph(R:R!thasattrR)Ra(R
t containedR$RV((s&/usr/lib/python2.6/compiler/pyassem.pyRF"s
(sRETURN_VALUERYsYIELD_VALUERZsJUMP_FORWARDR[(RGRHRNRRPRTR#RWRXR RR^R`RRF(((s&/usr/lib/python2.6/compiler/pyassem.pyR�s tRAWtFLATtCONVtDONEtPyFlowGraphcBsIeZeiZdddd�Zd�Zd�Zd�Zd�Z d�Z
d�Zdd�Zd �Z
d
�Zei�Zx%eiD]Zeieie�q�Wei�Zx%eiD]Zeieie�q�Wd�Zd�Zd
�ZhZd�Zd�ZeZeZd�Zd�Z e Z!e Z"e Z#e Z$e Z%e Z&e Z'e Z(e Z)e Z*d�Z+e+Z,e+Z-d�Z.e/ei0�Z1d�Z2xFe3�i4�D]5\Z5Z6e5d djoe5dZe6ee<q�q�W[5[6[d�Z7hZ8x.e9e:ei��D]Z;e;e8eie;<qW[;d�Z<d�Z=RS(icCs|i�||_||_d|_||_t|�|_||_|ot t
B|_n
d|_g|_g|_
g|_g|_g|_t|�pg|_xQtt|i��D]:}|i|}t|t�o|i�|i|<q�q�Wt|_dS(Ni(t
super_inittnametfilenameRt docstringtargstgetArgCounttargcounttklassRRtflagstconststnamestfreevarstcellvarstclosuretlisttvarnamesR/R!R"tTupleArgtgetNameRdtstage(R
RjRkRmt optimizedRpR2tvar((s&/usr/lib/python2.6/compiler/pyassem.pyR<s,
cCs
||_dS(N(Rl(R
tdoc((s&/usr/lib/python2.6/compiler/pyassem.pytsetDocstringZscCs5|i|B|_|tjo|id|_ndS(Ni(RqRRo(R
tflag((s&/usr/lib/python2.6/compiler/pyassem.pytsetFlag]s
cCs|i|@odSdS(Ni(Rq(R
R�((s&/usr/lib/python2.6/compiler/pyassem.pyt checkFlagbscCst|�|_dS(N(RwRt(R
Rs((s&/usr/lib/python2.6/compiler/pyassem.pytsetFreeVarsfscCs
||_dS(N(Ru(R
Rs((s&/usr/lib/python2.6/compiler/pyassem.pytsetCellVarsiscCs2|i�|i�|i�|i�|i�S(sGet a Python code object(tcomputeStackDepthtflattenGraphtconvertArgstmakeByteCodet
newCodeObject(R
((s&/usr/lib/python2.6/compiler/pyassem.pytgetCodels
cCs�|oti}|t_nd}x�|iD]w}|d}|djoHnt|�djodGd|G|GH|d}q-dGd|G|G|dGH|d}q-W|o
|t_ndS(Nit
SET_LINENOis s%3di(tsyststdoutR:R!(R
tiotsavetpctttopname((s&/usr/lib/python2.6/compiler/pyassem.pytdumpxs
csph�d}x*�i�D]}t|i���|<qWh�����fd����id��_dS(s�Compute the max stack depth.
Approach is to compute the stack effect of each basic block.
Then find the path through the code with the largest total
effect.
cs�|�jo|Sd�|<|�|}|i�}|o/tg}|D]}|�||�qK~�S|idjp��i|�S|SdS(NiR(RtmaxRMR(Rtdtchildrent_[1]R?(R
t max_depthtdepthRI(s&/usr/lib/python2.6/compiler/pyassem.pyR��s
/iN(RRCt findDepthRWR t stacksize(R
RR((R
R�RIR�s&/usr/lib/python2.6/compiler/pyassem.pyR��s
cCs�g|_}d}h}h}x�|i�D]~}|||<xa|i�D]S}|i|�t|�djo|d}qI|ddjo|d}qIqIW|||<q,Wd}x�tt|��D]�}||}t|�djo|d}n |ddjo|d}n|d}|ii|�o,|d} || |}
||
f||<q�|ii|�o|||df||<q�q�Wt |_
dS(s-Arrange the blocks in order and resolve jumpsiiR�iN(R:R+RWR)R!R/thasjrelthas_eltthasjabsReR{(R
R:R�tbeginRRR$R2R�topargtoffset((s&/usr/lib/python2.6/compiler/pyassem.pyR��s>
cCs�|iid|i�|i�x�tt|i��D]r}|i|}t|�djoL|\}}|ii|d�}|o ||||�f|i|<q�q6q6Wt
|_dS(s0Convert arguments from symbolic to concrete formiiN(RrR<Rlt
sort_cellvarsR/R!R:t_converterstgetRRfR{(R
R2R�R�R�tconv((s&/usr/lib/python2.6/compiler/pyassem.pyR��s
(cCs�h}x|iD]}d||<qWg}|iD]}||jo||q2q2~|_x|iD]
}||=qfW|i|i�|_|i|i|_dS(sHSort cellvars in the order of varnames and prune from freevars.
iN(RuRxtkeysRtRv(R
tcellsRjR�((s&/usr/lib/python2.6/compiler/pyassem.pyR��s
$
cCsst|�}xGtt|��D]3}|t||�jo|||jo|SqWt|�}|i|�|S(s�Return index of name in list, appending if necessary
This routine uses a list instead of a dictionary, because a
dictionary can't store two different keys if the keys have the
same value but different types, e.g. 2 and 2L. The compiler
must treat these two separately, so it does an explicit type
comparison before comparing the values.
(ttypeR/R!R)(R
RjRwR�R2R((s&/usr/lib/python2.6/compiler/pyassem.pyt_lookupName�s (
cCs3t|d�o|i�}n|i||i�S(NR�(RbR�R�Rr(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt_convert_LOAD_CONST�scCs&|i||i�|i||i�S(N(R�RsRx(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt_convert_LOAD_FASTscCs:|idjo|i||i�n|i||i�S(N(RpRR�RxRs(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt_convert_LOAD_NAMEscCs:|idjo|i||i�n|i||i�S(N(RpRR�RxRs(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt
_convert_NAME
scCs9|i||i�|i||i�|i||i�S(N(R�RsRxRv(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt_convert_DEREFscCs&|i||i�|i||i�S(N(R�RxRv(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt_convert_LOAD_CLOSURE#scCs|ii|�S(N(t_cmpR1(R
R_((s&/usr/lib/python2.6/compiler/pyassem.pyt_convert_COMPARE_OP(si t _convert_cCs�t�|_}x�|iD]�}|d}t|�djo|i|i|�q|d}|djo|i|�qnt|�\}}y|i|i|||�Wqtj
o'|G|GH|i|G|G|GH�qXqWt |_
dS(NiiR�(t
LineAddrTabletlnotabR:R!taddCodetopnumtnextLinettwobyteR]RgR{(R
R�R�R�R�thitlo((s&/usr/lib/python2.6/compiler/pyassem.pyR�3s$
cCs�|it@djo
d}nt|i�}|i}|it@o|d}nti|||i|i|i i
�|i�t|i
�t|i�|i|i|i i|i i�t|i�t|i��S(Nii(RqRR!RxRoRttypestCodeTypeR�R�R�t getConststtupleRsRkRjt firstlinetgetTableRtRu(R
tnlocalsRo((s&/usr/lib/python2.6/compiler/pyassem.pyR�Ms
cCsQg}x>|iD]3}t|t�o|i�}n|i|�qWt|�S(s�Return a tuple for the const slot of the code object
Must convert references to code (MAKE_FUNCTION) to code
objects recursively.
(RrR"RhR�R)R�(R
R7R6((s&/usr/lib/python2.6/compiler/pyassem.pyR�]s
(N(>RGRHRRRiRRR�R�R�R�R�R�R�R�RR
R�tdisR2RR�R�R�R�R�R�R�R�t_convert_STORE_FASTt_convert_DELETE_FASTR�R�t_convert_STORE_NAMEt_convert_DELETE_NAMEt_convert_IMPORT_NAMEt_convert_IMPORT_FROMt_convert_STORE_ATTRt_convert_LOAD_ATTRt_convert_DELETE_ATTRt_convert_LOAD_GLOBALt_convert_STORE_GLOBALt_convert_DELETE_GLOBALR�t_convert_LOAD_DEREFt_convert_STORE_DEREFR�Rwtcmp_opR�R�tlocalstitemsRjtobjR�R�R/R!tnumR�R�(((s&/usr/lib/python2.6/compiler/pyassem.pyRh9sv !
cCs|d djodSdS(NiRUi((R�((s&/usr/lib/python2.6/compiler/pyassem.pytisJumpjsRycBs)eZdZd�Zd�Zd�ZRS(s:Helper for marking func defs with nested tuples in arglistcCs||_||_dS(N(tcountRs(R
R�Rs((s&/usr/lib/python2.6/compiler/pyassem.pyRps cCsd|i|ifS(NsTupleArg(%s, %s)(R�Rs(R
((s&/usr/lib/python2.6/compiler/pyassem.pyRPsscCsd|iS(Ns.%d(R�(R
((s&/usr/lib/python2.6/compiler/pyassem.pyRzus(RGRHt__doc__RRPRz(((s&/usr/lib/python2.6/compiler/pyassem.pyRyns cCsbt|�}|oKxH|D]<}t|t�o&tti|i��}||}qqWn|S(N(R!R"RyRtflattenRs(RmRoR_tnumNames((s&/usr/lib/python2.6/compiler/pyassem.pyRnxscCs
t|d�S(s/Convert an int argument into high and low bytesi(tdivmod(tval((s&/usr/lib/python2.6/compiler/pyassem.pyR��sR�cBs;eZdZd�Zd�Zd�Zd�Zd�ZRS(s(lnotab
This class builds the lnotab, which is documented in compile.c.
Here's a brief recap:
For each SET_LINENO instruction after the first one, two bytes are
added to lnotab. (In some cases, multiple two-byte entries are
added.) The first byte is the distance in bytes between the
instruction for the last SET_LINENO and the current SET_LINENO.
The second byte is offset in line numbers. If either offset is
greater than 255, multiple two-byte entries are added -- see
compile.c for the delicate details.
cCs:g|_d|_d|_d|_d|_g|_dS(Ni(tcodet
codeOffsetR�tlastlinetlastoffR�(R
((s&/usr/lib/python2.6/compiler/pyassem.pyR�s cGsAx$|D]}|iit|��qW|it|�|_dS(N(R�R)tchrR�R!(R
RmR_((s&/usr/lib/python2.6/compiler/pyassem.pyR��scCs|idjo||_||_n�|i|i}||i}|djo�|ii}x0|djo"|d�|d�|d8}q_Wx6|djo(||�|d�|d8}d}q�W|djp
|djo||�||�n||_|i|_ndS(Nii�(R�R�R�R�R�R)(R
tlinenotaddrtlinetpush((s&/usr/lib/python2.6/compiler/pyassem.pyR��s.
cCsdi|i�S(NRJ(RSR�(R
((s&/usr/lib/python2.6/compiler/pyassem.pyR��scCsditt|i��S(NRJ(RSRQR�R�(R
((s&/usr/lib/python2.6/compiler/pyassem.pyR��s(RGRHR�RR�R�R�R�(((s&/usr/lib/python2.6/compiler/pyassem.pyR��s
tStackDepthTrackercBs�eZdd�Zh$dd6dd6dd6dd6dd 6dd
6dd6dd6dd
6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd6dd 6dd!6dd"6dd#6dd$6dd%6d&d'6d&d(6dd)6dd*6Zd8d9gZd-�Zd.�Zd/�Zd0�Zd1�Z d2�Z
d3�Zd4�Zd5�Z
d6�Zd7�ZRS(:icCs#d}d}x|D]}|d}|o|Gn|ii|d�}|dj o||}n�xC|iD]8\}} |t|� |jo| }||}PqlqlW|djo;t||d�}
|
dj o||
|d�}q�n||jo
|}n|o
|G|GHqqW|S(Nii(teffectR�RtpatternsR!tgetattr(R
R:tdebugR�tmaxDepthR2R�tdeltatpatt pat_deltatmeth((s&/usr/lib/python2.6/compiler/pyassem.pyR��s2
i����tPOP_TOPitDUP_TOPi����tLIST_APPENDsSLICE+1sSLICE+2sSLICE+3s
STORE_SLICE+0s
STORE_SLICE+1s
STORE_SLICE+2i����s
STORE_SLICE+3sDELETE_SLICE+0sDELETE_SLICE+1sDELETE_SLICE+2sDELETE_SLICE+3tSTORE_SUBSCRt
DELETE_SUBSCRt
PRINT_ITEMRRt EXEC_STMTtBUILD_CLASSt
STORE_NAMEt
STORE_ATTRtDELETE_ATTRtSTORE_GLOBALt BUILD_MAPt
COMPARE_OPt
STORE_FASTtIMPORT_STARtIMPORT_NAMEtIMPORT_FROMt LOAD_ATTRitSETUP_EXCEPTt
SETUP_FINALLYtFOR_ITERtWITH_CLEANUPtBINARY_tLOAD_cCs|dS(Ni((R
R�((s&/usr/lib/python2.6/compiler/pyassem.pytUNPACK_SEQUENCEscCs |dS(Ni((R
R�((s&/usr/lib/python2.6/compiler/pyassem.pytBUILD_TUPLEscCs |dS(Ni((R
R�((s&/usr/lib/python2.6/compiler/pyassem.pyt
BUILD_LISTscCs"t|d�\}}||dS(Nii(R�(R
targcR�R�((s&/usr/lib/python2.6/compiler/pyassem.pyt
CALL_FUNCTIONscCs|i|�dS(Ni(R
(R
R((s&/usr/lib/python2.6/compiler/pyassem.pytCALL_FUNCTION_VARscCs|i|�dS(Ni(R
(R
R((s&/usr/lib/python2.6/compiler/pyassem.pytCALL_FUNCTION_KW!scCs|i|�dS(Ni(R
(R
R((s&/usr/lib/python2.6/compiler/pyassem.pytCALL_FUNCTION_VAR_KW#scCs|S(N((R
R((s&/usr/lib/python2.6/compiler/pyassem.pyt
MAKE_FUNCTION%scCs|S(N((R
R((s&/usr/lib/python2.6/compiler/pyassem.pytMAKE_CLOSURE'scCs(|djodS|djodSdS(Nii����ii����((R
R((s&/usr/lib/python2.6/compiler/pyassem.pytBUILD_SLICE*s
cCs|S(N((R
R((s&/usr/lib/python2.6/compiler/pyassem.pytDUP_TOPX/s(Ri����(Ri(RGRHR�R�R�R R
RR
RRRRRRR(((s&/usr/lib/python2.6/compiler/pyassem.pyR��sf
(R�R�R�R�tcompilerRtcompiler.constsRRRRRR&RRdReRfRgRhR�RyRnR�R�R�R�(((s&/usr/lib/python2.6/compiler/pyassem.pyt<module>s*"� Y�2
Bj