ghc.git
12 years agoremove unused TICK_FREQUENCY
Simon Marlow [Wed, 18 Jul 2007 11:06:55 +0000 (11:06 +0000)] 
remove unused TICK_FREQUENCY

12 years agowakeUpSleepingThreads: fix off by one
Simon Marlow [Wed, 18 Jul 2007 09:27:54 +0000 (09:27 +0000)] 
wakeUpSleepingThreads: fix off by one
The symptom of this bug is after the time of a threadDelay has
expired, the RTS does a whole slew of extra select() calls.
This should help with #1523, but it's not the whole story.

12 years agoFixes for the unreg build
Ian Lynagh [Wed, 18 Jul 2007 11:17:51 +0000 (11:17 +0000)] 
Fixes for the unreg build
* Fix code output order when printing C so things are defined before
  they are used.
* Generate _ret rather than _entry functions for INFO_TABLE_RET.
* Use "ASSIGN_BaseReg" rather than "BaseReg =".

12 years agoFactor 'callerSaveVolatileRegs' out of the NCG and into CgUtil
Michael D. Adams [Tue, 17 Jul 2007 01:42:57 +0000 (01:42 +0000)] 
Factor 'callerSaveVolatileRegs' out of the NCG and into CgUtil

This is needed because CgForeign and parts of the CPS pass now use
'callerSaveVolatileRegs' and not all platforms have access to the NCG.

12 years agoRefactoring
Roman Leshchinskiy [Wed, 18 Jul 2007 04:55:53 +0000 (04:55 +0000)] 
Refactoring

12 years agoBetter names for PArray instance coercions
Roman Leshchinskiy [Wed, 18 Jul 2007 04:50:51 +0000 (04:50 +0000)] 
Better names for PArray instance coercions

12 years agoAdd generated PArray instances to instance environments
Roman Leshchinskiy [Wed, 18 Jul 2007 04:44:33 +0000 (04:44 +0000)] 
Add generated PArray instances to instance environments

12 years agoNicer names for generated PArray instances
Roman Leshchinskiy [Wed, 18 Jul 2007 04:14:11 +0000 (04:14 +0000)] 
Nicer names for generated PArray instances

12 years agoGenerate PArray instances of vectorised tycons
Roman Leshchinskiy [Wed, 18 Jul 2007 04:08:28 +0000 (04:08 +0000)] 
Generate PArray instances of vectorised tycons

12 years agoGeneration of DataCons for implicit PArray instances
Roman Leshchinskiy [Wed, 18 Jul 2007 02:52:35 +0000 (02:52 +0000)] 
Generation of DataCons for implicit PArray instances

12 years agoFix two typos
Roman Leshchinskiy [Wed, 18 Jul 2007 02:52:24 +0000 (02:52 +0000)] 
Fix two typos

12 years agoMore vectorisation-related OccNames
Roman Leshchinskiy [Wed, 18 Jul 2007 02:51:59 +0000 (02:51 +0000)] 
More vectorisation-related OccNames

12 years agodarcs-all: allow relative path for repo in local fs
Manuel M T Chakravarty [Wed, 18 Jul 2007 03:45:11 +0000 (03:45 +0000)] 
darcs-all: allow relative path for repo in local fs

12 years agoImplement the RTS side of GHC.Environment.getFullArgs
Ian Lynagh [Tue, 17 Jul 2007 14:20:50 +0000 (14:20 +0000)] 
Implement the RTS side of GHC.Environment.getFullArgs

12 years agoTypo
Ian Lynagh [Mon, 16 Jul 2007 23:56:35 +0000 (23:56 +0000)] 
Typo

12 years agoCorrections for warnings in the user guide
Ian Lynagh [Mon, 16 Jul 2007 23:17:41 +0000 (23:17 +0000)] 
Corrections for warnings in the user guide

12 years agoSync the UG entries for -Wall, -w etc with reality
Ian Lynagh [Mon, 16 Jul 2007 22:19:43 +0000 (22:19 +0000)] 
Sync the UG entries for -Wall, -w etc with reality

12 years ago-w should turn off /all/ options, not just the -Wall ones
Ian Lynagh [Mon, 16 Jul 2007 22:14:42 +0000 (22:14 +0000)] 
-w should turn off /all/ options, not just the -Wall ones

12 years agoImplement -fwarn-dodgy-imports
Ian Lynagh [Mon, 16 Jul 2007 22:06:35 +0000 (22:06 +0000)] 
Implement -fwarn-dodgy-imports
You used to only be able to enable Opt_WarnDodgyImports with -W or -Wall.
This patch adds the flag to en/disable it by name.
(DodgyImports == importing T(..) when only T is exported).

