summary refs log tree commit diff
path: root/source/mod_student/plugin.ml
blob: 26d15d0603bf0a8ffee69e22cbc09ac3faf93a98 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
open Xi_lib.Iface
open Xi_lib.Plugin
open Xi_lib.Plugin_register


module LexerAndParser = struct

  type token = Parser.token

  module Lexer = Lexer

  module Parser = Parser

end

module Plugin : PLUGIN = struct

  let version = "na"

  let make_live_variables_analysis = None

  let make_dominators_analysis = None

  let make_scheduler = None

  let make_natural_loops_analysis = None

  let make_spill_costs_analysis = None

  let lexer_and_parser = Some (module LexerAndParser : LEXER_AND_PARSER)

  let make_typechecker = None

  let make_translator = None

  let make_jump_threading = None

  let make_constant_folding = None

  let make_hilower = None

  let make_callconv = None

  let make_mipslower = None

  let make_register_allocator = None

  let make_constant_folding_analysis = None

  let make_codegen = None

  let make_dead_code_elimination = None

  let make_interference_graph_analysis = None

  let make_spilling = None

  let make_reachability_analysis = None
end

module RegisterMyPlugin = RegisterPlugin(Plugin)