Comments only

Fix inlining for default methods

This was discombobulated by a patch a week ago;
now fixed, quite straightforwardly.  See
Note [Default methods and instances]

Allow reification of existentials and GADTs

It turns out that TH.Syntax is rich enough to express even GADTs,
provided we express them in equality-predicate form.  So for
example

  data T a where
     MkT1 :: a -> T [a]
     MkT2 :: T Int

will appear in TH syntax like this

  data T a = forall b. (a ~ [b]) => MkT1 b
           | (a ~ Int) => MkT2

While I was at it I also improved the reification of types,
so that we use TH.TupleT and TH.ListT when we can.

add numSparks# primop (#4167)

LLVM: Decrease max opt level used under OSX to avoid bug

Currently, many programs compiled with GHC at -O2 and LLVM
set to -O3 will segfault (only under OSX). Until this issue
is fixed I have simply 'solved' the segfault by lowering
the max opt level for LLVM used to -O2 under OSX.

All these recent changes to OSX should mean its finally as
stable as Linux and Windows.

LLVM: Fix OSX to work again with TNTC disabled.

LLVM: Fix printing of local vars so LLVM works with -fnew-codegen

Use a separate mutex to protect all_tasks, avoiding a lock-order-reversal
In GHC 6.12.x I found a rare deadlock caused by this
lock-order-reversal:

AQ cap->lock
  startWorkerTask
    newTask
      AQ sched_mutex

scheduleCheckBlackHoles
  AQ sched_mutex
   unblockOne_
    wakeupThreadOnCapabilty
      AQ cap->lock

so sched_mutex and cap->lock are taken in a different order in two
places.

This doesn't happen in the HEAD because we don't have
scheduleCheckBlackHoles, but I thought it would be prudent to make
this less likely to happen in the future by using a different mutex in
newTask.  We can clearly see that the all_tasks mutex cannot be
involved in a deadlock, becasue we never call anything else while
holding it.

'make fast' in a package does not build any compilers

LLVM: Fix up botched last commit

LLVM: Fix warning introduce in last commit.

LLVM: Use mangler to fix up stack alignment issues on OSX

Fix #4195 (isGadtSyntaxTyCon returns opposite result)

Update to time 1.2.0.3

Reorder RTS --info output

Fix unreg prof build: Define CCS_SYSTEM in stg/MiscClosures.h

Make mkDerivedConstants as a stage 1 program
This way it gets the defines for the right platform when cross-compiling

Don't generate Haskell dependencies if we don't have any Haskell sources

Link programs that have no Haskell objects with gcc rather than ghc

Use gcc to build C programs for stages >= 1

Add platform info to "ghc --info" output

Tidy up Config.hs generation

Fix HC porting test in makefiles
Now that we are trying to support cross compilation, we can't use
    "$(TARGETPLATFORM)" != "$(HOSTPLATFORM)"
as a test for HC-porting.

Change a BUILD var to a HOST var

Remove an unnecessary #include

Split up some make commands, so that errors aren't overlooked
When we ask make to run "a | b", if a fails then the pipeline might
still exit successfuly.

Remove an unnecessary #include

Simplify some more CPP __GLASGOW_HASKELL__ tests

Remove some code only used with GHC 6.11.*

__GLASGOW_HASKELL__ >= 609 is now always true

Correct the values in ghc_boot_platform.h

Change some TARGET checks to HOST checks

LLVM: Add inline assembly to binding.

LLVM: Fix mistype in last commit which broke TNTC under win/linux.

Remove unnecessary #include

Change some TARGET tests to HOST tests in the RTS
Which was being used seemed to be random

LLVM: Add in new LLVM mangler for implementing TNTC on OSX

Refactor where an error message is generated

Comments only

Comments on data type families

Fix Trac #T4136: take care with nullary symbol constructors

When a nullary constructor is a symbol eg (:=:) we need
to take care.  Annoying.

Fix Trac #4127 (and hence #4173)

The change involves a little refactoring, so that the default
method Ids are brought into scope earlier, before the value
declarations are compiled.  (Since a value decl may contain
an instance decl in a quote.)

See Note [Default method Ids and Template Haskell] in
TcTyClsDcls.

Fix second bug in Trac #4127

This bug concerned the awkward shadowing we do for
Template Haskell declaration brackets.  Lots of
comments in

  Note [Top-level Names in Template Haskell decl quotes]

ia64: switch handling of 'foreign import wrapper' (FIW) to libffi

I tried to build darcs-2.4.4 with ghc-6.12.3 and got coredumps when darcs is used
in interactive mode. I tried test from ticket #3516 and found out FIW code is broken.
Instead of fixing it I just switched to libffi. Result built successfully, passed
'foreign import wrapper' test from ticket #3516 and builds working darcs.

