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

Hooked the C-- CPS pass into the compilation pipeline
At present it just annotates each block with a comment
indicating what local registers are live at the start
of the block.

Added compiler/cmm/Dataflow.hs
Dataflow.hs contains an early draft of the live variable analysis.
This draft contains known bugs and is being recorded only to provide
a point to be revert back to if necessary.

Generate .LC_ indirection-symbols also on x86_64 (as on all other archs running Linux)

Restrict .type directives to Linux targets only

Have the users guide just refer to the wiki page on how to report a bug

Try harder to avoid making a variable with RULES into a loop-breaker

See Note [Recursive rules] in OccurAnal

Remove the large ghci banner, and the flags to choose which banner to show
Fans of the banner can add
    putStrLn "   ___         ___ _"
    putStrLn "  / _ \\ /\\  /\\/ __(_)"
    putStrLn " / /_\\// /_/ / /  | |   GHC Interactive, for Haskell 98."
    putStrLn "/ /_\\\\/ __  / /___| |   http://www.haskell.org/ghc/"
    putStrLn "\\____/\\/ /_/\\____/|_|   Type :? for help."
    putStrLn ""
to their ~/.ghci

Print the right usage message
The logic for printing the ghc and ghci usage messages was inverted.
However, the ghci case will never actually happen with the current code,
as we print a usage message when cli_mode == ShowUsage and choose the
ghci usage message if cli_mode == DoInteractive. This should be fixed
as part of a larger options handling overhaul.

-fasm doesn't really take an argument

clean installPackage too

FIX #1471: print strings using Haskell quoting syntax

Need to build filepath before directory

Tidy up -keep* flags

Improve loop-breaker scoring in OccAnal (idea from Roman)

See Note [Closure conversion] in OccurAnal for details of this
patch (which merely involves *deleting* a test!).  The test case
was produced by Roman, and shows up when doing closure conversion
and vectorisation for data parallelism.  But perhaps other times too.

Many comments about oclose, plus a fix for Trac #1456

There was a rather subtle bug in the way 'oclose' works when
generalising top-level function definitions.  See
Note [Important subtlety in oclose]
in FunDeps for an explanatoin.

I also tidied up duplication in comments while I was here.

