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

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

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

sml/branches/SMLNJ/src/MLRISC/instructions/instructions.sig revision 411, Fri Sep 3 00:25:03 1999 UTC sml/trunk/src/MLRISC/instructions/instructions.sig revision 1013, Tue Jan 15 16:23:15 2002 UTC
# Line 1  Line 1 
1  (*  (* instructions.sig
2     *
3     * COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies.
4     *
5   *  This signature specifies the abstract view of an instruction.   *  This signature specifies the abstract view of an instruction.
6   *)   *)
7    
8  signature INSTRUCTIONS =  signature INSTRUCTIONS =
9  sig  sig
10     structure C        : CELLS     structure C        : CELLS
11     structure Constant : CONSTANT     structure CB  :CELLS_BASIS = CellsBasis
12       type operand             (* operands supported by architecture *)
13       type addressing_mode                        (* addressing mode *)
14       type ea              (* effective address for accessing memory *)
15       type instr                       (* architecture instructions  *)
16    
17     type operand     (* operand is abstract *)     datatype instruction =                   (* partially abstract *)
18     type ea          (* effective address is abstract *)         LIVE of {regs: C.cellset, spilled: C.cellset}
19     type instruction (* instruction is also abstract  *)       | KILL of {regs: C.cellset, spilled: C.cellset}
20         | 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         | ANNOTATION of {i: instruction, a: Annotations.annotation}
28         | INSTR of instr
29  end  end

Legend:
Removed from v.411  
changed lines
  Added in v.1013

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