mainly tidyup

BlockId == Int now

some optimisations

a bit more UNPACKing

remove dead code

Remove dead code and optimise a bit

a couple of minor optimisations

take the analyses out of the FuelUniqSM monad

refactoring and comments

Remove the old stack layout algorithms

Also, do removeDeadAssignments instead of cmmLiveness before stack
allocation, because the former also does liveness analysis, and we can
do just one liveness analysis instead of two.  The stack layout
algorithm doesn't introduce any dead assignments, so this doesn't
affect the generated code.

Add type signature necessary for GHC 7.0.4

fix another bug in CmmOpt

An optimisation to reduce code size in a common case

Refactoring only

Lower safe foreign calls separately from stack layout

Improve the case-alternative heap checks

The code we were generating for heap-checks in algebraic case
alternatives wasn't working well with the common-block eliminator.  A
small tweak to make the heap-check failure jump back to the same place
in all branches lets the common-block eliminator squash more code.

Improve common-block elimination

We need to compare middle nodes and expressions modulo the BlockId
mapping too, because there are references to BlockIds in CmmStackSlot
and CmmBlock.  This lets us catch more common blocks - in particular
we can share the heap-check fail code between multiple case
alternatives, which is most cool.

Fix a bug in common block elimination

When we had more than two identical blocks, we weren't eliminating all
the duplicates properly.

fix the updfr offset in the jump after newCAF

refactoring only

Lower safe foreign calls in the new CmmLayoutStack

We also generate much better code for safe foreign calls (and maybe
also unsafe foreign calls) than previously.  See the two new Notes:

Note [lower safe foreign calls]
Note [safe foreign call convention]

fixes to the mini-inliner (fixes stage2 crashes)

Revert "Revert "Improvements to the mini-inliner""

This reverts commit 5ff03ca7f3b5b1abad64c039fa20165b4cf77360.

Revert "Improvements to the mini-inliner"

This reverts commit 3d8ab554ced45c51f39951f29cc53277d5788c37.

Merge branch 'newcg' of /home/simonmar/code-all/work/ghc-newcg into newcg

remove some obsolete notes

New codegen: fix bad code for comparisons (see Note [case on bool])

Improvements to the mini-inliner

 - inline x = R1, even if x occurs many times
 - inline past a store, if the expression is not a load
   (we could further refine this of course, but the idea here
   is to get reasonable code for not much effort)

re-enable constant folding in the NCG, while cmmRewriteAssignments is off

Merge remote-tracking branch 'laptop/newcg' into newcg

Delete some done items

kill some dead code

Eliminate some redundant stack assignments and empty stack checks

tiny refactoring

Fix an SRT-related bug

We were using the SRT information generated by the computeSRTs pass to
decide whether to add a static link field to a constructor or not, and
this broke when I disabled computeSRTs for the new code generator.  So
I've hacked it for now to only rely on the SRT information generated
by CoreToStg.

remove unused Conventions (Foreign, Private)

merge fixes

disable GADTs again (causes problems with no-let-generalisation)

Merge remote-tracking branch 'origin/master' into newcg

Conflicts:
compiler/cmm/CmmLint.hs
compiler/cmm/OldCmm.hs
compiler/codeGen/CgMonad.lhs
compiler/main/CodeOutput.lhs

Revert "Don't add a bad import to the saved context."

This reverts commit e5272d9bf2a65b7da8364803fcafbd2012b7de97.

Reverting to fix validate regression, and pending a redesign of the
changes.

Revert "Have :load work under -XSafe in GHCi."

This reverts commit 5e9e07a33e17da01245f0cea78e6a6f8a32ac77d.

Reverting to fix validate regression, and pending a redesign of the
changes.

.cmm files need to depend on DerivedConstants.h

Allocate pinned object blocks from the nursery, not the global
allocator.

Prompted by a benchmark posted to parallel-haskell@haskell.org by
Andreas Voellmy <andreas.voellmy@gmail.com>.  This program exhibits
contention for the block allocator when run with -N2 and greater
without the fix:

