ScEpTIC

ScEpTIC Documentation

  • Install ScEpTIC
  • Target Program Compilation
  • ScEpTIC Configuration
  • System Model Configuration
  • Execute ScEpTIC Analysis
  • Analysis Example

ScEpTIC API Documentation

  • ScEpTIC
    • ScEpTIC package
      • Subpackages
        • ScEpTIC.AST package
        • ScEpTIC.analysis package
        • ScEpTIC.config package
        • ScEpTIC.emulator package
        • ScEpTIC.llvmir_parser package
      • Submodules
      • ScEpTIC.exceptions module
      • ScEpTIC.tools module
      • Module contents

ScEpTIC Previous Versions

  • EWSN 2021
  • ALFRED - SenSys 2021
ScEpTIC
  • ScEpTIC
  • ScEpTIC package
  • ScEpTIC.AST package
  • ScEpTIC.AST.register_allocation package
  • View page source

ScEpTIC.AST.register_allocation package

Subpackages

  • ScEpTIC.AST.register_allocation.linear_scan package
    • Submodules
    • ScEpTIC.AST.register_allocation.linear_scan.linear_scan module
      • LinearScanRegisterAllocator
        • LinearScanRegisterAllocator.append_alloca_operation()
        • LinearScanRegisterAllocator.append_load_operation()
        • LinearScanRegisterAllocator.append_store_operation()
        • LinearScanRegisterAllocator.do_call_post_processing()
        • LinearScanRegisterAllocator.do_call_pre_processing()
        • LinearScanRegisterAllocator.do_liveness_analysis()
        • LinearScanRegisterAllocator.do_register_allocation()
        • LinearScanRegisterAllocator.expire_old()
        • LinearScanRegisterAllocator.run_register_allocation()
        • LinearScanRegisterAllocator.spill_at()
        • LinearScanRegisterAllocator.spill_type
    • ScEpTIC.AST.register_allocation.linear_scan.register_operations module
      • RestoreRegistersOperation
        • RestoreRegistersOperation.get_val()
      • SaveRegistersOperation
        • SaveRegistersOperation.get_val()
    • ScEpTIC.AST.register_allocation.linear_scan.register_pool module
      • RegisterPool
        • RegisterPool.free_reg()
        • RegisterPool.get_reg()
    • Module contents
      • allocate_registers()
      • compute_registers_usage()

Module contents

ScEpTIC.AST.register_allocation.get_register_allocator(config)

Function that dynamically loads the requested register allocation module and returns its main function, to be used to perform it.

Previous Next

© Copyright 2019-2025, Andrea Maioli.

Built with Sphinx using a theme provided by Read the Docs.

Icons from www.flaticon.com.