12 years agoDoc tweaks
Ian Lynagh [Mon, 16 Jul 2007 21:28:13 +0000 (21:28 +0000)] 
Doc tweaks

12 years agoRemove note that -E behaviour has changed (6.0 has the same note)
Ian Lynagh [Mon, 16 Jul 2007 18:36:24 +0000 (18:36 +0000)] 
Remove note that -E behaviour has changed (6.0 has the same note)

12 years agoDoc tweaks
Ian Lynagh [Mon, 16 Jul 2007 18:35:40 +0000 (18:35 +0000)] 
Doc tweaks

12 years agoUser guide tweaks
Ian Lynagh [Mon, 16 Jul 2007 18:03:52 +0000 (18:03 +0000)] 
User guide tweaks

12 years agoDoc tweak
Ian Lynagh [Mon, 16 Jul 2007 17:47:35 +0000 (17:47 +0000)] 
Doc tweak

12 years agoDoc tweak
Ian Lynagh [Mon, 16 Jul 2007 17:44:28 +0000 (17:44 +0000)] 
Doc tweak

12 years agoCorrect user guide on when .ghci is read
Ian Lynagh [Mon, 16 Jul 2007 17:24:48 +0000 (17:24 +0000)] 
Correct user guide on when .ghci is read

12 years agoTweak punctuation in the user guide
Ian Lynagh [Mon, 16 Jul 2007 17:15:50 +0000 (17:15 +0000)] 
Tweak punctuation in the user guide

12 years agoghci command docs tweaks
Ian Lynagh [Mon, 16 Jul 2007 17:06:01 +0000 (17:06 +0000)] 
ghci command docs tweaks

12 years agoFix alphabetical ordering in :? output
Ian Lynagh [Mon, 16 Jul 2007 16:51:49 +0000 (16:51 +0000)] 
Fix alphabetical ordering in :? output

12 years agoFix alphabetical ordering in user guide
Ian Lynagh [Mon, 16 Jul 2007 15:55:44 +0000 (15:55 +0000)] 
Fix alphabetical ordering in user guide

12 years agoTypo
Ian Lynagh [Mon, 16 Jul 2007 15:34:13 +0000 (15:34 +0000)] 
Typo

12 years agoRemove another instance of the banner from the user guide
Ian Lynagh [Sun, 15 Jul 2007 22:14:44 +0000 (22:14 +0000)] 
Remove another instance of the banner from the user guide

12 years agoIn user guide, don't claim that ghci never generates .hi files
Ian Lynagh [Sun, 15 Jul 2007 22:11:19 +0000 (22:11 +0000)] 
In user guide, don't claim that ghci never generates .hi files
With -fobject-code it now can do.

12 years agoghci debugger documentation tweaks
Ian Lynagh [Sun, 15 Jul 2007 22:05:17 +0000 (22:05 +0000)] 
ghci debugger documentation tweaks

12 years agoFix typo
Ian Lynagh [Sun, 15 Jul 2007 12:22:29 +0000 (12:22 +0000)] 
Fix typo

12 years agoghci doc tweaks
Ian Lynagh [Sun, 15 Jul 2007 12:21:28 +0000 (12:21 +0000)] 
ghci doc tweaks

12 years agoAdding pushing of hpc translation status through hi files.
andy@galois.com [Tue, 17 Jul 2007 07:35:10 +0000 (07:35 +0000)] 
Adding pushing of hpc translation status through hi files.

Now, if a single module *anywhere* on the module tree is built with
-fhpc, the binary will enable reading/writing of <bin>.tix.

Previously, you needed to compile Main to allow coverage to operate.

This changes the file format for .hi files; you will need to recompile every library.

12 years agoHandle unlifted tycons and tuples correctly during vectorisation
Roman Leshchinskiy [Tue, 17 Jul 2007 06:48:16 +0000 (06:48 +0000)] 
Handle unlifted tycons and tuples correctly during vectorisation

12 years agoInitialise global vectorisation environment properly
Roman Leshchinskiy [Tue, 17 Jul 2007 06:42:33 +0000 (06:42 +0000)] 
Initialise global vectorisation environment properly

12 years agoVectorise type declarations
Roman Leshchinskiy [Tue, 17 Jul 2007 06:33:09 +0000 (06:33 +0000)] 
Vectorise type declarations

12 years agoVectorisation of data declarations (incomplete)
Roman Leshchinskiy [Tue, 17 Jul 2007 06:13:06 +0000 (06:13 +0000)] 
Vectorisation of data declarations (incomplete)

