Reference Manual

• Datastructures API Reference
  • BasicBlocks
    • BasicBlock
      • BasicBlock.name
      • BasicBlock._jump_targets
      • BasicBlock.backedges
      • BasicBlock.declare_backedge()
      • BasicBlock.fallthrough
      • BasicBlock.is_exiting
      • BasicBlock.jump_targets
      • BasicBlock.replace_backedges()
      • BasicBlock.replace_jump_targets()
    • PythonASTBlock
      • PythonASTBlock.begin
      • PythonASTBlock.end
    • PythonBytecodeBlock
      • PythonBytecodeBlock.begin
      • PythonBytecodeBlock.end
      • PythonBytecodeBlock.get_instructions()
    • RegionBlock
      • RegionBlock.kind
      • RegionBlock.parent_region
      • RegionBlock.header
      • RegionBlock.subregion
      • RegionBlock.exiting
      • RegionBlock.replace_exiting()
      • RegionBlock.replace_header()
    • SyntheticAssignment
      • SyntheticAssignment.variable_assignment
    • SyntheticBlock
    • SyntheticBranch
      • SyntheticBranch.variable
      • SyntheticBranch.branch_value_table
      • SyntheticBranch.replace_jump_targets()
    • SyntheticExit
    • SyntheticExitBranch
    • SyntheticExitingLatch
    • SyntheticFill
    • SyntheticHead
    • SyntheticReturn
    • SyntheticTail
  • ByteFlow
    • ByteFlow
      • ByteFlow.bc
      • ByteFlow.scfg
      • ByteFlow.from_bytecode()
  • FlowInfo
    • FlowInfo
      • FlowInfo.block_offsets
      • FlowInfo.jump_insts
      • FlowInfo.last_offset
      • FlowInfo.build_basicblocks()
      • FlowInfo.from_bytecode()
  • SCFG classes
    • AbstractGraphView
    • ConcealedRegionView
      • ConcealedRegionView.scfg
      • ConcealedRegionView.region_view_iterator()
    • NameGenerator
      • NameGenerator.kinds
      • NameGenerator.new_block_name()
      • NameGenerator.new_region_name()
      • NameGenerator.new_var_name()
    • SCFG
      • SCFG.graph
      • SCFG.name_gen
      • SCFG.add_block()
      • SCFG.bcmap_from_bytecode()
      • SCFG.compute_scc()
      • SCFG.concealed_region_view
      • SCFG.exclude_blocks()
      • SCFG.find_exiting_and_exits()
      • SCFG.find_head()
      • SCFG.find_headers_and_entries()
      • SCFG.from_dict()
      • SCFG.from_yaml()
      • SCFG.insert_SyntheticExit()
      • SCFG.insert_SyntheticFill()
      • SCFG.insert_SyntheticReturn()
      • SCFG.insert_SyntheticTail()
      • SCFG.insert_block()
      • SCFG.insert_block_and_control_blocks()
      • SCFG.is_reachable_dfs()
      • SCFG.iter_subregions()
      • SCFG.join_returns()
      • SCFG.join_tails_and_exits()
      • SCFG.remove_blocks()
      • SCFG.render()
      • SCFG.restructure_branch()
      • SCFG.restructure_loop()
      • SCFG.to_dict()
      • SCFG.to_yaml()
      • SCFG.view()
    • SCFGIO
      • SCFGIO.extract_block_info()
      • SCFGIO.find_outer_graph()
      • SCFGIO.from_dict()
      • SCFGIO.from_yaml()
      • SCFGIO.make_scfg()
      • SCFGIO.to_dict()
      • SCFGIO.to_yaml()
  • AST Transforms
    • AST2SCFG()
    • AST2SCFGTransformer
      • AST2SCFGTransformer.add_block()
      • AST2SCFGTransformer.codegen()
      • AST2SCFGTransformer.handle_ast_node()
      • AST2SCFGTransformer.handle_bool_op()
      • AST2SCFGTransformer.handle_expression()
      • AST2SCFGTransformer.handle_for()
      • AST2SCFGTransformer.handle_function_def()
      • AST2SCFGTransformer.handle_if()
      • AST2SCFGTransformer.handle_while()
      • AST2SCFGTransformer.render()
      • AST2SCFGTransformer.seal_block()
      • AST2SCFGTransformer.transform()
      • AST2SCFGTransformer.transform_to_ASTCFG()
      • AST2SCFGTransformer.transform_to_SCFG()
    • ASTCFG
      • ASTCFG.convert_blocks()
      • ASTCFG.prune_empty()
      • ASTCFG.prune_noops()
      • ASTCFG.prune_unreachable()
      • ASTCFG.to_SCFG()
      • ASTCFG.to_dict()
    • LoopIndices
    • SCFG2AST()
    • WritableASTBlock
      • WritableASTBlock.is_break()
      • WritableASTBlock.is_continue()
      • WritableASTBlock.is_instruction()
      • WritableASTBlock.is_return()
      • WritableASTBlock.seal_inside_loop()
      • WritableASTBlock.seal_outside_loop()
      • WritableASTBlock.set_jump_targets()
• Rendering API Reference
  • BaseRenderer
    • BaseRenderer.render_block()
    • BaseRenderer.render_edges()
  • ByteFlowRenderer
    • ByteFlowRenderer.g
    • ByteFlowRenderer.bcmap
    • ByteFlowRenderer.render_byteflow()
  • SCFGRenderer
    • SCFGRenderer.g
    • SCFGRenderer.render_scfg()
    • SCFGRenderer.view()
  • render_flow()
  • render_func()
  • render_scfg()
• Graph Transformation API Reference
  • loop_restructure_helper()
  • restructure_loop()