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
62
63
64
65
66
67
68
69
70
71
72
73
|
structure Alpha32MLTree =
MLTreeF(structure Constant=SMLNJConstant
structure Region=CPSRegions
structure Extension=SMLNJMLTreeExt
)
structure Alpha32MLTreeEval =
MLTreeEval
(structure T = Alpha32MLTree
fun eq _ _ = false
val eqRext = eq val eqFext = eq
val eqCCext = eq val eqSext = eq)
structure Alpha32MLTreeHash =
MLTreeHash
(structure T = Alpha32MLTree
fun h _ _ = 0w0
val hashRext = h val hashFext = h
val hashCCext = h val hashSext = h)
structure Alpha32GasPseudoOps =
AlphaGasPseudoOps(structure T=Alpha32MLTree
structure MLTreeEval = Alpha32MLTreeEval)
structure Alpha32ClientPseudoOps =
SMLNJPseudoOps(structure Asm = Alpha32GasPseudoOps)
structure Alpha32PseudoOps = PseudoOps(structure Client=Alpha32ClientPseudoOps)
structure Alpha32Stream = InstructionStream(Alpha32PseudoOps)
structure Alpha32MLTreeStream =
MLTreeStream
(structure T = Alpha32MLTree
structure S = Alpha32Stream)
(* specialised alpha32 instruction set *)
structure Alpha32Instr = AlphaInstr(Alpha32MLTree)
structure Alpha32Props =
AlphaProps(structure Instr=Alpha32Instr
structure MLTreeHash=Alpha32MLTreeHash
structure MLTreeEval=Alpha32MLTreeEval)
structure Alpha32Shuffle = AlphaShuffle(Alpha32Instr)
structure Alpha32AsmEmitter=
AlphaAsmEmitter(structure Instr=Alpha32Instr
structure PseudoOps=Alpha32PseudoOps
structure Stream=Alpha32Stream
structure Shuffle = Alpha32Shuffle
structure MLTreeEval=Alpha32MLTreeEval
structure S=Alpha32Stream)
structure Alpha32MCEmitter =
AlphaMCEmitter(structure Instr=Alpha32Instr
structure PseudoOps=Alpha32PseudoOps
structure MLTreeEval=Alpha32MLTreeEval
structure Stream=Alpha32Stream
structure CodeString=CodeString)
structure Alpha32PseudoInstrs = Alpha32PseudoInstrs(Alpha32Instr)
(* Flowgraph data structure specialized to DEC alpha instructions *)
structure Alpha32CFG =
ControlFlowGraph
(structure I = Alpha32Instr
structure PseudoOps = Alpha32PseudoOps
structure GraphImpl = DirectedGraph
structure InsnProps = Alpha32Props
structure Asm = Alpha32AsmEmitter)
|
