Gericom/teak-llvm
1
Fork 0
mirror of https://github.com/Gericom/teak-llvm.git synced 2025-06-25 22:38:56 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity
75,082 Commits 1 Branch 0 Tags 875 MiB
e36a6b3e44
Commit Graph

321 Commits

Author SHA1 Message Date
Anders Carlsson
e36a6b3e44 Correctly pass VTT parameters to constructors and destructors. The VTTs aren't yet used in the ctors/dtors, but that will follow. 
llvm-svn: 92409
 2010-01-02 01:01:18 +00:00
Anders Carlsson
bfb3671b25 Pass the return value slot to all call exprs. 
llvm-svn: 92145
 2009-12-24 21:13:40 +00:00
Anders Carlsson
1749083e2e Fill in the return value slot in CGExprAgg::VisitCallExpr. This takes us halfway towards fixing PR5824. 
llvm-svn: 92142
 2009-12-24 20:40:36 +00:00
Anders Carlsson
61a401caec Pass ReturnValueSlot to EmitCall. No functionality change yet. 
llvm-svn: 92138
 2009-12-24 19:25:24 +00:00
Anders Carlsson
0435ed5875 Add a ReturnValueSlot class. Change the argument order in EmitCall to match the other overload better. 
llvm-svn: 92136
 2009-12-24 19:08:58 +00:00
Eli Friedman
70724ad2ff Work in progress for setting the vtable pointers for all bases correctly in 
the constructor.  This doesn't handle cases requiring the VTT at the moment,
and generates unnecessary stores, but I think it's essentially correct.

llvm-svn: 91731
 2009-12-18 23:47:41 +00:00
Mike Stump
3f6f9febad Implement additional undefined checks for additional loads and stores. WIP. 
llvm-svn: 91498
 2009-12-16 02:57:00 +00:00
Mike Stump
e8c3b3eca4 Switch codegen for -fcatch-undefined-bahavior over to __builtin_trap 
instead of abort to improve codesize and codegen.

llvm-svn: 91374
 2009-12-15 00:35:12 +00:00
Mike Stump
ba6a0c40c4 Add support for detecting undefined shift behavior. WIP. 
llvm-svn: 91341
 2009-12-14 21:58:14 +00:00
Mike Stump
d954638f02 Implement runtime checks for undefined behavior. WIP. 
This implements a new flag -fcatch-undefined-behavior.  The flag turns
on additional runtime checks for:

  T a[I];

  a[i]    abort when i < 0 or i >= I.

Future stuff includes shifts by >= bitwidth amounts.

llvm-svn: 91198
 2009-12-12 01:27:46 +00:00
Eli Friedman
d5bc94e2eb Get rid of static variable. 
llvm-svn: 91041
 2009-12-10 02:21:21 +00:00
Mike Stump
f5cbb08c4b Ensure we only generate one terminate handler. 
llvm-svn: 90998
 2009-12-10 00:02:42 +00:00
Mike Stump
102530719f Add terminate handler to cleanups on exceptional edges. 
llvm-svn: 90996
 2009-12-09 23:49:53 +00:00
Fariborz Jahanian
531c16f9fb Code gen for ObjCIsaExpr AST used as lvalue. 
(fixes radar 7457534).

llvm-svn: 90995
 2009-12-09 23:35:29 +00:00
Mike Stump
2b488873bf Break out code for reuse. WIP. 
llvm-svn: 90991
 2009-12-09 22:59:31 +00:00
Mike Stump
aff69af918 Add cleanups for exceptional edges. WIP. 
llvm-svn: 90940
 2009-12-09 03:35:49 +00:00
Eli Friedman
bb5008a32a Fix for PR5707: make sure implicit copy constructors initialize the vtable 
pointer.

llvm-svn: 90840
 2009-12-08 06:46:18 +00:00
Mike Stump
1d849219a5 Add codegen support for exception specifications. WIP. 
llvm-svn: 90817
 2009-12-07 23:38:24 +00:00
Chris Lattner
e99c110d06 implement rdar://7346691 by codegen'ing struct/array initializers 
to a memset or a memcpy from a global when possible.

llvm-svn: 90658
 2009-12-05 08:22:11 +00:00
Mike Stump
bee78dd31b Add support for function try blocks. 
llvm-svn: 90622
 2009-12-04 23:26:17 +00:00
Eli Friedman
4b1942cb8b Make functions returning a struct indirectly evaluate the returned struct 
directly into the sret pointer. This is an optimization in C, but is required
for correctness in C++ for classes with a non-trivial copy constructor.

llvm-svn: 90526
 2009-12-04 02:43:40 +00:00
Eli Friedman
551fe84d0e Minor cleanup. 
llvm-svn: 90411
 2009-12-03 04:27:05 +00:00
Mike Stump
e2d4a2c3a8 Add support for thunking dtors. Oh why does this make my head hurt? 
llvm-svn: 90409
 2009-12-03 03:47:56 +00:00
Mike Stump
33270211a0 More exception handling improvements... WIP. 
Highlights include:

  Add a helper to generate __cxa_free_exception and _ZSt9terminatev.
  Add a region to handle EH object deallocation for ctor failures for throw.
  Add a terminate handler for __cxa_end_catch.
  A framework for adding cleanup actions for the exceptional edges only.

llvm-svn: 90305
 2009-12-02 07:41:41 +00:00
Mike Stump
e5311b0d79 Reflow comments and fix 80-col violation. 
llvm-svn: 90152
 2009-11-30 20:08:49 +00:00
Anders Carlsson
2f87c4f1a5 Add a CovariantThunkAdjustment struct that represents the adjustments needed for a covariant thunk. 
llvm-svn: 89933
 2009-11-26 03:09:37 +00:00
