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/x86/instructions/x86Instr.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/x86/instructions/x86Instr.sml

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

revision 1003, Fri Dec 7 02:45:32 2001 UTC revision 1009, Wed Jan 9 19:44:22 2002 UTC
# Line 8  Line 8 
8  signature X86INSTR =  signature X86INSTR =
9  sig  sig
10     structure C : X86CELLS     structure C : X86CELLS
11     structure CB : CELLS_BASIS     structure CB : CELLS_BASIS = CellsBasis
12     structure T : MLTREE     structure T : MLTREE
13     structure Constant: CONSTANT     structure Constant: CONSTANT
14     structure Region : REGION     structure Region : REGION
# Line 255  Line 255 
255     | POP of operand     | POP of operand
256     | CDQ     | CDQ
257     | INTO     | INTO
    | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, tmp:operand option}  
    | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, tmp:operand option}  
258     | FBINARY of {binOp:fbinOp, src:operand, dst:operand}     | FBINARY of {binOp:fbinOp, src:operand, dst:operand}
259     | FIBINARY of {binOp:fibinOp, src:operand}     | FIBINARY of {binOp:fibinOp, src:operand}
260     | FUNARY of funOp     | FUNARY of funOp
# Line 299  Line 297 
297     and instruction =     and instruction =
298       LIVE of {regs: C.cellset, spilled: C.cellset}       LIVE of {regs: C.cellset, spilled: C.cellset}
299     | KILL of {regs: C.cellset, spilled: C.cellset}     | KILL of {regs: C.cellset, spilled: C.cellset}
300     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}     | COPY of {k: CellsBasis.cellkind,
301                  sz: int,          (* in bits *)
302                  dst: CellsBasis.cell list,
303                  src: CellsBasis.cell list,
304                  tmp: ea option (* NONE if |dst| = {src| = 1 *)}
305     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
306     | INSTR of instr     | INSTR of instr
307     val nop : instruction     val nop : instruction
# Line 334  Line 336 
336     val pop : operand -> instruction     val pop : operand -> instruction
337     val cdq : instruction     val cdq : instruction
338     val into : instruction     val into : instruction
    val copy : {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, tmp:operand option} -> instruction  
    val fcopy : {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, tmp:operand option} -> instruction  
339     val fbinary : {binOp:fbinOp, src:operand, dst:operand} -> instruction     val fbinary : {binOp:fbinOp, src:operand, dst:operand} -> instruction
340     val fibinary : {binOp:fibinOp, src:operand} -> instruction     val fibinary : {binOp:fibinOp, src:operand} -> instruction
341     val funary : funOp -> instruction     val funary : funOp -> instruction
# Line 626  Line 626 
626     | POP of operand     | POP of operand
627     | CDQ     | CDQ
628     | INTO     | INTO
    | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, tmp:operand option}  
    | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, tmp:operand option}  
629     | FBINARY of {binOp:fbinOp, src:operand, dst:operand}     | FBINARY of {binOp:fbinOp, src:operand, dst:operand}
630     | FIBINARY of {binOp:fibinOp, src:operand}     | FIBINARY of {binOp:fibinOp, src:operand}
631     | FUNARY of funOp     | FUNARY of funOp
# Line 670  Line 668 
668     and instruction =     and instruction =
669       LIVE of {regs: C.cellset, spilled: C.cellset}       LIVE of {regs: C.cellset, spilled: C.cellset}
670     | KILL of {regs: C.cellset, spilled: C.cellset}     | KILL of {regs: C.cellset, spilled: C.cellset}
671     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}     | COPY of {k: CellsBasis.cellkind,
672                  sz: int,          (* in bits *)
673                  dst: CellsBasis.cell list,
674                  src: CellsBasis.cell list,
675                  tmp: ea option (* NONE if |dst| = {src| = 1 *)}
676     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
677     | INSTR of instr     | INSTR of instr
678     val nop = INSTR NOP     val nop = INSTR NOP
# Line 704  Line 706 
706     and pop = INSTR o POP     and pop = INSTR o POP
707     and cdq = INSTR CDQ     and cdq = INSTR CDQ
708     and into = INSTR INTO     and into = INSTR INTO
    and copy = INSTR o COPY  
    and fcopy = INSTR o FCOPY  
709     and fbinary = INSTR o FBINARY     and fbinary = INSTR o FBINARY
710     and fibinary = INSTR o FIBINARY     and fibinary = INSTR o FIBINARY
711     and funary = INSTR o FUNARY     and funary = INSTR o FUNARY

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

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