From b798ac29c37299b2f761243ae92ab8f7c4c4d7f1 Mon Sep 17 00:00:00 2001
From: Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>
Date: Tue, 30 Oct 2018 15:32:56 +0100
Subject: Initial commit

---
 source/xi_lib/iface.ml | 199 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 199 insertions(+)
 create mode 100644 source/xi_lib/iface.ml

(limited to 'source/xi_lib/iface.ml')

diff --git a/source/xi_lib/iface.ml b/source/xi_lib/iface.ml
new file mode 100644
index 0000000..b67a787
--- /dev/null
+++ b/source/xi_lib/iface.ml
@@ -0,0 +1,199 @@
+
+type node2type = (Ast.node_tag, Types.normal_type) Hashtbl.t
+
+type schedule = (Ir.procedure, Ir.label list) Hashtbl.t
+
+type register_mapping = (Ir.reg, Ir.reg) Hashtbl.t
+
+
+module type LEXER = sig
+
+  type token
+
+  val token: Lexing.lexbuf -> token
+
+end
+
+module type PARSER = sig
+
+  type token
+
+  exception Error
+
+  val file: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.module_definition
+
+end
+
+module type LEXER_AND_PARSER = sig
+
+  type token
+
+  module Lexer: LEXER with type token = token
+
+  module Parser: PARSER with type token = token
+
+end
+
+module type TYPECHECKER = sig
+
+  val check_module: Ast.module_definition -> (node2type, Typechecker_errors.type_checking_error list) result
+
+end
+
+module type TRANSLATOR = sig
+
+  val translate_module: Ast.module_definition -> node2type -> Ir.program
+
+end
+
+module type HI_LOWER = sig
+
+  val lower: Ir.procedure -> unit
+
+end
+
+module type MIPS_LOWER = sig
+
+  val lower: Ir.procedure -> unit
+
+end
+
+module type CALLCONV = sig
+
+  val callconv: Ir.procedure -> unit
+
+end
+
+module type REGISTER_ALLOCATOR = sig
+
+  val regalloc: Ir.procedure -> register_mapping
+
+end
+
+module type CODEGEN = sig
+
+  val codegen: schedule -> Ir.program -> Mips32.program
+
+end
+
+module type LIVE_VARIABLES_ANALYSIS = sig
+
+  val analyse: Ir.ControlFlowGraph.t -> Analysis_domain.LiveVariables.table
+end
+
+module type REACHABILITY_ANALYSIS = sig
+
+  val analyse: Ir.ControlFlowGraph.t -> Analysis_domain.ReachabilityAnalysis.table
+
+end
+
+module type CONSTANT_FOLDING_ANALYSIS = sig
+
+  val analyse: Ir.procedure -> Analysis_domain.ConstantFolding.table
+
+end
+
+module type JUMP_THREADING = sig
+
+  val jump_threading: Ir.procedure -> unit
+
+end
+
+module type CONSTANT_FOLDING = sig
+
+  val fold_constants: Ir.procedure -> unit
+
+end
+
+module type DEAD_CODE_ELIMINATION = sig
+
+  val eliminate_dead_code: Ir.procedure -> unit
+
+end
+
+module type DOMINATORS_ANALYSIS = sig
+
+  val analyse: Ir.ControlFlowGraph.t -> Analysis_domain.DominatorsAnalysis.table
+
+end
+
+module type NATURAL_LOOPS_ANALYSIS = sig
+
+  val analyse: Ir.ControlFlowGraph.t -> Analysis_domain.DominatorsAnalysis.table -> Analysis_domain.NaturalLoops.table
+
+end
+
+module type SCHEDULER = sig
+
+  val schedule: Ir.program -> schedule
+
+end
+
+module type SPILL_COSTS_ANALYSIS = sig
+
+  val analyse: Ir.ControlFlowGraph.t -> Analysis_domain.NaturalLoops.table -> (Ir.reg, int) Hashtbl.t
+
+end
+
+module type INTERFERENCE_GRAPH_ANALYSIS = sig
+
+  val analyse: Ir.ControlFlowGraph.t ->  Analysis_domain.LiveVariables.table -> Ir.RegGraph.t
+
+end
+
+module type SPILLING = sig
+
+  val spill: Ir.procedure -> Ir.reg list -> unit
+
+end
+
+module type COMPILER_TOOLBOX = sig
+
+  module LiveVariablesAnalysis : LIVE_VARIABLES_ANALYSIS
+
+  module DominatorsAnalysis : DOMINATORS_ANALYSIS
+
+  module NaturalLoopsAnalysis : NATURAL_LOOPS_ANALYSIS
+
+  module SpillCostsAnalysis : SPILL_COSTS_ANALYSIS
+
+  module Scheduler: SCHEDULER
+
+  module RegistersDescription : Ir_arch.REGISTERS_DESCRIPTION
+
+  module ConstantFoldingAnalysis : CONSTANT_FOLDING_ANALYSIS
+
+  module InterferenceGraphAnalysis : INTERFERENCE_GRAPH_ANALYSIS
+
+  module Spilling : SPILLING
+
+  module ReachabilityAnalysis : REACHABILITY_ANALYSIS
+end
+
+
+module type COMPILER_STEPS = sig
+
+  module Toolbox: COMPILER_TOOLBOX
+
+  module LexerAndParser: LEXER_AND_PARSER
+
+  module Typechecker: TYPECHECKER
+
+  module Translator: TRANSLATOR
+
+  module JumpThreading: JUMP_THREADING
+
+  module ConstantFolding: CONSTANT_FOLDING
+
+  module HiLower: HI_LOWER
+
+  module CallConv: CALLCONV
+
+  module MipsLower: MIPS_LOWER
+
+  module RegisterAllocator: REGISTER_ALLOCATOR
+
+  module Codegen: CODEGEN
+
+  module DeadCodeElimination: DEAD_CODE_ELIMINATION
+end
-- 
cgit 1.4.1