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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/x86/instructions/x86instr-ext.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1053 - (view) (download)

1 : george 562 (* x86instr-ext.sml
2 :     *
3 :     * COPYRIGHT (c) 2000 Bell Labs, Lucent Technologies
4 :     *
5 :     * extensions to the x86 instruction set.
6 :     *)
7 :    
8 :     structure X86InstrExt = struct
9 :     datatype fsz = single | double | extended
10 :    
11 : george 600 datatype ('s, 'r, 'f, 'c) sext
12 :     (* push an integer value onto the H/W stack *)
13 : george 562 = PUSHL of 'r
14 : george 600 | POP of 'r
15 :    
16 :     (* FSTPS/L/T is a way of pulling things off the floating point
17 :     * stack and must therefore take FREG f as argument
18 :     *)
19 :     | FSTPS of 'f
20 :     | FSTPL of 'f
21 :     | FSTPT of 'f
22 :    
23 :     | LEAVE
24 :     | RET of 'r
25 : leunga 797
26 :     | LOCK_CMPXCHGL of ('r * 'r)
27 : george 1053
28 : george 562 end

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