12 years agoAdd vectorisation environment transformers
Roman Leshchinskiy [Tue, 17 Jul 2007 05:49:43 +0000 (05:49 +0000)] 
Add vectorisation environment transformers

12 years agoRefactor
Roman Leshchinskiy [Tue, 17 Jul 2007 05:28:35 +0000 (05:28 +0000)] 
Refactor

12 years agoRemove mapping from tycons to PA dictionaries from vect environment
Roman Leshchinskiy [Tue, 17 Jul 2007 05:23:23 +0000 (05:23 +0000)] 
Remove mapping from tycons to PA dictionaries from vect environment

12 years agoAdd datacons to vectorisation environment
Roman Leshchinskiy [Tue, 17 Jul 2007 05:22:39 +0000 (05:22 +0000)] 
Add datacons to vectorisation environment

12 years agoAdd fixV
Roman Leshchinskiy [Tue, 17 Jul 2007 05:15:27 +0000 (05:15 +0000)] 
Add fixV

12 years agoClassification of tycons for vectorisation
Roman Leshchinskiy [Tue, 17 Jul 2007 05:03:37 +0000 (05:03 +0000)] 
Classification of tycons for vectorisation

12 years agoClean up
Roman Leshchinskiy [Tue, 17 Jul 2007 04:19:57 +0000 (04:19 +0000)] 
Clean up

12 years agoMove type vectorisation code to a separate module
Roman Leshchinskiy [Tue, 17 Jul 2007 04:16:45 +0000 (04:16 +0000)] 
Move type vectorisation code to a separate module

12 years agoPass correct dictionary to lengthPA for single-element environments
Roman Leshchinskiy [Mon, 16 Jul 2007 11:08:19 +0000 (11:08 +0000)] 
Pass correct dictionary to lengthPA for single-element environments

12 years agoAbstract over all in-scope type variables when creating closures
Roman Leshchinskiy [Mon, 16 Jul 2007 10:58:47 +0000 (10:58 +0000)] 
Abstract over all in-scope type variables when creating closures

12 years agoPass PA dictionaries after all type arguments
Roman Leshchinskiy [Mon, 16 Jul 2007 10:56:19 +0000 (10:56 +0000)] 
Pass PA dictionaries after all type arguments

This makes the code slightly simpler but only works because we do not support
rank-n types.

12 years agoFix bug in lifted environment inspection code
Roman Leshchinskiy [Mon, 16 Jul 2007 07:23:38 +0000 (07:23 +0000)] 
Fix bug in lifted environment inspection code

12 years agoLifting contexts have type Int#
Roman Leshchinskiy [Mon, 16 Jul 2007 06:51:55 +0000 (06:51 +0000)] 
Lifting contexts have type Int#

This tracks the corresponding change in package ndp. With this patch, we
finally can vectorise something (f x = x).

12 years agoFix bug in vectorisation
Roman Leshchinskiy [Mon, 16 Jul 2007 06:35:48 +0000 (06:35 +0000)] 
Fix bug in vectorisation

12 years agoFix bad bug in type vectorisation
Roman Leshchinskiy [Mon, 16 Jul 2007 06:28:33 +0000 (06:28 +0000)] 
Fix bad bug in type vectorisation

12 years agoMake vectorisation part of the optimiser pipeline
Roman Leshchinskiy [Mon, 16 Jul 2007 06:19:00 +0000 (06:19 +0000)] 
Make vectorisation part of the optimiser pipeline

12 years agoGet NDP prelnames from the right modules
Roman Leshchinskiy [Mon, 16 Jul 2007 06:18:16 +0000 (06:18 +0000)] 
Get NDP prelnames from the right modules

12 years agoVectorise top-level bindings of a module
Roman Leshchinskiy [Mon, 16 Jul 2007 05:24:06 +0000 (05:24 +0000)] 
Vectorise top-level bindings of a module

12 years agoVectorisation of top-level bindings
Roman Leshchinskiy [Mon, 16 Jul 2007 05:11:39 +0000 (05:11 +0000)] 
Vectorisation of top-level bindings

12 years agoStore hoisted bindings in the global environment during vectorisation
Roman Leshchinskiy [Mon, 16 Jul 2007 05:00:19 +0000 (05:00 +0000)] 
Store hoisted bindings in the global environment during vectorisation

12 years agoAdd support for name cloning to vectorisation monad
Roman Leshchinskiy [Mon, 16 Jul 2007 04:48:26 +0000 (04:48 +0000)] 
Add support for name cloning to vectorisation monad

