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 /sml/trunk/src/MLRISC/instructions/instructions.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/instructions/instructions.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 411 (*
2 :     * This signature specifies the abstract view of an instruction.
3 : monnier 245 *)
4 : monnier 411 signature INSTRUCTIONS =
5 :     sig
6 : george 1003 structure C : CELLS
7 :     structure CB :CELLS_BASIS = CellsBasis
8 :     type operand (* operands supported by architecture *)
9 :     type ea (* effective address for accessing memory *)
10 :     type addressing_mode (* addressing mode *)
11 :     type instr (* architecture instructions *)
12 :    
13 :     datatype instruction = (* partially abstract *)
14 :     LIVE of {regs: C.cellset, spilled: C.cellset}
15 :     | KILL of {regs: C.cellset, spilled: C.cellset}
16 :     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
17 :     | ANNOTATION of {i: instruction, a: Annotations.annotation}
18 :     | INSTR of instr
19 : monnier 245 end

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