ghc.git
7 years agoTabs -> Spaces
David Terei [Thu, 26 Jan 2012 02:43:09 +0000 (18:43 -0800)] 
Tabs -> Spaces

7 years agoRemove old dead safe haskell setting
David Terei [Wed, 25 Jan 2012 22:45:13 +0000 (14:45 -0800)] 
Remove old dead safe haskell setting

7 years agoAdd a missing newline in the ghci :h text; spotted by Alexander McPhail
Ian Lynagh [Tue, 24 Jan 2012 19:09:10 +0000 (19:09 +0000)] 
Add a missing newline in the ghci :h text; spotted by Alexander McPhail

7 years agoPort "Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'" to new codegen.
Edward Z. Yang [Fri, 20 Jan 2012 22:17:24 +0000 (17:17 -0500)] 
Port "Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'" to new codegen.

021a0dd265ff34c1e292813c06185eff1d6b5c1c appears to have only
partially added the new primops associated with ArrayArray#
and MutableArrayArray#

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Fri, 20 Jan 2012 12:47:25 +0000 (12:47 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoFollow Cabal version bump
Ian Lynagh [Fri, 20 Jan 2012 12:17:45 +0000 (12:17 +0000)] 
Follow Cabal version bump

7 years agoFix bug introduced in fac8ecbbafde17dd92439c41747223c43e9d2b80
Simon Marlow [Thu, 19 Jan 2012 09:33:52 +0000 (09:33 +0000)] 
Fix bug introduced in fac8ecbbafde17dd92439c41747223c43e9d2b80

Fixes recent failures in hGetBuf001.

7 years agoRemove getDOptsSmpl; use getDynFlags instead
Ian Lynagh [Thu, 19 Jan 2012 13:35:27 +0000 (13:35 +0000)] 
Remove getDOptsSmpl; use getDynFlags instead

7 years agoRemove typecheck/TcSimplify.lhs-old
Ian Lynagh [Thu, 19 Jan 2012 13:34:57 +0000 (13:34 +0000)] 
Remove typecheck/TcSimplify.lhs-old

It hasn't been touched for more than a year.

7 years agoRemove getDOpts; use getDynFlags instead
Ian Lynagh [Thu, 19 Jan 2012 13:31:54 +0000 (13:31 +0000)] 
Remove getDOpts; use getDynFlags instead

7 years agoRemove getDOptsDs; use getDynFlags instead
Ian Lynagh [Thu, 19 Jan 2012 13:17:50 +0000 (13:17 +0000)] 
Remove getDOptsDs; use getDynFlags instead

7 years agoFix validate
Ian Lynagh [Thu, 19 Jan 2012 12:51:22 +0000 (12:51 +0000)] 
Fix validate

This patch defines a flag -fno-warn-pointless-pragmas, and uses it to
disable some warnings in the containers package.

Along the way, also made a ContainsDynFlags class, and added a
HasDynFlags instance for IOEnv (and thus TcRnIf and DsM).

7 years agoRename the testsuite tarball
Ian Lynagh [Wed, 18 Jan 2012 12:14:48 +0000 (12:14 +0000)] 
Rename the testsuite tarball

It's now
    ghc-<version>-testsuite.tar.bz2
rather than
    testsuite-ghc-<version>-src.tar.bz2
which (a) makes more sense, and (b) sorts better in directory listings.

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Wed, 18 Jan 2012 15:29:45 +0000 (15:29 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoDo not inherit "SPECIALISE instance" for INLINE default methods
Simon Peyton Jones [Wed, 18 Jan 2012 13:19:38 +0000 (13:19 +0000)] 
Do not inherit "SPECIALISE instance" for INLINE default methods

Nor should we generate specialised dfuns;
see Note [SPECIALISE instance pragmas]

7 years agoDocument -T RTS flag in manual.
Edward Z. Yang [Wed, 18 Jan 2012 04:55:53 +0000 (23:55 -0500)] 
Document -T RTS flag in manual.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7 years agoIncorrect type conversion in LLVM backend (#5785).
Ubuntu [Wed, 18 Jan 2012 01:22:35 +0000 (01:22 +0000)] 
Incorrect type conversion in LLVM backend (#5785).

7 years agoEliminate {| and |} vestiges in lexer/parser
Simon Peyton Jones [Tue, 17 Jan 2012 16:40:51 +0000 (16:40 +0000)] 
Eliminate {| and |} vestiges in lexer/parser

They weren't being lexed any more, but we still had productions!

7 years agoUse nested tuples to desugar recursive do-notation
Simon Peyton Jones [Tue, 17 Jan 2012 16:40:03 +0000 (16:40 +0000)] 
Use nested tuples to desugar recursive do-notation

Easy fix for Trac #5742.

7 years agoComments only (to support debug tracing in DmdAnal)
Simon Peyton Jones [Tue, 17 Jan 2012 16:01:41 +0000 (16:01 +0000)] 
Comments only (to support debug tracing in DmdAnal)

7 years agoWarn when a SPECIALISE pragma gives rise to a totally inactive rule
Simon Peyton Jones [Tue, 17 Jan 2012 16:01:16 +0000 (16:01 +0000)] 
Warn when a SPECIALISE pragma gives rise to a totally inactive rule
See Trac #5779

7 years agoDo not combine dictionaries in the EvVarCache when simplEqsOnly is on
Simon Peyton Jones [Tue, 17 Jan 2012 12:15:26 +0000 (12:15 +0000)] 
Do not combine dictionaries in the EvVarCache when simplEqsOnly is on

This fixes Trac #5776; the background is in
Note [Simplifying RULE lhs constraints] in TcSimplify

7 years agoSwitch TcEvidence to Unix line endings
Simon Peyton Jones [Tue, 17 Jan 2012 10:56:14 +0000 (10:56 +0000)] 
Switch TcEvidence to Unix line endings

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Tue, 17 Jan 2012 10:30:46 +0000 (10:30 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoAllow default superclass methods for multi-parameter type classes
Simon Peyton Jones [Tue, 17 Jan 2012 08:35:38 +0000 (08:35 +0000)] 
Allow default superclass methods for multi-parameter type classes

They were prohibited by mistake, a historical hangover

7 years agoOnly use TBAA when LLVM > 2.8. (#5782)
David Terei [Tue, 17 Jan 2012 08:23:22 +0000 (00:23 -0800)] 
Only use TBAA when LLVM > 2.8. (#5782)

7 years agoTabs -> Spaces
David Terei [Tue, 17 Jan 2012 03:12:18 +0000 (19:12 -0800)] 
Tabs -> Spaces

7 years agoAdd missing initialisation of cap->disabled
Simon Marlow [Mon, 16 Jan 2012 14:36:56 +0000 (14:36 +0000)] 
Add missing initialisation of cap->disabled

7 years agoDocumentation for -XDataKinds
Jose Pedro Magalhaes [Mon, 16 Jan 2012 14:02:31 +0000 (15:02 +0100)] 
Documentation for -XDataKinds

7 years agoRemove unnecessary extra use of orphan_hash
Simon Marlow [Mon, 16 Jan 2012 13:23:24 +0000 (13:23 +0000)] 
Remove unnecessary extra use of orphan_hash

7 years agoRevert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)
Simon Marlow [Mon, 16 Jan 2012 12:41:56 +0000 (12:41 +0000)] 
Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)

This reverts commit 601c983dd0bada6b49bdadd8f172fd4eacac4b0c.

7 years agoFix bug causing polling instead of blocking in the non-threaded RTS (#5773)
Simon Marlow [Mon, 16 Jan 2012 09:49:24 +0000 (09:49 +0000)] 
Fix bug causing polling instead of blocking in the non-threaded RTS (#5773)

This was a regression introduced accidentally in
6b1098511aaabd2c9503ee7be6da1944466f9cb4.  We were previously passing
a large time value to select() to simulate blocking, and this broke
due to a change from unsigned to signed arithmetic.  I've refactored
it to be less fragile now - we just pass NULL as the timeval parameter
to select(), which is the correct way to do blocking.

7 years agoFix for tick intervals greater than one second.
Simon Marlow [Mon, 16 Jan 2012 09:30:00 +0000 (09:30 +0000)] 
Fix for tick intervals greater than one second.

7 years agoSplit -XDataKinds from -XPolyKinds
Jose Pedro Magalhaes [Mon, 16 Jan 2012 13:18:22 +0000 (14:18 +0100)] 
Split -XDataKinds from -XPolyKinds

7 years agoDataConIds need to be treated specially in VectInfo
Manuel M T Chakravarty [Mon, 16 Jan 2012 01:58:42 +0000 (12:58 +1100)] 
DataConIds need to be treated specially in VectInfo

7 years agoMerge wibble
Manuel M T Chakravarty [Sun, 15 Jan 2012 13:22:04 +0000 (00:22 +1100)] 
Merge wibble

7 years agoFix vectorisation of classes
Manuel M T Chakravarty [Sun, 15 Jan 2012 11:10:28 +0000 (22:10 +1100)] 
Fix vectorisation of classes

- Make sure that we have no implicit names in ifaces
- Any vectorisation info makes a module an orphan module
- Allow 'Show' in vectorised code without vectorising it for the moment

7 years agoFix a #define
Ian Lynagh [Sun, 15 Jan 2012 19:21:38 +0000 (19:21 +0000)] 
Fix a #define

I don't think it was causing any problems, but
    TimeToUS(x+y)
would have evaluated to
    x + (y / 1000)

7 years agoRemove trailing whitespace in compiler/parser/LexCore.hs
Ian Lynagh [Sun, 15 Jan 2012 15:11:54 +0000 (15:11 +0000)] 
Remove trailing whitespace in compiler/parser/LexCore.hs

7 years agoremove tabs (+ ignore tabs option) from LexCore.hs
Nils Schweinsberg [Mon, 2 Jan 2012 23:48:04 +0000 (00:48 +0100)] 
remove tabs (+ ignore tabs option) from LexCore.hs

7 years agoRemove some "0 +"s that look redundant
Ian Lynagh [Sun, 15 Jan 2012 00:50:03 +0000 (00:50 +0000)] 
Remove some "0 +"s that look redundant

7 years agoRemove an out-of-date comment
Ian Lynagh [Sun, 15 Jan 2012 00:49:48 +0000 (00:49 +0000)] 
Remove an out-of-date comment

7 years agoWhen configuring, handle $topdir/ in the ghc --info output
Ian Lynagh [Sat, 14 Jan 2012 22:04:34 +0000 (22:04 +0000)] 
When configuring, handle $topdir/ in the ghc --info output

It might make more sense for there to be a way to get the
"ghc --info" output with $topdir already expanded, but in
the mean time this gets things working again.

7 years agoDefine "ar command" correctly in settings file on Windows
Ian Lynagh [Sat, 14 Jan 2012 21:35:53 +0000 (21:35 +0000)] 
Define "ar command" correctly in settings file on Windows

We want to use the inplace ar, rather than whichever ar the
machine that we build on happens to have.

7 years agoSwitch to using the time package, rather than old-time
Ian Lynagh [Sat, 14 Jan 2012 17:07:10 +0000 (17:07 +0000)] 
Switch to using the time package, rather than old-time

7 years agoDocument the extra instances divergence from H98/H2010
Ian Lynagh [Sat, 14 Jan 2012 14:01:20 +0000 (14:01 +0000)] 
Document the extra instances divergence from H98/H2010

Now that they've moved from Control.Monad.Instances

7 years agoDocument the Bits superclass divergence from Haskell 2010
Ian Lynagh [Sat, 14 Jan 2012 13:54:51 +0000 (13:54 +0000)] 
Document the Bits superclass divergence from Haskell 2010

7 years agoDocument the Num superclass divergence from H98/H2010
Ian Lynagh [Sat, 14 Jan 2012 13:40:58 +0000 (13:40 +0000)] 
Document the Num superclass divergence from H98/H2010

7 years agoAdd extra Num constraints since the Num superclass of Bits is removed
Bas van Dijk [Sat, 29 Oct 2011 01:38:07 +0000 (03:38 +0200)] 
Add extra Num constraints since the Num superclass of Bits is removed

7 years agoAdd some llvm build options to build.mk.sample
David Terei [Fri, 13 Jan 2012 21:51:47 +0000 (13:51 -0800)] 
Add some llvm build options to build.mk.sample

7 years agoAdd -faggressive-primops plus refactoring in CoreUtils
Simon Peyton Jones [Fri, 13 Jan 2012 17:50:00 +0000 (17:50 +0000)] 
Add -faggressive-primops plus refactoring in CoreUtils

I'm experimenting with making GHC a bit more aggressive about
  a) dropping case expressions if the result is unused
        Simplify.rebuildCase, CaseElim equation

  b) floating case expressions inwards
        FloatIn.fiExpr, AnnCase

In both cases the new behaviour is gotten with a static (debug)
flag -faggressive-primops.  The extra "aggression" is to allow
discarding and floating in for side-effecting operations.  See
the new, extensive Note [PrimOp can_fail and has_side_effects]
in PrimoOp.

When discarding a case with unused binders, in the lifted-type
case it's definitely ok if the scrutinee terminates; previously
we were checking exprOkForSpeculation, which is significantly
worse.

So I wanted a new function CoreUtils.exprCertainlyTerminates.
In doing this I ended up with a significant refactoring in
CoreUtils.  The new structure has quite a lot of nice sharing:

    exprIsCheap             = exprIsCheap' isHNFApp
    exprIsExpandable        = exprIsCheap' isConLikeApp

    exprIsHNF               = exprIsHNFlike isHNFApp
    exprIsConLike           = exprIsHNFlike isConLikeApp
    exprCertainlyTerminates = exprIsHNFlike isTerminatingApp

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Fri, 13 Jan 2012 15:51:44 +0000 (15:51 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoComments only
Simon Peyton Jones [Fri, 13 Jan 2012 15:48:23 +0000 (15:48 +0000)] 
Comments only

7 years agoGet the knownKeyNames for doubleFromInteger right
Simon Peyton Jones [Fri, 13 Jan 2012 15:46:56 +0000 (15:46 +0000)] 
Get the knownKeyNames for doubleFromInteger right

There was a trivial typo which meant that important
newly-added rules would never fire!

7 years agoFix validation error
David Terei [Fri, 13 Jan 2012 02:47:25 +0000 (18:47 -0800)] 
Fix validation error

7 years agoFix mistake in flags.xml
David Terei [Fri, 13 Jan 2012 00:16:45 +0000 (16:16 -0800)] 
Fix mistake in flags.xml

7 years agoConsistent: Enbaled -> enabled in flag doc.
David Terei [Thu, 12 Jan 2012 23:44:45 +0000 (15:44 -0800)] 
Consistent: Enbaled -> enabled in flag doc.

7 years agoAdd '-freg-liveness' flag to control if STG liveness information
David Terei [Thu, 12 Jan 2012 23:43:12 +0000 (15:43 -0800)] 
Add '-freg-liveness' flag to control if STG liveness information
is used for optimisation. (enabled by default)

7 years agoFormatting fixes to flags.xml
David Terei [Thu, 12 Jan 2012 23:32:51 +0000 (15:32 -0800)] 
Formatting fixes to flags.xml

7 years agoAdd '-fllvm-tbaa' flag for controlling LLVM TBAA opt.
David Terei [Thu, 12 Jan 2012 22:20:25 +0000 (14:20 -0800)] 
Add '-fllvm-tbaa' flag for controlling LLVM TBAA opt.

7 years agoUpdate '.gitignore'
David Terei [Thu, 12 Jan 2012 20:01:10 +0000 (12:01 -0800)] 
Update '.gitignore'

7 years agoImprove LLVM TBAA hierachy (#5567).
David Terei [Thu, 12 Jan 2012 19:58:15 +0000 (11:58 -0800)] 
Improve LLVM TBAA hierachy (#5567).

7 years agoMake "make sdist" generate a testsuite tarball as well as the src tarball
Ian Lynagh [Fri, 13 Jan 2012 00:18:06 +0000 (00:18 +0000)] 
Make "make sdist" generate a testsuite tarball as well as the src tarball

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 12 Jan 2012 17:21:00 +0000 (17:21 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoFix if-def-ery for DEBUG
Simon Peyton Jones [Thu, 12 Jan 2012 17:18:52 +0000 (17:18 +0000)] 
Fix if-def-ery for DEBUG

7 years agoComments only
Simon Peyton Jones [Thu, 12 Jan 2012 17:18:30 +0000 (17:18 +0000)] 
Comments only

7 years agoFix Trac #5658: strict bindings not floated in
Simon Peyton Jones [Thu, 12 Jan 2012 17:17:22 +0000 (17:17 +0000)] 
Fix Trac #5658: strict bindings not floated in

Two changes here

* The main change here is to enhance the FloatIn pass so that it can
  float case-bindings inwards.  In particular the case bindings for
  array indexing.

* Also change the code in Simplify, to allow a case on array
  indexing (ie can_fail is true) to be discarded altogether if its
  results are unused.

Lots of new comments in PrimOp about can_fail and has_side_effects

Some refactoring to share the FloatBind data structure between
FloatIn and FloatOut

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 12 Jan 2012 16:30:43 +0000 (16:30 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Thu, 12 Jan 2012 15:11:06 +0000 (15:11 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoImplememt -fdefer-type-errors (Trac #5624)
Simon Peyton Jones [Thu, 12 Jan 2012 15:10:54 +0000 (15:10 +0000)] 
Implememt -fdefer-type-errors (Trac #5624)

This patch implements the idea of deferring (most) type errors to
runtime, instead emitting only a warning at compile time.  The
basic idea is very simple:

 * The on-the-fly unifier in TcUnify never fails; instead if it
   gets stuck it emits a constraint.

 * The constraint solver tries to solve the constraints (and is
   entirely unchanged, hooray).

 * The remaining, unsolved constraints (if any) are passed to
   TcErrors.reportUnsolved.  With -fdefer-type-errors, instead of
   emitting an error message, TcErrors emits a warning, AND emits
   a binding for the constraint witness, binding it
   to (error "the error message"), via the new form of evidence
   TcEvidence.EvDelayedError.  So, when the program is run,
   when (and only when) that witness is needed, the program will
   crash with the exact same error message that would have been
   given at compile time.

Simple really.  But, needless to say, the exercise forced me
into some major refactoring.

 * TcErrors is almost entirely rewritten

 * EvVarX and WantedEvVar have gone away entirely

 * ErrUtils is changed a bit:
     * New Severity field in ErrMsg
     * Renamed the type Message to MsgDoc (this change
       touches a lot of files trivially)

 * One minor change is that in the constraint solver we try
   NOT to combine insoluble constraints, like Int~Bool, else
   all such type errors get combined together and result in
   only one error message!

 * I moved some definitions from TcSMonad to TcRnTypes,
   where they seem to belong more

7 years agoTOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it
Simon Marlow [Thu, 12 Jan 2012 13:55:42 +0000 (13:55 +0000)] 
TOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it

7 years agoUse Type Based Alias Analysis (TBAA) in LLVM backend (#5567)
David Terei [Thu, 12 Jan 2012 07:09:40 +0000 (23:09 -0800)] 
Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567)

TBAA allows us to specify a type hierachy in metadata with
the property that nodes on different branches don't alias.
This should somewhat improve the optimizations LLVM does that
rely on alias information.

7 years agoAdd Metadata support to LLVM bindings.
David Terei [Thu, 12 Jan 2012 02:49:22 +0000 (18:49 -0800)] 
Add Metadata support to LLVM bindings.

7 years agoMore improvements to llvm output style (#5750)
David Terei [Wed, 11 Jan 2012 19:49:02 +0000 (11:49 -0800)] 
More improvements to llvm output style (#5750)

7 years agoUse /usr/bin/gcc when making the OS X installer
Ian Lynagh [Wed, 11 Jan 2012 21:00:42 +0000 (21:00 +0000)] 
Use /usr/bin/gcc when making the OS X installer

On XCode 4.1, we use /usr/bin/gcc-4.2 as it makes better code than
/usr/bin/gcc for us. However, gcc-4.2 doesn't exist in XCode 4.2, so we
need to use /usr/bin/gcc there. As the installer can be used on either,
we make it always use /usr/bin/gcc.

7 years agoDon't try to use gcc-4.2 on XCode >= 4.2
Ian Lynagh [Wed, 11 Jan 2012 19:01:55 +0000 (19:01 +0000)] 
Don't try to use gcc-4.2 on XCode >= 4.2

It was removed in 4.2.

7 years agocheck for failed external symbol lookups (partial fix for #5748)
Gregory Wright [Sat, 7 Jan 2012 14:58:00 +0000 (09:58 -0500)] 
check for failed external symbol lookups (partial fix for #5748)

7 years agoClean more files in "make clean"
Ian Lynagh [Wed, 11 Jan 2012 15:54:30 +0000 (15:54 +0000)] 
Clean more files in "make clean"

The libraries get configured during "make", so plain old "make clean"
should clean up the configure droppings.

Also fixed another wildcard/patsubst problem.

7 years agoFix cleaning buildinfo files
Ian Lynagh [Wed, 11 Jan 2012 15:50:02 +0000 (15:50 +0000)] 
Fix cleaning buildinfo files

We were applying $(wildcard ...) to the literal string
libraries/%/*.buildinfo, which of course had no matches.

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Wed, 11 Jan 2012 08:32:02 +0000 (08:32 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Ian Lynagh [Wed, 11 Jan 2012 01:52:38 +0000 (01:52 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoWhitespace only
Ian Lynagh [Wed, 11 Jan 2012 00:54:56 +0000 (00:54 +0000)] 
Whitespace only

7 years agoAdd prelude rules for encode{Float,Double}Integer and integerTo{Int,Word}64
Ian Lynagh [Wed, 11 Jan 2012 00:24:16 +0000 (00:24 +0000)] 
Add prelude rules for encode{Float,Double}Integer and integerTo{Int,Word}64

7 years agoAdd prelude rules for quotInteger, remInteger
Ian Lynagh [Tue, 10 Jan 2012 22:08:23 +0000 (22:08 +0000)] 
Add prelude rules for quotInteger, remInteger

7 years agoEnable llvm tool paths to be set with ./configure
David Terei [Tue, 10 Jan 2012 19:58:59 +0000 (11:58 -0800)] 
Enable llvm tool paths to be set with ./configure

Patch from Karel Gardas!

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Tue, 10 Jan 2012 14:11:53 +0000 (14:11 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoImprove style of '-ddump-llvm' output. (#5750)
David Terei [Tue, 10 Jan 2012 08:02:17 +0000 (00:02 -0800)] 
Improve style of '-ddump-llvm' output. (#5750)

7 years agoAdd live stg info to Updates.cmm (fixes #4308)
David Terei [Sat, 7 Jan 2012 10:53:31 +0000 (02:53 -0800)] 
Add live stg info to Updates.cmm (fixes #4308)

7 years agoTrack STG live register information for use in LLVM
David Terei [Tue, 3 Jan 2012 07:07:05 +0000 (18:07 +1100)] 
Track STG live register information for use in LLVM

We now carry around with CmmJump statements a list of
the STG registers that are live at that jump site.
This is used by the LLVM backend so it can avoid
unnesecarily passing around dead registers, improving
perfromance. This gives us the framework to finally
fix trac #4308.

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones [Mon, 9 Jan 2012 14:07:03 +0000 (14:07 +0000)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoIn mkCast (Coercion c1) c2, check that c2 has (~#) on both sides
Simon Peyton Jones [Mon, 9 Jan 2012 14:06:25 +0000 (14:06 +0000)] 
In mkCast (Coercion c1) c2, check that c2 has (~#) on both sides

Otherwise the RHS is utterly bogus.  I also added some asserts.
Thanks to Max for pointing this out.

7 years agolast_free_capability should never be NULL
Simon Marlow [Mon, 9 Jan 2012 11:52:24 +0000 (11:52 +0000)] 
last_free_capability should never be NULL

7 years agouse (GHC) idiomatic types
Gabor Greif [Sat, 7 Jan 2012 10:25:05 +0000 (11:25 +0100)] 
use (GHC) idiomatic types

7 years agotypo
Simon Marlow [Mon, 9 Jan 2012 10:33:19 +0000 (10:33 +0000)] 
typo

7 years agoMake the RTS linker API use wide-char pathnames on Windows (#5697)
Simon Marlow [Fri, 6 Jan 2012 14:51:40 +0000 (14:51 +0000)] 
Make the RTS linker API use wide-char pathnames on Windows (#5697)

I haven't been able to test whether this works or not due to #5754,
but at least it doesn't appear to break anything.

7 years agoRefactoring
Ian Lynagh [Sun, 8 Jan 2012 19:36:14 +0000 (19:36 +0000)] 
Refactoring

This is working towards being able to put ghcautoconf.h and
ghcplatform.h in includes/dist

7 years agoGenerate the haddock contents/index pages in a dist-haddock subdirectory
Ian Lynagh [Sun, 8 Jan 2012 14:43:46 +0000 (14:43 +0000)] 
Generate the haddock contents/index pages in a dist-haddock subdirectory

This is tidier, and makes it easier to clean and install them correctly

7 years agoDefine prelude rules for floatFromInteger and doubleFromInteger
Ian Lynagh [Sat, 7 Jan 2012 23:03:08 +0000 (23:03 +0000)] 
Define prelude rules for floatFromInteger and doubleFromInteger

7 years agoAdd comments on which integer rules are missing
Ian Lynagh [Sat, 7 Jan 2012 22:36:00 +0000 (22:36 +0000)] 
Add comments on which integer rules are missing

7 years agoconfigure: Don't calle GET_ARM_ISA on x86_64
Ian Lynagh [Sat, 7 Jan 2012 22:19:39 +0000 (22:19 +0000)] 
configure: Don't calle GET_ARM_ISA on x86_64

I assume this was a copy/paste-o or similar.