Make and use AR_STAGE[0123] makefile vars

Remove now-unused compiler/Makefile.local

Remove unused makefile variable PREPROCESSCMD

Remove unused Makefile.local

Remove unused Makefile.inc

Remove an nhc-specific makefile

Make stage-specific CC variables

This allows different gcc's to be used when building different stages,
which we need to do when cross-compiling.

Update .gitignore for the extra-gcc-opts -> settings change

Remove UseGcc makefile var

It couldn't be overridden, and was defined as YES.

Rename FP_HAVE_GCC to FP_GCC_VERSION

Remove HaveGcc (it was always YES)

Remove redundant tests for whether we're in a GHC tree

We always are, nowadays.

Revert "Output ELF .size directives for functions"

This reverts commit b1f453e16f0ce11a2ab18cc4c350bdcbd36299a6.
It caused dynHelloWorld(dyn) to fail.

Move gcc's and perl's location to the settings file

They were hardcoded in Config.hs

Output ELF .size directives for functions

This allows tools like Linux's perf events to display symbol names for
CMM primops.

Move the opt* fields from DynFlags into the Settings type

The pgm* fields are already in Settings

Tweak build rules for libffi

We were doing
    echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'
but the only x86 value HOSTPLATFORM can have is i386.

We now tell libffi its build platform again, but we now tell it it's
$(BUILDPLATFORM) rather than $(HOSTPLATFORM).

no need to set --build when configuring libffi

The value --build was set to broke cross-compilier builds, and isn't
needed for regular builds.

fix documentation of FP_ARG_WITH_PATH_GNU_PROG

Initialise Settings before DynFlags

Stops us having to temporarily have a panic in the DynFlags.
We still need a panic in the DynFlags used for the top-level
error handler, though.

Fix typo in shared libraries documentation.

Split off a Settings type from DynFlags

Rename "extra-gcc-opts" to "settings", and start generalising it

Fix typo in comment

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

do not use sed for version date processing but rather cut and tr

