Mate: exposed internal functions of BasicBlocks for external benchmarks

[mate.git] / scratch / ScratchHS.hs

diff --git a/scratch/ScratchHS.hs b/scratch/ScratchHS.hs
index 077ba00dc5728ac44ae5a1de0adbca46c564725a..3e0acaff450c237adbc462f19b1de412b0bf6edd 100644 (file)
--- a/scratch/ScratchHS.hs
+++ b/scratch/ScratchHS.hs
@@ -143,6 +143,22 @@ fib' = do con@(Just (ins,cls)) <- getMethodIO "../tests/Fac.class" "facFor"
           print "Final result"
           print $ printG' finalCyclicStructure
 
+main = do con@(Just (ins,cls)) <- getMethodIO "../tests/AbsurdlyHuge.class" "absurdlyHuge"
+          let tagged = getInstructions ins
+          let backRefs = splitBlocksBackRef tagged
+          let splitted = splitBlocks backRefs tagged
+          let transitions = getTransitions splitted
+          let nodes       = getNodes splitted
+          print "nodes:"
+          print nodes
+          print "transitions"
+          print transitions
+          let (Just finalCyclicStructure) = indirectCFGToG splitted
+          print "Final result"
+          print $ printG' finalCyclicStructure
+
+    
+
 
 diamant ::  G String
 diamant = let start = Node "a" left right