llvm-svn: 87087

Add a special BuildVirtualCall that's going to be used for building calls to destructors. This is needed because when compiling:

struct A {
	virtual ~A();
};

void f(A* a) {
	delete a;
}

A's deleting destructor should be called.

llvm-svn: 87083

global array of objects.

llvm-svn: 86701

being generated.

Add the most derived vtable pointer to the VTT.

llvm-svn: 86671

Start implementing VTTs.  WIP.

llvm-svn: 86650

llvm-svn: 86407

llvm-svn: 86256

of array objects on block exit. Patch is by Anders Calrsson.

llvm-svn: 86032

type to look at the volatile specifier.  I found these all from just
hand auditing the code.

llvm-svn: 85967

llvm-svn: 85905

llvm-svn: 85560

llvm-svn: 85453

using the new LLVM support for this.  This is temporarily hiding
behind horrible and ugly #ifdefs until the time when the optimizer
is stable (hopefully a week or so).  Until then, lets make it "opt in" :)

llvm-svn: 85446

qualified reference to a declaration that is not a non-static data
member or non-static member function, e.g., 

  namespace N { int i; }
  int j = N::i;

Instead, extend DeclRefExpr to optionally store the qualifier. Most
clients won't see or care about the difference (since
QualifierDeclRefExpr inherited DeclRefExpr). However, this reduces the
number of top-level expression types that clients need to cope with,
brings the implementation of DeclRefExpr into line with MemberExpr,
and simplifies and unifies our handling of declaration references.

Extended DeclRefExpr to (optionally) store explicitly-specified
template arguments. This occurs when naming a declaration via a
template-id (which will be stored in a TemplateIdRefExpr) that,
following template argument deduction and (possibly) overload
resolution, is replaced with a DeclRefExpr that refers to a template
specialization but maintains the template arguments as written.

llvm-svn: 84962

both scalar and aggregates.

llvm-svn: 84910

llvm-svn: 84771

generate the debug information for the first parameter to the block
invoke functions.  WIP.

llvm-svn: 84737

as argument to a function call. Removes a FIXME.

llvm-svn: 84694

llvm-svn: 84456

1. CGF now has fewer bytes of state (one pointer instead of a vector).
2. The generated code is determinstic, instead of getting labels in
   'map order' based on pointer addresses.
3. Clang now emits one 'indirect goto switch' for each function, instead
   of one for each indirect goto.  This fixes an M*N = N^2 IR size issue
   when there are lots of address-taken labels and lots of indirect gotos.
4. This also makes the default cause do something useful, reducing the
   size of the jump table needed (by one).

llvm-svn: 83952

Change GetAddressCXXOfBaseClass to use CXXBasePaths for calculating base class offsets. Fix the code to handle virtual bases as well.

llvm-svn: 83426

llvm-svn: 83271

llvm-svn: 83263

llvm-svn: 83041

llvm-svn: 82910

Type hierarchy.  Demote 'volatile' to extended-qualifier status.  Audit our
use of qualifiers and fix a few places that weren't dealing with qualifiers
quite right;  many more remain.

llvm-svn: 82705

Add a new variant of EmitCXXAggrConstructorCall that takes a Value that holds the number of elements to construct, to be used when implementing new[].

llvm-svn: 82602

llvm-svn: 81867

llvm-svn: 81759

llvm-svn: 81738

Rename AddressCXXOfBaseClass to GetAddressCXXOfBaseClass. Add a NullCheckValue argument (currently unused).

llvm-svn: 81606

For __block variables, cache the LLVM types as well as which LLVM field where the variable is stored.

llvm-svn: 81599

llvm-svn: 81585

llvm-svn: 81485

If a cast expression needs either a conversion function or a constructor to be called, generate implicit child expressions that call them.

llvm-svn: 81383

llvm-svn: 81346

llvm-svn: 81315

offsets better for thunk refinements.  Cleanups.  WIP.

llvm-svn: 81067

vtables.  Add thunk generation.  WIP.

llvm-svn: 81014

API for copying GC'able aggregates (Next runtime only).

llvm-svn: 80607