-ddump-hi-diffs shouldn't imply -fforce-recomp, that defeats the purpose

Added comment to the Cmm parser showing code for use one CPS is enabled

Eliminated use of 'fromJust' from the CPS pass

Fixed a bug in the CPS pass

Updated the call to the CPS pass for the factoring out of cmmToRawCmm
That call was and is commented out, but it serves as documentation
for when the CPS pass will be turned on.

Added support for GC block declaration to the Cmm syntax

Ensure no statements after CmmReturn are emitted

FIX BUILD (Windows)

Vectorise unlifted and tuple tycons

Vectorisation of types

Add TyCons to vectorisation  monad

Vectorisation monad

Add ndp docs

Include vectorisation into the simplifier pipeline

Add vectorise subdirectory and dummy module

Add -fvectorise

Add NDP-related PrelNames

Make package ndp wired-in

FIX BUILD (OS X): Include correct gmp.h if using GMP.framework

On OS X, we have to #include <GMP/gmp.h> if we are using GMP.framework. Before
the recent GMP changes, gcc (incorrectly) used the gmp.h supplied by ghc but
that is gone now.

hpc is now a corelib, so always build it

Update the in-tree GMP; fixes trac #832
gmp is now in a top-level directory and we only have the tarball in the
darcs repo. It gets untarred if it is needed.

FIX BUILD (with GHC 6.2.x): System.Directory.Internals is no more
Update functions in Compat.Directory from originals in System.Directory

Warning Police

Tidy up IsIrred (no need for argument any more)

Fix Trace #1494

A tricky bug to do with the way the implication constraints are
solved in TcSimplify.  See Note [Reducing implication constraints].

The standard SUBDIRS in the top level Makefile should include libraries

Remove mapAccumL, mapAccumR, mapAccumB
mapAccumL and mapAccumR are in Data.List now.
mapAccumB is unused.

Remove the unused "Eager monad"

Add a type signature

Remove unused functions (applyToPair, applyToFst, applyToSnd)

Remove unused cfst (== const)

Remove prefixMatch and suffixMatch from Util
Use standard isPrefixOf/isSuffixOf instead.

Use $(HC), not $(GHC) to compile ghc-inplace

$(GHC) is always the installed compiler, $(HC) changes depending on
the stage.  This has the nice effect that we build stage2/ghc-inplace
using the stage1 compiler, and get to take advantage of bugfixes in
stage1 relative to $(GHC) (in particular I want the non-blocking stdin
fix for stage2, otherwise piping the testsuite output through tee
fails).

We don't need a SIGCONT handler any more
The SIGCONT handler was used to put stdin back in O_NONBLOCK mode,
after the process is resumed, but we don't want to do that now: the
standard handles are kept in blocking mode.

Add first cut of the validate script

Added support for update frames to the CPS pass
(This required a bit of refactoring of CmmInfo.)

Fix error message in CPS pass

Factor cmmToRawCmm completely out of CPS
This patch also fixes how the CPS handles functions with an empty body.
Factoring cmmToRawCmm out of the CPS pass made that fix easier.

Remove dead code in the CPS pass

Minor formatting cleanup.

Moved 'continuationToProc' into a separate file, 'CmmCPSGen.hs'.

Finished support for foreign calls in the CPS pass

Multiple improvements to CPS algorithm.
These include:
 - Stack size detection now includes function arguments.
 - Stack size detection now avoids stack checks just because of
   the GC block.
 - A CmmCall followed by a CmmBranch will no longer generate an extra
   continuation consisting just of the brach.
 - Multiple CmmCall/CmmBranch pairs that all go to the same place
   will try to use the same continuation.  If they can't (because
   the return value signature is different), adaptor block are built.
 - Function entry statements are now in a separate block.
   (Fixed bug with branches to the entry block having unintended effects.)
 - Other changes that I can't recall right now.

Allow safety information on calls in Cmm files

FIX BUILD (Windows): catch up with changes to .cmm syntax

Improve formatting of errors, and fix a typo

Fix for function info tables: the SRT field cannot be omitted if there are fields following it

pprTypeInfo: print slow entry pt

fix compilation for x86_64

Fix stack check amount for user declared continuation functions

Remove unused parameter in force_gc_block for CPS

Fix a bug in the Cmm parser where formal params didn't get bound

Make CPS account for on-stack arguments when doing the stack check

Comment and formatting updates for the CPS pass

Fix typo from amend-record

Implemented and fixed bugs in CmmInfo handling

Formatting only

Added stack checks to the CPS algorithm

This eliminates one of the panics introduced by
the previous patch:
'First pass at implementing info tables for CPS'

