Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /MLRISC/releases/release-110.60/instructions/instructions.sig
ViewVC logotype

Annotation of /MLRISC/releases/release-110.60/instructions/instructions.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2203 - (view) (download) (as text)

1 : jhr 1013 (* instructions.sig
2 :     *
3 :     * COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies.
4 :     *
5 : monnier 411 * This signature specifies the abstract view of an instruction.
6 : monnier 245 *)
7 : jhr 1013
8 : monnier 411 signature INSTRUCTIONS =
9 :     sig
10 : george 1003 structure C : CELLS
11 :     structure CB :CELLS_BASIS = CellsBasis
12 :     type operand (* operands supported by architecture *)
13 : george 1009 type addressing_mode (* addressing mode *)
14 : george 1003 type ea (* effective address for accessing memory *)
15 :     type instr (* architecture instructions *)
16 :    
17 :     datatype instruction = (* partially abstract *)
18 :     LIVE of {regs: C.cellset, spilled: C.cellset}
19 :     | KILL of {regs: C.cellset, spilled: C.cellset}
20 : george 1009 | COPY of
21 :     {k: CB.cellkind,
22 :     sz: int, (* in bits *)
23 :     dst: CB.cell list,
24 :     src: CB.cell list,
25 :     tmp: ea option (* = NONE if |dst| = |src| = 1 *)
26 :     }
27 : george 1003 | ANNOTATION of {i: instruction, a: Annotations.annotation}
28 :     | INSTR of instr
29 : monnier 245 end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0