summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Remember to substitute for type and coercion variables in the CSE passSimon Peyton Jones2011-07-271-11/+14
* Eliminate the GlomBinds passSimon Peyton Jones2011-07-272-47/+0
* Fix let-floating out of Rec blocksSimon Peyton Jones2011-07-271-3/+46
* The implementation of "weak loop breakers" was being too cleverSimon Peyton Jones2011-07-251-42/+58
* A nice tidy-up for CvSubst and liftCoSubstSimon Peyton Jones2011-07-231-3/+3
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-07-216-421/+527
|\
| * Eta expand partial applicationsSimon Peyton Jones2011-07-211-4/+24
| * Simplify the treatment of RULES in OccurAnalSimon Peyton Jones2011-07-214-373/+448
| * Comments and white spaceSimon Peyton Jones2011-07-211-1/+1
| * Improve debug printing for simplifier countsSimon Peyton Jones2011-07-212-43/+54
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-07-181-3/+13
|\ \ | |/
| * A bit of trace refactoringSimon Peyton Jones2011-07-151-3/+13
* | Delete some dead codeSimon Peyton Jones2011-07-151-13/+0
|/
* A second bite at the case-floating patchSimon Peyton Jones2011-06-301-38/+56
* Fix CSE to do substitution properlySimon Peyton Jones2011-06-301-64/+70
* Add case-floating to the float-out passSimon Peyton Jones2011-06-272-255/+342
* Get rid of the DFunArg type and all its worksSimon Peyton Jones2011-06-231-1/+1
* Add dynamically-linked plugins (see Trac #3843)Simon Peyton Jones2011-06-162-210/+349
* Added a pragma {-# NOVECTORISE f #-} that suppresses vectorisation of topleve...Manuel M T Chakravarty2011-06-131-6/+13
* Take vectorisation declarations into account during the initial occurrence an...Manuel M T Chakravarty2011-06-102-5/+6
* The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-125-65/+86
* Don't discard usage info from coercion bindings!Simon Peyton Jones2011-05-091-5/+0
* Merge remote branch 'origin/master' into ghc-new-coSimon Peyton Jones2011-04-302-7/+15
|\
| * Merge branch 'master' of /Users/benl/devel/ghc/ghc-headBen Lippmeier2011-04-271-4/+4
| |\
| | * Add pprDefiniteTrace and use itSimon Peyton Jones2011-04-201-4/+4
| * | Run a CSE pass after vectorisation. This cleans up common sub-expressions int...Ben Lippmeier2011-04-271-3/+11
| |/
* | This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-1910-163/+243
|/
* Really zap case-binder occurrence info: solves #5028Ian Lynagh2011-04-011-3/+2
* Fix Trac #5028: zap occ info when doing the binder swapsimonpj@microsoft.com2011-03-211-5/+20
* Make -fno-enable-rewrite-rules work properlysimonpj@microsoft.com2011-03-024-13/+17
* Added a VECTORISE pragmaManuel M T Chakravarty2011-02-202-14/+13
* Better case-of-case transformationsimonpj@microsoft.com2011-02-141-10/+48
* Don't make join points when the case has only one non-bottom alternativesimonpj@microsoft.com2011-02-011-8/+36
* Improve Simplifier and SpecConstr behavioursimonpj@microsoft.com2011-01-311-38/+57
* Fix Trac #3717 by making exprOkForSpeculation a bit cleverersimonpj@microsoft.com2011-01-251-36/+47
* Fix a buglet in postInlineUnconditionallysimonpj@microsoft.com2011-01-141-6/+21
* Make the occurrence analyser track preInlineUnconditionallysimonpj@microsoft.com2010-12-221-27/+58
* Add a simple arity analysersimonpj@microsoft.com2010-12-211-1/+94
* Miscellaneous tidying up and refactoringsimonpj@microsoft.com2010-12-211-29/+55
* Fix recursive superclasses (again). Fixes Trac #4809.simonpj@microsoft.com2010-12-131-1/+1
* Make the case-to-let transformation a little less eagersimonpj@microsoft.com2010-12-081-20/+26
* New flag -dddump-rule-rewritesRoman Leshchinskiy2010-11-271-3/+4
* Acutally, wild-card variables *can* have occurrencessimonpj@microsoft.com2010-11-261-2/+9
* Tidy up the handling of wild-card binders, and make Lint check itsimonpj@microsoft.com2010-11-261-5/+25
* Refactoring of the way that inlinings and rules are activatedsimonpj@microsoft.com2010-11-165-393/+236
* Some infrastruture for lambda-liftingsimonpj@microsoft.com2010-11-161-54/+72
* Occurrence analyser takes account of the phase when handing RULESsimonpj@microsoft.com2010-11-162-97/+169
* Two signficant changes to the simplifiersimonpj@microsoft.com2010-10-273-252/+298
* Refactoring and tidyup of HscMain and related things (also fix #1666)Simon Marlow2010-10-271-0/+1
* Fix a long-standing bug the float-out pass simonpj@microsoft.com2010-10-262-53/+42