summaryrefslogtreecommitdiff
path: root/compiler/nativeGen/PPC
Commit message (Collapse)AuthorAgeFilesLines
* Fix the unregisterised build; fixes #5901Ian Lynagh2012-02-271-3/+3
|
* minor tweakGabor Greif2012-02-271-1/+1
|
* Add a 2-word-multiply operatorIan Lynagh2012-02-241-0/+1
| | | | Currently no NCGs support it
* Add a Word add-with-carry primopIan Lynagh2012-02-231-7/+6
| | | | No special-casing in any NCGs yet
* Add a primop for unsigned quotRem; part of #5598Ian Lynagh2012-02-171-0/+1
| | | | Only amd64 has an efficient implementation currently.
* Define a quotRem CallishMachOp; fixes #5598Ian Lynagh2012-02-141-4/+10
| | | | | This means we no longer do a division twice when we are using quotRem (on platforms on which the op is supported; currently only amd64).
* Track STG live register information for use in LLVMDavid Terei2012-01-091-1/+1
| | | | | | | | | We now carry around with CmmJump statements a list of the STG registers that are live at that jump site. This is used by the LLVM backend so it can avoid unnesecarily passing around dead registers, improving perfromance. This gives us the framework to finally fix trac #4308.
* Remove unused arg field of CmmReturnDavid Terei2012-01-051-1/+1
|
* Remove unused argument field on CmmJumpDavid Terei2012-01-051-1/+1
|
* fix warningSimon Marlow2012-01-041-6/+1
|
* Make getDynFlags* functions use HasDynFlags/getDynFlags tooIan Lynagh2011-12-191-9/+9
|
* Get rid of the "safety" field of CmmCall (OldCmm)Simon Marlow2011-11-291-1/+1
| | | | | This field was doing nothing. I think it originally appeared in a very old incarnation of the new code generator.
* Fixes for NetBSDIan Lynagh2011-11-251-0/+1
| | | | | Based on a patch from Arnaud Degroote <degroote@NetBSD.org> in trac #5480.
* Explicitly handle unsupported Cmm prim ops.David Terei2011-11-221-3/+4
|
* Fix validate by moving OPTIONS -fno-warn-tabs Validate fixed for Mac OS X ↵Thorkil Naur2011-11-071-3/+3
| | | | 10.5 and Linux. For both: compiler/nativeGen/PPC/Instr.hs compiler/nativeGen/SPARC/Instr.hs failed to (stage1) build. For Mac OS X, but mysteriously not for Linux: compiler/basicTypes/Id.lhs compiler/basicTypes/Name.lhs failed during haddock'ing.
* Allow the use of R9 and R10 in primops; fixes trac #5423Ian Lynagh2011-11-061-0/+6
|
* Use -fwarn-tabs when validatingIan Lynagh2011-11-045-0/+35
| | | | | We only use it for "compiler" sources, i.e. not for libraries. Many modules have a -fno-warn-tabs kludge for now.
* Remove unused IF_OS_* CPP definitionsIan Lynagh2011-10-231-4/+4
|
* Finish removing CPP from nativeGen/PPC/Ppr.hsIan Lynagh2011-10-231-51/+31
|
* Remove half the CPP from nativeGen/PPC/Ppr.hsIan Lynagh2011-10-231-126/+120
|
* Remove all Haskell conditionals on HAVE_SUBSECTIONS_VIA_SYMBOLSIan Lynagh2011-10-191-17/+17
| | | | We now use the value from the targetPlatform instead.
* Revert "Remove OSUnknown"Ian Lynagh2011-10-191-0/+1
| | | | | | | This reverts commit f75f26cc4eed3c3cfc256ebfb9e77b8e82a766fc. On second thoughts, this does make sense, for unregisterised via-C OSes at least.
* Remove OSUnknownIan Lynagh2011-10-181-1/+0
| | | | | | It doesn't make sense. If platformOS is OSUnknown then we don't know the answer to any questions about the OS. So now if we don't recognise the OS we just fail, and the new OS will need to be added to the datatype.
* Fix build on OX X amd64Ian Lynagh2011-10-021-3/+3
|
* More CPP removal: pprDynamicLinkerAsmLabel in CLabelIan Lynagh2011-10-022-110/+114
| | | | And some knock-on changes
* Renaming onlySimon Peyton Jones2011-08-252-10/+10
| | | | | CmmTop -> CmmDecl CmmPgm -> CmmGroup
* Add popCnt# primopJohan Tibell2011-08-161-0/+3
|
* Small refactoringIan Lynagh2011-07-151-4/+3
|
* Remove more defaultTargetPlatform usesIan Lynagh2011-07-153-94/+98
|
* More work towards cross-compilationIan Lynagh2011-07-152-6/+7
| | | | | | | | | | | | There's now a variant of the Outputable class that knows what platform we're targetting: class PlatformOutputable a where pprPlatform :: Platform -> a -> SDoc pprPlatformPrec :: Platform -> Rational -> a -> SDoc and various instances have had to be converted to use that class, and we pass Platform around accordingly.
* Handle II8 Size value in PowerPC code generator.Erik de Castro Lopo2011-07-141-3/+3
|
* CPP removalIan Lynagh2011-07-131-5/+6
|
* Refactoring: explicitly mark whether we have an info table in RawCmmMax Bolingbroke2011-07-061-14/+16
| | | | | | | | | | | | I introduced this to support explicitly recording the info table label in RawCmm for another patch I am working on, but it turned out to lead to significant simplification in those parts of the compiler that consume RawCmm. Now, instead of lots of tests for null [CmmStatic] we have a simple test of a Maybe, and have reduced the number of guys that need to know how to convert entry->info labels by a TON. There are only 3 callers of that function now!
* Remove the unused CmmAlign and CmmDataLabel from CmmStaticMax Bolingbroke2011-07-051-16/+1
|
* Refactoring: use a structured CmmStatics type rather than [CmmStatic]Max Bolingbroke2011-07-054-21/+30
| | | | | | | | | | | | | | | | | | I observed that the [CmmStatics] within CmmData uses the list in a very stylised way. The first item in the list is almost invariably a CmmDataLabel. Many parts of the compiler pattern match on this list and fail if this is not true. This patch makes the invariant explicit by introducing a structured type CmmStatics that holds the label and the list of remaining [CmmStatic]. There is one wrinkle: the x86 backend sometimes wants to output an alignment directive just before the label. However, this can be easily fixed up by parameterising the native codegen over the type of CmmStatics (though the GenCmmTop parameterisation) and using a pair (Alignment, CmmStatics) there instead. As a result, I think we will be able to remove CmmAlign and CmmDataLabel from the CmmStatic data type, thus nuking a lot of code and failing pattern matches. This change will come as part of my next patch.
* Remove type synonyms for CmmFormals, CmmActuals (and hinted versions).Edward Z. Yang2011-06-131-4/+4
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* Fix warnings in nativeGen/PPC/CodeGen.hsIan Lynagh2011-06-081-32/+29
|
* Remove platform CPP from nativeGen/PPC/CodeGen.hsIan Lynagh2011-06-081-116/+135
|
* cmmTopCodeGen no longer takes DynFlags as an argumentIan Lynagh2011-06-081-4/+4
| | | | It is in the NatM monad, which has DynFlags as part of its state.
* Whitespace only in nativeGen/PPC/CodeGen.hsIan Lynagh2011-06-081-230/+230
|
* Eliminate IF_ARCH_sparcIan Lynagh2011-05-311-3/+1
|
* Remove some unused CPP macrosIan Lynagh2011-05-311-6/+1
|
* Fix some validation errorsDavid Terei2011-05-311-2/+2
|
* Add new mem{cpy,set,move} cmm prim ops.David Terei2011-05-311-3/+18
|
* Remove most of the CPP from AsmCodeGenIan Lynagh2011-05-291-1/+5
| | | | | | | | In particular, the "#error" for platforms without a NCG is gone, which means the module should now build on all platforms again. I'm not sure if this is the nicest way to handle multiple platforms here, but it works for now.
* Remove unused pprUserReg functionsIan Lynagh2011-05-081-4/+0
|
* Remove dead Alpha native backend.Edward Z. Yang2011-04-301-1/+0
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* Implement jump table fix-ups for linear register allocator.Edward Z. Yang2011-04-273-25/+24
| | | | | | | | | | | | | We achieve this by splitting up instruction selection for case switches into two parts: the actual code generation, and the generation of the accompanying jump table. With this scheme, the jump fixup code can modify the contents of the jump table stored within the JMP_TBL (or BCTL) instruction, before the actual data section is created. SPARC and PPC patches are untested; they might not work! Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* Merge in new code generator branch.Simon Marlow2011-01-245-24/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | This changes the new code generator to make use of the Hoopl package for dataflow analysis. Hoopl is a new boot package, and is maintained in a separate upstream git repository (as usual, GHC has its own lagging darcs mirror in http://darcs.haskell.org/packages/hoopl). During this merge I squashed recent history into one patch. I tried to rebase, but the history had some internal conflicts of its own which made rebase extremely confusing, so I gave up. The history I squashed was: - Update new codegen to work with latest Hoopl - Add some notes on new code gen to cmm-notes - Enable Hoopl lag package. - Add SPJ note to cmm-notes - Improve GC calls on new code generator. Work in this branch was done by: - Milan Straka <fox@ucw.cz> - John Dias <dias@cs.tufts.edu> - David Terei <davidterei@gmail.com> Edward Z. Yang <ezyang@mit.edu> merged in further changes from GHC HEAD and fixed a few bugs.
* Add new LLVM code generator to GHC. (Version 2)David Terei2010-06-152-22/+6
| | | | | | | | | | | | | | | | | | This was done as part of an honours thesis at UNSW, the paper describing the work and results can be found at: http://www.cse.unsw.edu.au/~pls/thesis/davidt-thesis.pdf A Homepage for the backend can be found at: http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM Quick summary of performance is that for the 'nofib' benchmark suite, runtimes are within 5% slower than the NCG and generally better than the C code generator. For some code though, such as the DPH projects benchmark, the LLVM code generator outperforms the NCG and C code generator by about a 25% reduction in run times.