CVS: sml-dist primop-list,1.1.2.12,1.1.2.13
David MacQueen <[email protected]> Thu, 13 Jul 2006 15:28:05 -0700
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv24709
Modified Files:
Tag: primop-branch-2
primop-list
Log Message:
further specification of types of InLine bindings
Index: primop-list
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/primop-list,v
retrieving revision 1.1.2.12
retrieving revision 1.1.2.13
diff -C2 -d -r1.1.2.12 -r1.1.2.13
*** primop-list 13 Jul 2006 20:12:25 -0000 1.1.2.12
--- primop-list 13 Jul 2006 22:28:03 -0000 1.1.2.13
***************
*** 415,421 ****
--- 415,423 ----
107 w64p, P.CVT64, word64 -> word32 * word32
InlineT.Word64.extern : word64 -> word32 * word32
+ CoreWord64.extern : word64 -> word32 * word32
108 p64w, P.CVT64, word32 * word32 -> word64
InlineT.Word64.intern : word32 * word32 -> word64
+ CoreWord64.intern : word64 -> word32 * word32
109 i64p, P.CVT64, int64 -> word32 * word32
***************
*** 921,940 ****
--- 923,975 ----
(* experimental C FFI primops *)
289 raww8l, P.RAW_LOAD (P.UINT 8), word32 -> word32
+ RawMemInlineT.w8l : word32 -> word32
+
290 rawi8l, P.RAW_LOAD (P.INT 8), word32 -> int32
+ RawMemInlineT.i8l : word32 -> int32
+
291 raww16l, P.RAW_LOAD (P.UINT 16), word32 -> word32
+ RawMemInlineT.w16l : word32 -> word32
+
292 rawi16l, P.RAW_LOAD (P.INT 16), word32 -> int32
+ RawMemInlineT.i16l : word32 -> int32
+
293 raww32l, P.RAW_LOAD (P.UINT 32), word32 -> word32
+ RawMemInlineT.w32l : word32 -> word32
+
294 rawi32l, P.RAW_LOAD (P.INT 32), word32 -> int32
+ RawMemInlineT.i32l : word32 -> int32
+
295 rawf32l, P.RAW_LOAD (P.FLOAT 32), word32 -> real
+ RawMemInlineT.f32l : word32 -> real
+
296 rawf64l, P.RAW_LOAD (P.FLOAT 64), word32 -> real
+ RawMemInlineT.w64l : word32 -> real
+
297 raww8s, P.RAW_STORE (P.UINT 8), word32 * word32 -> unit
+ RawMemInlineT.w8s : word32 * word32 -> unit
+
298 rawi8s, P.RAW_STORE (P.INT 8), word32 * int32 -> unit
+ RawMemInlineT.i8s : word32 * int32 -> unit
+
299 raww16s, P.RAW_STORE (P.UINT 16), word32 * word32 -> unit
+ RawMemInlineT.w16s : word32 * word32 -> unit
+
300 rawi16s, P.RAW_STORE (P.INT 16), word32 * int32 -> unit
+ RawMemInlineT.i16s : word32 * int32 -> unit
+
301 raww32s, P.RAW_STORE (P.UINT 32), word32 * word32 -> unit
+ RawMemInlineT.w32s : word32 * word32 -> unit
+
302 rawi32s, P.RAW_STORE (P.INT 32), word32 * int32 -> unit
+ RawMemInlineT.i32s : word32 * int32 -> unit
+
303 rawf32s, P.RAW_STORE (P.FLOAT 32), word32 * real -> unit
+ RawMemInlineT.f32s : word32 * real -> unit
+
304 rawf64s, P.RAW_STORE (P.FLOAT 64), word32 * real -> unit
+ RawMemInlineT.f64s : word32 * real -> unit
+
305 rawccall, P.RAW_CCALL NONE, word32 * 'a * 'b -> 'c
+ RawMemInlineT.rawccall : word32 * 'a * 'b -> 'c
(* Support for direct construction of C objects on ML heap.
***************
*** 947,969 ****
--- 982,1037 ----
*)
306 rawrecord, P.RAW_RECORD{fblock = false}, int -> 'a
+ RawMemInlineT.rawrecord : int -> 'a
+
307 rawrecord64, P.RAW_RECORD{fblock = true}, int -> 'a
+ RawMemInlineT.rawrecord64 : int -> 'a
308 rawselectw8, P.RAW_LOAD (P.UINT 8), 'a * word32 -> word32
+ RawMemInlineT.subw8 : 'a * word32 -> word32
+
309 rawselecti8, P.RAW_LOAD (P.INT 8), 'a * word32 -> int32
+ RawMemInlineT.subi8 : 'a * word32 -> int32
+
310 rawselectw16, P.RAW_LOAD (P.UINT 16), 'a * word32 -> word32
+ RawMemInlineT.subw16 : 'a * word32 -> word32
+
311 rawselecti16, P.RAW_LOAD (P.INT 16), 'a * word32 -> int32
+ RawMemInlineT.subi16 : 'a * word32 -> int32
+
312 rawselectw32, P.RAW_LOAD (P.UINT 32), 'a * word32 -> word32
+ RawMemInlineT.subw32 : 'a * word32 -> word32
+
313 rawselecti32, P.RAW_LOAD (P.INT 32), 'a * word32 -> int32
+ RawMemInlineT.subi32 : 'a * word32 -> int32
+
314 rawselectf32, P.RAW_LOAD (P.FLOAT 32), 'a * word32 -> real
+ RawMemInlineT.subf32 : 'a * word32 -> real
+
315 rawselectf64, P.RAW_LOAD (P.FLOAT 64), 'a * word32 -> real
+ RawMemInlineT.subf64 : 'a * word32 -> real
316 rawupdatew8, P.RAW_STORE (P.UINT 8), 'a * word32 * word32 -> unit
+ RawMemInlineT.updw8 : 'a * word32 * word32 -> unit
+
317 rawupdatei8, P.RAW_STORE (P.INT 8), 'a * word32 * int32 -> unit
+ RawMemInlineT.updi8 : 'a * word32 * int32 -> unit
+
318 rawupdatew16, P.RAW_STORE (P.UINT 16), 'a * word32 * word32 -> unit
+ RawMemInlineT.updw16 : 'a * word32 * word32 -> unit
+
319 rawupdatei16, P.RAW_STORE (P.INT 16), 'a * word32 * int32 -> unit
+ RawMemInlineT.updi16 : 'a * word32 * int32 -> unit
+
320 rawupdatew32, P.RAW_STORE (P.UINT 32), 'a * word32 * word32 -> unit
+ RawMemInlineT.updw32 : 'a * word32 * word32 -> unit
+
321 rawupdatei32, P.RAW_STORE (P.INT 32), 'a * word32 * int32 -> unit
+ RawMemInlineT.updi32 : 'a * word32 * int32 -> unit
+
322 rawupdatef32, P.RAW_STORE (P.FLOAT 32), 'a * word32 * real -> unit
+ RawMemInlineT.updf32 : 'a * word32 * real -> unit
+
323 rawupdatef64, P.RAW_STORE (P.FLOAT 64), 'a * word32 * real -> unit
+ RawMemInlineT.updf64 : 'a * word32 * real -> unit
(* InlineT also defines some primops using Assembly such as
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642