|
|
from __future__ import absolute_import |
|
|
|
|
|
cimport cython |
|
|
|
|
|
from .Visitor cimport CythonTransform, TreeVisitor |
|
|
|
|
|
cdef class ControlBlock: |
|
|
cdef public set children |
|
|
cdef public set parents |
|
|
cdef public set positions |
|
|
cdef public list stats |
|
|
cdef public dict gen |
|
|
cdef public set bounded |
|
|
|
|
|
|
|
|
cdef public object i_input |
|
|
cdef public object i_output |
|
|
cdef public object i_gen |
|
|
cdef public object i_kill |
|
|
cdef public object i_state |
|
|
|
|
|
cpdef bint empty(self) |
|
|
cpdef detach(self) |
|
|
cpdef add_child(self, block) |
|
|
|
|
|
cdef class ExitBlock(ControlBlock): |
|
|
cpdef bint empty(self) |
|
|
|
|
|
cdef class NameAssignment: |
|
|
cdef public bint is_arg |
|
|
cdef public bint is_deletion |
|
|
cdef public object lhs |
|
|
cdef public object rhs |
|
|
cdef public object entry |
|
|
cdef public object pos |
|
|
cdef public set refs |
|
|
cdef public object bit |
|
|
cdef public object inferred_type |
|
|
|
|
|
cdef class AssignmentList: |
|
|
cdef public object bit |
|
|
cdef public object mask |
|
|
cdef public list stats |
|
|
|
|
|
cdef class AssignmentCollector(TreeVisitor): |
|
|
cdef list assignments |
|
|
|
|
|
@cython.final |
|
|
cdef class ControlFlow: |
|
|
cdef public set blocks |
|
|
cdef public set entries |
|
|
cdef public list loops |
|
|
cdef public list exceptions |
|
|
|
|
|
cdef public ControlBlock entry_point |
|
|
cdef public ExitBlock exit_point |
|
|
cdef public ControlBlock block |
|
|
|
|
|
cdef public dict assmts |
|
|
|
|
|
cpdef newblock(self, ControlBlock parent=*) |
|
|
cpdef nextblock(self, ControlBlock parent=*) |
|
|
cpdef bint is_tracked(self, entry) |
|
|
cpdef bint is_statically_assigned(self, entry) |
|
|
cpdef mark_position(self, node) |
|
|
cpdef mark_assignment(self, lhs, rhs, entry) |
|
|
cpdef mark_argument(self, lhs, rhs, entry) |
|
|
cpdef mark_deletion(self, node, entry) |
|
|
cpdef mark_reference(self, node, entry) |
|
|
|
|
|
@cython.locals(block=ControlBlock, parent=ControlBlock, unreachable=set) |
|
|
cpdef normalize(self) |
|
|
|
|
|
@cython.locals(bit=object, assmts=AssignmentList, |
|
|
block=ControlBlock) |
|
|
cpdef initialize(self) |
|
|
|
|
|
@cython.locals(assmts=AssignmentList, assmt=NameAssignment) |
|
|
cpdef set map_one(self, istate, entry) |
|
|
|
|
|
@cython.locals(block=ControlBlock, parent=ControlBlock) |
|
|
cdef reaching_definitions(self) |
|
|
|
|
|
cdef class Uninitialized: |
|
|
pass |
|
|
|
|
|
cdef class Unknown: |
|
|
pass |
|
|
|
|
|
|
|
|
cdef class MessageCollection: |
|
|
cdef set messages |
|
|
|
|
|
|
|
|
@cython.locals(dirty=bint, block=ControlBlock, parent=ControlBlock, |
|
|
assmt=NameAssignment) |
|
|
cdef check_definitions(ControlFlow flow, dict compiler_directives) |
|
|
|
|
|
@cython.final |
|
|
cdef class ControlFlowAnalysis(CythonTransform): |
|
|
cdef object gv_ctx |
|
|
cdef object constant_folder |
|
|
cdef set reductions |
|
|
cdef list env_stack |
|
|
cdef list stack |
|
|
cdef object env |
|
|
cdef ControlFlow flow |
|
|
cdef bint in_inplace_assignment |
|
|
|
|
|
cpdef mark_assignment(self, lhs, rhs=*) |
|
|
cpdef mark_position(self, node) |
|
|
|
