summaryrefslogtreecommitdiff
path: root/compiler/llvmGen
Commit message (Collapse)AuthorAgeFilesLines
...
* Incorrect type conversion in LLVM backend (#5785).Ubuntu2012-01-181-1/+4
|
* Only use TBAA when LLVM > 2.8. (#5782)David Terei2012-01-171-1/+4
|
* Fix validation errorDavid Terei2012-01-121-2/+2
|
* Add '-freg-liveness' flag to control if STG liveness informationDavid Terei2012-01-123-17/+28
| | | | is used for optimisation. (enabled by default)
* Improve LLVM TBAA hierachy (#5567).David Terei2012-01-122-3/+10
|
* Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567)David Terei2012-01-123-34/+84
| | | | | | | TBAA allows us to specify a type hierachy in metadata with the property that nodes on different branches don't alias. This should somewhat improve the optimizations LLVM does that rely on alias information.
* Add Metadata support to LLVM bindings.David Terei2012-01-124-7/+114
|
* More improvements to llvm output style (#5750)David Terei2012-01-122-14/+15
|
* Improve style of '-ddump-llvm' output. (#5750)David Terei2012-01-102-15/+34
|
* Track STG live register information for use in LLVMDavid Terei2012-01-092-11/+29
| | | | | | | | | 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 trac # 5486David Terei2011-12-052-5/+27
| | | | | | | | | LLVM has a problem when the user imports some FFI types like memcpy and memset in a manner that conflicts with the types that GHC uses internally. So now we pre-initialise the environment with the most general types for these functions.
* Remove unused importSimon Peyton Jones2011-12-041-1/+0
|
* Fix ugly complexity issue in LLVM backend (#5652)David Terei2011-12-033-42/+39
| | | | | | | | Compile time still isn't as good as I'd like but no easy changes available. LLVM backend could do with a big rewrite to improve performance as there are some ugly designs in it. At least the test case isn't 10min anymore, just a few seconds now.
* Formatt wibbleDavid Terei2011-12-031-1/+0
|
* Add CCS for llvmDavid Terei2011-12-033-19/+36
|
* 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.
* Implement a capi calling convention; fixes #2979Ian Lynagh2011-11-281-0/+1
| | | | | | | | | In GHC, this provides an easy way to call a C function via a C wrapper. This is important when the function is really defined by CPP. Requires the new CApiFFI extension. Not documented yet, as it's still an experimental feature at this stage.
* Clean up LLVM Mangler.David Terei2011-11-221-48/+14
|
* Show LLVM mangler and code gen passes at v2David Terei2011-11-222-2/+6
|
* Formatting fixDavid Terei2011-11-221-2/+4
|
* Specify unsupported ops, don't just use a catch allDavid Terei2011-11-221-14/+58
| | | | | | | | Better to specifically list the unsupported cases in code than to have a catch all that panics. The later method hides problems when new constructors are added such as the recent additions to the supported Cmm prim ops that weren't ported to the C backend since no one noticed.
* Fix #4211: No need to fixup stack using mangler on OSXDavid Terei2011-11-171-42/+4
| | | | | | | We now manage the stack correctly on both x86 and i386, keeping the stack align at (16n bytes - word size) on function entry and at (16n bytes) on function calls. This gives us compatability with LLVM and GCC.
* Change stack alignment to 16+8 bytes in STG codeDavid M Peixotto2011-11-011-2/+4
| | | | | | | | | | | | | | | | | This patch changes the STG code so that %rsp to be aligned to a 16-byte boundary + 8. This is the alignment required by the x86_64 ABI on entry to a function. Previously we kept %rsp aligned to a 16-byte boundary, but this was causing problems for the LLVM backend (see #4211). We now don't need to invoke llvm stack mangler on x86_64 targets. Since the stack is now 16+8 byte algined in STG land on x86_64, we don't need to mangle the stack manipulations with the llvm mangler. This patch only modifies the alignement for x86_64 backends. Signed-off-by: David Terei <davidterei@gmail.com>
* Remove CPP from llvmGen/LlvmCodeGen/CodeGen.hsIan Lynagh2011-10-151-11/+9
|
* More CPP removal: pprDynamicLinkerAsmLabel in CLabelIan Lynagh2011-10-025-41/+47
| | | | And some knock-on changes
* Renaming onlySimon Peyton Jones2011-08-254-24/+24
| | | | | CmmTop -> CmmDecl CmmPgm -> CmmGroup
* Snapshot of codegen refactoring to share with simonpjSimon Marlow2011-08-251-3/+3
|
* enable ARM specific target data layout and triple againKarel Gardas2011-08-211-5/+5
| | | | | | | | | | This patch is allowed by the 'on ARMv7 with VFPv3[D16] support pass appropriate -mattr value to LLVM llc' patch. The trick is that LLVM by default (probably!) does not enable VFP, but GHC requires it so LLVM's llc asserts on unavailable floating point register. i.e. GHC/LLVM backend compiles into LLVM code which is using floats, but llc thinks no float regs for this are available. Passing appropriate llc option which is implemented in patch mentioned above fixes this issue.
* Add popcnt support to LLVM backendDavid Terei2011-08-201-0/+24
|
* Warning policeManuel M T Chakravarty2011-08-101-1/+1
|
* disable for now ARM specific target data layout and tripleKarel Gardas2011-08-101-5/+5
| | | | | | | | This patch disables ARM specific target data layout and triple. The reason for this is that LLVM asserts on some files if this is in use. The assert looks: Formal argument #8 has unhandled type i32UNREACHABLE executed at /llvm-ghc-arm/lib/CodeGen/CallingConvLower.cpp:81!
* fix ARM/LLVM target data layout specification together with target tripleKarel Gardas2011-08-101-2/+2
| | | | | | This patch fixes ARM/LLVM target data layout specification based on what Clang is using itself. I've modified Clang's used triple a little bit from armv4t-* to arm-* though
* LLVM: set target data layout for arm-unknown-linux tripletKarel Gardas2011-08-101-1/+8
|
* Stephen Blackheath's GHC/ARM registerised portKarel Gardas2011-08-101-1/+5
| | | | | | This is the Stephen Blackheath's GHC/ARM registerised port which is using modified version of LLVM and which provides basic registerised build functionality
* Improve LLVM Mangler to handle debug information.David Terei2011-07-181-47/+76
| | | | Patch by Peter Wortmann!
* More work towards cross-compilationIan Lynagh2011-07-151-1/+1
| | | | | | | | | | | | 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.
* Refactoring: explicitly mark whether we have an info table in RawCmmMax Bolingbroke2011-07-063-15/+14
| | | | | | | | | | | | 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!
* Some general code cleaning in LLVM backendDavid Terei2011-07-062-32/+22
|
* Fix printing of llvm IR to work with llvm-3.0David Terei2011-07-052-48/+40
|
* Remove the unused CmmAlign and CmmDataLabel from CmmStaticMax Bolingbroke2011-07-051-7/+0
|
* Refactoring: use a structured CmmStatics type rather than [CmmStatic]Max Bolingbroke2011-07-054-8/+6
| | | | | | | | | | | | | | | | | | 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.
* Fix LLVM backend in unregisterised build to use CDavid Terei2011-06-271-1/+3
| | | | | | calling convention. Patch based on one by Karel Gardas.
* Fix silly mistake in last commitDavid Terei2011-06-251-5/+5
|
* Speed improvement to LLVM Mangler for large sections.David Terei2011-06-251-8/+9
| | | | Patch by Peter Wortmann!
* Remove type synonyms for CmmFormals, CmmActuals (and hinted versions).Edward Z. Yang2011-06-131-2/+2
| | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
* Add new mem{cpy,set,move} cmm prim ops.David Terei2011-05-315-96/+190
|
* LLVM: Support LLVM 2.9 (#5103)David Terei2011-05-042-39/+44
| | | | | Instead of using the GNU As subsection feature on Linux/Windows for TNTC we now use the LLVM Mangler on all platforms.
* LLVM: Add support for 64bit OSX. (partial #4210)David Terei2011-05-041-4/+12
|
View Lorry Controller Status