12 years agoRefactoring
Roman Leshchinskiy [Mon, 16 Jul 2007 04:48:01 +0000 (04:48 +0000)] 
Refactoring

12 years agoAdapt interface file code for vectorisation
Roman Leshchinskiy [Mon, 16 Jul 2007 03:57:39 +0000 (03:57 +0000)] 
Adapt interface file code for vectorisation

For the most part, this patch simply renames functions which had been used
for closure conversion and hence have CC in their name. It also changes the
OccNames generated by vectorisation.

12 years agoCollect hoisted vectorised functions
Roman Leshchinskiy [Mon, 16 Jul 2007 02:11:51 +0000 (02:11 +0000)] 
Collect hoisted vectorised functions

12 years agoFirst incomplete version of closure vectorisation
Roman Leshchinskiy [Fri, 13 Jul 2007 07:33:18 +0000 (07:33 +0000)] 
First incomplete version of closure vectorisation

12 years agoRefactor slightly
Roman Leshchinskiy [Fri, 13 Jul 2007 07:33:04 +0000 (07:33 +0000)] 
Refactor slightly

12 years agoAdd utility function for vectorisation
Roman Leshchinskiy [Fri, 13 Jul 2007 07:32:27 +0000 (07:32 +0000)] 
Add utility function for vectorisation

12 years agoAdd closedV
Roman Leshchinskiy [Fri, 13 Jul 2007 07:28:43 +0000 (07:28 +0000)] 
Add closedV

12 years agoExport wrapFamInstBody and unwrapFamInstScrut
Roman Leshchinskiy [Thu, 12 Jul 2007 04:54:34 +0000 (04:54 +0000)] 
Export wrapFamInstBody and unwrapFamInstScrut

12 years agoRefactoring
Roman Leshchinskiy [Wed, 11 Jul 2007 04:48:20 +0000 (04:48 +0000)] 
Refactoring

12 years agoAdd whitespace
Roman Leshchinskiy [Wed, 11 Jul 2007 03:58:39 +0000 (03:58 +0000)] 
Add whitespace

12 years agoOnly vectorise rank-1 expressions
Roman Leshchinskiy [Wed, 11 Jul 2007 03:56:16 +0000 (03:56 +0000)] 
Only vectorise rank-1 expressions

12 years agoMove some vectorisation utility functions
Roman Leshchinskiy [Tue, 10 Jul 2007 14:09:34 +0000 (14:09 +0000)] 
Move some vectorisation utility functions

12 years agoModify PA dictionary computation to work with the class-based scheme
Roman Leshchinskiy [Tue, 10 Jul 2007 14:02:21 +0000 (14:02 +0000)] 
Modify PA dictionary computation to work with the class-based scheme

12 years agoClean up handling of PA dictionaries
Roman Leshchinskiy [Tue, 10 Jul 2007 13:31:24 +0000 (13:31 +0000)] 
Clean up handling of PA dictionaries

12 years agoFIX problem with not using the compat lib for Set in hpc tools.
andy@galois.com [Sun, 15 Jul 2007 21:36:02 +0000 (21:36 +0000)] 
FIX problem with not using the compat lib for Set in hpc tools.

12 years agoProperly parse GC blocks for functions with info tables
Michael D. Adams [Sun, 15 Jul 2007 20:41:16 +0000 (20:41 +0000)] 
Properly parse GC blocks for functions with info tables

12 years agoRemoved 'allow_header_set' argument from 'pack_continuation'.
Michael D. Adams [Sun, 15 Jul 2007 20:22:35 +0000 (20:22 +0000)] 
Removed 'allow_header_set' argument from 'pack_continuation'.
Because branches might now go to continuations and become calls to
continuations, 'allow_header_set' isn't always correct.
Removing that parameter makes the conservative approximation.
A better approximation might save one memory store is some cases.

12 years agoFixed conditional branches to proc points
Michael D. Adams [Sun, 15 Jul 2007 20:20:33 +0000 (20:20 +0000)] 
Fixed conditional branches to proc points
These could occur due to GC checks.

12 years agoRemoved unused variable from compiler/cmm/CmmCPS.hs
Michael D. Adams [Sun, 15 Jul 2007 20:17:17 +0000 (20:17 +0000)] 
Removed unused variable from compiler/cmm/CmmCPS.hs

12 years agoRemoved unused import from compiler/cmm/CmmCPS.hs
Michael D. Adams [Sun, 15 Jul 2007 20:16:38 +0000 (20:16 +0000)] 
Removed unused import from compiler/cmm/CmmCPS.hs

