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

View of /sml/trunk/src/MLRISC/x86/instructions/x86instr-ext.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 1053 - (download) (annotate)
Wed Feb 6 19:11:13 2002 UTC (19 years, 4 months ago) by george
File size: 577 byte(s)
   Pulled out various utility modules that were embedded in the modules
   of the register allocator. I need these modules for other purposes, but
   they are not complete enough to put into a library (just yet).
(* x86instr-ext.sml
 * COPYRIGHT (c) 2000 Bell Labs, Lucent Technologies
 * extensions to the x86 instruction set.

structure X86InstrExt = 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