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
|
(* instructions.sig
*
* COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies.
*
* This signature specifies the abstract view of an instruction.
*)
signature INSTRUCTIONS =
sig
structure C : CELLS
structure CB : CELLS_BASIS (* = CellsBasis *)
where type CellSet.cellset = CellsBasis.CellSet.cellset
and type 'a ColorTable.hash_table = 'a CellsBasis.ColorTable.hash_table
and type 'a HashTable.hash_table = 'a CellsBasis.HashTable.hash_table
and type SortedCells.sorted_cells = CellsBasis.SortedCells.sorted_cells
and type cell = CellsBasis.cell
and type cellColor = CellsBasis.cellColor
and type cellkind = CellsBasis.cellkind
and type cellkindDesc = CellsBasis.cellkindDesc
and type cellkindInfo = CellsBasis.cellkindInfo
type operand (* operands supported by architecture *)
type addressing_mode (* addressing mode *)
type ea (* effective address for accessing memory *)
type instr (* architecture instructions *)
datatype instruction = (* partially abstract *)
LIVE of {regs: C.cellset, spilled: C.cellset}
| KILL of {regs: C.cellset, spilled: C.cellset}
| COPY of
{k: CB.cellkind,
sz: int, (* in bits *)
dst: CB.cell list,
src: CB.cell list,
tmp: ea option (* = NONE if |dst| = |src| = 1 *)
}
| ANNOTATION of {i: instruction, a: Annotations.annotation}
| INSTR of instr
end
|
