From 036743d1d470d895bd5220a7e2b74b087faa6c39 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Mon, 29 Jun 1998 17:09:02 +0000
Subject: [PATCH] [project @ 1998-06-29 17:09:02 by sof] Added
 {index,read,Word}X*OffAddr functions

---
 ghc/lib/exts/Addr.lhs |  105 ++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 104 insertions(+), 1 deletion(-)

diff --git a/ghc/lib/exts/Addr.lhs b/ghc/lib/exts/Addr.lhs
index 28822b6..b9b789c 100644
--- a/ghc/lib/exts/Addr.lhs
+++ b/ghc/lib/exts/Addr.lhs
@@ -5,7 +5,110 @@
 \section[Addr]{Module @Addr@}
 
 \begin{code}
-module Addr ( module PrelAddr ) where
+module Addr 
+	( module PrelAddr
+	, module Word
+	, module Int
+	, module Addr 
+	    
+	) where
 
 import PrelAddr
+import PrelCCall  ( Word(..) )
+import PrelBase
+import Word	( indexWord8OffAddr,  indexWord16OffAddr
+		, indexWord32OffAddr, indexWord64OffAddr
+		, readWord8OffAddr,   readWord16OffAddr
+		, readWord32OffAddr,  readWord64OffAddr
+		, writeWord8OffAddr,  writeWord16OffAddr
+		, writeWord32OffAddr, writeWord64OffAddr
+		)
+
+import Int	( indexInt8OffAddr,  indexInt16OffAddr
+		, indexInt32OffAddr, indexInt64OffAddr
+		, readInt8OffAddr,   readInt16OffAddr
+		, readInt32OffAddr,  readInt64OffAddr
+		, writeInt8OffAddr,  writeInt16OffAddr
+		, writeInt32OffAddr, writeInt64OffAddr
+		)
+
+\end{code}
+
+Indexing immutable memory:
+
+\begin{code}
+indexCharOffAddr   :: Addr -> Int -> Char
+indexIntOffAddr    :: Addr -> Int -> Int
+indexWordOffAddr   :: Addr -> Int -> Word
+--in PrelAddr: indexAddrOffAddr   :: Addr -> Int -> Addr
+indexFloatOffAddr  :: Addr -> Int -> Float
+indexDoubleOffAddr :: Addr -> Int -> Double
+
+indexCharOffAddr (A# addr#) n
+  = case n  	    		    	of { I# n# ->
+    case indexCharOffAddr# addr# n# 	of { r# ->
+    (C# r#)}}
+
+indexIntOffAddr (A# addr#) n
+  = case n  	    		    	of { I# n# ->
+    case indexIntOffAddr# addr# n# 	of { r# ->
+    (I# r#)}}
+
+indexWordOffAddr (A# addr#) n
+  = case n  	    		    	of { I# n# ->
+    case indexWordOffAddr# addr# n# 	of { r# ->
+    (W# r#)}}
+
+indexFloatOffAddr (A# addr#) n
+  = case n  	    		    	of { I# n# ->
+    case indexFloatOffAddr# addr# n# 	of { r# ->
+    (F# r#)}}
+
+indexDoubleOffAddr (A# addr#) n
+  = case n  	    	 	    	of { I# n# ->
+    case indexDoubleOffAddr# addr# n# 	of { r# ->
+    (D# r#)}}
+\end{code}
+
+Indexing mutable memory:
+
+\begin{code}
+readCharOffAddr    :: Addr -> Int -> IO Char
+readCharOffAddr a i = _casm_ `` %r=(StgChar)(((StgChar*)%0)[(StgInt)%1]); '' a i
+
+readIntOffAddr    :: Addr -> Int -> IO Int
+readIntOffAddr a i = _casm_ `` %r=(StgInt)(((StgInt*)%0)[(StgInt)%1]); '' a i
+
+readWordOffAddr    :: Addr -> Int -> IO Word
+readWordOffAddr a i = _casm_ `` %r=(StgWord)(((StgWord*)%0)[(StgInt)%1]); '' a i
+
+readAddrOffAddr    :: Addr -> Int -> IO Addr
+readAddrOffAddr a i = _casm_ `` %r=(StgAddr)(((StgAddr*)%0)[(StgInt)%1]); '' a i
+
+readFloatOffAddr    :: Addr -> Int -> IO Float
+readFloatOffAddr a i = _casm_ `` %r=(StgFloat)(((StgFloat*)%0)[(StgInt)%1]); '' a i
+
+readDoubleOffAddr  :: Addr -> Int -> IO Double
+readDoubleOffAddr a i = _casm_ `` %r=(StgDouble)(((StgDouble*)%0)[(StgInt)%1]); '' a i
+\end{code}
+
+
+\begin{code}
+writeCharOffAddr   :: Addr -> Int -> Char   -> IO ()
+writeCharOffAddr a i e = _casm_ `` (((StgChar*)%0)[(StgInt)%1])=(StgChar)%2; '' a i e
+
+writeIntOffAddr    :: Addr -> Int -> Int    -> IO ()
+writeIntOffAddr a i e = _casm_ `` (((StgInt*)%0)[(StgInt)%1])=(StgInt)%2; '' a i e
+
+writeWordOffAddr    :: Addr -> Int -> Word  -> IO ()
+writeWordOffAddr a i e = _casm_ `` (((StgWord*)%0)[(StgInt)%1])=(StgWord)%2; '' a i e
+
+writeAddrOffAddr   :: Addr -> Int -> Addr   -> IO ()
+writeAddrOffAddr a i e = _casm_ `` (((StgAddr*)%0)[(StgInt)%1])=(StgAddr)%2; '' a i e
+
+writeFloatOffAddr  :: Addr -> Int -> Float  -> IO ()
+writeFloatOffAddr a i e = _casm_ `` (((StgFloat*)%0)[(StgInt)%1])=(StgFloat)%2; '' a i e
+
+writeDoubleOffAddr :: Addr -> Int -> Double -> IO ()
+writeDoubleOffAddr a i e = _casm_ `` (((StgDouble*)%0)[(StgInt)%1])=(StgDouble)%2; '' a i e
 \end{code}
-- 
1.7.10.4