12 years agoKeep the CPS pass from creating proc points due to unreachable parents.
Michael D. Adams [Sun, 15 Jul 2007 16:20:03 +0000 (16:20 +0000)] 
Keep the CPS pass from creating proc points due to unreachable parents.

The parser/flattener will generate an extra block after an if/else
statement even if both branches exit the function.  So it is possible
for the input to the CPS pass to have dead/unreachable blocks.

If a dead block goes to a live block then the live block would
have more parents than the dead block and prior to this patch
the live block would then be identified as a proc point.
This is fixed by adding a check to see if the parent
has at least one owner.

12 years agoFixed CPS to account for info tables not being next to code
Michael D. Adams [Sun, 15 Jul 2007 01:11:41 +0000 (01:11 +0000)] 
Fixed CPS to account for info tables not being next to code

12 years agoFix the CPS pass to pack the continuation with correct label form.
Michael D. Adams [Sat, 14 Jul 2007 18:49:55 +0000 (18:49 +0000)] 
Fix the CPS pass to pack the continuation with correct label form.
It was using the return point label before; now it uses the info label.

12 years agoFix for print022 (round up when dividing type size by word size)
Ian Lynagh [Sat, 14 Jul 2007 22:39:40 +0000 (22:39 +0000)] 
Fix for print022 (round up when dividing type size by word size)
From Pepe Iborra (mnislaih)

12 years agoFix putting hsicon.ico into the Windows installer; fixes #1515
Ian Lynagh [Sat, 14 Jul 2007 16:13:12 +0000 (16:13 +0000)] 
Fix putting hsicon.ico into the Windows installer; fixes #1515
It was done in a bit of the Makefile that was if'ed out for Windows.

12 years agoUpdate the ghci "loading" section of the user guide
Ian Lynagh [Sat, 14 Jul 2007 00:13:46 +0000 (00:13 +0000)] 
Update the ghci "loading" section of the user guide

12 years agoDon't show the ghci :? output in the user guide
Ian Lynagh [Fri, 13 Jul 2007 22:30:17 +0000 (22:30 +0000)] 
Don't show the ghci :? output in the user guide
The ghci command list is now much larger than it used to be, and it
tends to go out of sync with the docs anyway.

12 years agoUser guide tweaks
Ian Lynagh [Fri, 13 Jul 2007 22:26:56 +0000 (22:26 +0000)] 
User guide tweaks

12 years agoUser guide tweaks
Ian Lynagh [Fri, 13 Jul 2007 22:12:58 +0000 (22:12 +0000)] 
User guide tweaks

12 years agoTweak Windows installation instructions in the user guide
Ian Lynagh [Fri, 13 Jul 2007 22:06:28 +0000 (22:06 +0000)] 
Tweak Windows installation instructions in the user guide

12 years agoUpdate the contents of the library directy in the user guide
Ian Lynagh [Fri, 13 Jul 2007 21:40:04 +0000 (21:40 +0000)] 
Update the contents of the library directy in the user guide

12 years agoUser guide tweaks
Ian Lynagh [Fri, 13 Jul 2007 21:00:49 +0000 (21:00 +0000)] 
User guide tweaks

12 years agoDon't talk about nfib from the user guide now that we no longer ship it
Ian Lynagh [Fri, 13 Jul 2007 20:04:42 +0000 (20:04 +0000)] 
Don't talk about nfib from the user guide now that we no longer ship it

12 years agoRemove "What bundles there are" now we only have the standard one
Ian Lynagh [Fri, 13 Jul 2007 19:53:41 +0000 (19:53 +0000)] 
Remove "What bundles there are" now we only have the standard one

12 years agoUpdate bundle installation instructions
Ian Lynagh [Fri, 13 Jul 2007 19:44:24 +0000 (19:44 +0000)] 
Update bundle installation instructions

12 years agoIn the users guide, talk about configure flags
Ian Lynagh [Thu, 12 Jul 2007 02:17:59 +0000 (02:17 +0000)] 
In the users guide, talk about configure flags
(rather than talking about tweaking the Makefile(-vars) by hand)

12 years agoRemove "install in-place" blurb from the docs as it no longer works
Ian Lynagh [Thu, 12 Jul 2007 01:54:40 +0000 (01:54 +0000)] 
Remove "install in-place" blurb from the docs as it no longer works

12 years agodoc tweak
Ian Lynagh [Thu, 12 Jul 2007 01:53:40 +0000 (01:53 +0000)] 
doc tweak