D/ldc
1
0
Fork 0
mirror of https://github.com/xomboverlord/ldc.git synced 2026-01-28 02:23:13 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity
3,098 Commits 10 Branches 8 Tags
2e0941c1943c0c2a846418ec8849b993b45f6726
Commit Graph

1710 Commits

Author SHA1 Message Date
David Nadlinger
2e0941c194 Add names for globals to make LDC compile against LLVM 3.1. 2013-06-15 16:16:47 +02:00
David Nadlinger
e9d7c10109 Align our copy of TypeInfo code to upstream DMD version. 2013-06-15 15:11:17 +02:00
David Nadlinger
c813ccdcf7 Small debug diagnostics improvements. 2013-06-15 15:04:48 +02:00
David Nadlinger
bca5dac669 Fixed ClassReferenceExp codegen, handle self-referential literals. 2013-06-15 15:04:48 +02:00
David Nadlinger
041e8e8b54 Remove LDC-specific .classinfo AST rewrite. 
Apart from reducing the diff to upstream DMD, this also fixes a
"cannot interpret" CTFE issue.
 2013-06-14 21:49:44 +02:00
David Nadlinger
3035735bc9 FuncDeclaration::canInline diff reduction. 
The new arguments to the call in DtoLinkage do not exactly
match what was there before, but have been harmonized with
the other canInline call.
 2013-06-14 19:14:19 +02:00
David Nadlinger
349305cd1d Fix array op argument evaluation order regression. 
Fixes DMD testcase 'arrayop'.
 2013-06-14 17:02:58 +02:00
David Nadlinger
9dc387aa91 Do not invoke postblit twice on struct literal creation. 
The frontend seems to explicitly insert __cpctor now.

Fixes DMD testcase 'sdtor'.
 2013-06-14 16:43:41 +02:00
David Nadlinger
86563a2ee1 Allow casting AAs to bool. 
Fixed DMD testcase 'nulltype'.
 2013-06-14 16:01:09 +02:00
David Nadlinger
9c0514a9b1 Correctly load context for nested class members with own nested context. 
Fixes DMD testcase 'xtest46'.
 2013-06-14 15:49:15 +02:00
David Nadlinger
4901877d24 Handle side-effects in TupleExp::e0. 
Fixes DMD testcase 'aliasthis'.
 2013-06-14 15:03:24 +02:00
David Nadlinger
83415eeeb8 Minor debug log fixes. 2013-06-14 15:03:24 +02:00
David Nadlinger
c64c4f479a Handle static array typed SliceExps. 
Fixes DMD testcase 'testbounds2'.
 2013-06-13 18:45:07 +02:00
David Nadlinger
95b34c3625 zext bool to i8 in makeLValue. 2013-06-12 20:39:34 +02:00
David Nadlinger
bc910004a4 Adapt codegen to removal of old _d_invariant from druntime. 
We should think about using symbolic constants for runtime function
names though, this is not maintainable in the long run.
 2013-06-12 20:34:50 +02:00
David Nadlinger
4c788699ae Initial, incomplete ClassReferenceExp::toConstElem implementation. 
Allows us to get through a Phobos build without errors.
 2013-06-12 20:23:27 +02:00
David Nadlinger
b1465ae7e3 Extended DtoLinkage comments. 2013-06-12 20:16:37 +02:00
David Nadlinger
d3f89f81a8 Never emit naked functions as available_externally. 2013-06-12 20:16:37 +02:00
David Nadlinger
d7526157ab Expression::optimize everything to resolve manifest constants in inline asm. 2013-06-12 20:16:37 +02:00
David Nadlinger
2ebf677661 Handle explicit AddrExp for naked asm memory references. 2013-06-12 20:16:37 +02:00
David Nadlinger
a9e620d428 Work around invalid special ref var initializations in 2.063. 2013-06-12 20:16:37 +02:00
David Nadlinger
ab7ffa9988 Removed obsolete importprot members. 2013-06-12 20:16:37 +02:00
David Nadlinger
4d3f9333c6 Never make functions without body available_externally. 2013-06-12 20:16:37 +02:00
David Nadlinger
292caa1438 Merge the 2.063 frontend. 2013-06-12 20:16:37 +02:00
David Nadlinger
981a6af17e Remove dead declaration. 2013-06-12 20:16:05 +02:00
David Nadlinger
5b5ad8e0f7 Add some no-op virtual destructors to silence GCC warning. 2013-06-12 20:16:05 +02:00
David Nadlinger
9a016a1002 Refactor struct initializers codegen. 
This not only reduces code duplication, but the unification
also enables code a la StructLiteralExp to handle classes
(for CTFE class constant support in 2.063).
 2013-06-12 20:16:05 +02:00
