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 797 - (download) (annotate)
Fri Mar 16 00:00:17 2001 UTC (18 years, 8 months ago) by leunga
File size: 576 byte(s)

   x86 optimizations for x := x op y where x is a memory location.
(* 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