X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mate.git;a=blobdiff_plain;f=Mate.hs;h=2231a5818be418b39fd6499043eb15927ab9207a;hp=8e63fbf578132bd2c3afeeeae57700583c3fccd8;hb=HEAD;hpb=399b0642a76cf3ae0f1a654ba6466ea2ac7e9136 diff --git a/Mate.hs b/Mate.hs index 8e63fbf..2231a58 100644 --- a/Mate.hs +++ b/Mate.hs @@ -3,43 +3,72 @@ module Main where import System.Environment import Data.Char -import Data.String.Utils import Data.List +import Data.List.Split import qualified Data.ByteString.Lazy as B - -import Text.Printf +import Control.Monad import JVM.ClassFile -import JVM.Converter -import JVM.Dump +import Java.JAR import Mate.BasicBlocks -import Mate.X86CodeGen import Mate.MethodPool import Mate.Types import Mate.ClassPool +import Mate.NativeMachine +import Mate.Debug + +import Mate.GC.Boehm main :: IO () main = do args <- getArgs register_signal - initMethodPool - case args of - [clspath] -> do - let bclspath = B.pack $ map (fromIntegral . ord) clspath + parseArgs args False + +parseArgs :: [String] -> Bool -> IO () +parseArgs ("-jar":jarpath:_) stdcp = do + unless stdcp $ addClassPath "./" + addClassPathJAR jarpath + res <- readMainClass jarpath + case res of + Nothing -> error "JAR: no MainClass entry found. Try to pass the jar file via -cp instead." + Just mc -> do + let bclspath = B.pack . map (fromIntegral . ord) $ mc cls <- getClassFile bclspath - dumpClass cls - hmap <- parseMethod cls "main" - printMapBB hmap - case hmap of - Just hmap' -> do - let methods = classMethods cls; methods :: [Method Resolved] - let method = find (\x -> (methodName x) == "main") methods - case method of - Just m -> do - entry <- compileBB hmap' (MethodInfo "main" bclspath (methodSignature m)) - printf "executing `main' now:\n" - executeFuncPtr entry - Nothing -> error "main not found" - Nothing -> error "main not found" - _ -> error "Usage: mate " + executeMain bclspath cls + +parseArgs ("-cp":cps) cpset = parseArgs ("-classpath":cps) cpset +parseArgs ("-classpath":cps:xs) False = do + mapM_ addStuff $ splitOn ":" cps + parseArgs xs True + where + addStuff :: String -> IO () + addStuff x + | ".jar" `isSuffixOf` x = addClassPathJAR x + | otherwise = addClassPath $ x ++ "/" +parseArgs ("-classpath":xs) _ = parseArgs ("-":xs) True -- usage +parseArgs (('-':_):_) _ = error "Usage: mate [-cp|-classpath ] [ | -jar ]" +-- first argument which isn't prefixed by '-' should be a class file +parseArgs (clspath:_) stdcp = do + unless stdcp $ addClassPath "./" + let bclspath = B.pack . map (fromIntegral . ord) $ clspath + cls <- getClassFile bclspath + executeMain bclspath cls +parseArgs _ _ = parseArgs ["-"] False + + +executeMain :: B.ByteString -> Class Direct -> IO () +executeMain bclspath cls = do + initGC --required on some platforms. [todo bernhard: maybe this should be moved somewhere else - maybe at a global place where vm initialization takes place + + let methods = classMethods cls; methods :: [Method Direct] + case find (\x -> methodName x == "main") methods of + Just m -> do + let mi = MethodInfo "main" bclspath $ methodSignature m + rawmethod <- parseMethod cls "main" $ methodSignature m + entry <- compileBB mi rawmethod mi + addMethodRef entry mi [bclspath] + printfInfo "executing `main' now:\n" + executeFuncPtr $ fst entry + Nothing -> error "main not found"