Based on an idea from Karel Gardas, who had troubles with the original
sed version (which didn't work with /usr/bin/sed on Solaris).

For very short linker scripts dlopen may return 'file too short' instead
of 'invalid ELF header'.

This is required to successfully load terminfo into GHCi in current
versions of Fedora. The INPUT command is use by libncursesw.so in
Fedora.

Add "./sync-all clean" command

Tidy up SigTv

This just a refactoring, removing dead code

Fix Trac #5130: missed error report

Some out of date code in TcErrors was suppressing an error
report -- so some type-incorrect code leaked out and confused
a later bit of the compiler.

Dont print "Constraint solver steps = n" if -dno-debug-output is on

Add pprDefiniteTrace and use it

The point here is that a very few uses of pprTrace are
controlled by a flag like -ddump-inlinings or -ddump-rule-firings,
and we want to see that output even with -dno-debug-output

Fix Trac #5126: generate correct usage info in TH declaration quotes

In RnBinds.rnValBindsRHS I had
      (sig_dus `plusDU` bind_dus)
when it should be
      (bind_dus `plusDU` sig_dus)

So the fix is easy.

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

Ignore .rej files

Pretty-print type variables that are operators correctly

Fixes Trac #5141.  Thanks to Adam Megacz.

Don't generate a prototype for cas

I'm not sure if this is the best way to fix this, but it fixes the
unreg build.

Make the compiler depend on unlit existing

Fixes an unreg build failure. I've also now made these sorts of
dependencies order-only.

Remove use of -fno-asm-mangling flag; fixes #5134

The flag no longer exists, but we always behave as if it had been used.

LLVM: Fix #5131. Add support for missing stg regs

Slightly better tracing in the constraint solver

Fix Trac #5038 (missing free variable in ifThenElse rebindable syntax)

Simplify treatement of pragmas slightly

Fix typo in comment

Remove unused function sigForThisGroup

Fix Trac #5045: add ticks to HsArrForms

I don't know why these were left out.  I did the obvious
thing... I hope it's right!

Fix Trac #5041: parse the trailing '#'

This matters for constructors and field labels that
have a trailing hash (MagicHash language extension).

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

Add more ignorance

Make ghc less keen to pass -v to gcc and friends

Also a small refactoring in how the verbosity flag is handled.

Set stdout to use line buffering in ghc-cabal

Document -fwarn-missing-local-sigs; part of #4817

Make sure the main git repo is case-insensitive too

Tidy sync-all up a bit, and turn on ignorecase for git repos

More sync-all refactoring

Refactor sync-all a bit

add --no-<tag>, so e.g. we can omit DPH with --no-dph

The hash table implementation had some static free lists that were
not protected by locks in the threaded RTS.  This moves the free lists
to the individual hash tables and removes the static variables.

Spotted by Marcin Orczyk <orczykm@dcs.gla.ac.uk>, thanks!  This could
definitely cause actual crashes.

fix a shutdown memory leak

Revert "Generalized assignment rewriting pass."

This reverts commit 2ec796239b782505cfb305af2789abcfa820baaf.

Generalized assignment rewriting pass.

This assignment rewriting pass subsumes the previous reload
sinking pass, and also performs basic inlining.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Disable check word address lint check, due to inlined pointer tags.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Add GenCmmGraph, which is a generic version of CmmGraph.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Check for ^M in packages file when booting

If we find one then we print an error message and fail.

Fix typo in docs; spotted by Rustom Mody in beginners@

Make the boot script complain if mk/build.mk doesn't exist

If we aren't validating and mk/build.mk doesn't exist then boot
prints a warning, pointing at instructions for setting up mk/build.mk.

Refactor how dependencies are included; fixes #5109

This avoids duplicating some logic around the build system.

Add a final newline to the link-time C file that we generate,
otherwise some versions of gcc complain about a missing final newline.

Avoid accumulating slop in the pinned_object_block.

The pinned_object_block is where we allocate small pinned ByteArray#
objects.  At a GC the pinned_object_block was being treated like other
large objects and promoted to the next step/generation, even if it was
only partly full.  Under some ByteString-heavy workloads this would
accumulate on average 2k of slop per GC, and this memory is never
released until the ByteArray# objects in the block are freed.

So now, we keep allocating into the pinned_object_block until it is
completely full, at which point it is handed over to the GC as before.
The pinned_object_block might therefore contain objects which a large
range of ages, but I don't think this is any worse than the situation
before.  We still have the fragmentation issue in general, but the new
scheme can improve the memory overhead for some workloads
dramatically.

Admonish the user to read the wiki page!

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

For BC labels, emit empty data section instead of empty proc.

This fixes two bugs:

    - The new code generator doesn't like procedures with
      empty graphs, and panicked in labelAGraph.

    - LLVM optimizes away empty procedures but not empty
      data sections, so now the backwards-compatibility
      labels actually work with -fllvm.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

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

Now that -fvia-C is gone, we don't need -march=i686 on i386 Darwin

This fixes #5106 (objc compilation was failing on i386 Darwin).

Add adjustUFM, adjustUFM_Directly and joinUFM to UniqFM.

Renamed adjustUFM in GraphOps to adjustUFM_C, to account
for alternate argument order.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Always support optimization fuel.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Update CmmRegOff shorthand for CmmMachOp.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

fix a bug introduced in 1fb38442d3a55ac92795aa6c5ed4df82011df724,
symptom was 2047(threaded2) was crashing.

Fix compiling on linux-powerpc.

Change the way module initialisation is done (#3252, #4417)

Previously the code generator generated small code fragments labelled
with __stginit_M for each module M, and these performed whatever
initialisation was necessary for that module and recursively invoked
the initialisation functions for imported modules.  This appraoch had
drawbacks:

 - FFI users had to call hs_add_root() to ensure the correct
   initialisation routines were called.  This is a non-standard,
   and ugly, API.

 - unless we were using -split-objs, the __stginit dependencies would
   entail linking the whole transitive closure of modules imported,
   whether they were actually used or not.  In an extreme case (#4387,
   #4417), a module from GHC might be imported for use in Template
   Haskell or an annotation, and that would force the whole of GHC to
   be needlessly linked into the final executable.

So now instead we do our initialisation with C functions marked with
__attribute__((constructor)), which are automatically invoked at
program startup time (or DSO load-time).  The C initialisers are
emitted into the stub.c file.  This means that every time we compile
with -prof or -hpc, we now get a stub file, but thanks to #3687 that
is now invisible to the user.

There are some refactorings in the RTS (particularly for HPC) to
handle the fact that initialisers now get run earlier than they did
before.

The __stginit symbols are still generated, and the hs_add_root()
function still exists (but does nothing), for backwards compatibility.

Cleanup sweep and fix a bug in RTS flag processing.

This code has accumulated a great deal of cruft over the years, this
pass cleans up a lot of the surrounding cruft but leaves the actual
argument processing alone - so there's still more that could be done.

Bug fixed:

  - ghc_rts_opts should not be subject to the --rtsopts setting.  If
    the programmer explicitly declares options with ghc_rts_opts, they
    shouldn't also have to accept command-line RTS options to make them
    work.

isAlive: re-apply the tag if we find a forwarding pointer. This is a
real bug, spotted by Marcin Orczyk (thanks!).  I'm not sure if it lead
to any actual crashes.

Remove debugging CmmComment from old code generator.

Warning: This change seems to tickle a bug in ghc-stage1 compiler
built with GHC 6.12.1 during validates.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Flag for defaulting the codegen GhcStageXDefaultNewCodegen.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Implement mapUFM_Directly.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Unsafe foreign calls (fat machine instructions) do not kill all registers.

The new code generator was doing some interesting spilling across
unsafe foreign calls:

     _c1ao::I32 = Hp - 4;
     I32[Sp - 20] = _c1ao::I32;
     foreign "ccall"
       newCAF((BaseReg, PtrHint), (R1, PtrHint))[_unsafe_call_];
     _c1ao::I32 = I32[Sp - 20];

This is fairly unnecessary, and resulted from over-conservative
liveness analysis from CmmLive.  We can see that the old code
generator only saved volatile registers across unsafe foreign calls:
spilling variables was done by saveVolatileVarsAndRegs, which was
only performed for ordinary calls.

This commit removes the excess kill from the liveness analysis, as well
as the *redundant* excess kill from spilling-and-reloading, and adds a
note to CmmNode to this effect.  The only registers we need to kill
are the ones that the foreign call assigns to, just like any other
machine instruction.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Refactoring and tidy up

This is a port of some of the changes from my private local-GC branch
(which is still in darcs, I haven't converted it to git yet).  There
are a couple of small functional differences in the GC stats: first,
per-thread GC timings should now be more accurate, and secondly we now
report average and maximum pause times. e.g. from minimax +RTS -N8 -s:

                                    Tot time (elapsed)  Avg pause  Max pause
  Gen  0      2755 colls,  2754 par   13.16s    0.93s     0.0003s    0.0150s
  Gen  1       769 colls,   769 par    3.71s    0.26s     0.0003s    0.0059s

ghc-pkg dependency on ghc-cabal should be an order-only dependency,
otherwise we repeatedly try to rebuild ghc-pkg if ghc-cabal is newer.

tweak to cleanTempFilesExcept

add casMutVar#

Whitespace only in main/Finder.lhs

Add "./sync-all reset" command

Support fat archives on OS X

Based on the darcs patch from Greg Wright in #4828.

Add "./sync-all config" command

rts/Linker.c tidyups and debug belches

Part of the patch from #5062, from Greg Wright.

gen_contents_index: Improve parsing of packages file

We are now more lenient in parsing the packages file, and
we don't use any GNUisms. Based on a patch from Matthias Kilian.

- disable shared lib support on Solaris 10 and older (fixes #4973)

Force re-linking if the options have changed (#4451)

A common sequence of commands (at least for me) is this:

$ ghc hello
1 of 1] Compiling Main             ( hello.hs, hello.o )
Linking hello ...
$ ./hello +RTS -s
hello: Most RTS options are disabled. Link with -rtsopts to enable them.
$ ghc hello -rtsopts
$

grr, nothing happened.  I could use -fforce-recomp, but if this was a
large program I probably don't want to recompile it all again, so:

$ rm hello
removed `hello'
$ ghc hello -rtsopts
Linking hello ...
$ ./hello +RTS -s
./hello +RTS -s
Hello World!
          51,264 bytes allocated in the heap
           2,904 bytes copied during GC
          43,808 bytes maximum residency (1 sample(s))
          17,632 bytes maximum slop
etc.

With this patch, GHC notices when the options have changed and forces
a relink, so you don't need to rm the binary or use -fforce-recomp.
This is done by adding the pertinent stuff to the binary in a special
section called ".debug-ghc-link-info":

$ readelf -p .debug-ghc-link-info ./hello
String dump of section 'ghc-linker-opts':
  [     0]  (["-lHSbase-4.3.1.0","-lHSinteger-gmp-0.2.0.2","-lgmp","-lHSghc-prim-0.2.0.0","-lHSrts","-lm","-lrt","-ldl","-u","ghczmprim_GHCziTypes_Izh_static_info","-u","ghczmprim_GHCziTypes_Czh_static_info","-u","ghczmprim_GHCziTypes_Fzh_static_info","-u","ghczmprim_GHCziTypes_Dzh_static_info","-u","base_GHCziPtr_Ptr_static_info","-u","base_GHCziWord_Wzh_static_info","-u","base_GHCziInt_I8zh_static_info","-u","base_GHCziInt_I16zh_static_info","-u","base_GHCziInt_I32zh_static_info","-u","base_GHCziInt_I64zh_static_info","-u","base_GHCziWord_W8zh_static_info","-u","base_GHCziWord_W16zh_static_info","-u","base_GHCziWord_W32zh_static_info","-u","base_GHCziWord_W64zh_static_info","-u","base_GHCziStable_StablePtr_static_info","-u","ghczmprim_GHCziTypes_Izh_con_info","-u","ghczmprim_GHCziTypes_Czh_con_info","-u","ghczmprim_GHCziTypes_Fzh_con_info","-u","ghczmprim_GHCziTypes_Dzh_con_info","-u","base_GHCziPtr_Ptr_con_info","-u","base_GHCziPtr_FunPtr_con_info","-u","base_GHCziStable_StablePtr_con_info","-u","ghczmprim_GHCziTypes_False_closure","-u","ghczmprim_GHCziTypes_True_closure","-u","base_GHCziPack_unpackCString_closure","-u","base_GHCziIOziException_stackOverflow_closure","-u","base_GHCziIOziException_heapOverflow_closure","-u","base_ControlziExceptionziBase_nonTermination_closure","-u","base_GHCziIOziException_blockedIndefinitelyOnMVar_closure","-u","base_GHCziIOziException_blockedIndefinitelyOnSTM_closure","-u","base_ControlziExceptionziBase_nestedAtomically_closure","-u","base_GHCziWeak_runFinalizzerBatch_closure","-u","base_GHCziTopHandler_runIO_closure","-u","base_GHCziTopHandler_runNonIO_closure","-u","base_GHCziConcziIO_ensureIOManagerIsRunning_closure","-u","base_GHCziConcziSync_runSparks_closure","-u","base_GHCziConcziSignal_runHandlers_closure","-lHSffi"],Nothing,RtsOptsAll,False,[],[])

And GHC itself uses the readelf command to extract it when deciding
whether to relink.  The reason for the name ".debug-ghc-link-info" is
that sections beginning with ".debug" are removed automatically by
strip.

This currently only works on Linux; Windows and OS X still have the
old behaviour.

Handle '\r's in boot-pkgs files

By default, git will clone in autocrlf mode, which on Windows means
we get '\r's added to the ghc-packages files.

bugfix for stub generation: create the directory for the _stub.h file,
not the _stub.c file, because the latter is now created as a temporary
file.