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

NCG: Do explicit check for precondition of computeLiveness

 computeLiveness requires the SCCs of blocks to be in reverse dependent
 order, and if they're not it was silently giving bad liveness info,
 yielding a bad allocation.

 Now it complains, loudly.

NCG: Fix off-by-one error in realRegSqueeze

NCG: Handle stripping of liveness info from procs with no blocks (like stg_split_marker)

NCG: Emit a warning on unreachable code block instead of panicing

NCG: Remember to keep the entry block first when erasing liveness info

NCG: Refactor representation of code with liveness info

 * I've pushed the SPILL and RELOAD instrs down into the
   LiveInstr type to make them easier to work with.

 * When the graph allocator does a spill cycle it now just
   re-annotates the LiveCmmTops instead of converting them
   to NatCmmTops and back.

 * This saves working out the SCCS again, and avoids rewriting
   the SPILL and RELOAD meta instructions into real machine
   instructions.

NCG: Add sanity checking to linear allocator
If there are are unreachable basic blocks in the native code then the
linear allocator might loop. Detect this case and panic instead.

NCG: Refactor LiveCmmTop to hold a list of SCCs instead of abusing ListGraph

NCG: Allow the liveness map in a LiveInfo to be Nothing

NCG: Also show the result of applying coalesings with -ddump-asm-regalloc-stages

Fix panic when running "ghc -H"; trac #3364
The problem is that showing SDoc's looks at the static flags global
variables, but those are panics while we are parsing the static flags.
We work around this by explicitly using a fixed prettyprinter style.

Allow for stg registers to have pointer type in llvm BE.

Before all the stg registers were simply a bit type or
floating point type but now they can be declared to have
a pointer type to one of these. This will allow various
optimisations in the future in llvm since the type is
more accurate.

Add support for parameter attributes to the llvm BE binding

These allow annotations of the code produced by the backend
which should bring some perforamnce gains. At the moment
the attributes aren't being used though.

Cast some more nats to StgWord to be on the safe side
And add a comment about the dangers of int overflow

comments only

Fix an arithmetic overflow bug causing crashes with multi-GB heaps

Add support for collecting PAPI native events

This patch extends the PAPI support in the RTS to allow collection of native
events. PAPI can collect data for native events that are exposed by the
hardware beyond the PAPI present events. The native events supported on your
hardware can found by using the papi_native_avail tool.

The RTS already allows users to specify PAPI preset events from the command
line. This patch extends that support to allow users to specify native events.
The changes needed are:

1) New option (#) for the RTS PAPI flag for native events. For example, to
   collect the native event 0x40000000, use ./a.out +RTS -a#0x40000000 -sstderr

2) Update the PAPI_FLAGS struct to store whether the user specified event is a
   papi preset or a native event

3) Update init_countable_events function to add the native events after parsing
   the event code and decoding the name using PAPI_event_code_to_name

Don't warn about unused bindings with parents in .hs-boot files; trac #3449

fix the home_imps filter to allow for 'import "this" <module>'
In the PackageImports extension, import "this" means "import from the
current package".

Use the standard C wrapper code for the ghc-$version.exe wrapper

Don't rely on "-packagefoo" working; use "-package foo" instead

Remove unnecessary C #includes

Make the ghci.exe wrapper call the right ghc.exe

More updates to datalayout description in llvm BE

Remove LlvmAs phase as the llvm opt tool now handles this phase

This phase originally invoked the llvm-as tool that turns a textual
llvm assembly file into a bit code file for the rest of llvm to deal
with. Now the llvm opt tool can do this itself, so we don't need to
use llvm-as anymore.

Update datalayout info in llvm BE

Fix handling of float literals in llvm BE

Declare some top level globals to be constant when appropriate

This involved removing the old constant handling mechanism
which was fairly hard to use. Now being constant or not is
simply a property of a global variable instead of a separate
type.

Reduce the number of passes over the cmm in llvm BE

Fix negate op not working for -0 in llvm backend

ROLLBACK: picCCOpts: -dynamic should not entail -optc-fPIC
and add a comment to explain why it was wrong.  This fixes the dyn
test failures that sprang up recently.

Check files are really created in libffi
when we think that the libffi build creates them, so they just depend
on the libffi build stamp.

Improve the missing-import-list warning

Tweak missing-import-list warning

trac #1789 (warnings for missing import lists)

Refix docs for sizeofByteArray#/sizeofMutableByteArray# (#3800)