mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-07 22:56:05 +00:00
Code Issues Projects Releases Wiki Activity
56,505 Commits 1,258 Branches 288 Tags
Commit Graph

157 Commits

Author SHA1 Message Date
Anders Carlsson
2cf8c44e43 Add a simple RAII object, to be used for pushing a cleanup entry and make the insertion point be the cleanup block. 
llvm-svn: 64048
 2009-02-07 23:30:41 +00:00
Mike Stump
0509d9635b Ensure we track all the stack depths for all break and continue points 
correctly.  This should lay the ground work to throw the big switch
and start code gening break and continue in the presense of vlas.

llvm-svn: 64046
 2009-02-07 23:02:10 +00:00
Anders Carlsson
15cb75a20c Add plumbing for the cleanup stack. 
llvm-svn: 64043
 2009-02-07 22:53:43 +00:00
Anders Carlsson
bf8a1be33c Split the exception object out into its own stack. 
llvm-svn: 64032
 2009-02-07 21:37:21 +00:00
Anders Carlsson
da0e4560a1 Simplify the Objective-C exception handling. 
llvm-svn: 64031
 2009-02-07 21:26:04 +00:00
Mike Stump
dc0d6be7b9 Arrange to have the correct StackDepth for while statements. 
llvm-svn: 64021
 2009-02-07 18:08:12 +00:00
Mike Stump
1d91dd98ad Fixup goto codegen in and around VLAs. 
llvm-svn: 64014
 2009-02-07 12:52:26 +00:00
Daniel Dunbar
c79407fc40 Pull CodeGenFunction::GetUndefRValue() out of EmitUnsupportedRValue. 
llvm-svn: 63845
 2009-02-05 07:09:07 +00:00
Daniel Dunbar
ee3da87ce7 Add CodeGenFunction::ConvertTypeForMem forwarding function. 
llvm-svn: 63678
 2009-02-03 23:03:55 +00:00
Fariborz Jahanian
712bfa6478 ir-gen for nonfragile ivar bitfield access (objc2 nonfragile abi). 
llvm-svn: 63644
 2009-02-03 19:03:09 +00:00
Sanjiv Gupta
c1b58d40e6 Targets that don't have stack use global address space for parameters. 
Specify external linkage for such globals so that llvm optimizer do
not assume there values initialized as zero.

llvm-svn: 63636
 2009-02-03 18:07:49 +00:00
Sanjiv Gupta
3cac613eb8 Fixed the typo in comment. 
llvm-svn: 63634
 2009-02-03 17:23:12 +00:00
Fariborz Jahanian
c88a70d885 objc2's ir-gen for nonfragile ivar access. 
llvm-svn: 63578
 2009-02-03 00:09:52 +00:00
Daniel Dunbar
d931a87f90 More ABI API cleanup. 
- Lift CGFunctionInfo creation above ReturnTypeUsesSret and
   EmitFunction{Epi,Pro}log.

llvm-svn: 63553
 2009-02-02 22:03:45 +00:00
Daniel Dunbar
7633cbf005 ABI handling API changes. 
- Lift CGFunctionInfo creation up to callers of EmitCall.

 - Move isVariadic bit out of CGFunctionInfo, take as argument to
   GetFunctionType instead.

No functionality change.

llvm-svn: 63550
 2009-02-02 21:43:58 +00:00
Daniel Dunbar
fd346a3644 Pull EmitReturnBlock out of FinishFunction and catch unified return 
case correctly.

llvm-svn: 63068
 2009-01-26 23:27:52 +00:00
Eli Friedman
ddea0ade30 Slight cleanup, and fix for va_arg on architectures where va_list is a 
struct.

llvm-svn: 62585
 2009-01-20 17:46:04 +00:00
Anders Carlsson
03aaf11502 Forgot to commit this 
llvm-svn: 62042
 2009-01-11 19:40:10 +00:00
Fariborz Jahanian
0196a1cd2b This patch fixes the code gen failures which was a fallout from 
not merging protocol properties into the classes which
use those protocols. With this patch, all my exceutable
test pass again.

llvm-svn: 62030
 2009-01-10 21:06:09 +00:00
Daniel Dunbar
bb197e439d Give "unsupported" error on calls through block pointers instead of 
crashes.

llvm-svn: 61992
 2009-01-09 16:50:52 +00:00
Anders Carlsson
8a01b79274 Change EmitVLASize to take a QualType that must be a variably modified type. 
Emit the size even if the declared type is a variably modified type. This lets us handle

void f(int n) {
  int (*a)[n];
  
  printf("size: %d\n", sizeof(*a));
}

llvm-svn: 61285
 2008-12-20 20:46:34 +00:00
Anders Carlsson
e388a5bf44 Split up emitting of VLA sizes and getting the size of a VLA. 
llvm-svn: 61284
 2008-12-20 20:27:15 +00:00
Fariborz Jahanian
b517e90662 Code gen. for ivar references; including bitfield 
ivars.

llvm-svn: 61043
 2008-12-15 20:35:07 +00:00
