search

StrongerXi / soc

Compiler for a subset of OCaml
1 stars 0 forks source link

Liveness analysis #19

Closed StrongerXi closed 3 years ago

StrongerXi commented 3 years ago

  1. A Vasm module to represent virtual or abstract assembly instructions. Why?

    • We can use it to build control flow graph for different ISAs, e.g., X86, MIPS, etc.
    • We can use it to implement a general register allocator for different ISAs.
    • Might be able to add optimization on top of it later.

  2. A Liveness_analysis module mainly for register allocation later.