Anders Carlsson
c778540f9a Add a ThunkAdjustment struct which holds a non-virtual and a virtual adjustment offset. Start using it. General cleanup in Mangle.cpp. 
llvm-svn: 89925
 2009-11-26 02:32:05 +00:00
Anders Carlsson
82ba57c8f0 Add VTT parameter to base ctors/dtors with virtual bases. (They aren't used yet). 
llvm-svn: 89835
 2009-11-25 03:15:49 +00:00
Douglas Gregor
7bab5ff8e7 Eliminate CXXConditionDeclExpr with extreme prejudice. 
All statements that involve conditions can now hold on to a separate
condition declaration (a VarDecl), and will use a DeclRefExpr
referring to that VarDecl for the condition expression. ForStmts now
have such a VarDecl (I'd missed those in previous commits).

Also, since this change reworks the Action interface for
if/while/switch/for, use FullExprArg for the full expressions in those
expressions, to ensure that we're emitting

Note that we are (still) not generating the right cleanups for
condition variables in for statements. That will be a follow-on
commit.

llvm-svn: 89817
 2009-11-25 00:27:52 +00:00
Douglas Gregor
680f861d74 Clean up the AST for while loops and fix several problems with 
cleanups for while loops: 

1) Make sure that we destroy the condition variable of a while statement each time through the loop for, e.g.,

   while (shared_ptr<WorkInt> p = getWorkItem()) {
         // ...
         }

2) Make sure that we always enter a new cleanup scope for the body of the while loop, even when there is no compound expression, e.g.,

   while (blah)
     RAIIObject raii(blah+1);

llvm-svn: 89800
 2009-11-24 21:15:44 +00:00
Anders Carlsson
3a202f601e Handle cases where we're constructing an array of objects and the constructor has default arguments. 
llvm-svn: 89783
 2009-11-24 18:43:52 +00:00
Douglas Gregor
965f450d42 Introduce cleanup scopes for "if" statements in two places: 
- Outside the "if", to ensure that we destroy the condition variable
    at the end of the "if" statement rather than at the end of the
    block containing the "if" statement.
  - Inside the "then" and "else" branches, so that we emit then- or
    else-local cleanups at the end of the corresponding block when the
    block is not a compound statement.

To make adding these new cleanup scopes easier (and since
switch/do/while will all need the same treatment), added the
CleanupScope RAII object to introduce a new cleanup scope and make
sure it gets cleaned up.

llvm-svn: 89773
 2009-11-24 16:43:22 +00:00
Douglas Gregor
48a409eb39 Rename CleanupScope -> DelayedCleanupBlock. No functionality change. 
llvm-svn: 89769
 2009-11-24 16:21:10 +00:00
Anders Carlsson
8c793172c2 Handle base-to-derived casts. Will land test case shortly. 
llvm-svn: 89678
 2009-11-23 17:57:54 +00:00
Anders Carlsson
0a66c26191 Fix lifetime of conditional temporaries. Patch by Victor Zverovich! 
llvm-svn: 89467
 2009-11-20 17:27:56 +00:00
Eli Friedman
794290ca29 Add an assertion to catch bad calls to EmitCallArgs. 
llvm-svn: 89190
 2009-11-18 03:42:04 +00:00
Eli Friedman
24f55430c8 Missing piece of r89173. 
llvm-svn: 89174
 2009-11-18 00:57:03 +00:00
Anders Carlsson
cfd3012756 More const is always good. 
llvm-svn: 89033
 2009-11-17 03:57:07 +00:00
Mike Stump
65511704f7 Implement most of dynamic_cast. WIP. 
llvm-svn: 88901
 2009-11-16 06:50:58 +00:00
Mike Stump
c9b231c8d1 Implement typeid for class types. 
llvm-svn: 88843
 2009-11-15 08:09:41 +00:00
Fariborz Jahanian
6814eaa2cc Code gen for arrady delete operator. Fixes pr5472. 
llvm-svn: 88680
 2009-11-13 19:27:47 +00:00
Daniel Dunbar
1b4441915a Wherein the TargetInfo argument to Preprocessor is made 'const' and propogated. 
llvm-svn: 87087
 2009-11-13 05:51:54 +00:00
Anders Carlsson
e828c36933 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
 2009-11-13 04:45:41 +00:00
Fariborz Jahanian
1254a0978c This patch implements Code gen. for destruction of 
global array of objects.

llvm-svn: 86701
 2009-11-10 19:24:06 +00:00
Mike Stump
d846d0825b Add vtable caching to prevent multiple vtables for the same class from 
being generated.

Add the most derived vtable pointer to the VTT.

llvm-svn: 86671
 2009-11-10 07:44:33 +00:00
Mike Stump
9f23a149cb Be sure to clear out VCall when we clear out VCalls. 
Start implementing VTTs.  WIP.

llvm-svn: 86650
 2009-11-10 02:30:51 +00:00
Anders Carlsson
509850ebec Change EmitPointerToDataMemberLValue to take a FieldDecl. No intended functionality change. 
llvm-svn: 86407
 2009-11-07 22:00:15 +00:00
Chris Lattner
4f24225e8e indirectbr seems to work! Rip out the old code. 
llvm-svn: 86256
 2009-11-06 17:38:18 +00:00
Fariborz Jahanian
09cc10f9f8 This patch extends CleanupScope to support destruction 
of array objects on block exit. Patch is by Anders Calrsson.

llvm-svn: 86032
 2009-11-04 17:57:40 +00:00
Mike Stump
53f9ded62b Refine volatile handling, specifically, we must have the canonical 
type to look at the volatile specifier.  I found these all from just
hand auditing the code.

llvm-svn: 85967
 2009-11-03 23:25:48 +00:00