summaryrefslogtreecommitdiffstats
path: root/clang/lib/CodeGen/CodeGenFunction.h
Commit message (Collapse)AuthorAgeFilesLines
...
* Ensure we track all the stack depths for all break and continue pointsMike Stump2009-02-071-4/+11
| | | | | | | 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
* Add plumbing for the cleanup stack.Anders Carlsson2009-02-071-0/+22
| | | | llvm-svn: 64043
* Split the exception object out into its own stack.Anders Carlsson2009-02-071-5/+5
| | | | llvm-svn: 64032
* Simplify the Objective-C exception handling.Anders Carlsson2009-02-071-7/+2
| | | | llvm-svn: 64031
* Arrange to have the correct StackDepth for while statements.Mike Stump2009-02-071-1/+4
| | | | llvm-svn: 64021
* Fixup goto codegen in and around VLAs.Mike Stump2009-02-071-5/+32
| | | | llvm-svn: 64014
* Pull CodeGenFunction::GetUndefRValue() out of EmitUnsupportedRValue.Daniel Dunbar2009-02-051-0/+3
| | | | llvm-svn: 63845
* Add CodeGenFunction::ConvertTypeForMem forwarding function.Daniel Dunbar2009-02-031-0/+1
| | | | llvm-svn: 63678
* ir-gen for nonfragile ivar bitfield access (objc2 nonfragile abi).Fariborz Jahanian2009-02-031-1/+1
| | | | llvm-svn: 63644
* Targets that don't have stack use global address space for parameters.Sanjiv Gupta2009-02-031-3/+5
| | | | | | | Specify external linkage for such globals so that llvm optimizer do not assume there values initialized as zero. llvm-svn: 63636
* Fixed the typo in comment.Sanjiv Gupta2009-02-031-1/+1
| | | | llvm-svn: 63634
* objc2's ir-gen for nonfragile ivar access.Fariborz Jahanian2009-02-031-1/+6
| | | | llvm-svn: 63578
* More ABI API cleanup.Daniel Dunbar2009-02-021-5/+6
| | | | | | | - Lift CGFunctionInfo creation above ReturnTypeUsesSret and EmitFunction{Epi,Pro}log. llvm-svn: 63553
* ABI handling API changes.Daniel Dunbar2009-02-021-1/+2
| | | | | | | | | | | - 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
* Pull EmitReturnBlock out of FinishFunction and catch unified returnDaniel Dunbar2009-01-261-0/+4
| | | | | | case correctly. llvm-svn: 63068
* Slight cleanup, and fix for va_arg on architectures where va_list is a Eli Friedman2009-01-201-0/+5
| | | | | | struct. llvm-svn: 62585
* Forgot to commit thisAnders Carlsson2009-01-111-0/+5
| | | | llvm-svn: 62042
* This patch fixes the code gen failures which was a fallout fromFariborz Jahanian2009-01-101-1/+3
| | | | | | | | not merging protocol properties into the classes which use those protocols. With this patch, all my exceutable test pass again. llvm-svn: 62030
* Give "unsupported" error on calls through block pointers instead ofDaniel Dunbar2009-01-091-0/+6
| | | | | | crashes. llvm-svn: 61992
* Change EmitVLASize to take a QualType that must be a variably modified type.Anders Carlsson2008-12-201-3/+4
| | | | | | | | | | | | 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
* Split up emitting of VLA sizes and getting the size of a VLA.Anders Carlsson2008-12-201-1/+5
| | | | llvm-svn: 61284
* Code gen. for ivar references; including bitfieldFariborz Jahanian2008-12-151-0/+4
| | | | | | ivars. llvm-svn: 61043
* Store the size of the EH stack inside each BreakContinue struct so we know ↵Anders Carlsson2008-12-131-3/+4
| | | | | | when a break/continue won't cross a try block. llvm-svn: 60998
* Add map of VLA types and their sizesAnders Carlsson2008-12-121-0/+9
| | | | llvm-svn: 60939
* Work in preparation for VLAs. Make sure to restore the stack if necessary ↵Anders Carlsson2008-12-121-0/+5
| | | | | | (Saving the stack isn't implemented right now :) llvm-svn: 60925
* Support for implementation of property in the case whereFariborz Jahanian2008-12-091-2/+5
| | | | | | | the synthesis is in an implementation of s subclass of a super class where the property has been declared. llvm-svn: 60792
* Implemented ir-gen for 'implicit' properties using the new AST nodes.Fariborz Jahanian2008-11-221-1/+4
| | | | llvm-svn: 59886
* New AST node to access "implicit" setter/getter using property dor syntax.Fariborz Jahanian2008-11-221-1/+1
| | | | | | | Issuing diagnostics when assigning to read-only properties. This is work in progress. llvm-svn: 59874
* Added a test case for __weak field decls. Change SetVarDeclObjCAttributeFariborz Jahanian2008-11-201-2/+0
| | | | | | to static function. Added comments. llvm-svn: 59738
* More objc gc stuff. Read/Write barriers for local static/extern,Fariborz Jahanian2008-11-201-1/+2
| | | | | | | diagnostics on use of __weak attribute on fields, Early support for read/write barriers for objc fields. llvm-svn: 59682
* Fix redundant load of bit-fields on assignment (to get the updatedDaniel Dunbar2008-11-191-1/+10
| | | | | | | | | 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
* Start implementing support for @synchonized with the darwin ObjC API.Chris Lattner2008-11-151-0/+1
| | | | | | Patch by Fariborz! llvm-svn: 59377
* Add IsFinished arg to EmitBlock.Daniel Dunbar2008-11-131-1/+6
| | | | | | | | | | - 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
* Comment/indentation fix.Daniel Dunbar2008-11-121-2/+2
| | | | llvm-svn: 59127
* IRgen improvements on unreachable code:Daniel Dunbar2008-11-121-2/+14
| | | | | | | | | | | | | | | | | | | | | | | - 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
* Move EmitBranchOnBoolExpr and ConstantFoldsToSimpleInteger toChris Lattner2008-11-121-2/+12
| | | | | | | | | | 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
* Make emission of 'if' conditions much more sophisticated when weChris Lattner2008-11-121-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* Disable generation of basic block names in NDEBUG mode.Daniel Dunbar2008-11-121-0/+4
| | | | | | | Revert to enabling generation of instruction names when not in NDEBUG mode. llvm-svn: 59094
* Rework IRgen invariant w.r.t. current insert point.Daniel Dunbar2008-11-111-10/+42
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - 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
* Change EmitBranch to always clear the insert point to clarify irgenDaniel Dunbar2008-11-111-0/+4
| | | | | | invariants. llvm-svn: 59085
* Add CodeGenFunction::EmitBranch.Daniel Dunbar2008-11-111-0/+5
| | | | | | | - Emits an unconditional branch, with extra logic to avoid generating spurious branches out of dummy blocks. llvm-svn: 59037
* short circuit && and || when possible. This substantially reducesChris Lattner2008-11-111-0/+6
| | | | | | | | 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
* Add CodeGenFunction::EmitDummyBlock for marking places where we makeDaniel Dunbar2008-11-111-0/+5
| | | | | | | "dummy" blocks (blocks just used to make sure we have a place to dump code to). llvm-svn: 59022
* Centralize basic block creation in CodeGenFunction::createBasicBlock.Daniel Dunbar2008-11-111-2/+8
| | | | | | - No functionality change. llvm-svn: 59017
* Add a new expression class, ObjCSuperExpr, to handle the Objective-C ↵Douglas Gregor2008-11-041-0/+1
| | | | | | 'super'. Remove ObjCThis from PredefinedExpr llvm-svn: 58698
* Implement lowering of va_arg in clang directly. (This is 32-bit X86 only for ↵Anders Carlsson2008-11-041-0/+6
| | | | | | now). llvm-svn: 58681
* Move IRBuilder type definition to common file.Daniel Dunbar2008-11-011-3/+3
| | | | | | - No functionality change. llvm-svn: 58546
* Debug info bug fix, function start wasn't getting generated correctlyDaniel Dunbar2008-10-181-1/+2
| | | | | | for Obj-C methods. llvm-svn: 57769
* Lift CodeGenFunction::EmitPredefinedFunctioName out of EmitPredefinedLValue.Daniel Dunbar2008-10-171-0/+1
| | | | | | | - Shouldn't assume predefined expr is a function printing one. - Uses CGM functionality to cache function names per module. llvm-svn: 57737
* Lift EmitTargetBuiltinExpr out of EmitBuiltinExpr.Daniel Dunbar2008-10-101-0/+4
| | | | llvm-svn: 57335
OpenPOWER on IntegriCloud