* storage manager: preserve upper address bits on 64bit machines (thanks to zygoloid)

Patch does not touch amd64 as it's address lengts is 48 bits at most, so amd64 is unaffected.

the issue: during ia64 ghc bootstrap (both 6.10.4 and 6.12.3) I
got the failure on stage2 phase:
    "inplace/bin/ghc-stage2"   -H32m -O -H64m -O0 -w ...
    ghc-stage2: internal error: evacuate: strange closure type 15
        (GHC version 6.12.3 for ia64_unknown_linux)
        Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
    make[1]: *** [libraries/dph/dph-base/dist-install/build/Data/Array/Parallel/Base/Hyperstrict.o] Aborted

gdb backtrace (break on 'barf'):
Breakpoint 1 at 0x400000000469ec31: file rts/RtsMessages.c, line 39.
(gdb) run -B/var/tmp/portage/dev-lang/ghc-6.12.3/work/ghc-6.12.3/inplace/bin --info
Starting program: /var/tmp/portage/dev-lang/ghc-6.12.3/work/ghc-6.12.3/inplace/lib/ghc-stage2 -B/var/tmp/portage/dev-lang/ghc-6.12.3/work/ghc-6.12.3/inplace/bin --info
[Thread debugging using libthread_db enabled]

Breakpoint 1, barf (s=0x40000000047915b0 "evacuate: strange closure type %d") at rts/RtsMessages.c:39
39        va_start(ap,s);
(gdb) bt
#0  barf (s=0x40000000047915b0 "evacuate: strange closure type %d") at rts/RtsMessages.c:39
#1  0x400000000474a1e0 in evacuate (p=0x6000000000147958) at rts/sm/Evac.c:756
#2  0x40000000046d68c0 in scavenge_srt (srt=0x6000000000147958, srt_bitmap=7) at rts/sm/Scav.c:348
...

> 16:52:53 < zygoloid> slyfox: i'm no ghc expert but it looks like HEAP_ALLOCED_GC(q)
>                      is returning true for a FUN_STATIC closure
> 17:18:43 < zygoloid> try: p HEAP_ALLOCED_miss((unsigned long)(*p) >> 20, *p)
> 17:19:12 < slyfox> (gdb) p HEAP_ALLOCED_miss((unsigned long)(*p) >> 20, *p)
> 17:19:12 < slyfox> $1 = 0
> 17:19:40 < zygoloid> i /think/ that means the mblock_cache is broken
> 17:22:45 < zygoloid> i can't help further. however i am suspicious that you seem to have pointers with similar-looking low 33
>                      bits and different high 4 bits, and it looks like such pointers get put into the same bucket in
>                      mblock_cache.
...
> 17:36:16 < zygoloid> slyfox: try changing the definition of MbcCacheLine to StgWord64, see if that helps
> 17:36:31 < zygoloid> that's in includes/rts/storage/MBlock.h
And it helped!

Fixing link failure of compiler on ia64 ('-Wl,' prefixed value passed directly to ld)

    /usr/bin/ld -Wl,--relax -r -o dist-stage1/build/HSghc-6.10.4.o \
                                  dist-stage1/build/BasicTypes.o dist-stage1/build/DataCon.o ...
    /usr/bin/ld: unrecognized option '-Wl,--relax'

If we just drop '-Wl,' part it will not help as '-r' and '--relax' are incompatible.

Looks like '-Wl,--relax' was skipped by earlier binutils' ld as unknown option.
Removing ia64 specific path.

LLVM: Allow getelementptr to use LlvmVar for indexes.

Move all the warning workarounds to one place

xhtml is now warning-free

Move a bit of build system code

adapt to the new async exceptions API

quiet some new spewage

New asynchronous exception control API (ghc parts)

As discussed on the libraries/haskell-cafe mailing lists
  http://www.haskell.org/pipermail/libraries/2010-April/013420.html

This is a replacement for block/unblock in the asychronous exceptions
API to fix a problem whereby a function could unblock asynchronous
exceptions even if called within a blocked context.

The new terminology is "mask" rather than "block" (to avoid confusion
due to overloaded meanings of the latter).

In GHC, we changed the names of some primops:

  blockAsyncExceptions#   -> maskAsyncExceptions#
  unblockAsyncExceptions# -> unmaskAsyncExceptions#
  asyncExceptionsBlocked# -> getMaskingState#

and added one new primop:

  maskUninterruptible#

See the accompanying patch to libraries/base for the API changes.

remove outdated comment

