summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Collapse)AuthorAgeFilesLines
...
| * | StgCmmUtils no longer needs to include HaskellMachRegs.hIan Lynagh2012-08-211-1/+0
| | |
| * | Use haveRegBase in StgCmmUtils tooIan Lynagh2012-08-211-13/+13
| | |
| * | Whitespace only in StgCmmUtilsIan Lynagh2012-08-211-200/+194
| | |
| * | CgUtils no longer needs to #include HaskellMachRegs.hIan Lynagh2012-08-211-1/+0
| | |
| * | Add haveRegBase to CodeGen.PlatformIan Lynagh2012-08-212-16/+31
| | |
| * | Move activeStgRegs into CodeGen.PlatformIan Lynagh2012-08-2116-137/+102
| | |
| * | Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghcIan Lynagh2012-08-212-67/+78
| |\ \
| | * | fix warningSimon Marlow2012-08-211-1/+0
| | | |
| | * | Annotate code in {-# LINE #-} pragmas as wellPeter Wortmann2012-08-211-31/+59
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I suppose this was a good idea for HPC, as it assumed that source code annotations coming from a source file could only talk about the same source file (by how Mix files are saved). I don't see a reason why cost-centres or source annotations would want that kind of behaviour. I introduced a flag for toggling the behaviour per tickish. (plus some minor refactoring, as well as making sure that the same check applies to binary tick boxes, where they had apparently been forgotten.)
| | * | Reduce the likelihood of x64/x86-64 changes breaking the build on other ↵Erik de Castro Lopo2012-08-211-36/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | arches (#7083). Code that needs to differentiate between i386 and x86-64 should now be written as if x86-64 is the default and i386 is the special case. Eg: # if i386_TARGET_ARCH someFuncion = ..... # else someFuncion = ..... # endif
| * | | Fix the generation of CallerSaves; fixes #7163Ian Lynagh2012-08-2112-54/+105
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | Simon Marlow spotted that we were #include'ing MachRegs.h several times, but that doesn't work as (a) it uses ifdeffery to avoid being included multiple times, and (b) even if we work around that, then the #define's from previous inclusions are still defined when we #include it again. So we now put the platform code for each platform in a separate .hs file.
| * | Fix inverted test for platformUnregisterised (should fix the optllvm breakage)Simon Marlow2012-08-211-2/+2
| | |
| * | remove tabsSimon Marlow2012-08-211-93/+86
| | |
| * | remove tabsSimon Marlow2012-08-211-124/+117
| | |
| * | remove tabsSimon Marlow2012-08-211-52/+45
| | |
| * | Avoid the quadratic append trap in flattenCmmAGraphSimon Marlow2012-08-211-48/+59
| |/ | | | | | | Fixes a perf problem in perf/compiler/T783
| * When pattern matching against a constructor with equalities,Simon Peyton Jones2012-08-201-4/+6
| | | | | | | | | | | | require either -XGADTs *or* -XTypeFamilies (rather than only the former) Fixes Trac #7156
| * Allow a vew pattern or bang pattern in a record pattern.Takano Akio2012-08-161-1/+5
| | | | | | | | | | | | | | e.g. data T = MkT { x,y :: Int } f (MkT { x = !v, y = negate -> w }) = v + w
| * Use TcMType.growThetaTyVars (which works) rather than TcSimplify.growPreds ↵Simon Peyton Jones2012-08-151-26/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (which doesn't) I think this got left behind when we simplified and improved TcSimplify. The effect was that we had a function like class P a b | a -> b class Q b c | b -> c f :: (P a b, Q b c) => a -> a and were were failing to quanitfy over 'c', even though it is (indirectly) determined by 'a'. This make Programatica fail to compile: Trac #7147
| * Test FlexibleInstance not UndecidableInstances in the ambiguity checkSimon Peyton Jones2012-08-151-5/+5
| | | | | | | | Fixes Trac #7131
| * Require DataKinds for promoted list/tuple syntax in typesSimon Peyton Jones2012-08-153-15/+25
| | | | | | | | Fixes Trac #7151
| * Put kind variables before type variables when quantifyingSimon Peyton Jones2012-08-151-3/+3
| | | | | | | | | | | | This is a pretty egregious error; I'm surprised it has lasted so long! Fixes Trac #7124
| * Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-08-153-7/+14
| |\
| | * Fix environment update for type instance declarations in GHCi (#7117)Paolo Capriotti2012-08-131-1/+1
| | | | | | | | | | | | Patch by Patrick Palka <patrick@parcs.ath.cx>
| | * Fix ambiguous flag resolution (#7138)Paolo Capriotti2012-08-131-5/+7
| | | | | | | | | | | | | | | | | | | | | Pick longest flag when more than one matches in findArg. This fixes an issue where -ignore-dot-ghci wasn't honored, because the flag was parsed as "-i gnore-dot-ghci".
| | * Don't pass -Wimplicit to the C++ compiler.Austin Seipp2012-08-131-1/+6
| | | | | | | | | | | | | | | | | | | | | Supresses an ugly warning from gcc 4.6+ saying this is a C/ObjC flag only. Signed-off-by: Austin Seipp <mad.one@gmail.com>
| * | Fix Trac #7145, by recording uses of constructor "children" in export listsSimon Peyton Jones2012-08-151-4/+10
| | |
| * | Comments about shadowingSimon Peyton Jones2012-08-151-0/+13
| | |
| * | TH: Pragmas refactoring.Mikhail Vorozhtsov2012-08-153-131/+216
| | | | | | | | | | | | Also adds RULES and 'SPECIALIZE instance' support.
| * | Better debug printingSimon Peyton Jones2012-08-141-1/+1
| | |
| * | CommentsSimon Peyton Jones2012-08-142-3/+5
| | |
| * | Fix Trac #7128, by zonking kind varaibles more assiduously when typechecking ↵Simon Peyton Jones2012-08-142-5/+16
| |/ | | | | | | a class declaration
| * Fix build failure on OS X (#7119)Simon Marlow2012-08-091-1/+2
| | | | | | | | | | When refactoring this recently I accidentally put the dead-strip-preventer symbol (only used on OS X) in the wrong section.
| * Remove uses of fixC from the codeGen, and make the FCode monad strictSimon Marlow2012-08-096-204/+222
| |
| * Only run the second round of control-flow optimisations when -O is onSimon Marlow2012-08-091-2/+11
| |
| * a couple of small optimisationsSimon Marlow2012-08-091-7/+6
| |
| * fix warningSimon Marlow2012-08-071-1/+1
| |
| * maybeInvertComparison: remove floating-point comparisonsSimon Marlow2012-08-071-6/+0
| | | | | | | | See comments.
| * entryHeapCheck: fix calls to stg_gc_fun and stg_gc_enter_1Simon Marlow2012-08-072-23/+28
| | | | | | | | | | | | | | | | | | We weren't passing the arguments correctly to the GC functions, which usually happened to work because the arguments were in the right registers already. After this fix the profiling tests go through with the new code generator.
| * Small optimisationSimon Marlow2012-08-071-5/+6
| | | | | | | | | | | | When calling newCAF, refer to the closure using its LocalReg rather than R1. Using R1 here was preventing the register allocator from coalescing the assignment x=R1 at the beginning of the function.
| * fix a warningSimon Marlow2012-08-071-1/+1
| |
| * Eliminate "r = r" in mkAssignSimon Marlow2012-08-071-0/+1
| |
| * Node calling convs should use R1 even if it isn't a registerSimon Marlow2012-08-071-28/+20
| |
| * Add missing cases in hand-coded instance Eq GlobalRegSimon Marlow2012-08-071-0/+2
| | | | | | | | aargh.
| * fix maybeSaveCostCentre: cases were reversedSimon Marlow2012-08-071-2/+2
| |
| * Fix update frames for profilingSimon Marlow2012-08-072-15/+19
| |
| * Cleanup and fixes to profilingSimon Marlow2012-08-073-27/+33
| |
| * A closure with void args only should be a function, not a thunkSimon Marlow2012-08-071-4/+3
| |
| * Make lint check for undefined variables in CmmSimon Marlow2012-08-071-1/+5
| |
| * Generate one fewer temps per heap allocationSimon Marlow2012-08-074-40/+28
| | | | | | | | | | This saves compile time and can make a big difference in some pathological cases (T4801)
View Lorry Controller Status