Lc @ s d Z d d k Z d d k Z d d k Z d d k l Z d d k l Z l Z l Z l
Z
d f d YZ d Z d f d YZ
d
Z d Z d Z d
Z d e f d YZ d Z d f d YZ d Z d Z d f d YZ d f d YZ e i Z d S( s/ A flow graph representation for Python bytecodeiN( t misc( t CO_OPTIMIZEDt CO_NEWLOCALSt
CO_VARARGSt CO_VARKEYWORDSt FlowGraphc B s e Z d Z d Z d d Z d Z d Z d Z d Z d Z
d Z d Z d
Z
d Z d Z d
Z d Z d Z RS( c C s[ t | _ | _ t d | _ t i | _ | i i | i | i i | i d S( Nt exit( t Blockt currentt entryR R t Sett blockst add( t self( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt __init__ s
c C sg | i oP | i o7 d Gt | i GHd G| i i GHd G| i i GHn t | GHn | | _ d S( Nt ends nexts ( t _debugR t reprt nextt get_children( R
t block( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt
startBlock s
c C s> | d j o | i } n | i i | | i | d S( N( t Nonet newBlockR t addNextR ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt nextBlock s
c C s t } | i i | | S( N( R R R ( R
t b( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR 5 s c C s | i | i d S( N( R R ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt startExitBlock: s i c C s
d | _ d S( Ni ( R ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt
_enable_debug? s c C s
d | _ d S( Ni ( R ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt _disable_debugB s c G s | i o
d G| GHn | d d j o | i i | i n t | d j o, t | d t o | i i | d n | i i | d S( Ns i t RETURN_VALUEt YIELD_VALUEi i ( R R ( R R t
addOutEdgeR t lent
isinstanceR t emit( R
t inst( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR# E s
'c C s xL | i i D]; } | | i j o q n | i p | i | i q q Wt | i h } | i | i | | i | i | j o | i | i n | S( sl Return the blocks in reverse postorder
i.e. each node appears before all of its successors
(
R t elementsR R R t
dfs_postorderR t reverset
fixupOrdert append( R
R t order( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt getBlocksInOrderN s
c C s$ | i | | | i | | d S( s" Fixup bad order introduced by DFS.N( t fixupOrderHonorNextt fixupOrderForward( R
R t default_next( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR( c s c C s h } x( t t | D] } | | | | s
( RM RO ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt __repr__ s
c C s2 t t | i } d | i | i d i | f S( Ns s
( t mapt strR: RM RO t join( R
R: ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt __str__ s c C sG | d } | d d j o | i i | d n | i i | d S( Ni i t JUMPi ( RL R R: R) ( R
R$ t op( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR# s
c C s | i S( N( R: ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt getInstructions s c C s | i i | d S( N( RK R ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt addInEdge s c C s | i i | d S( N( RL R ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s c C s | i i | d S( N( R R) ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s R t
RAISE_VARARGSR t
JUMP_ABSOLUTER9 t
CONTINUE_LOOPc C sU y | i d \ } } Wn t t f j
o d SX| | i j o
g | _ n d S( sL Remove 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.
iN( R: t
IndexErrort
ValueErrort _uncond_transferR ( R
RV t arg( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt pruneNext s c C sP | i o2 | i d | i j o | i i | i d n | i i | i S( Ni ( R RL R; R% ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s !c C sf g } xY | i D]N } t | d j o q n | d } t | d o | i | i q q W| 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.
i t graph( R: R! t hasattrR) Ra ( R
t containedR$ RV ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyRF " s
( s RETURN_VALUERY s YIELD_VALUERZ s JUMP_FORWARDR[ ( RG RH RN R RP RT R# RW RX R R R^ R` R RF ( ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s t RAWt FLATt CONVt DONEt PyFlowGraphc B sI e Z e i Z d d d d Z d Z d Z d Z d Z d Z
d Z d d Z d Z
d
Z e i Z x% e i D] Z e i e i e q We i Z x% e i D] Z e i e i e q Wd Z d Z d
Z h Z d Z d Z e Z e Z d Z d 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/ e i0 Z1 d Z2 xF e3 i4 D]5 \ Z5 Z6 e5 d d j o e5 d Z e6 e e
c C s | i i d | i | i x t t | i D]r } | i | } t | d j oL | \ } } | i i | d } | o | | | | f | i | | i D]3 } t | t o | i } n | i | q Wt | S( s Return a tuple for the const slot of the code object
Must convert references to code (MAKE_FUNCTION) to code
objects recursively.
( Rr R" Rh R R) R ( R
R7 R6 ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR ] s
( N(> RG RH R R Ri R R R R R R R R R R R R
R t disR2 R R 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 Rw t cmp_opR R t localst itemsRj t objR R R/ R! t numR R ( ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyRh 9 sv !
c C s | d d j o d Sd S( Ni RU i ( ( R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt isJumpj s Ry c B s) e Z d Z d Z d Z d Z RS( s: Helper for marking func defs with nested tuples in arglistc C s | | _ | | _ d S( N( t countRs ( R
R Rs ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR p s c C s d | i | i f S( Ns TupleArg(%s, %s)( R Rs ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyRP s s c C s d | i S( Ns .%d( R ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyRz u s ( RG RH t __doc__R RP Rz ( ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyRy n s c C sb t | } | oK xH | D]< } t | t o& t t i | i } | | } q q Wn | S( N( R! R" Ry R t flattenRs ( Rm Ro R_ t numNames( ( s( /usr/lib64/python2.6/compiler/pyassem.pyRn x s c C s
t | d S( s/ Convert an int argument into high and low bytesi ( t divmod( t val( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s R c B s; e Z d Z d Z d Z d Z d Z d Z RS( 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.
c C s: g | _ d | _ d | _ d | _ d | _ g | _ d S( Ni ( t codet
codeOffsetR t lastlinet lastoffR ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s c G sA x$ | D] } | i i t | q W| i t | | _ d S( N( R R) t chrR R! ( R
Rm R_ ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s c C s | i d j o | | _ | | _ n | i | i } | | i } | d j o | i i } x0 | d j o" | d | d | d 8} q_ Wx6 | d j o( | | | d | d 8} d } q W| d j p
| d j o | | | | n | | _ | i | _ n d S( Ni i ( R R R R R R) ( R
t linenot addrt linet push( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s.
c C s d i | i S( NRJ ( RS R ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s c C s d i t t | i S( NRJ ( RS RQ R R ( R
( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s ( RG RH R R R R R R ( ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s
t StackDepthTrackerc B s e Z d d Z h$ d d 6d d 6d d 6d d 6d d 6d d
6d d 6d d 6d d
6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d 6d d! 6d d" 6d d# 6d d$ 6d d% 6d& d' 6d& d( 6d d) 6d d* 6Z d8 d9 g Z d- Z d. Z d/ Z d0 Z d1 Z d2 Z
d3 Z d4 Z d5 Z
d6 Z d7 Z RS(: i c C s# d } d } x| D]} | d } | o | Gn | i i | d } | d j o | | } n xC | i D]8 \ } } | t | | j o | } | | } Pql ql W| d j o; t | | d }
|
d j o | |
| d } q n | | j o
| } n | o
| G| GHq q W| S( Ni i ( t effectR R t patternsR! t getattr( R
R: t debugR t maxDepthR2 R t deltat patt pat_deltat meth( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR s2
it POP_TOPi t DUP_TOPit LIST_APPENDs SLICE+1s SLICE+2s SLICE+3s
STORE_SLICE+0s
STORE_SLICE+1s
STORE_SLICE+2is
STORE_SLICE+3s DELETE_SLICE+0s DELETE_SLICE+1s DELETE_SLICE+2s DELETE_SLICE+3t STORE_SUBSCRt
DELETE_SUBSCRt
PRINT_ITEMR R t EXEC_STMTt BUILD_CLASSt
STORE_NAMEt
STORE_ATTRt DELETE_ATTRt STORE_GLOBALt BUILD_MAPt
COMPARE_OPt
STORE_FASTt IMPORT_STARt IMPORT_NAMEt IMPORT_FROMt LOAD_ATTRi t SETUP_EXCEPTt
SETUP_FINALLYt FOR_ITERt WITH_CLEANUPt BINARY_t LOAD_c C s | d S( Ni ( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt UNPACK_SEQUENCE s c C s | d S( Ni ( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt BUILD_TUPLE s c C s | d S( Ni ( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt
BUILD_LIST s c C s" t | d \ } } | | d S( Ni i ( R ( R
t argcR R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt
CALL_FUNCTION s c C s | i | d S( Ni ( R
( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt CALL_FUNCTION_VAR s c C s | i | d S( Ni ( R
( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt CALL_FUNCTION_KW! s c C s | i | d S( Ni ( R
( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt CALL_FUNCTION_VAR_KW# s c C s | S( N( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt
MAKE_FUNCTION% s c C s | S( N( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt MAKE_CLOSURE' s c C s( | d j o d S| d j o d Sd S( Ni ii i( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt BUILD_SLICE* s
c C s | S( N( ( R
R ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt DUP_TOPX/ s ( R i( R i ( RG RH R R R R R
R R
R R R R R R R ( ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyR sf
( R R R R t compilerR t compiler.constsR R R R R R& R Rd Re Rf Rg Rh R Ry Rn R R R R ( ( ( s( /usr/lib64/python2.6/compiler/pyassem.pyt s* " Y 2
Bj