The other panic introduced by that patch still remains.
It was due to the need to convert from a
  ContinuationInfo to a CmmInfo.
  (codeGen/CgInfoTbls.hs:emitClosureCodeAndInfoTable)
  (codeGen/CgInfoTbls.hs:emitReturnTarget)

First pass at implementing info tables for CPS

This is a fairly complete implementation, however
two 'panic's have been placed in the critical path
where the implementation is still a bit lacking so
do not expect it to run quite yet.

One call to panic is because we still need to create
a GC block for procedures that don't have them yet.
(cmm/CmmCPS.hs:continuationToProc)

The other is due to the need to convert from a
ContinuationInfo to a CmmInfo.
(codeGen/CgInfoTbls.hs:emitClosureCodeAndInfoTable)
(codeGen/CgInfoTbls.hs:emitReturnTarget)

Added an SRT to each CmmCall and added the current SRT to the CgMonad

Added pointerhood to LocalReg
This version should compile but is still incomplete as it introduces
potential bugs at the places marked 'TODO FIXME NOW'.
It is being recorded to help keep track of changes.

Fix bug relating to the return values of prim ops
The return values were getting put in a LocalReg
but that LocalReg needed to be stored into the enclosing
expression's return register (e.g. R1).

Removed trailing whitespace

Fixed typo in comment

Add forgotten compiler/cmm/CmmInfo.hs

Add formal parameters to the Cmm parser
This patch is incomplete and will probably not compile by itself
but it is being recorded to help keep track of later changes.

Minor comment update

Changed C-- parser to allow multiple return values

Added early draft of parameter passing to the CPS converter

Minor code cleanup

Fix bug with proc-point detection (only a temporary fix)

Move global register saving from the backend to codeGen (CPS specific parts)

Moved global register saving from the backend to codeGen

This frees the Cmm data type from keeping a list of live global registers
in CmmCall which helps prepare for the CPS conversion phase.

CPS conversion does its own liveness analysis and takes input that should
not directly refer to parameter registers (e.g. R1, F5, D3, L2).  Since
these are the only things which could occur in the live global register
list, CPS conversion makes that field of the CmmCall constructor obsolite.

Once the CPS conversion pass is fully implemented, global register saving
will move from codeGen into the CPS pass.  Until then, this patch
is worth scrutinizing and testing to ensure it doesn't cause any performance
or correctness problems as the code passed to the backends by the CPS
converting will look very similar to the code that this patch makes codeGen
pass to the backend.

Formatting changes for CPS code.

Formatted documentation for compiler/cmm/Dataflow.hs

Renamed CmmCPSData to CmmBrokenBlock and documented it

Minor re-organizing of compiler/cmm/CmmCPS.hs

Fixed missing '#include "HsVersions.h"'

Factored proc-point analysis into separate file (compiler/cmm/CmmProcPoint)

Removed an older version of selectStackFormat

Refined the handling of stack frame headers

Misc. cleanups to CPS converter

Fixed CPS converter to preserve function names

Added Proc-Point analysis to the CPS converter (not polished yet)

Make CmmProc take CmmFormals as argument

Since a CmmCall returns CmmFormals which may include
global registers (and indeed one place in the code
returns the results of a CmmCall into BaseReg) and
since CPS conversion will change those return slots
into formal arguments for the continuation of the call,
CmmProc has to have CmmFormals for the formal arguments.

Oddly, the old code never made use of procedure arguments
so this change only effects the types and not any of the code.
(Because [] is both of type [LocalReg] and CmmFormals.)

A small move of the comments in ./compiler/cmm/Dataflow.hs

Added forgotten ./compiler/cmm/CmmLive.hs

Document use of no-break space in lexer for C--

Renamed BlockExitInfo to FinalStmt and all its constructors to match usage

Major cleanup of the CPS code (but more is still to come)

Added listSplitUniqSupply to ./compiler/basicTypes/UniqSupply.lhs

The function
  listSplitUniqSupply :: UniqSupply -> [UniqSupply]
splits a UniqSupply into an infinite list of supplies.
It is a generalization of splitUniqSupply.

Second working draft of a CPS algorithm for C--.
This is a safety check-in, before I begin a cleanup.

Fixed missing space in pretty printer for CmmJump

Added spLimReg to complement spReg and hpReg

Added types CmmActuals and CmmFormals for function parameters to Cmm

First complete draft of a CPS algorithm.  (Still hackish needs polishing)

Added "C--" foreign calling convention

Added 'return' to C--, and made arguments to 'jump' into CmmExpr

Typo fix in a comment.

Fixed liveness analysis to use a slower but more correct solution