X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=Mate%2FMethodPool.hs;h=4be3cf2577a7764660e59c19b1a55d01c33c6c1a;hb=1d125225bf0257dcfcf415f94eb46e07daee2dbf;hp=c8cb0848499f9ab74c4b1b828397c218b7037107;hpb=62940aeb3ccd1dc9d6a24eac1449a90a2f69c601;p=mate.git diff --git a/Mate/MethodPool.hs b/Mate/MethodPool.hs index c8cb084..4be3cf2 100644 --- a/Mate/MethodPool.hs +++ b/Mate/MethodPool.hs @@ -32,10 +32,19 @@ import Mate.NativeMachine import Mate.ClassPool import Mate.Debug import Mate.Utilities +import Mate.Rts() foreign import ccall "dynamic" code_void :: FunPtr (IO ()) -> IO () +foreign import ccall "&demoInterfaceCall" + demoInterfaceCallAddr :: FunPtr (CUInt -> IO ()) + +foreign import ccall "&printMemoryUsage" + printMemoryUsageAddr :: FunPtr (IO ()) + +foreign import ccall "&loadLibrary" + loadLibraryAddr :: FunPtr (IO ()) getMethodEntry :: CPtrdiff -> CPtrdiff -> IO CPtrdiff getMethodEntry signal_from methodtable = do @@ -48,8 +57,7 @@ getMethodEntry signal_from methodtable = do let mi'@(MethodInfo method cm sig) = case mi of (StaticMethod x) -> x - (VirtualMethod _ (MethodInfo methname _ msig)) -> newMi methname msig - (InterfaceMethod _ (MethodInfo methname _ msig)) -> newMi methname msig + (VirtualCall _ (MethodInfo methname _ msig) _) -> newMi methname msig _ -> error "getMethodEntry: no TrapCause found. abort." where newMi mn = MethodInfo mn (vmap M.! fromIntegral methodtable) -- bernhard (TODO): doesn't work with gnu classpath at some point. didn't @@ -66,15 +74,27 @@ getMethodEntry signal_from methodtable = do let flags = methodAccessFlags mm' if S.member ACC_NATIVE flags then do - -- TODO(bernhard): cleaner please... *do'h* - let sym1 = replace "/" "_" $ toString cm - parenth = replace "(" "_" $ replace ")" "_" $ toString $ encode sig - sym2 = replace ";" "_" $ replace "/" "_" parenth - symbol = sym1 ++ "__" ++ toString method ++ "__" ++ sym2 - printfMp "native-call: symbol: %s\n" symbol - nf <- loadNativeFunction symbol - setMethodMap $ M.insert mi' nf mmap - return nf + let scm = toString cm; smethod = toString method + if scm == "jmate/lang/MateRuntime" then do + case smethod of + "loadLibrary" -> + return . funPtrToAddr $ loadLibraryAddr + "demoInterfaceCall" -> + return . funPtrToAddr $ demoInterfaceCallAddr + "printMemoryUsage" -> + return . funPtrToAddr $ printMemoryUsageAddr + _ -> + error $ "native-call: " ++ smethod ++ " not found." + else do + -- TODO(bernhard): cleaner please... *do'h* + let sym1 = replace "/" "_" scm + parenth = replace "(" "_" $ replace ")" "_" $ toString $ encode sig + sym2 = replace ";" "_" $ replace "/" "_" parenth + symbol = sym1 ++ "__" ++ smethod ++ "__" ++ sym2 + printfMp "native-call: symbol: %s\n" symbol + nf <- loadNativeFunction symbol + setMethodMap $ M.insert mi' nf mmap + return nf else do rawmethod <- parseMethod cls' method sig entry <- compileBB rawmethod (MethodInfo method (thisClass cls') sig) @@ -84,6 +104,9 @@ getMethodEntry signal_from methodtable = do Just w32 -> return w32 return $ fromIntegral entryaddr +funPtrToAddr :: Num b => FunPtr a -> b +funPtrToAddr = fromIntegral . ptrToIntPtr . castFunPtrToPtr + lookupMethodRecursive :: B.ByteString -> MethodSignature -> [B.ByteString] -> Class Direct -> IO (Maybe (Method Direct, [B.ByteString], Class Direct)) lookupMethodRecursive name sig clsnames cls = @@ -136,7 +159,8 @@ compileBB rawmethod methodinfo = do cls <- getClassFile (methClassName methodinfo) let ebb = emitFromBB cls rawmethod - (_, Right right) <- runCodeGen ebb () () + let cgconfig = defaultCodeGenConfig { codeBufferSize = fromIntegral $ (rawCodeLength rawmethod) * 32 } + (_, Right right) <- runCodeGenWithConfig ebb () () cgconfig let ((entry, _, _, new_tmap), _) = right setTrapMap $ tmap `M.union` new_tmap -- prefers elements in tmap