Improve error message (Trac #1446)

Fixing hpc tools for 6.2 and 6.4

Refine printing of names in unification mis-match

Improve name-printing on unification mis-matches, when types share a common occurrence name

This improvement arose from a suggestion in Trac #1465

Add flags for record extensions; still not working properly though

FIX BUILD: we need --exclude-module Trace.* too

unbreak "recompile utils with stage 1"

Checking that type indexes contain no synonym family applications

RHS of a type instance must be a tau type

Overlap check for type families
- If two "type instance"s overlap, they right-hand sides must be syntactically
  equal under the overlap substitution.  (Ie, we admit limited overlap, but
  require the system to still be confluent.)

Further compileToCore improvements

Per suggestions from Simon M:

* Changed GHC.checkModule so that it doesn't call depanal.
* Changed GHC.checkModule to optionally return Core bindings
as a component of the CheckedModule that it returns (and
resulting changes to HscMain.hscFileCheck).
* As a result, simplified GHC.compileToCore and changed it
to load the given file so that the caller doesn't have to.

Fixed a documentation error

disable .type directives on Windows; they confuse mingw's assembler

Set .type @object for all global symbols in NCG

When linking against a dynamic library, the linker will emit a warning
if no type information is present within the library. We generate the
most trivial type for all externally visible labels, namely @object.

Also make proper references when not using fPIC but linking against dynamic libs

Generate RelocatableReadOnlyData as .data

The GNU linker expects read-only sections to be relocation
free. Presumably because the dynamic linker maps all read-only
sections as read-only mmaps and hence can't do relocations.

If we want text-relocation-free shared libraries we have to put all
relocations into writable sections, hence .data.  See
http://www.mail-archive.com/cvs-all@haskell.org/msg15119.html

Generalize linkDynLib for ELF platforms

To create a dynamic shared object (DSO) on ELF platforms, we invoke
"gcc -shared". This in turn invokes ld. We supply -Bsymbolic to the
linker, as "ld -Bsymbolic -shared -o <lib> <objs>" resolves all
references from <objs> to <objs> at library creation time.

See http://hackage.haskell.org/trac/ghc/wiki/Commentary/PositionIndependentCode

Renames functions and constructors to fit their new ability for dynamic linking
function: staticLink -> linkBinary (will link non static binaries too)
function: doMkDLL -> linkDynLib (as we can link on ELF too where DLL is an inappropriate term)
constructor: MkDLL -> LinkDynLib

PprMach.hs more accurate hack for x86-64, CmmLabelOff is not a relative reference.

CmmLabelDiffOff are generated in .text and if printed as .quad, causes
the assembler to emit a PC64 relocation. binutils prior to 2.17 don't
understand PC64 relocation properly.

pprDataItem is also used for printing SRT description tables. They are
part of the .data section and there no PC relative relocations are
emited. Hence, if we print a .long here, we get a absolute 32-bit
relocation. 32-bit relocations are problematic in dynamic libraries,
because dynamic library load addresses are loaded beyond the 32 bit
boundary, causing the dynamic linker to warn at dynamic linking
(loading the executable) that there are overflows in the
relocation. The executable still seems to work because of the small
memory model, but this is obviously wrong. Hence, remove CmmLabelOff
from the classification, causing these references to be printed as
.quad, causing correct 64-bit relocation as in the rest of the .data
section.

So, this hack now prints PC32 relocations in .text (mostly in the info
tables), and absolute 64-bit relocations in .data.

Fix typechecking bug with implicit parameters (Trac #1445)

tcSplitFunTy_maybe wasn't dealing with types like
(?x::Bool) => Int
Here, tcSplitFunTy_maybe should fail (as it would if there
was a for-all), because the type is a quantified type.

See Trac #1445, and test tc230.

White space only

Improve error message when there is instance overlap

Modify compileToCore to take just a filename

Modified compileToCore to take just a session and a
filename, rather than a module name as well, since the module
name can be computed from the filename.

making hpc live

+RTS -xbXXXXX sets the "heap base" to 0xXXXXXX
When debugging the GC and storage manager we often want repeated runs
of the program to allocate memory at the same addresses, so that we
can set watch points.  Unfortunately the OS doesn't always give us
memory at predictable addresses.  This flag gives the OS a hint as to
where we would like our memory allocated.  Previously I did this by
changing the HEAP_BASE setting in MBlock.h and recompiling, this patch
just adds a flag so I don't have to recompile.

+RTS -V0 disables the interval timer completely (for repeatable debugging)

FIX BUILD (on Windows): follow changes to make threaded RTS compile with -fasm

Fix names of coercions in newtype instances
- Thanks to Roman for spotting the problem.

Cleaning up Hpc.c; adding support for reflection into Hpc.

Fixing Makefile hpc to use compat

Adding Tix to compat library, so that hpc in utils can use it

fixing creation of directory for html output; fixing html markup for 0% bars.

Fixing -fhpc flag to allow -fno-hpc

Fixed deriving of associated data types
- We forgot to pull the data declarations nested in class instances out of
  the instances when collecting all the predicates that we need derive.
  Thanks to Roman for spotting this.

add missing case for compiling 64-bit operations on x86

Make the threaded RTS compilable using -fasm
We needed to turn some inline C functions and C macros into either
real C functions or C-- macros.

x86_64: fix a few bugs in the >8 floating point args case

make inplace scripts less sensitive to /bin/sh quoting by avoiding \

excluding Trace.Hpc.* when using the compat library

Making -fhpc work with a stage1 build, via the compat 'package'.