David Nadlinger
2cebe6408c Divided ir/irtypestruct.* in general aggregate and struct specific part. 
This is just to improve clarity, as it was rather non-obvious
what of the code also applied to classes before.

IrTypeAggr::createInitializerConstant would currently belong in
IrTypeStruct, but this will be refactored anyway.
 2013-06-12 17:17:09 +02:00
David Nadlinger
5dadec2e70 Remove raw address from log output. 
Makes comparing logs harder.
 2013-06-12 17:16:46 +02:00
David Nadlinger
f2f3c751b3 Renamed IrStruct to IrAggr, as it is also used for classes. 
The class-specific parts should probably be factored out.
 2013-06-12 17:16:35 +02:00
David Nadlinger
28f39cbdad Remove superfluous Expression::toConstElem overrides. 
The error message can be printed by the non-overridden
Expression::toConstElem just as well.
 2013-06-12 17:16:31 +02:00
David Nadlinger
978c2c1b6a Re-enable SymOffExp and remove associated LLVM-only modifications. 2013-06-11 00:40:48 +02:00
David Nadlinger
b389a3b791 Add virtual destructor to EnclosingHandler to silence warnings. 2013-06-11 00:13:48 +02:00
David Nadlinger
f5e276d6a6 Revert meaning of AddExp/MinExp for pointers to DMD default. 
It might be worth considering to move the stride multiplication
down to the glue layer in the upstream sources. But assigning a
different meaning to AST nodes was a giant maintenance
liability, especially with regard to CTFE.
 2013-06-10 22:49:01 +02:00
David Nadlinger
049f784e5f Remove extra semicolons after macro invocation. 
Silences some Clang warnings.
 2013-06-10 19:54:19 +02:00
David Nadlinger
bf0e03df98 Also avoid i1 in TupleExp::toElem. 2013-06-10 19:49:52 +02:00
David Nadlinger
f7aac5201b Remove unused extra argument to overload checking functions. 2013-06-07 21:23:19 +02:00
David Nadlinger
4971321caf Revert "Add debug info for enums." 
This reverts commit 001a39642f, as
it leads to debug mode crashes in rt.lifetime and other modules.

Specifically, the type check assertion in IntegerExp::toInteger
(at expression.c:2017) is hit.
 2013-06-07 21:20:14 +02:00
David Nadlinger
dcfc61cf3f Merge pull request #386 from klickverbot/store-bool-as-i8 
Store bool as i8.
 2013-06-07 10:32:50 -07:00
kai
001a39642f Add debug info for enums. 
Previously enums were reduced to the underlying type.
Now the symbolic constants can be used.
 2013-06-07 16:37:57 +02:00
David Nadlinger
848dee32d4 Store bools as i8. 
I really hope we can refactor this to use a less leaky
abstraction later – it should at least be possible to merge
voidToI8 and i1ToI8.
 2013-06-07 03:20:54 +02:00
David Nadlinger
7e92984ebe Downgraded accepts-invalid workaround error to assertion. 
Bug 9268 was fixed in 2.062.
 2013-06-07 03:20:39 +02:00
David Nadlinger
946156742c Detab RTTIBuilder. 2013-06-07 03:20:39 +02:00
David Nadlinger
4369776b27 Minor DVarValue refactoring. 2013-06-07 03:20:39 +02:00
David Nadlinger
c7c1c25f15 DValue: struct->class. 
This is in line with an incoming upstream change making all
polymorphic structs classes, and also matches common coding
conventions.
 2013-06-07 03:20:39 +02:00
David Nadlinger
f35a4507d3 DValue: Do not uselessly inherit from Object. 2013-06-07 03:20:39 +02:00
David Nadlinger
187899b5e6 Avoid emitting invalid IR for function type TypeInfo metadata. 
This fixes LLVM debug builds of the DMD testsuite.
 2013-06-07 02:58:04 +02:00
David Nadlinger
43e27d0dd1 Remove USE_METADATA. 
It has been on by default for quite some time now.
 2013-06-07 02:48:53 +02:00
David Nadlinger
9fbad3c4ba Removed tautological checks. 
They were probably used during initial development of the
pass to be able to disable emission of the global reference
by setting TD_TypeInfo to -1.
 2013-06-07 02:45:44 +02:00
David Nadlinger
af699bd76e Rename TD_Confirm to TD_TypeInfo. 
The old name probably was a reference to the fact that the
metadata node is used to _confirm_ that a metadata record
found by name really belongs to a given TypeInfo instance,
but I found it to be rather non-intuitive.
 2013-06-07 02:41:10 +02:00