remove 'mode: xml' emacs settings (#2208)

typo in comment

Win32 getProcessElapsedTime: use a higher-resolution time source
QueryPerformanceCounter() on Windows gives much better resolution than
GetSystemTimeAsFileTime().

alpha: switch handling of 'foreign import wrapper' (FIW) to libffi

I tried to build ghc-6.12.3 and found out FIW part of code
does not compile anymore. It uses absent functions under #ifdef.
Instead of fixing it I just switched to libffi. Result built successfully
and passed 'foreign import wrapper' test I wrote for trac ticket #3516.

I didn't try to build -HEAD yet, but this patch only removes code, so
it should not make -HEAD worse.

Reorder the CPP flags so -optP can override the platform defines

Add docs for DatatypeContexts extension

Make datatype contexts an extension (on by default) (DatatypeContexts)

LLVM: Fix various typos in comments

Handle haddock headers when looking for LANGUAGE/OPTIONS_GHC pragmas

Make pragState call mkPState, rather than duplicating everything
This also means that extsBitmap gets set, whereas is was just being set
to 0 before.

LLVM: Add alias type defenitions to LlvmModule.

LLVM: Use packed structure type instead of structure type

The regular structure type adds padding to conform to the platform ABI,
which causes problems with structures storing doubles under windows since
we don't conform to the platform ABI there. So we use packed structures
instead now that don't do any padding.

Make mkPState and pragState take their arguments in the same order

Remove an out-of-date comment

LLVM: Stop llvm saving stg caller-save regs across C calls

This is already handled by the Cmm code generator so LLVM is simply
duplicating work. LLVM also doesn't know which ones are actually live
so saves them all which causes a fair performance overhead for C calls
on x64. We stop llvm saving them across the call by storing undef to
them just before the call.

LLVM: Add in literal undefined value to binding

LLVM: Add a literal NULL value to binding

Patch from Erik de Castro Lopo <erikd@mega-nerd.com>.

refactor import declaration support (#2362)

Disable dynamic linking optimisations on OS X
To improve performance of the RTS when dynamically linked on x86, I
previously disabled -fPIC for certain critical modules (the GC, and a
few others).  However, build reports suggest that the dynamic linker
on OS X doesn't like this, so I'm disabling this optimsation on that
platform.

trac #2362 (full import syntax in ghci)
'import' syntax is seperate from ':module' syntax

Simplify ghc-pkg's Cabal dependencies
We no longer support building with a compiler that doesn't come with
base 4.

Use Cabal to configure the dist-install ghc-pkg; fixes trac #4156

Remove dead code (standalone deriving flag no longer used in parser)

LLVM: Use the inbounds keyword for getelementptr instructions.

threadPaused: fix pointer arithmetic
Noticed by Henrique Ferreiro <hferreiro@udc.es>, thanks!

LLVM: Change more operations to use getelementptr

Add the haskell2010 package

LLVM: Use getelementptr instruction for a lot of situations

LLVM supports creating pointers in two ways, firstly through
pointer arithmetic (by casting between pointers and ints)
and secondly using the getelementptr instruction. The second way
is preferable as it gives LLVM more information to work with.

This patch changes a lot of pointer related code from the first
method to the getelementptr method.

remove out of date comments; point to the wiki

NCG: allocatableRegs is only giving us 8 SSE regs to allocate to

LLVM: Use intrinsic functions for pow, sqrt, sin, cos

Instead of calling the C library for these Cmm functions
we use intrinsic functions provided by llvm. LLVM will
then either create a compile time constant if possible, or
use a cpu instruction or as a last resort call the C
library.

LLVM: Fix test '2047' under linux-x64

LLVM: Fix test 'ffi005' under linux-x64

LLVM: Update to use new fp ops introduced in 2.7

Add noalias and nocapture attributes to pointer stg registers

At the moment this gives a very slight performance boost of around 1 - 2%.
Future changes to the generated code though so that pointers are kept as
pointers more often instead of being cast to integer types straight away
should hopefully improve the benefit this brings.

during shutdown, only free the heap if we waited for foreign calls to exit

Fix typo in -ddump-pass's document.

Add #undefs for posix source symbols when including papi.h

Validation fails when validating with PAPI support (i.e. GhcRtsWithPapi  = YES
in validate.mk).  The problem is that the posix symbols are defined by a header
included from papi.h. Compilation then fails because these symbols are
redefined in PosixSource.h.

This patch adds an undefine for the posix symbols after including papi.h and
before including PosixSource.h. The #undefines are localized to Papi.c since
that is the only case where they are getting defined twice.

Use machdepCCOpts in runPhase_MoveBinary; fixes trac #3952

LLVM: Fix bug with calling tail with empty list

Fix warnings

NCG: Comments and formatting only

NCG: Do the actual reversing of SCCs

NCG: Fix dumping of graphs in regalloc stats for graph allocator

NCG: Reverse SCCs after each round in the graph allocator

NCG: Don't actually complain on unreachable code blocks