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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 933, Wed Sep 19 19:31:19 2001 UTC revision 1003, Fri Dec 7 02:45:32 2001 UTC
# Line 4  Line 4 
4  signature INSTRUCTIONS =  signature INSTRUCTIONS =
5  sig  sig
6     structure C        : CELLS     structure C        : CELLS
7       structure CB  :CELLS_BASIS = CellsBasis
8     type operand         (* operand is abstract *)     type operand             (* operands supported by architecture *)
9     type ea              (* effective address is abstract *)     type ea              (* effective address for accessing memory *)
10     type addressing_mode (* addressing mode *)     type addressing_mode (* addressing mode *)
11     type instruction     (* instruction is also abstract  *)     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  end  end

Legend:
Removed from v.933  
changed lines
  Added in v.1003

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