Patch to 1) synthesizing non-trivial default destructor when
one is not provided by user. 2) More complete
emission of ctor prologue when it has no initializer
list or when it is synthesized.

llvm-s

Patch to 1) synthesizing non-trivial default destructor when
one is not provided by user. 2) More complete
emission of ctor prologue when it has no initializer
list or when it is synthesized.

llvm-svn: 79269

show more ...

Fix for PR4721: adjust CodeGen and ASTContext so that we have a
consistent model for handling size expressions for VLAs.

The model is essentially as follows: VLA types own their associated
expressi

Fix for PR4721: adjust CodeGen and ASTContext so that we have a
consistent model for handling size expressions for VLAs.

The model is essentially as follows: VLA types own their associated
expression. In some cases, we need to create multiple VLA types to
represent a given VLA (for canonical types, or qualifiers on array types,
or type merging). If we need to create multiple types based off of
the same VLA declaration, we use the new refcounting functionality so they can
all own the expression. The VLASizeMap in CodeGenFunction then uses the size
expression to identify the group of VLA types based off of the same original
declaration.

I'm not particularly attached to the VLA types owning the expression,
but we're stuck with at least until someone comes up with a way
to walk the VLA expressions for a declaration.

I did the parallel fix in ASTContext for DependentSizedArrayType, but I
haven't really looked closely at it, so there might still be issues
there.

I'll clean up the code duplication in ASTContext in a followup commit.

llvm-svn: 79071

show more ...

minor cleanups for VLA stuff.

llvm-svn: 79059

Update for LLVM API change.

llvm-svn: 78946

Patch for synthesizing copy assignment operator.
WIP.

llvm-svn: 78841

minor refactoring. No change otherwise.

llvm-svn: 78582

Improve handling of member pointers.

llvm-svn: 78536

Add support for global initializers.

llvm-svn: 78515

Refactoring of copy ctor ir-gen. No change in functionality.

llvm-svn: 78489

Synthesized copy constructor now generates code for
copying non-virtual base classes which have non-trivial
constructor. Work in progress.

llvm-svn: 78436

More synthesis of copy constructors. Work in progress.

llvm-svn: 78402

Patch toward synthesizing copy constructors.
Work in progress.

llvm-svn: 78355

Update for LLVM API change.

llvm-svn: 77722

Synthesize the default constructor which has not
been declared as needed.

llvm-svn: 77641

Update for LLVM API changes.

llvm-svn: 77638

Patch for future ir-gen for destructor calls.

llvm-svn: 77608

Update for LLVM API change.

llvm-svn: 77514

Change uses of:
Type::getAsReferenceType() -> Type::getAs<ReferenceType>()
Type::getAsRecordType() -> Type::getAs<RecordType>()
Type::getAsPointerType() -> Type::getAs<PointerType>()
Type::ge

Change uses of:
Type::getAsReferenceType() -> Type::getAs<ReferenceType>()
Type::getAsRecordType() -> Type::getAs<RecordType>()
Type::getAsPointerType() -> Type::getAs<PointerType>()
Type::getAsBlockPointerType() -> Type::getAs<BlockPointerType>()
Type::getAsLValueReferenceType() -> Type::getAs<LValueReferenceType>()
Type::getAsRValueReferenceType() -> Type::getAs<RValueReferenceType>()
Type::getAsMemberPointerType() -> Type::getAs<MemberPointerType>()
Type::getAsReferenceType() -> Type::getAs<ReferenceType>()
Type::getAsTagType() -> Type::getAs<TagType>()

And remove Type::getAsReferenceType(), etc.

This change is similar to one I made a couple weeks ago, but that was partly
reverted pending some additional design discussion. With Doug's pending smart
pointer changes for Types, it seemed natural to take this approach.

llvm-svn: 77510

show more ...

Update for LLVM API change.

llvm-svn: 77012

Shield clang from LLVM API changes, until the dust settles.

llvm-svn: 76862

Move EmitCtorPrologue to CGCXX. Add an assert and FIXMEs.

llvm-svn: 76498

Early ir-gen for constructor prologue. This is on going.

llvm-svn: 76493

Remove an apparently unused header.

llvm-svn: 76473

Catch another trivial case where we can avoid emitting a separate return blcok.

llvm-svn: 76365

Avoid generation of dead code in a few more situations.
- Emit variable declarations as "simple", we want to avoid forcing the creation
of a dummy basic block, but still need to make the variable

Avoid generation of dead code in a few more situations.
- Emit variable declarations as "simple", we want to avoid forcing the creation
of a dummy basic block, but still need to make the variable available for
later use.

- With that, we can now skip IRgen for other unreachable statements (which
don't define a label).

- Anders, I added two fixmes on calls to EmitVLASize, can you check them?

llvm-svn: 76361

show more ...