{-# LANGUAGE MagicHash, UnboxedTuples, BangPatterns #-}
module Main where

import Control.Monad
import Control.Concurrent
import System.Environment
import GHC.IO
import GHC.Exts
import GHC.Conc

main = do
 [m] <- fmap (fmap read) getArgs
 n <- getNumCapabilities
 ms <- replicateM n newEmptyMVar
 sequence [ forkIO $ busyWorkerB (m `quot` n) >> putMVar mv () | mv <- ms ]
 mapM takeMVar ms

busyWorkerB :: Int -> IO ()
busyWorkerB n_loops = go 0
  where go !n | n >= n_loops = return ()
              | otherwise    =
          do p <- (IO $ \s ->
                    case newPinnedByteArray# 1024# s      of
                      { (# s', mbarr# #) ->
                           (# s', () #)
                      }
                  )
             go (n+1)

Minor documentation fix

Add a missing 'to' to the documentation of "Safe Haskell".

Improve FreeBSD support in configure

Patch from Sergei Trofimovich.

Add dragonfly support; based on a patch from Goetz Isenmann

Fix some more sh syntax in configure.ac

Fix equality testing for test(1) on FreeBSD

Have :load work under -XSafe in GHCi.

Don't add a bad import to the saved context.

Importing an unsafe module in GHCi under -XSafe would fail
but still save that in the context so it would be retried
on every subsequent import.

Don't allow implicit qualified imports in GHCi when -XSafe on.

It would be better to actually check the safety of the import but doing
that requires some significant refactoring of code so punting for
another day.

Add script for sending bug remilestoning e-mails

Merge branch 'master' of darcs.haskell.org/ghc

Complete fix of #5820

There are two related changes in here

a) Fix TcRnDriver.setInteractiveContext so that it initialises
   tcg_insts and tcg_fam_insts, as well as the corresponding
   tcg_inst_env and tcg_fam_inst_env fields.  Vital!

b) Fix FamInst.tcExtendLocalFamInstEnv for the GHCi case.
   It had a special HACK to allow family instances to be overridden
   in GHCi.  Fair enough, but
     * It was only affecting the tcg_fam_inst_env, not tcg_fam_insts
     * It overrode home-package instances as well as ones entered
       at the GHCi prompt, which probably wasn't intended.

   I fixed both of these, and also narrowed the scope of what it does
   to override only *identical* instances, rather than any ones that
   conflict.  If people yelp about this we can return to the question,
   but for now it narrows the range of the HACK

Document -fwarn-auto-orphans

Put only local instances in the interactive context (fixes Trac #5820)

In HscMain.hscDeclsWithLocaion, we were grabbing class instances from
the tcg_inst_env field of the TcGblEnv. But that's wrong: that field
contains all the *home-package* instances.  Instead we need the
tct_insts field, which has just the instances from the module being
compiled.

Distinguish between normal and qualified unused imports

Fix the build on Windows

WhatGccIsCalled was no longer being defined on Windows.
Spotted by Niklas Larsson.

Fix '-distrust-all-packages' flag.

a build system fix that is already on HEAD

just comments

Port the old CmmLint to the new Cmm representation

Build info tables with the new stack layout code

fix a bug

New stack layout algorithm

Also:
 - improvements to code generation: push slow-call continuations
   on the stack instead of generating explicit continuations

 - remove unused CmmInfo wrapper type (replace with CmmInfoTable)

 - squash Area and AreaId together, remove now-unused RegSlot

 - comment out old unused stack-allocation code that no longer
   compiles after removal of RegSlot

MERGE from 7.4 branch: Update dependencies

Remove a workaround for building with GHC 6.12.2

ARM StgRun: Ensure r11 state is preserved

Ignore -C when not unregisterised (reported on ghc-users)

avoid 32-bit integer overflow (#5831)

Check that imported modules actually exist (#5836)

comments

Merge branch 'master' of darcs.haskell.org/ghc

Refactor tcUserStmt, to fix Trac #5829

The problem was that the FunBind we we build in the expression case
didn't have the right free variables, and that tripped an ASSERT later.

Give promoted DataCons a tyConArity and promoted TyCons a tyConKind

..and fix up Core Lint.  (I was getting a bogus Core Lint failure.)

Refactor HsDecls again, to put family instances in InstDecl

This continues the clean up of the front end.  Since they
were first invented, type and data family *instance* decls
have been in the TyClDecl data type, even though they always
treated separately.

This patch takes a step in the right direction
  * The InstDecl type now includes both class instances and
    type/data family instances

  * The hs_tyclds field of HsGroup now never has any family
    instance declarations in it

However a family instance is still a TyClDecl.  It should really
be a separate type, but that's the next step.

All this was provoked by fixing Trac #5792 in the HEAD.
(I did a less invasive fix on the branch.)

add mapSuccessors

Small improvement to control-flow optimisation

comments

Add a "tag" command to sync-all

Don't include Cabal in mkDocs

Cabal no longer has a userguide that we know how to build, so we
can't include it in our docs.

When type-checking kinds, be sure to promote list and tuple syntax

This fixes the ASSERT failure in Trac #5833 and type error in #5798

Improve support for LLVM >= 3.0 write barrier. (#5814)

llvmGen: Use new fence instruction

Signed-off-by: David Terei <davidterei@gmail.com>

Validate fix: no cross compilation for bindists

Maybe we could revisit whether we want to allow building bindists of
cross-compilers later, but for now I'm fixing validate by setting all
the cross-compilation settings to NO.

don't inline foldExpDeep

message tweak

Improve support for cross-compilation

Patchset from Stephen Blackheath <stephen.blackheath@ipwnstudios.com>

Fix register clobber list in StgRun for ARM

The ARM implementation of StgRun does not claim that it clobbers r7-r12. As a
result, the compiler will sometimes put the returned RegTable in one of these
registers, resulting in an invalid RegTable to be returned. Hilarity ensues.

Signed-off-by: Ben Gamari <bgamari.foss@gmail.com>

Remove bogus extra definition of $(dir)

This was preventing things like 'cd compiler; make stage2/build/DynFlags.o'
from working.

Pass alex and happy locations to ghc-cabal; fixes #5579

We only use --with-alex / --with-happy if we know where alex / happy
are. In particular, we don't need them when building from a source
tarball.

Start on 7.6.1 release notes

FIX #5819: add -XDataKinds to the language options section of the user's guide

Move the 2nd control-flow optimisation pass

It was causing wrong info tables where it was; I'm not entirely sure
why.

Thread the UniqSupply around properly

Make the old codegen run in constant space too

Don't call computeSRTs when -fnew-codegen is on

de-tabbed the hs-boot files

Rename polyKindsErr to dataKindsErr

Just rename a local variable