import Harpy.X86Disassembler
import Mate.BasicBlocks
+import Mate.Types
import Mate.Utilities
+import Mate.ClassPool
foreign import ccall "dynamic"
code_int :: FunPtr (CInt -> CInt -> IO CInt) -> (CInt -> CInt -> IO CInt)
foreign import ccall "register_signal"
register_signal :: IO ()
-foreign import ccall "get_cmap"
- get_cmap :: IO (Ptr ())
-
-foreign import ccall "set_cmap"
- set_cmap :: Ptr () -> IO ()
-
test_01, test_02, test_03 :: IO ()
test_01 = do
register_signal
- (entry, end) <- testCase "./tests/Fib.class" "fib"
+ (entry, end) <- testCase "./tests/Fib" "fib"
let entryFuncPtr = ((castPtrToFunPtr entry) :: FunPtr (CInt -> CInt -> IO CInt))
mapM_ (\x -> do
test_02 = do
- (entry,_) <- testCase "./tests/While.class" "f"
+ (entry,_) <- testCase "./tests/While" "f"
let entryFuncPtr = ((castPtrToFunPtr entry) :: FunPtr (CInt -> CInt -> IO CInt))
result <- code_int entryFuncPtr 5 4
let iresult :: Int; iresult = fromIntegral result
test_03 = do
- (entry,_) <- testCase "./tests/While.class" "g"
+ (entry,_) <- testCase "./tests/While" "g"
let entryFuncPtr = ((castPtrToFunPtr entry) :: FunPtr (CInt -> CInt -> IO CInt))
result <- code_int entryFuncPtr 5 4
let iresult :: Int; iresult = fromIntegral result
printf "result of g(4,3): %3d\t\t%s\n" iresult2 kk2
-testCase :: String -> B.ByteString -> IO (Ptr Word8, Int)
+testCase :: B.ByteString -> B.ByteString -> IO (Ptr Word8, Int)
testCase cf method = do
- cls <- parseClassFile cf
+ cls <- getClassFile cf
hmap <- parseMethod cls method
printMapBB hmap
case hmap of
type CompileInfo = (EntryPoint, BBStarts, Int, CMap)
--- Word32 = point of method call in generated code
--- MethodInfo = relevant information about callee
-type CMap = M.Map Word32 MethodInfo
-
emitFromBB :: Class Resolved -> MapBB -> CodeGen e s (CompileInfo, [Instruction])
emitFromBB cls hmap = do
mov esp ebp
pop ebp
ret
- emit _ = do cmovbe eax eax -- dummy
+ emit invalid = error $ "insn not implemented yet: " ++ (show invalid)
cArgs x = (8 + 4 * (fromIntegral x))
cArgs_ x = (8 + 4 * case x of I0 -> 0; I1 -> 1; I2 -> 2; I3 -> 3)