loki.analyse package

Subpackages

• loki.analyse.tests package
  • Submodules
    • loki.analyse.tests.test_analyse_dataflow module
    • loki.analyse.tests.test_util_linear_algebra module
      • test_backsubstitution()
      • test_generate_row_echelon_form()
      • test_enforce_integer_arithmetics_for_row_echelon_form()
      • test_require_conditions()
      • test_is_independent_system()
      • test_yield_one_d_systems()
    • loki.analyse.tests.test_util_polyhedron module
  • Module contents

Submodules

• loki.analyse.abstract_dfa module
  • AbstractDataflowAnalysis
    • AbstractDataflowAnalysis.get_attacher()
    • AbstractDataflowAnalysis.get_detacher()
    • AbstractDataflowAnalysis.attach_dataflow_analysis()
    • AbstractDataflowAnalysis.detach_dataflow_analysis()
  • dfa_attached()
• loki.analyse.dataflow_analysis module
  • strip_nested_dimensions()
  • DataflowAnalysis
    • DataflowAnalysis.get_attacher()
    • DataflowAnalysis.resolve_call_effects()
    • DataflowAnalysis.attach_dataflow_analysis()
    • DataflowAnalysis.detach_dataflow_analysis()
  • DataflowAnalysisAttacher
    • DataflowAnalysisAttacher.visit_Node()
    • DataflowAnalysisAttacher.visit_Interface()
    • DataflowAnalysisAttacher.visit_InternalNode()
    • DataflowAnalysisAttacher.visit_Associate()
    • DataflowAnalysisAttacher.visit_Loop()
    • DataflowAnalysisAttacher.visit_WhileLoop()
    • DataflowAnalysisAttacher.visit_Conditional()
    • DataflowAnalysisAttacher.visit_MultiConditional()
    • DataflowAnalysisAttacher.visit_TypeConditional()
    • DataflowAnalysisAttacher.visit_MaskedStatement()
    • DataflowAnalysisAttacher.visit_Assignment()
    • DataflowAnalysisAttacher.visit_ConditionalAssignment()
    • DataflowAnalysisAttacher.visit_CallStatement()
    • DataflowAnalysisAttacher.visit_Allocation()
    • DataflowAnalysisAttacher.visit_Deallocation()
    • DataflowAnalysisAttacher.visit_Nullify()
    • DataflowAnalysisAttacher.visit_Import()
    • DataflowAnalysisAttacher.visit_VariableDeclaration()
    • DataflowAnalysisAttacher.visit_StatementFunction()
  • DataflowAnalysisDetacher
    • DataflowAnalysisDetacher.visit_Node()
  • attach_dataflow_analysis()
  • detach_dataflow_analysis()
  • dataflow_analysis_attached()
  • FindReads
    • FindReads.visit()
    • FindReads.visit_object()
    • FindReads.visit_LeafNode()
    • FindReads.visit_Conditional()
    • FindReads.visit_Loop()
    • FindReads.visit_WhileLoop()
  • FindWrites
    • FindWrites.visit()
    • FindWrites.visit_object()
    • FindWrites.visit_LeafNode()
    • FindWrites.visit_Loop()
  • read_after_write_vars()
  • loop_carried_dependencies()
• loki.analyse.util_linear_algebra module
  • back_substitution()
  • generate_row_echelon_form()
  • is_independent_system()
  • yield_one_d_systems()
• loki.analyse.util_polyhedron module
  • Polyhedron
    • Polyhedron.A
    • Polyhedron.b
    • Polyhedron.variables
    • Polyhedron.is_empty()
    • Polyhedron.variable_to_index()
    • Polyhedron.lower_bounds()
    • Polyhedron.upper_bounds()
    • Polyhedron.generate_entries_for_lower_bound()
    • Polyhedron.from_loop_ranges()
    • Polyhedron.from_nested_loops()

Module contents

Advanced analysis utilities, such as dataflow analysis functionalities.