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

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/amd64/instructions/amd64instr-ext.sml
ViewVC logotype

View of /sml/trunk/src/MLRISC/amd64/instructions/amd64instr-ext.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2065 - (download) (annotate)
Thu Oct 5 15:09:16 2006 UTC (13 years ago) by mblume
File size: 583 byte(s)
added AMD64 stuff to MLRISC tree
(* amd64instr-ext.sml
 * COPYRIGHT (c) 2000 Bell Labs, Lucent Technologies
 * extensions to the amd64 instruction set.

structure AMD64InstrExt = struct
  datatype fsz = single | double | extended

  datatype ('s, 'r, 'f, 'c) sext 
    (* push an integer value onto the H/W stack *)
    = PUSHL of 'r
    | POP of 'r

    (* FSTPS/L/T is a way of pulling things off the floating point 
     * stack and must therefore take FREG f as argument 
    | FSTPS of 'f
    | FSTPL of 'f
    | FSTPT of 'f

    | LEAVE
    | RET of 'r

    | LOCK_CMPXCHGL of ('r * 'r)


ViewVC Help
Powered by ViewVC 1.0.0