HW3: LLVMlite compilation

To complete this project’s task, please read carefully the LVMlite specification. After that, follow the instructions in the backend.ml file of the project.

• LLVMlite Specification
  • Overview
  • Structure and Well-Formedness of Programs
    • Program Structure
    • Types
    • Named Types
    • Global Definitions
    • Operands
    • Instructions and Terminators
    • Getelementptr Well-Formedness and Result Type
    • Blocks, CFGs, and Function Definitions
  • Abstract Machine
    • Simple and Memory Values
    • Machine Configurations
    • Machine Execution
    • Instructions
    • Initial Configurations
    • GEP Indexing
• Project Task
  • Overview
  • Getting Started
  • Preliminary Steps
  • LLVM Lite Specification
  • Implementing the Compiler
  • Testing and Debugging Strategies
  • Graded Test Cases
  • Grading