X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Futils%2FPrimPacked.lhs;h=f2d034dcee619b86e0b92fd5fb78763130cdaf86;hb=2a2efb720c0fdc06fe749f96f284b00b30f8f3f7;hp=c3b62ed1b94442a82c7c5ac386a506cecd8dfd49;hpb=a124e8fced16f1e3e2639b17debef82b11e1d2c0;p=ghc-hetmet.git diff --git a/ghc/compiler/utils/PrimPacked.lhs b/ghc/compiler/utils/PrimPacked.lhs index c3b62ed..f2d034d 100644 --- a/ghc/compiler/utils/PrimPacked.lhs +++ b/ghc/compiler/utils/PrimPacked.lhs @@ -185,7 +185,7 @@ freeze_ps_array :: MBA s -> Int# -> ST s BA #if __GLASGOW_HASKELL__ < 411 #define NEW_BYTE_ARRAY newCharArray# #else -#define NEW_BYTE_ARRAY newByteArray# +#define NEW_BYTE_ARRAY newPinnedByteArray# #endif new_ps_array size = ST $ \ s -> @@ -208,34 +208,40 @@ Compare two equal-length strings for equality: \begin{code} eqStrPrefix :: Addr# -> ByteArray# -> Int# -> Bool eqStrPrefix a# barr# len# = - unsafePerformIO $ do + inlinePerformIO $ do x <- memcmp_ba a# barr# (I# len#) return (x == 0) #ifdef UNUSED eqCharStrPrefix :: Addr# -> Addr# -> Int# -> Bool eqCharStrPrefix a1# a2# len# = - unsafePerformIO $ do + inlinePerformIO $ do x <- memcmp a1# a2# (I# len#) return (x == 0) #endif eqStrPrefixBA :: ByteArray# -> ByteArray# -> Int# -> Int# -> Bool eqStrPrefixBA b1# b2# start# len# = - unsafePerformIO $ do + inlinePerformIO $ do x <- memcmp_baoff_ba b2# (I# start#) b1# (I# len#) return (x == 0) #ifdef UNUSED eqCharStrPrefixBA :: Addr# -> ByteArray# -> Int# -> Int# -> Bool eqCharStrPrefixBA a# b2# start# len# = - unsafePerformIO $ do + inlinePerformIO $ do x <- memcmp_baoff b2# (I# start#) a# (I# len#) return (x == 0) #endif \end{code} \begin{code} +-- Just like unsafePerformIO, but we inline it. This is safe when +-- there are no side effects, and improves performance. +{-# INLINE inlinePerformIO #-} +inlinePerformIO :: IO a -> a +inlinePerformIO (IO m) = case m realWorld# of (# _, r #) -> r + #if __GLASGOW_HASKELL__ <= 408 strLength (Ptr a#) = ghc_strlen a# foreign import ccall unsafe "ghc_strlen"