Anders Carlsson
6b958f9634 Store the size of the EH stack inside each BreakContinue struct so we know when a break/continue won't cross a try block. 
llvm-svn: 60998
 2008-12-13 22:52:24 +00:00
Anders Carlsson
ccbe9200f9 Add map of VLA types and their sizes 
llvm-svn: 60939
 2008-12-12 07:19:02 +00:00
Anders Carlsson
8a472c3151 Work in preparation for VLAs. Make sure to restore the stack if necessary (Saving the stack isn't implemented right now :) 
llvm-svn: 60925
 2008-12-12 05:52:00 +00:00
Fariborz Jahanian
3d8552a75d Support for implementation of property in the case where 
the synthesis is in an implementation of s subclass of
a super class where the property has been declared.

llvm-svn: 60792
 2008-12-09 20:23:04 +00:00
Fariborz Jahanian
9ac535162b Implemented ir-gen for 'implicit' properties using the new AST nodes. 
llvm-svn: 59886
 2008-11-22 22:30:21 +00:00
Fariborz Jahanian
8a1810f06b New AST node to access "implicit" setter/getter using property dor syntax. 
Issuing diagnostics when assigning to read-only properties.
This is work in progress.

llvm-svn: 59874
 2008-11-22 18:39:36 +00:00
Fariborz Jahanian
d4081c697a Added a test case for __weak field decls. Change SetVarDeclObjCAttribute 
to static function. Added comments.

llvm-svn: 59738
 2008-11-20 18:10:58 +00:00
Fariborz Jahanian
003e83004b More objc gc stuff. Read/Write barriers for local static/extern, 
diagnostics on use of __weak attribute on fields,
Early support for read/write barriers for objc fields.

llvm-svn: 59682
 2008-11-20 00:15:42 +00:00
Daniel Dunbar
9b1335eca8 Fix redundant load of bit-fields on assignment (to get the updated 
value).
 - Use extra argument to EmitStoreThroughLValue to provide place to
   write update bit-field value if caller requires it.
 - This fixes several FIXMEs.

llvm-svn: 59615
 2008-11-19 09:36:46 +00:00
Chris Lattner
e132e2432a Start implementing support for @synchonized with the darwin ObjC API. 
Patch by Fariborz!

llvm-svn: 59377
 2008-11-15 21:26:17 +00:00
Daniel Dunbar
fcac22eac1 Add IsFinished arg to EmitBlock. 
- Indicates that caller is done with the block and it can be dropped
   if it has no predecessors. Useful for callers who need to make
   landing pads but which may not be reached.

No functionality change.

llvm-svn: 59207
 2008-11-13 01:24:05 +00:00
Daniel Dunbar
682712cda0 Comment/indentation fix. 
llvm-svn: 59127
 2008-11-12 10:12:14 +00:00
Daniel Dunbar
5fc2871820 IRgen improvements on unreachable code: 
- Split out "simple" statements which can easily handle IR generation
   when there is no insert point. These are generally statements which
   start by emitting a new block or are only containers for other
   statements.

 - This fixes a regression in emitting dummy blocks, notably for case
   statements.

 - This also fixes spurious emission of a number of debug stoppoint
   intrinsic instructions.

Remove unneeded sw.body block, just clear the insertion point.

Lift out CodeGenFunction::EmitStopPoint which calls into the
CGDebugInfo class when generating debug info.

Normalize definitions of Emit{Break,Continue}Stmt and usage of
ErrorUnsupported.

llvm-svn: 59118
 2008-11-12 08:21:33 +00:00
Chris Lattner
cd439299b0 Move EmitBranchOnBoolExpr and ConstantFoldsToSimpleInteger to 
CodeGenFunction.cpp.  Change VisitConditionalOperator to use
constant fold instead of codegen'ing a constant conditional.

Change ForStmt to use EmitBranchOnBoolExpr, this shrinks
expr.c very slightly to 40239 lines.

llvm-svn: 59113
 2008-11-12 08:04:58 +00:00
Chris Lattner
b7a9e16486 Make emission of 'if' conditions much more sophisticated when we 
have a condition that is an &&/||.  Before we used to compile things like this:

int test() {
  if (x && y) foo(); else bar();
}

into:

	%0 = load i32* @x		; <i32> [#uses=1]
	%1 = icmp ne i32 %0, 0		; <i1> [#uses=1]
	br i1 %1, label %land_rhs, label %land_cont

land_rhs:		; preds = %entry
	%2 = load i32* @y		; <i32> [#uses=1]
	%3 = icmp ne i32 %2, 0		; <i1> [#uses=1]
	br label %land_cont

land_cont:		; preds = %land_rhs, %entry
	%4 = phi i1 [ false, %entry ], [ %3, %land_rhs ]		; <i1> [#uses=1]
	br i1 %4, label %ifthen, label %ifelse

ifthen:		; preds = %land_cont
	%call = call i32 (...)* @foo()		; <i32> [#uses=0]
	br label %ifend

ifelse:		; preds = %land_cont
	%call1 = call i32 (...)* @bar()		; <i32> [#uses=0]
	br label %ifend

ifend:		; preds = %ifelse, %ifthen


Now we turn it into the much more svelte code:

        %0 = load i32* @x               ; <i32> [#uses=1]
        %1 = icmp ne i32 %0, 0          ; <i1> [#uses=1]
        br i1 %1, label %land_lhs_true, label %ifelse

land_lhs_true:          ; preds = %entry
        %2 = load i32* @y               ; <i32> [#uses=1]
        %3 = icmp ne i32 %2, 0          ; <i1> [#uses=1]
        br i1 %3, label %ifthen, label %ifelse

ifthen:         ; preds = %land_lhs_true
        %call = call i32 (...)* @foo()          ; <i32> [#uses=0]
        br label %ifend

ifelse:         ; preds = %land_lhs_true, %entry
        %call1 = call i32 (...)* @bar()         ; <i32> [#uses=0]
        br label %ifend

ifend:          ; preds = %ifelse, %ifthen

Note the lack of a phi node.

This shrinks the -O0 .ll file for 176.gcc/expr.c from 43176 to 40267 lines.

llvm-svn: 59111
 2008-11-12 07:46:33 +00:00
Daniel Dunbar
851eec11a7 Disable generation of basic block names in NDEBUG mode. 
Revert to enabling generation of instruction names when not in NDEBUG
mode.

llvm-svn: 59094
 2008-11-12 00:01:12 +00:00
Daniel Dunbar
5c7e3935f1 Rework IRgen invariant w.r.t. current insert point. 
- EmitStmt is no longer required to finish with a current insertion
   point defined (i.e. it does not need to make dummy
   blocks). Instead, it can clear the insertion point in the builder
   which indicates that the current insertion point is unreachable.
 - CodeGenFunction provides HaveInsertPoint and EnsureInsertPoint
   which respectively test if there is an insert point and ensure an
   insertion point exists (by making a dummy block).
 - Clearly mark functions in CodeGenFunction which can be called with
   no insertion point defined. Currently this is a limited set, and
   EmitStmt simply EnsureInsertPoint()s before emitting subsequent IR.

Remove EmitDummyBlock, which is no longer needed. Clients who haven't
already cleared the insertion point (typically via EmitBranch) can do
so by hand.

Remove isDummyBlock, which has effectively been renamed to
HaveInsertPoint.

The main thrust of this change is that we no longer have create dummy
blocks just to destroy them a short time later in EmitBlock in the
common case that there is no unreachable code following something like
a goto. 

Additionally, this means that we are not using the hokey condition in
isDummyBlock that a block without a name is a dummy block. Guess how
well that works when we never emit block names!

llvm-svn: 59089
 2008-11-11 23:11:34 +00:00
Daniel Dunbar
ab197ebb1a Change EmitBranch to always clear the insert point to clarify irgen 
invariants.

llvm-svn: 59085
 2008-11-11 22:06:59 +00:00
Daniel Dunbar
c56e67644f Add CodeGenFunction::EmitBranch. 
- Emits an unconditional branch, with extra logic to avoid generating
   spurious branches out of dummy blocks.

llvm-svn: 59037
 2008-11-11 09:41:28 +00:00
Chris Lattner
5b1964b5f9 short circuit && and || when possible. This substantially reduces 
the size of the -O0 output on some cases.  For example, on expr.c from
176.gcc, it shrinks the .ll file from 43164 to 42835 lines, and removed
references to two external symbols.

llvm-svn: 59034
 2008-11-11 07:41:27 +00:00
Daniel Dunbar
29ac59f25c Add CodeGenFunction::EmitDummyBlock for marking places where we make 
"dummy" blocks (blocks just used to make sure we have a place to dump
code to).

llvm-svn: 59022
 2008-11-11 04:34:23 +00:00
Daniel Dunbar
75283ff38a Centralize basic block creation in CodeGenFunction::createBasicBlock. 
- No functionality change.

llvm-svn: 59017
 2008-11-11 02:29:29 +00:00
Douglas Gregor
8ea1f53420 Add a new expression class, ObjCSuperExpr, to handle the Objective-C 'super'. Remove ObjCThis from PredefinedExpr 
llvm-svn: 58698
 2008-11-04 14:56:14 +00:00
Anders Carlsson
13abd7e98b Implement lowering of va_arg in clang directly. (This is 32-bit X86 only for now). 
llvm-svn: 58681
 2008-11-04 05:30:00 +00:00
Daniel Dunbar
cb4638599c Move IRBuilder type definition to common file. 
- No functionality change.

llvm-svn: 58546
 2008-11-01 01:53:16 +00:00
Daniel Dunbar
354d278518 Debug info bug fix, function start wasn't getting generated correctly 
for Obj-C methods.

llvm-svn: 57769
 2008-10-18 18:22:23 +00:00
Daniel Dunbar
b35174727f Lift CodeGenFunction::EmitPredefinedFunctioName out of EmitPredefinedLValue. 
- Shouldn't assume predefined expr is a function printing one.
 - Uses CGM functionality to cache function names per module.

llvm-svn: 57737
 2008-10-17 21:58:32 +00:00