Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler
http://hackage.haskell.org/trac/ghc/changeset/5d0863d4afd518853e6c80b55112038fb12627c3 >--------------------------------------------------------------- commit 5d0863d4afd518853e6c80b55112038fb12627c3 Author: Max Bolingbroke <batterseapo...@hotmail.com> Date: Sun Mar 11 20:07:37 2012 +0000 First draft of supercompilation nofib tests mk/ghc-opts.mk | 6 + supercompile/Makefile | 5 + supercompile/compile-time/ConcatMapSpec/Main.hs | 30 ++++ supercompile/compile-time/ConcatMapSpec/Makefile | 6 + supercompile/compile-time/Makefile | 5 + supercompile/compile-time/SimonSpec/Main.hs | 30 ++++ supercompile/compile-time/SimonSpec/Makefile | 6 + supercompile/contracts/Head-Contract/Main.hs | 12 ++ supercompile/contracts/Head-Contract/Makefile | 6 + .../contracts/IdList-SameLength-Koen/Main.hs | 166 ++++++++++++++++++++ .../contracts/IdList-SameLength-Koen/Makefile | 6 + supercompile/contracts/IdList-SameLength/Main.hs | 71 +++++++++ supercompile/contracts/IdList-SameLength/Makefile | 6 + supercompile/contracts/Last-Contract/Main.hs | 22 +++ supercompile/contracts/Last-Contract/Makefile | 6 + supercompile/contracts/Makefile | 5 + supercompile/contracts/Zip-Contract/Main.hs | 103 ++++++++++++ supercompile/contracts/Zip-Contract/Makefile | 6 + .../FilterMap-MapFilterCompose.stdout | 1 + .../ilya/FilterMap-MapFilterCompose/Main.hs | 15 ++ .../ilya/FilterMap-MapFilterCompose/Makefile | 6 + .../Iterate-MapIterate/Iterate-MapIterate.stdout | 1 + supercompile/ilya/Iterate-MapIterate/Main.hs | 13 ++ supercompile/ilya/Iterate-MapIterate/Makefile | 6 + .../LengthConcat-SumMapLength.stdout | 1 + .../ilya/LengthConcat-SumMapLength/Main.hs | 20 +++ .../ilya/LengthConcat-SumMapLength/Makefile | 6 + supercompile/ilya/Makefile | 5 + supercompile/ilya/Map-JoinComposeReturn/Main.hs | 16 ++ supercompile/ilya/Map-JoinComposeReturn/Makefile | 6 + .../Map-JoinComposeReturn.stdout | 1 + supercompile/ilya/MapAppend-AppendMapMap/Main.hs | 13 ++ supercompile/ilya/MapAppend-AppendMapMap/Makefile | 6 + .../MapAppend-AppendMapMap.stdout | 1 + supercompile/ilya/MapCompose-ComposeMapMap/Main.hs | 13 ++ .../ilya/MapCompose-ComposeMapMap/Makefile | 6 + .../MapCompose-ComposeMapMap.stdout | 1 + supercompile/ilya/MapConcat-ConcatMapMap/Main.hs | 14 ++ supercompile/ilya/MapConcat-ConcatMapMap/Makefile | 6 + .../MapConcat-ConcatMapMap.stdout | 1 + supercompile/jason/Explode/Explode.stdout | 1 + supercompile/jason/Explode/Main.hs | 11 ++ supercompile/jason/Explode/Makefile | 6 + supercompile/jason/Makefile | 5 + supercompile/neil/Makefile | 5 + supercompile/neil/SumSquare-LazySum/Main.hs | 11 ++ supercompile/neil/SumSquare-LazySum/Makefile | 6 + .../SumSquare-LazySum/SumSquare-LazySum.stdout | 1 + supercompile/neil/SumSquare/Main.hs | 8 + supercompile/neil/SumSquare/Makefile | 6 + supercompile/neil/SumSquare/SumSquare.stdout | 1 + supercompile/peter/Append/Append.stdout | 1 + supercompile/peter/Append/Main.hs | 12 ++ supercompile/peter/Append/Makefile | 10 ++ supercompile/peter/Factorial/Factorial.stdout | 1 + supercompile/peter/Factorial/Main.hs | 15 ++ supercompile/peter/Factorial/Makefile | 10 ++ supercompile/peter/Makefile | 5 + supercompile/peter/Raytracer/Main.hs | 12 ++ supercompile/peter/Raytracer/Makefile | 10 ++ supercompile/peter/Raytracer/Raytracer.stdout | 1 + supercompile/peter/SumTree/Main.hs | 30 ++++ supercompile/peter/SumTree/Makefile | 10 ++ supercompile/peter/SumTree/SumTree.stdout | 1 + supercompile/peter/TreeFlip/Main.hs | 26 +++ supercompile/peter/TreeFlip/Makefile | 10 ++ supercompile/peter/TreeFlip/TreeFlip.stdout | 1 + supercompile/peter/ZipMaps/Main.hs | 7 + supercompile/peter/ZipMaps/Makefile | 6 + supercompile/peter/ZipMaps/ZipMaps.stdout | 1 + supercompile/peter/ZipTreeMaps/Main.hs | 17 ++ supercompile/peter/ZipTreeMaps/Makefile | 6 + supercompile/peter/ZipTreeMaps/ZipTreeMaps.stdout | 1 + .../AccumulatingParam-Peano.stdout | 1 + supercompile/toys/AccumulatingParam-Peano/Main.hs | 51 ++++++ supercompile/toys/AccumulatingParam-Peano/Makefile | 10 ++ .../AccumulatingParam/AccumulatingParam.stdout | 1 + supercompile/toys/AccumulatingParam/Main.hs | 27 +++ supercompile/toys/AccumulatingParam/Makefile | 6 + supercompile/toys/Ackermann/Ackermann.stdout | 1 + supercompile/toys/Ackermann/Main.hs | 16 ++ supercompile/toys/Ackermann/Makefile | 10 ++ .../toys/AckermannPeano-1/AckermannPeano-1.stdout | 1 + supercompile/toys/AckermannPeano-1/Main.hs | 27 +++ supercompile/toys/AckermannPeano-1/Makefile | 6 + supercompile/toys/AckermannPeano-2/Main.hs | 73 +++++++++ supercompile/toys/AckermannPeano-2/Makefile | 6 + .../AppendAssociativity/AppendAssociativity.stdout | 0 supercompile/toys/AppendAssociativity/Main.hs | 11 ++ supercompile/toys/AppendAssociativity/Makefile | 6 + .../toys/AppendRightUnit/AppendRightUnit.stdout | 0 supercompile/toys/AppendRightUnit/Main.hs | 12 ++ supercompile/toys/AppendRightUnit/Makefile | 6 + .../toys/EvenDouble/EvenDouble.stdout | 0 supercompile/toys/EvenDouble/Main.hs | 16 ++ supercompile/toys/EvenDouble/Makefile | 6 + .../EvenDoubleGenerator/EvenDoubleGenerator.stdout | 0 supercompile/toys/EvenDoubleGenerator/Main.hs | 16 ++ supercompile/toys/EvenDoubleGenerator/Makefile | 6 + .../FoldlSpecialisation/FoldlSpecialisation.stdout | 1 + supercompile/toys/FoldlSpecialisation/Main.hs | 10 ++ supercompile/toys/FoldlSpecialisation/Makefile | 6 + .../Generalisation-Lazy/Generalisation-Lazy.stdout | 1 + supercompile/toys/Generalisation-Lazy/Main.hs | 13 ++ supercompile/toys/Generalisation-Lazy/Makefile | 6 + .../Generalisation-Literals-Lazy.stdout | 1 + .../toys/Generalisation-Literals-Lazy/Main.hs | 10 ++ .../toys/Generalisation-Literals-Lazy/Makefile | 6 + .../Generalisation-Literals.stdout | 1 + supercompile/toys/Generalisation-Literals/Main.hs | 10 ++ supercompile/toys/Generalisation-Literals/Makefile | 6 + .../toys/Generalisation/Generalisation.stdout | 1 + supercompile/toys/Generalisation/Main.hs | 13 ++ supercompile/toys/Generalisation/Makefile | 6 + .../toys/KMP/KMP.stdout | 0 supercompile/toys/KMP/Main.hs | 27 +++ supercompile/toys/KMP/Makefile | 6 + supercompile/toys/LetRec/LetRec.stdout | 1 + supercompile/toys/LetRec/Main.hs | 12 ++ supercompile/toys/LetRec/Makefile | 6 + supercompile/toys/Makefile | 5 + supercompile/toys/MapMapFusion/Main.hs | 14 ++ supercompile/toys/MapMapFusion/Makefile | 6 + supercompile/toys/MapMapFusion/MapMapFusion.stdout | 1 + supercompile/toys/ReverseReverse/Main.hs | 12 ++ supercompile/toys/ReverseReverse/Makefile | 6 + .../toys/ReverseReverse/ReverseReverse.stdout | 1 + supercompile/toys/SpeculationWorstCase/Main.hs | 64 ++++++++ supercompile/toys/SpeculationWorstCase/Makefile | 6 + .../SpeculationWorstCase.stdout | 1 + .../toys/StrictFoldlSpecialisation/Main.hs | 13 ++ .../toys/StrictFoldlSpecialisation/Makefile | 6 + .../StrictFoldlSpecialisation.stdout | 1 + 133 files changed, 1503 insertions(+), 0 deletions(-) Diff suppressed because of size. To see it, use: git show 5d0863d4afd518853e6c80b55112038fb12627c3 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc