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

Parent Directory | Revision Log | Patch

	revision 599, Wed Apr 5 18:35:02 2000 UTC	revision 600, Wed Apr 5 20:13:47 2000 UTC
#	Line 8	Line 8
8	structure X86InstrExt = struct	structure X86InstrExt = struct
9	datatype fsz = single | double | extended	datatype fsz = single | double | extended
10
11	datatype ('r, 'f) sext	datatype ('s, 'r, 'f, 'c) sext
12		(* push an integer value onto the H/W stack *)
13	= PUSHL of 'r	= PUSHL of 'r
14	(* push a 32 bit value onto the H/W stack *)	| POP of 'r
15	| PUSHf of {sz:fsz, fexp: 'f}
16	(* push a floating point value onto the H/W stack *)	(* 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	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.599   changed lines   Added in v.600

---

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